subgroups of finitely generated groups with a finite index Let $G$ be a finitely generated group and $H$ a subgroup of $G$. If the index of $H$ in $G$ is finite, show that $H$ is also finitely generated.

Hint: Suppose $G$ has generators $g_1, \ldots, g_n$. We can assume that the inverse of each generator is a generator. Now let $Ht_1, \ldots, Ht_m$ be all right cosets, with $t_1 = 1$. For all $i,j$, there is $h_{ij} \in H$ with $t_i g_j = h_{ij} t_{{k}_{ij}}$, for some $t_{{k}_{ij}}$. It's not hard to prove that $H$ is generated by all the $h_{ij}$.
