Outer automorphism group of finite p-group that is not elementary abelian or extraspecial has a nontrivial normal p-subgroup

From Groupprops
Jump to: navigation, search


Suppose P is a Group of prime power order (?) that is neither an Elementary abelian group (?) nor an Extraspecial group (?). Then, \operatorname{Out}(P) has a nontrivial normal p-subgroup. Equivalently, the p-Sylow-core (?) of \operatorname{Out}(P), denoted O_p(\operatorname{Out}(P)), is nontrivial.


Journal references