Normaaldeler

In de wiskundige groepentheorie is een normaaldeler of normale ondergroep een ondergroep ${\displaystyle H}$ van een groep ${\displaystyle G}$, waarvan de nevenklassen met elkaar weer een nieuwe groep vormen. Het is kenmerkend voor een normaaldeler dat de linker- en de rechternevenklassen ervan samenvallen. De nevenklassen van de normaaldeler ${\displaystyle H}$ vormen een partitie, dus een disjuncte opdeling, van de groep ${\displaystyle G}$. De nieuw gecreëerde groep is gedefinieerd als de factorgroep ${\displaystyle G/H}$ van ${\displaystyle G}$ en ${\displaystyle H}$.