[Math] Express quotient of free abelian group as direct sum of cyclic groups

abelian-groupsabstract-algebragroup-theory

This is the problem:

Let $G$ be the quotient of the free abelian group with $\mathbb{Z}$-basis $x_1, x_2, x_3$ by the subgroup $H = \langle x_1 + 3x_2, x_1 + 4x_2 + x_3, 2x_1 + 5x_2 + x_3\rangle$. Express $G/H$ as a direct sum of cyclic groups.

I would really appreciate an example using a different set of relations of what the procedure for doing this is.

Best Answer

As pointed out by i707107, the problem is essnetially equvalent to find the Smith normal form of the $3\times 3$ matrix which is defined by the relations. One can find the details of the algorithm to find the Smith normal form in Wikipedia as linked above. I just do the calculation and find the group is isomorphic to $\mathbb{Z}/2\mathbb{Z}$.

Related Question