is the group of rotations in the 2D plane. It has one degree of freedom: angle of rotation. The group is commutative. The inverse is given by the transpose: