If has prime index , a conjugacy class of lying in splits into one or conjugacy classes of . Conjugation by acts transitively on these smaller classes, while fixes every one. This factors through , and the orbit-stabilizer theorem makes the number of classes a divisor of .
For an even permutation , its symmetric group class splits into two equal alternating group classes exactly when its symmetric-group centralizer contains no odd permutation. If an odd commuting element exists, an odd conjugator can be multiplied by it to become even; otherwise the index-two subgroup has two conjugation orbits. In cycle notation the splitting types are precisely distinct odd cycle lengths, counting fixed points as length-one cycles: rotating odd cycles is even, whereas an even cycle or the exchange of two equal odd cycles supplies an odd centralizer element.

Articles by others on the same topic (0)

There are currently no matching articles.