Order of an element of a finite group (source code)

= Order of an element of a finite group

The order of an element is the least positive power equal to the identity and divides the order of a finite group.

This is the <order of a group element> in the finite setting, one use of <order (group theory)>.