rotation group

Rotation Group

For a real {% n \times n %} matrix {% R %}, {% R %} is defined to be a rotation matrix if

{% R^TR = 1 %}

and

{% det(R) = 1 %}