Minimum normal undergruppe

En minimal normal undergruppe  er en ikke-triviel normal undergruppe , således at der ikke er andre normale undergrupper af hele gruppen mellem den og identitetsundergruppen .

En minimal normal undergruppe findes ikke i hver gruppe. Hvis en gruppe er endelig, så er enhver af dens minimale normale undergrupper et direkte produkt af isomorfe simple grupper . Hvis en minimal normal undergruppe af en gruppe eksisterer og er unik, så kaldes den en monolit (nogle gange kerne ), og selve gruppen kaldes monolitisk .