Минимальная нормальная подгруппа

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Минимальная нормальная подгруппа — неединичная нормальная подгруппа [math]\displaystyle{ H }[/math], такая, что между ней и единичной подгруппой нет других нормальных подгрупп всей группы.

Минимальная нормальная подгруппа имеются далеко не во всякой группе. Если группа конечна, то любая её минимальная нормальная подгруппа является прямым произведением изоморфных простых групп. Если минимальная нормальная подгруппа у группы [math]\displaystyle{ G }[/math] существует и единственна, то она называется монолитом (иногда сердцевиной), а сама группа [math]\displaystyle{ G }[/math] называется монолитичной.