An anticlockwise rotation matrix and reflection in the -axis are
The columns of are the images of the standard coordinate vectors, while .
Direct multiplication gives
Hence
This is the defining conjugation relation between a rotation and reflection in a dihedral group.
No. Every power has determinant , whereas
Matrices with different determinants cannot be equal.
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.