AEP upper-hook characteristic implies AEP
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 .