AEP upper-hook characteristic implies AEP

From Groupprops

Template:Upper-hook computation

Statement

Suppose are groups, such that the following two conditions hold:

  • is an AEP-subgroup (?) of , i.e., every automorphism of extends to an automorphism of .
  • is a Characteristic subgroup (?) of , i.e., every automorphism of restricts to an automorphism of .

Then, is an AEP-subgroup of .

Related facts