The order of a group element g is the smallest positive integer n such gⁿ = e, the group’s identity. If the group has finite order, then group elements have finite order, and that order must divide the group’s order by Lagrange’s theorem; in an infinite group an element may have finite or infinite order.