SO⁡(2,R)\operatorname{SO}(2,\mathbb R) is the

SO⁡(2,R)={A∈M2(R):ATA=I, det⁡A=1},\operatorname{SO}(2,\mathbb R)=\{A\in M_{2}(\mathbb R):A^{\mathsf T}A=I,\ \det A=1\},

with matrix multiplication. The preserved form is the positive-definite real Euclidean form.

Dimensions and structure

This group has real dimension 11. Its tangent algebra consists of skew-symmetric matrices, XT+X=0X^{\mathsf T}+X=0. It is connected.

The determinant-one subgroup includes by the identity on matrices. See .

The map (a−bba)↦a+ib\left(\begin{smallmatrix}a&-b\\b&a\end{smallmatrix}\right)\mapsto a+ib is a real isomorphism. See .

References
  1. Pavel Etingof, Lie Groups and Lie Algebras (MIT lecture notes), §6.1, pp. 38–39; Proposition 6.3 and Exercise 6.5.