Outer automorphism group of finite p-group that is not elementary abelian or extraspecial has a nontrivial normal p-subgroup
Suppose is a Group of prime power order (?) that is neither an Elementary abelian group (?) nor an Extraspecial group (?). Then, has a nontrivial normal -subgroup. Equivalently, the -Sylow-core (?) of , denoted , is nontrivial.