CycleDecomposition from Permutation

A permutation in cycle notation, fixed points kept: each cycle from its least point, cycles in order of those points.

Permutation → CycleDecompositioninverse

Called as CombinatorialMap(x, "CycleDecomposition"). The head's page has its examples.