A question from GRE math sub 9367, problem 59 Two subgroups H and K of a group G have orders 12 and 30, respectively. Which of the following could NOT be the order of the subgroup of G generated by H and K?
A. 30
B. 60
C. 120
D. 360
E. Countable infinity
A is the answer because H, with order 12 that doesn't divide 30, can't be a subgroup of K.
But anybody can help me construct a concrete example of E, the subgroup generated by H and K with order of countable infinity?

Consider the free product (group coproduct) $G* H$. It is defined as follows:
If we start by considering $G$ and $H$ as disjoint sets, $G*H$ is the set of finite words whose letters are the elements of $G\cup H$ other than their identity elements. Group multiplication is given by simply writing one word after another, and the empty word is the identity in this group. What we've constructed so far is a free group.
Now, to make $G$ and $H$ subgroups of this group, we mod out by the relations given by multiplication in $G$ and multiplication in $H$. In other words, if a word has a sequence of letters that are all elements of $G$, we can write them as a single letter in $G$, the letter we get by computing the product (in $G$) of that sequence of letters. We do the same for $H$.
This group is countable since the set of all finite words on a finite set of letters is countable. It is infinite because we have words like $ghghghgh$ of arbitrary length (here $g\in G$ and $h\in H$). It contains copies of $G$--those words that consist only of letters in $G$ (and can thus be expressed with a single element of $G$), and a copy of $H$ likewise.
