2
$\begingroup$

Let $G$ be an abelian group. $\left \{ g\in G||g|< \infty \right \}$ is a subgroup of $G$, called the torsion subgroup of $G$. Fix some $n\in \mathbb{Z}$ with $n>1$.

The question is to find the torsion subgroup of $\mathbb{Z}\times (\mathbb{Z}/n\mathbb{Z})$ and why?

Thank you.

Is that $0\times (\mathbb{Z}/n\mathbb{Z})$? But how to prove it?

$\endgroup$
1
  • 2
    $\begingroup$ Take $(x,y)$ in your product. If $x\neq 0$, can $(x,y)$ be of finite order? And if $x=0$? $\endgroup$
    – Julien
    Feb 17, 2013 at 22:55

1 Answer 1

5
$\begingroup$

Hint: the torsion group of $G$ is the group whose elements are those elements of $G$ which have finite order. They form a subgroup of $G$. The identity element is by definition, in this torsion group.

The torsion group may very well contain only the identity: the trivial subgroup, in that event.

ADDED: to confirm your comment/question/edit:

Yes, the torsion subgroup of $\mathbb Z \times (\mathbb Z/n\mathbb Z)$ is $0 \times (\mathbb Z/n\mathbb Z)$.

And as Pete L. Clark suggests in his comment below: "To get a proof, just take it systematically: can you first show that every element that you've written down has finite order? That's almost obvious. Now write down any element other than yours and show that it does not have finite order."

$\endgroup$
3
  • 1
    $\begingroup$ Is that $0\times (\mathbb{Z}/n\mathbb{Z})$? But I can't construct a proof. $\endgroup$
    – i_a_n
    Feb 17, 2013 at 22:58
  • 1
    $\begingroup$ A big +1 for giving a hint and not an answer to this question. $\endgroup$ Feb 17, 2013 at 22:58
  • $\begingroup$ @i_a_n: Yes, it is. To get a proof, just take it systematically: can you first show that every element that you've written down has finite order? That's almost obvious. Now write down any element other than yours and show that it does not have finite order. $\endgroup$ Feb 17, 2013 at 22:59

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .