Finite order ($g^n=e\text{for some }n\ge 1$)

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.