2

Let $G=\langle x_1,x_2,\ldots,x_r \rangle$ be a finitely generated abelian group. Show that there exist positive integers $r, s$ such that $G \cong \mathbb{Z}^r/\phi(\mathbb{Z}^s)$, where $\phi: \mathbb{Z}^s \rightarrow \mathbb{Z}^r$ is a group homomorphism.

I used the fact that if $G$ is a finitely generated abelian group, then there is an onto homomorphism $\psi: \mathbb{Z}^r \rightarrow G$ defined by $(a_1,a_2, \ldots , a_r) \mapsto a_1x_1+a_2x_2+ \ldots +a_rx_r$ (For this problem the group operation will be written additively). By the First Isomorphism Theorem, $G \cong \mathbb{Z}^r/\ker(\psi)$. So I am tempted to show that $\ker(\psi)=\phi(\mathbb{Z}^s)$ for some integer $s$. In that case $\phi: \mathbb{Z}^s \rightarrow \mathbb{Z}^r$ is the linear transformation that maps $\mathbb{Z}^s$ onto $\ker(\psi)$. But how do I show such a transformation exists? Am I on the right track?

user112358
  • 1,783

1 Answers1

3

This is a good approach, but you need to show that any subgroup of $\mathbb{Z}^r$ is finitely generated.

This is not extremely hard, but it's not trivial either. Here are two approaches.

Perhaps a more direct way to approach this problem is to use the structure theorem for finitely generated abelian groups.

Community
  • 1
Andrew Dudzik
  • 30,074