Untergruppe/Normalteiler/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Normalteiler

Sei eine Gruppe und eine Untergruppe. Man nennt einen Normalteiler, wenn

für alle ist, wenn also die Linksnebenklasse zu mit der Rechtsnebenklasse zu übereinstimmt.