Central intersection property of normal subgroups of finite p-groups
ID: central-intersection-property-of-normal-subgroups-of-finite-p-groups
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 .
New to topics? Read the docs here!