# If $G/H$ is finitely generated, then so is $G$

I'm trying to prove that if $H$ is a normal subgroup of a group $G$ such that $H$ and $G/H$ are finitely generated, then G is finitely generated also. I'm trying to find a finite set $X$ such that $G$ is generated by $X$, but I have no ideal how to find this set using the finite generator sets of $H$ and $G/H$.

I need help

• Can you do this if instead of groups they are vector spaces? – Mariano Suárez-Álvarez Apr 28 '13 at 20:43
• @MarianoSuárez-Alvarez I think yes – user42912 Apr 28 '13 at 20:58
• Well: exactly the same argument works for groups. – Mariano Suárez-Álvarez Apr 28 '13 at 20:59
• But what is $G/H$ in vector spaces algebra? – user42912 Apr 28 '13 at 21:01
• If you don't now what that quotient is for vector spaces, how can you do this for vector spaces? – Mariano Suárez-Álvarez Apr 28 '13 at 21:05

$$H=\langle\,h_1,\ldots,h_k\,\rangle\;,\;\;G/H:=\langle\,g_1H,\ldots,g_nH\,\rangle$$
Remember now that for all $\,x\in G\,$ there exist unique $\,1\le i_x\le n\,$ and unique $\,h_x\in H\,$ s.t. $\,x=g_{i_x}h_x\,$ and, of course, then $\,x\in g_{i_x}H\,$ , so...