Coprime automorphism-faithful normal subgroup

Symbol-free definition
A subgroup of a group is termed a coprime automorphism-faithful normal subgroup if it is both a coprime automorphism-faithful subgroup and a normal subgroup of the whole group.

Stronger properties

 * Weaker than::Self-centralizing normal subgroup:
 * Weaker than::Coprime automorphism-faithful characteristic subgroup
 * Weaker than::Automorphism-faithful normal subgroup
 * Weaker than::Automorphism-faithful characteristic subgroup
 * Weaker than::Centralizer-free normal subgroup
 * Weaker than::Centralizer-free characteristic subgroup

Weaker properties

 * Stronger than::Coprime automorphism-faithful subgroup
 * Stronger than::Normal subgroup