# 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$

• No, there are infinite groups with all non-identity of the same order. – Tobias Kildetoft Mar 15 '18 at 11:00
• Note that $g^n=e_G$ does not mean that all elements have order $n$, but only that all elements have order a divisor of $n$. – Arnaud D. Mar 15 '18 at 11:02
• Recall that in the definition of order, the $n$ such that $g^{n}=e$ is taken to be minimal. So, in $C_{4} = \langle g \rangle$, the element $g^{2}$ has order $2$, not order $4$. – preferred_anon Mar 15 '18 at 11:04
• What is a nilpotent element in a group? – lhf Mar 15 '18 at 11:24
• The word you're looking for is "exponent". Your question is whether a group is finite if and only if it has finite exponent. The answer is no (as some people have already pointed out.) – verret Mar 15 '18 at 17:42

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