Kommutatorgruppe/Normalteiler/Fakt/Beweis/Aufgabe/Lösung
(1). Es ist zu zeigen, dass für jedes der Automorphismus
die Untergruppe in sich selbst überführt. Für einen Kommutator ist
wieder ein Kommutator. Daher wird auch jedes Produkt von Kommutatoren auf ein Produkt von Kommutatoren abgebildet und somit ist
.
(2). In der Restklassengruppe ist
(3). Eine Gruppe ist genau dann abelsch, wenn sämtliche Kommutatoren trivial sind.