Automorphism-faithful normal subgroup

Definition
A subgroup of a group is termed an automorphism-faithful normal subgroup if it is both an automorphism-faithful subgroup and a normal subgroup of the whole group.

Stronger properties

 * Weaker than::Centralizer-free normal subgroup: