Conjugacy classes of a symmetric group are determined by cycle structure
Conjugate of an -cycle is an -cycle
Let
where
and is hence also a
Proof
Let
. Then . For any , , so . Hence maps numbers of the form to , and leaves all others invariant. Thus as claimed.
This is a lemma for Conjugacy classes of a symmetric group are determined by cycle structure.