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.