Perfect direct factor

Definition
A subgroup of a group is termed a perfect direct factor if it is perfect as a group and is also a direct factor of the whole group.

Weaker properties

 * Stronger than::Perfect normal subgroup
 * Stronger than::Direct factor