Complemented transitively normal subgroup

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


 * It is a defining ingredient::permutably complemented subgroup as well as a defining ingredient::transitively normal subgroup.
 * It is a defining ingredient::complemented normal subgroup as well as a transitively normal subgroup.

Stronger properties

 * Weaker than::Direct factor
 * Weaker than::Complemented central factor

Weaker properties

 * Stronger than::Complemented normal subgroup
 * Stronger than::Transitively normal subgroup
 * Stronger than::Normal subgroup