Coprime automorphism-invariant normal subgroup of group of prime power order

Definition
A subgroup $$H$$ of a group of prime power order $$P$$ is termed a coprime automorphism-invariant normal subgroup if it satisfies both these conditions:


 * 1) It is a defining ingredient::normal subgroup  of $$P$$: in particular, it is a defining ingredient::normal subgroup of group of prime power order.
 * 2) It is a defining ingredient::coprime automorphism-invariant subgroup  of $$P$$: in particular, it is a defining ingredient::coprime automorphism-invariant subgroup of group of prime power order.

Stronger properties

 * Weaker than::Fusion system-relatively weakly closed subgroup
 * Weaker than::Sylow-relatively weakly closed subgroup
 * Weaker than::Isomorph-normal coprime automorphism-invariant subgroup of group of prime power order

Weaker properties

 * Stronger than::Normal subgroup of group of prime power order
 * Stronger than::Coprime automorphism-invariant subgroup of group of prime power order