Special orthogonal group

The determinant-1 subgroup of the orthogonal group preserving a quadratic form.
Special orthogonal group

Let ,\langle\cdot,\cdot\rangle be the standard inner product on Rn\mathbb R^n. The special orthogonal group is

SO(n)={AGL(n,R):ATA=I, det(A)=1}. SO(n)=\{A\in GL(n,\mathbb R): A^T A=I,\ \det(A)=1\}.

It is a closed Lie subgroup of the , hence a Lie group (see ). For n2n\ge 2, SO(n)SO(n) is connected, and for n3n\ge 3 it is not simply connected; its universal cover is the .

More generally, one defines SO(p,q)SO(p,q) as the determinant-1 subgroup of the group preserving a nondegenerate bilinear form of signature (p,q)(p,q); these are basic noncompact matrix Lie groups (compare for the (n1,1)(n-1,1) case).

The Lie algebra of SO(n)SO(n) is the so(n)\mathfrak{so}(n), consisting of skew-symmetric matrices:

so(n)={XMn(R):XT+X=0}, \mathfrak{so}(n)=\{X\in M_n(\mathbb R): X^T+X=0\},

with bracket given by commutator. The group SO(n)SO(n) is compact, making it a key example in theory.