HOME

TheInfoList



OR:

In algebra, a simple Lie algebra is a
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
that is non-abelian and contains no nonzero proper ideals. The classification of real simple Lie algebras is one of the major achievements of
Wilhelm Killing Wilhelm Karl Joseph Killing (10 May 1847 – 11 February 1923) was a German mathematician who made important contributions to the theories of Lie algebras, Lie groups, and non-Euclidean geometry. Life Killing studied at the University of M ...
and Élie Cartan. A direct sum of simple Lie algebras is called a
semisimple Lie algebra In mathematics, a Lie algebra is semisimple if it is a direct sum of modules, direct sum of Simple Lie algebra, simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper Lie algebra#Subalgebras.2C ideals ...
. A simple Lie group is a connected
Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...
whose Lie algebra is simple.


Complex simple Lie algebras

A finite-dimensional simple complex Lie algebra is isomorphic to either of the following: \mathfrak_n \mathbb, \mathfrak_n \mathbb, \mathfrak_ \mathbb ( classical Lie algebras) or one of the five exceptional Lie algebras. To each finite-dimensional complex
semisimple Lie algebra In mathematics, a Lie algebra is semisimple if it is a direct sum of modules, direct sum of Simple Lie algebra, simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper Lie algebra#Subalgebras.2C ideals ...
\mathfrak, there exists a corresponding diagram (called the Dynkin diagram) where the nodes denote the simple roots, the nodes are jointed (or not jointed) by a number of lines depending on the angles between the simple roots and the arrows are put to indicate whether the roots are longer or shorter. The Dynkin diagram of \mathfrak is connected if and only if \mathfrak is simple. All possible connected Dynkin diagrams are the following: : where ''n'' is the number of the nodes (the simple roots). The correspondence of the diagrams and complex simple Lie algebras is as follows: :(A''n'') \quad \mathfrak_ \mathbb :(B''n'') \quad \mathfrak_ \mathbb :(C''n'') \quad \mathfrak_ \mathbb :(D''n'') \quad \mathfrak_ \mathbb :The rest, exceptional Lie algebras.


Real simple Lie algebras

If \mathfrak_0 is a finite-dimensional real simple Lie algebra, its complexification is either (1) simple or (2) a product of a simple complex Lie algebra and its conjugate. For example, the complexification of \mathfrak_n \mathbb thought of as a real Lie algebra is \mathfrak_n \mathbb \times \overline. Thus, a real simple Lie algebra can be classified by the classification of complex simple Lie algebras and some additional information. This can be done by Satake diagrams that generalize Dynkin diagrams. See also Table of Lie groups#Real Lie algebras for a partial list of real simple Lie algebras.


Notes


See also

* Simple Lie group * Vogel plane


References

* * Jacobson, Nathan, ''Lie algebras'', Republication of the 1962 original. Dover Publications, Inc., New York, 1979. ; Chapter X considers a classification of simple Lie algebras over a field of characteristic zero. * *{{nlab, id=simple+Lie+algebra, title=Simple Lie algebra Lie algebras