Finite isomorph-free subgroup

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


 * 1) It is a finite group and is also an isomorph-free subgroup of the whole group.
 * 2) It is a finite group and is also an defining ingredient::isomorph-containing subgroup  of the whole group.

Stronger properties

 * Weaker than::Isomorph-free subgroup of finite group
 * Weaker than::Normal Sylow subgroup
 * Weaker than::Normal Hall subgroup

Weaker properties

 * Stronger than::Finite characteristic subgroup
 * Stronger than::Finite normal subgroup