[Math] Classify $\mathbb{Z}\times\mathbb{Z}/\langle(0,3)\rangle$ according to the fundamental theorem of finitely generated abelian groups.

abelian-groupsabstract-algebragroup-theory

I am having an issue classifying $\mathbb{Z}\times\mathbb{Z}/\langle(0,3)\rangle$ according to the fundamental theorem of finitely generated abelian group (i.e. finding what $\mathbb{Z}\times\mathbb{Z}/\langle(0,3)\rangle$ is isomorphic to). I think It should $\mathbb{Z}$, but I am not sure why. Thanks!

Best Answer

We have

$\qquad \mathbb{Z}\times\mathbb{Z} = \mathbb{Z} e_1 \oplus \mathbb{Z} e_2 $

$\qquad \langle(0,3)\rangle = \mathbb{Z} (0 e_1) \oplus \mathbb{Z} (3e_2) $

Therefore,

$\qquad \mathbb{Z}\times\mathbb{Z}/\langle(0,3)\rangle \cong \mathbb{Z}\times\mathbb{Z_3}$

An explicit isomorphism is induced by $(x,y) \in \mathbb{Z}\times\mathbb{Z} \mapsto (x, y \bmod 3) \in \mathbb{Z}\times\mathbb{Z_3}$.