1
$\begingroup$

Is it true that for any abelian group $G$, if there is some integer $k$ satisfying $g^k = e$ for every $g \in G$, then $G$ is finite?

This is true if $G$ is finitely generated.

I believe that it is true in the general case but am struggling to prove this. Any help is appreciated.

EDIT: Alan Wang points out a simple counterexample to the proposition.

My original idea for this question came from Keith Conrad's algebra notes, which has the following exercise.

Show a finitely generated $A$-module $M$ is a torsion module if and only if there is some $a \ne 0$ in $A$ such that $aM = 0$. (This is false without a hypothesis of finite generatedness even for $A = \mathbb{Z}$, since infinite torsion abelian groups exist.)

It's the parenthetical which now has me confused. How is an infinite torsion abelian group an automatic counterexample?

$\endgroup$
5
  • 4
    $\begingroup$ What about infinite direct product of $\Bbb{Z}_2$? $\endgroup$
    – Wang Kah Lun
    Commented Jul 21, 2018 at 6:43
  • 1
    $\begingroup$ It is false, take $C_p^{\mathbb{N}}$ for example. $\endgroup$
    – jgon
    Commented Jul 21, 2018 at 6:43
  • $\begingroup$ Why couldn't the group have an infinite number of elements all of finite order? $\endgroup$
    – fleablood
    Commented Jul 21, 2018 at 6:44
  • $\begingroup$ "This is true if G is finitely generated." And it'd be false if it where infinitely generated. So the question is: is it possible to have an infinitely generated group where every element has a finite order? And ... why the heck not? As Alan Wang suggests why not $\mathbb Z_2^{\mathbb N}$ or, more generally, $ \times_{i\in \mathbb N} \mathbb Z_{k_i}$ $\endgroup$
    – fleablood
    Commented Jul 21, 2018 at 6:49
  • 1
    $\begingroup$ For nonabelian groups you might want to explore the Burnside Problem. It is now known that there are infinite groups which are finitely generated and in which all the elements have bounded order. $\endgroup$
    – Mark Bennet
    Commented Jul 21, 2018 at 7:03

1 Answer 1

Reset to default
2
$\begingroup$

Existence of an infinite torsion group in itself does not necessarily provide a counterexample for the (parenthesised part of the) proposition.

However, consider e.g. $\Bbb Q/\Bbb Z$. Here each element $a/b$ is killed by an integer ($b$), but no integer kills the whole group.

$\endgroup$

You must log in to answer this question.

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