Converse of "every finite group has a finite exponent"?

991 Views Asked by At

A group $G$ is finite iff all its elements have the same finite order?

One direction (when $G$ is finite) is trivial following from Lagrange's theorem. But if a each element of $G$ has the same finite order (says $n<\infty$), i.e. $\forall g\in G$, $g^n=e_G$. Will that implies $G$ is finite? I try to find some counter examples like infinite group consists of only nilpotent elements (not nilpotent group), but it doesn't work. So the statement is true?

=========================

Edit: The statement should be "A group $G$ is finite iff the order of any elements divides a fixed finite number n?" So one direction should be: Given $n<\infty$, $\forall g\in G$, if $g^{m}=e_G\neq g^{m-1}$, then $m\mid n\implies |G|<\infty$

2

There are 2 best solutions below

0
On

Try $$\mathbb Z /2\mathbb Z \times \mathbb Z /2\mathbb Z \times\mathbb Z /2\mathbb Z \times\dots.$$ Every element has order 2.

0
On

No, take for example the infinite group $G=\prod_{n=1}^\infty{\mathbb Z}_2$ where every non-identity element has order 2.