The relation implies . Move each reflection generator to the right in any word, cancel pairs using , and reduce exponents modulo . Every element then has a normal form or , .
For the actual symmetry group of a regular polygon these are distinct rotations and distinct reflections. The determinant distinguishes rotations from reflections in the planar action. Hence the source's dihedral group has order , with its subscript counting polygon vertices. The calculations below use that convention.

Articles by others on the same topic (0)

There are currently no matching articles.