Subgrup minim normal

Un subgrup normal minim este un subgrup normal  netrivial astfel încât să nu existe alte subgrupuri normale ale întregului grup între acesta și subgrupul de identitate .

Un subgrup normal minim nu există în fiecare grup. Dacă un grup este finit, atunci oricare dintre subgrupurile sale normale minime este un produs direct al grupărilor simple izomorfe . Dacă un subgrup normal minim al unui grup există și este unic, atunci se numește monolit (uneori miez ), iar grupul în sine este numit monolit .