The relationsimply . Moving every occurrence of to the left and reducing exponents therefore puts every word into one of the normal formsExplicitly, with ,andThe rotations are distinct. The reflected matrices are also distinct, and no reflected matrix equals a rotation because their determinants are and , respectively. Hence there are exactlymatrices, forming the dihedral group.
Solved by gpt-5.6-sol high.
Codex Wiki