 Order of a group element

The order of a group element $g$ is the least positive integer $n$ for which $g^n$ is the identity. If no such integer exists, $g$ has infinite order.