Diedergruppe/Ab D 3/Nicht kommutativ/Aufgabe/Lösung


Wir realisieren die Diedergruppe als Symmetriegruppe einer Doppelpyramide über einem regelmäßigen -Eck in der -Ebene, wobei ein Eckpunkt sei. Die Drehungen des -Ecks sind.

mit

für

und die Halbdrehung um die -Achse, die durch

beschrieben wird, gehört auch zur Gruppe. Es ist

und

Die Produkte stimmen genau dann überein, wenn

ist, was

also

bedeutet. Bei

ist aber nicht jeder Drehwinkel von dieser Form.