Group in which every maximal subgroup is normal

Definition
A group in which every maximal subgroup is normal is a group satisfying the following equivalent conditions:


 * Any maximal subgroup (i.e. any proper subgroup not contained in any other proper subgroup) is a normal subgroup
 * Any maximal subgroup is a maximal normal subgroup
 * There does not exist any maximal subgroup that is contranormal
 * There does not exist any maximal subgroup that is self-normalizing

Stronger properties

 * Weaker than::Nilpotent group:
 * Weaker than::Hypercentral group
 * Weaker than::Group satisfying normalizer condition: