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

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

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