Complemented isomorph-containing subgroup

Definition
A subgroup of a group is termed a complemented isomorph-containing subgroup if it satisfies the following equivalent conditions:


 * 1) It is both a conjunction involving::permutably complemented subgroup  and an conjunction involving::isomorph-containing subgroup.
 * 2) It is both a conjunction involving::lattice-complemented subgroup  and an isomorph-containing subgroup.
 * 3) It is both a complemented normal subgroup and an isomorph-containing subgroup.

Stronger properties

 * Weaker than::Fully invariant direct factor:
 * Weaker than::Normal Hall subgroup
 * Weaker than::Normal Sylow subgroup
 * Weaker than::Complemented homomorph-containing subgroup

Weaker properties

 * Stronger than::Isomorph-containing subgroup
 * Stronger than::Complemented characteristic subgroup
 * Stronger than::Complemented normal subgroup