Kategorie:Normalteiler

Eine Untergruppe ${\displaystyle N\leq G}$ heißt Normalteiler, wenn stets LNK = RNK gilt, d.h. ${\displaystyle aN=Na,\forall a\in G}$. Für Normalteiler gilt: Die Menge der Nebenklassen ${\displaystyle \{aN\mid a\in G\}}$ bildet selbst eine Gruppe, die Faktorgruppe ${\displaystyle G/N}$.