Kategorie:Normalteiler

Eine Untergruppe ${\displaystyle N\le G}$ heißt Normalteiler, wenn stets die Äquivalenz zwischen der LNK (Linksnebenklasse, ${\displaystyle a\circ N}$) und der RNK (Rechtsnebenklasse, ${\displaystyle N\circ a}$) gilt, d.h.:

Die Menge der Nebenklassen ${\displaystyle \{a\circ N\mid a\in G\}}$ bildet selbst eine Gruppe, die Faktorgruppe ${\displaystyle G/N}$.