4
$\begingroup$

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.

$\endgroup$
1

1 Answer 1

Reset to default
3
$\begingroup$

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}$.

$\endgroup$
2
  • $\begingroup$ When I did the steps for smith normal form I got the diagonal matrix with entries 1, 1, 2. If those are the elementary divisors, wouldn't that make it isomorphic to Z/2Z? Or did I misunderstand/do something wrong? $\endgroup$ Commented Sep 23, 2013 at 14:39
  • $\begingroup$ Dear Xindaris, I find that you are right after doing the calculation again. I am sorry to make the mistake. $\endgroup$ Commented Sep 23, 2013 at 15:53

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.