Central factor of normal subgroup

Symbol-free definition
A subgroup of a group is termed a central factor of normal subgroup if it satisfies the following equivalent conditions:


 * It is a central factor of a normal subgroup of the whole group.
 * It is a central factor inside its defining ingredient::normal closure.

Stronger properties

 * Weaker than::Normal subgroup
 * Weaker than::Base of a wreath product
 * Weaker than::Direct factor of normal subgroup
 * Weaker than::Direct factor of characteristic subgroup
 * Weaker than::Subgroup of Abelian normal subgroup

Weaker properties

 * Stronger than::2-subnormal subgroup
 * Stronger than::Subnormal subgroup