A nontrivial normal subgroup of a finite p-group meets the center of a group nontrivially. The conjugation action of on has singleton orbits exactly at . The orbit-stabilizer theorem makes every other orbit size divisible by , so . Since the intersection contains the identity, its size is at least .
Articles by others on the same topic
There are currently no matching articles.