Definition
Cycle of a permutation
A cyclic orbit in the disjoint-cycle decomposition of a finite permutation.
A cycle is the permutation sending to , to , and fixing all other elements. Its support is one orbit of length . 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 -cycle on an -point set is transitive: every point lies in the same orbit. There are such permutations, obtained by fixing one starting element and ordering the remaining elements around the cycle.
These are precisely the ergodic permutations for uniform probability. For , the identity is the one-cycle and the system is ergodic.