The relations
imply . Moving every occurrence of to the left and reducing exponents therefore puts every word into one of the normal forms
Explicitly, with ,
and
The 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 exactly
matrices, forming the dihedral group.

Articles by others on the same topic (0)

There are currently no matching articles.