Nonassociative rings and algebras Lie algebras: basic notions Example
Orthogonal Lie algebra
Builds on General linear Lie algebraSkew-symmetric matrixOrthogonal group
Example
Let be a field and . The orthogonal Lie algebra is the space of skew-symmetric matrices, with the bracket of the general linear Lie algebra.
Check that it is closed under brackets: if and , then For , a skew-symmetric matrix has zero diagonal, and .
For and , let be the matrices of the maps , where is the standard basis. They form a basis of with , , . So is isomorphic to with the cross product.
Remarks
For , is the Lie algebra of the orthogonal group and of its identity component . Differentiating at with gives for . More generally, for a symmetric bilinear form with matrix , the condition is .
Reading path
To understand this page from the ground up, read these 16 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Associative algebra concept
- Commutator of a ring concept
- Endomorphism concept
- General linear group object
- Identity matrix object
- Matrix definition
- Matrix concept
- Ring concept
- Skew-symmetric matrix concept
- Jacobi identity statement
- Transpose definition
- Lie algebra of an associative algebra example
- Orthogonal matrix definition
- Orthogonal group object
- General linear Lie algebra example
- Orthogonal Lie algebra example
Where this leads
4 pages build on this one.
Further reading
About this page
| Tag | TQC9E2PE0T |
|---|---|
| URI | m2://TQC9E2PE0T |
| Kind | example |
| Writing | W0 stub |
| MSC | 17B20, 22E60 |
| Instance of | Lie algebra |
| Uses | General linear Lie algebra, Skew-symmetric matrix, Orthogonal group |
| Changed | 3 November 2026 |
Markdown Β· JSON Β· Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.