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 iden ...
that is
non-abelian and contains no nonzero proper ideals. The classification of
real simple Lie algebra
In algebra, a simple Lie algebra is a Lie algebra 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 and Élie Cartan.
A direct sum of si ...
s is one of the major achievements of
Wilhelm Killing and
Élie Cartan
Élie Joseph Cartan (; 9 April 1869 – 6 May 1951) was an influential French mathematician who did fundamental work in the theory of Lie groups, differential systems (coordinate-free geometric formulation of PDEs), and differential geometry ...
.
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 simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals).
Throughout the article, unless otherwise stated, a Lie algebra is ...
.
A
simple Lie group is a connected
Lie group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the addit ...
whose Lie algebra is simple.
Complex simple Lie algebras
A finite-dimensional simple
complex Lie algebra is isomorphic to either of the following:
,
,
(
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 simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals).
Throughout the article, unless otherwise stated, a Lie algebra is ...
, there exists a corresponding diagram (called the
Dynkin diagram
In the mathematical field of Lie theory, a Dynkin diagram, named for Eugene Dynkin, is a type of graph with some edges doubled or tripled (drawn as a double or triple line). Dynkin diagrams arise in the classification of semisimple Lie algebr ...
) 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
is connected if and only if
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'')
:(B
''n'')
:(C
''n'')
:(D
''n'')
:The rest,
exceptional Lie algebras.
Real simple Lie algebras
If
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
thought of as a real Lie algebra is
. 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 diagram
In the mathematical field of Lie theory, a Dynkin diagram, named for Eugene Dynkin, is a type of graph with some edges doubled or tripled (drawn as a double or triple line). Dynkin diagrams arise in the classification of semisimple Lie algebr ...
s. 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