P-normal-extensible automorphism

From Groupprops

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