Untergruppe/Normalteiler/Definition

Normalteiler

Es sei ${}G$ eine Gruppe und ${}H\subseteq G$ eine Untergruppe. Man nennt ${}H$ einen Normalteiler, wenn

${}xH=Hx\,$

für alle ${}x\in G$ ist, wenn also die Linksnebenklasse zu ${}x$ mit der Rechtsnebenklasse zu ${}x$ übereinstimmt.