[006Z]

Die Gruppe operiert auf der Menge .

1. Sei , . Dann ist .

   Proof. Die Gleichheit folgt direkt aus der Definition des Stabilisators.

2. it genau dann Normalteiler in , wenn fuer alle .

   Proof. ist Normalteiler in , genau dann wenn fuer alle . Wir haben bereits in (a) gesehen, dass . Durch einsetzen von fuer folgt die Behauptung.