Splitting criterion for conjugacy classes in the alternating group
Statement
Suppose is a natural number. Let be the symmetric group on letters, and be the alternating group: the subgroup of even permutations. Then, given a conjugacy class in of even permutations (i.e., a conjugacy class that lies completely inside ), the following two possibilities hold:
- This conjugacy class is equal to a single conjugacy class in .
- This conjugacy class splits into two conjugacy classes in .
The criterion that determines the fate of a conjugacy class (i.e., whether or not it splits) is termed the splitting criterion, and this criterion can be formulated both in the language of centralizers and the language of cycle decompositions.
In terms of centralizers
The conjugacy class of an element :
- splits if the centralizer of in is contained in , i.e., if any permutation that commutes with is even; and
- does not split if the centralizer of in is not contained in , i.e., if there exists an odd permutation that commutes with .
In terms of cycle decompositions
The conjugacy class of an element :
- splits if the cycle decomposition of comprises cycles of distinct odd length. Note that the fixed points are here treated as cycles of length , so it cannot have more than one fixed point; and
- does not split if the cycle decomposition of contains an even cycle or contains two cycles of the same length.