A cycle (a1 a2 ⋯ ar)(a_1\ a_2\ \cdots\ a_r) is the sending aja_j to aj+1a_{j+1}, ara_r to a1a_1, and fixing all other elements. Its support is one orbit of length rr. Every finite permutation is a product of cycles with disjoint supports, uniquely up to the order of the cycles and cyclic rotation of each notation.

Single-cycle permutations

An nn-cycle on an nn-point set is transitive: every point lies in the same orbit. There are (n−1)!(n-1)! such permutations, obtained by fixing one starting element and ordering the remaining elements around the cycle.

These are precisely the . For n=1n=1, the identity is the one-cycle and the system is ergodic.