 Finite order

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.