Finite order (source code)

= Finite order
{title2=$g^n=e\quad\text{for some }n\ge1$}

A <group> element has <finite order> if some positive integer power equals the <identity element>. Its <order of a group element> is the least such positive integer.