If a group is finite, then every element has finite order.

Proof

Suppose G is a finite group. Let gG.
Consider {g,g2,,gn,}={gn:nN} which is necessarily finite, contained in G.
(This is because G is necessarily closed under the operation.)

By pigeonhole principle, there exists some m>n with gm=gn.
Therefore,

gmngn=gngmn=e$$thus$|g|mn<$.QED
Powered by Forestry.md