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 1 β€ π β€ π . For any π πΌ π β 1 π ( π π ) = π πΌ ( π π ) = π ( π π + 1 m o d π ) , π β β π β { π π } π π = 1 , so πΌ ( π ) = π . Hence π πΌ π β 1 π ( π ) = π ( π ) maps numbers of the form π πΌ π β 1 to π ( π π ) , and leaves all others invariant. Thus π ( π π + 1 m o d π ) π πΌ π β 1 = ( π ( π 2 ) π ( π 3 ) β― π ( π π ) π ( π 1 ) ) = ( π ( π 1 ) π ( π 2 ) β― π ( π π β 1 ) π ( π π ) ) as claimed.
This is a lemma for Conjugacy classes of a symmetric group are determined by cycle structure.