Normaaldeler
Uit Wikipedia, de vrije encyclopedia
In de wiskundige groepentheorie is een normaaldeler of normale ondergroep een ondergroep van een groep
, 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
vormen een partitie, dus een disjuncte opdeling, van de groep
. De nieuw gecreëerde groep is gedefinieerd als de factorgroep
van
en
.