Untergruppe/Normalteiler/Definition/Begriff/Inhalt

Ein Untergruppe ${}H\subseteq G$ ist ein Normalteiler, wenn

${}xH=Hx\,$

für alle ${}x\in G$ ist.