Special orthogonal group
The determinant-1 subgroup of the orthogonal group preserving a quadratic form.
Special orthogonal group
Let be the standard inner product on . The special orthogonal group is
It is a closed Lie subgroup of the orthogonal group , hence a Lie group (see closed subgroup ). For , is connected, and for it is not simply connected; its universal cover is the spin group .
More generally, one defines as the determinant-1 subgroup of the group preserving a nondegenerate bilinear form of signature ; these are basic noncompact matrix Lie groups (compare Lorentz group for the case).
The Lie algebra of is the orthogonal Lie algebra , consisting of skew-symmetric matrices:
with bracket given by commutator. The group is compact, making it a key example in compact Lie group theory.