If a is any permutation then if there exists a least positive integer n such that a raised to n =e then n is the order of the permutation

Thanks Joyce.

It's also the order (= cardinal) of the subgroup generated by that permutation P, i.e., # { P^k ; k in Z }