Normaaldeler: verschil tussen versies

In de wiskundige [[groepentheorie]] is een '''normaaldeler''' of '''normale ondergroep''' een [[Ondergroep (wiskunde)|ondergroep]] <math>H</math> van een [[Groep (wiskunde)|groep]] <math>G</math>, waarvan de [[nevenklasse]]n met elkaar weer een nieuwe [[Groep (wiskunde)|groep]] vormen. Kenmerkend voor een normaaldeler is dat de linker- en de rechternevenklassen ervan samenvallen. De nieuw gecreëerde groep is gedefinieerd als de [[factorgroep]] <math>G/H</math> van <math>G</math> en <math>H</math>. Van de normaaldeler <math>H</math> zijn zowelvormen de linker-nevenklassen als de rechternevenklassen [[disjuncte verzamelingen]], waarvan voor beide deeen [[VerenigingPartitie (verzamelingenleer)|verenigingpartitie]] (disjuncte opdeling) van de hele groep <math>G</math> is.