Conjugacy class splitting in a prime-index normal subgroup

ID: conjugacy-class-splitting-in-a-prime-index-normal-subgroup

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 .

New to topics? Read the docs here!