Can a subgroup generated by two finite subgroups be infinite? Let $H$ and $K$ be two subgroups of $G$ of finite order. Can $HK$ be infinite?
 A: This will depend on what you mean by $HK$. 
If you mean just those elements in $G$ of the form $hk$ for $h \in H$, $k \in K$, then $|HK| \le |H||K|$. 
If you mean the group generated by products of elements in $H$ and $K$, then the infinite dihedral group $\langle x,y | x^2=y^2=1 \rangle$ is an example. Take $H$ to be cyclic generated by $x$ and $K$ by $y$, then $G=HK$ and $|H|=|K|=2$.
A: Let $G$ be the group of words made up of the characters 0 and 1, such that no character appears twice in a row. We define the group operation to be concatenation and also $0^2 = 1^2 = \epsilon$ where $\epsilon$ is the empty word.
Let $H$ be the subgroup $\{ \epsilon, 0 \}$ and $K$ be the subgroup $\{ \epsilon, 1 \}$.
Then $G = HK$.
A: Yes.
Consider in the euclidean plane the reflection along the $x$ axis and the reflection along some other axis at an angle $\alpha$ with $\frac\alpha\pi\notin\mathbb Q$. These reflection generate a group that also contains infinitely many rotations by multiples of $2\alpha$.
A: Ok, since it seems that the general consensus is to look at the subgroup generated by $HK$, here is another example.
The modular group $SL_2(\mathbb Z)$ is generated by two matrices of finite order:
$$\begin{pmatrix} 0&1\\-1&0\end{pmatrix},\text{ and }\begin{pmatrix} 0&1\\-1&0\end{pmatrix}\begin{pmatrix} 1&1\\0&1\end{pmatrix}=\begin{pmatrix} 0&1\\-1&-1\end{pmatrix};$$
the former has order $4$ and the latter, order $3$. And of course, $SL_2(\mathbb Z)$ is infinite.
