Perfect characteristic subgroup

Definition
A subgroup of a group is termed a perfect characteristic subgroup if it satisfies the following equivalent conditions:


 * 1) It is perfect as a group and is a characteristic subgroup of the whole group.
 * 2) It is a characteristic subgroup of the whole group contained in the defining ingredient::perfect core of the whole group.

Weaker properties

 * Stronger than::Perfect IA-automorphism-invariant subgroup
 * Stronger than::IA-balanced subgroup
 * Stronger than::Perfect normal subgroup
 * Stronger than::Perfect subnormal subgroup