P-normal-extensible automorphism
Definition
Suppose is a prime number and is a p-group (i.e., a group where the order of every element is a power of ). An automorphism of is termed a -normal-extensible automorphism if, for any -group containing as a normal subgroup, there exists an automorphism of whose restriction to equals .
Facts
- Finite p-group with center of prime order and inner automorphism group maximal in p-Sylow-closure of automorphism group implies every p-automorphism is p-normal-extensible: Thus, for instance, all automorphisms of dihedral group:D8 are p-normal-extensible.