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!