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.