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 Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
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 É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 i ...
. A
simple Lie group In mathematics, a simple Lie group is a connected non-abelian Lie group ''G'' which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symme ...
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 additio ...
whose Lie algebra is simple.


Complex simple Lie algebras

A finite-dimensional simple
complex Lie algebra In mathematics, a complex Lie algebra is a Lie algebra over the complex numbers. Given a complex Lie algebra \mathfrak, its conjugate \overline is a complex Lie algebra with the same underlying real vector space but with i = \sqrt acting as -i inst ...
is isomorphic to either of the following: \mathfrak_n \mathbb, \mathfrak_n \mathbb, \mathfrak_ \mathbb (
classical Lie algebra The classical Lie algebras are finite-dimensional Lie algebras over a field which can be classified into four types A_n , B_n , C_n and D_n , where for \mathfrak(n) the general linear Lie algebra and I_n the n \times n identity matrix: ...
s) or one of the five
exceptional Lie algebra In mathematics, an exceptional Lie algebra is a complex simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five of them: \mathfrak_2, \mathfrak_4, \mathfrak_6, \mathfrak_7, \mathfrak_8; their respective ...
s. 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 i ...
\mathfrak, 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 algebras ...
) 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 algebra In mathematics, an exceptional Lie algebra is a complex simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five of them: \mathfrak_2, \mathfrak_4, \mathfrak_6, \mathfrak_7, \mathfrak_8; their respective ...
s.


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 diagram In the mathematics, mathematical study of Lie algebras and Lie groups, a Satake diagram is a generalization of a Dynkin diagram introduced by whose configurations classify semisimple Lie algebra, simple Lie algebras over the field (mathematics), fi ...
s 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 algebras ...
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 In mathematics, a simple Lie group is a connected non-abelian Lie group ''G'' which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symme ...
*
Vogel plane In mathematics, the Vogel plane is a method of parameterizing simple Lie algebras by eigenvalues α, β, γ of the Casimir operator on the symmetric square of the Lie algebra, which gives a point (α: β: γ) of ''P''2/''S''3, the projective 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