Abelian and residually finite groups

Question

If $G$ is a finitely generated abelian group then $G$ is residually finite.

I don't know if the result holds or not. I tried to follow the definition but could not go far. Any hint will be highly appreciated.

Answer 1

Hint: Let $G$ be a finitely generated abelian group. Then $G \simeq \mathbb{Z}^n \times \mathbb{Z}_{n_1} \times \cdots \times \mathbb{Z}_{n_r}$ for some $n,n_1,\dots,n_r$. Now consider the epimorphism $$G \twoheadrightarrow \mathbb{Z}_k^n \times \mathbb{Z}_{n_1} \times \cdots \times \mathbb{Z}_{n_r}$$ with $k$ arbitrarily large.

Answer 2

Here's a proof without classification.

Let $G$ be f.g. abelian and $g\in G$ nonzero. Let $N$ be a maximal subgroup not containing $g$. Let us prove that $G'=G/N$ is finite: hence $g$ survives in the finite quotient and we are done.

Let $g$ be the image of $g$ in $G'$. Hence $g$ is contained in every nonzero subgroup of $G'$. If some element of $G'$ has infinite order, then it generates a cyclic subgroup, in which we can find a deep enough subgroup, not containing $g$, contradiction. Hence every element in $G'$ has finite order. If $g_1,\dots,g_k$ are finitely many generators for $G'$, say $n_ig_i=0$ for some $n_i>0$, hence if $n$ is the lcm of the $n_i$ we have $nG'=0$. Hence $G'$ is a quotient of $(\mathbf{Z}/n\mathbf{Z})^k$ thus is finite.