Suppose is a Permutation group and
Let be the unique cycle factorisation of
with lengths respectively.
WLOG are decreasing.
The cycle type of is