# Automorphism-faithful AEP-subgroup

A subgroup  of a group  is termed an automorphism-faithful AEP-subgroup if for every automorphism of , there is a unique automorphism of  whose restriction to  is that particular automorphism.