Review of Abelian Groups Munkres Algebraic Topology Exercise 1 Show that if $G$ is a finitely generated abelian group, every subgroup of $G$ is finitely generated. 
Proof: Suppose that $G$ is a finitely generated abelian group. This means that for each $g\in G$ we may write a finite sum $g=\sum n_{\alpha}g_{\alpha}$ and the set $\{g_{\alpha}\}$ that generates $G$ is finite. Let $T \subseteq G$ be a subgroup of $G$. If $T$ is the trivial subgroup then it is finitely generated. Suppose $g\in T$. This means $g\in G$. Since $G$ is a finitely generated abelian group we know that we may write a finite sum $g=\sum n_{\alpha}g_{\alpha}$ and the set $\{g_{\alpha}\}$ generates $G$ is finite, which means we may do the same for $T$. Therefore, $T$ is finitely generated and we have shown every subgroup of $G$ is finitely generated. $\therefore$
I am a little rusty writing proofs, even rather simple ones of this kind. I was hoping for some proof verification regarding this straightforward exercise. Thank you for your time. 
 A: Proof: Suppose that $G$ is a finitely generated abelian group. This means that every subgroup of $G$ is normal. If a subgroup is a trivial subgroup we know that it is finitely generated. Similarly, if a subgroup is an improper subgroup we also know that it is finitely generated. For a normal subgroup $N$ of $G$, we may define multiplication over their cosets $a_{1}$ and $a_{2}$ in the following manner: 
\begin{equation}
(a_{1}N)(a_{2}N)=(a_{1}a_{2})N
\end{equation}
This turns the set of cosets into a group called the quotient group, $G/N$. We define the natural homomorphism $f: G\rightarrow G/N$ given by $f(g)=gN$ for each $g\in G$. By the first isomorphism theorem we have that this image $f(G)$ is isomorphic to $G/\ker(f)$. The kernel of $f$ is $N$. Then we have that $f(G)$ is isomorphic to $G/N$. This correspondence is a bijection between the set of all quotient groups $G/N$ and the set of all homomorphic images of $G$ up to isomorphism. This means that normal subgroups are the kernels of homomorphisms with domain $G$.  
Now we will show that the kernel of every group homomorphism is finitely generated. Let $e_{G/N}$ be the identity of the quotient group $G/N$ and let $\ker{f}=\{g\in G: f(g)=e_{G/N}\}$. Since $G$ is finitely generated we know that the quotient group $G/N$ is also finitely generated. Also, since $G$ is finitely generated we know that for any element $g \in G$ we may write $g=a_{1}x_{1}+\cdots+ a_{n}x_{n}$ for integers $a_1\dots a_{n}$ and finite generators $x_{1}\dots x_{n}\in G$. Then this means we may do the same for our quotient group $G/N$, which means we may write our identity $e_{G/N}=b_{1}y_{1}+\cdots+ b_{n}y_{n}$ for integers $b_1\dots b_{n}$ and finite generators $y_{1}\dots y_{n}\in G/N$. We already confirmed that the kernel of $f$ is $N$, which means that $N=\{ g\in G:f(g)=e_{G/N}\}$. Since the identity of $G/N$ can be written as a finite sum of generators with weights we have that $N$ is finitely generated. Thus we have shown that every subgroup of $G$ is finitely generated. $\therefore$
