P-normal-extensible automorphism-invariant subgroup