Namespaces
Variants
Actions

Difference between revisions of "Lie algebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex,msc)
Line 1: Line 1:
A unitary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l0583701.png" />-module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l0583702.png" /> over a commutative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l0583703.png" /> with a unit that is endowed with a bilinear mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l0583704.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l0583705.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l0583706.png" /> having the following two properties:
+
{{MSC|17B}}
 +
{{TEX|done}}
  
1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l0583707.png" /> (hence the anti-commutative law <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l0583708.png" />);
+
A ''Lie algebra'' is
 +
a unitary $k$-module $L$ over a commutative ring $k$ with a unit that is endowed with a bilinear mapping $(x,y)\mapsto [x,y]$ of $L\times L$ into $L$ having the following two properties:
  
2) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l0583709.png" /> (the Jacobi identity).
+
1) $[x,x] = 0$ (hence the anti-commutative law $[x,y]=-[y,x]$);
  
Thus, a Lie algebra is an algebra over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837010.png" /> (usually not associative); in the usual way one defines the concepts of a subalgebra, an ideal, a quotient algebra, and a homomorphism of Lie algebras. A Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837011.png" /> is said to be commutative if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837012.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837013.png" />.
+
2) $[x,[y,z]]+[y,[z,x]]+[z,[x,y]] = 0$ (the Jacobi identity).
  
The most important case is that in which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837014.png" /> is a field (especially when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837015.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837016.png" />) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837017.png" /> is a vector space (of finite or infinite dimension) over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837018.png" />.
+
Thus, a Lie algebra is an algebra over $k$ (usually not associative); in the usual way one defines the concepts of a subalgebra, an ideal, a quotient algebra, and a homomorphism of Lie algebras. A Lie algebra $L$ is said to be commutative if $[x,y] = 0$ for all $x,y\in L$.
  
Lie algebras appeared in mathematics at the end of the 19th century in connection with the study of Lie groups (cf. [[Lie group|Lie group]], see also [[Lie group, local|Lie group, local]]; [[Lie transformation group|Lie transformation group]]; [[Lie theorem|Lie theorem]]), and in implicit form somewhat earlier in mechanics. The common prerequisite for such a concept to arise was the concept of an "infinitesimal transformation" , which goes back at least to the time of the origin of infinitesimal calculus. The fact that integrals of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837019.png" /> of the Hamilton equation are closed with respect to the Poisson brackets, which satisfy the Jacobi identity, was one of the earliest observations to be expressed properly in the language of Lie algebras (see [[#References|[8]]], [[#References|[10]]]). The term "Lie algebra" itself was introduced by H. Weyl in 1934 (up to this time the terms "infinitesimal transformations of the group in question" or "infinitesimal group" had been used). In the course of time the role of Lie algebras increased in proportion to the place taken by Lie groups in mathematics (especially in geometry), and also in classical and quantum mechanics. In the first place this is explained by the special place of Lie algebras among many other varieties of universal algebras. Presently (1980-s) the apparatus of Lie algebras has been perceived not only as a useful and powerful tool in the linearization of group-theoretic problems (whether in the theory of Lie groups or in the theory of algebraic groups, cf. [[Algebraic group|Algebraic group]], which to a significant extent absorbs it and extremely outgrows it, or in the theory of finite groups, cf. [[Finite group|Finite group]], which rather stands by itself), but also as the source of beautiful and difficult problems in linear algebra.
+
The most important case is that in which $k$ is a field (especially when $k=\R$ or $\C$) and $L$ is a vector space (of finite or infinite dimension) over $k$.
 +
 
 +
Lie algebras appeared in mathematics at the end of the 19th century in connection with the study of Lie groups (cf.
 +
[[Lie group|Lie group]], see also
 +
[[Lie group, local|Lie group, local]];
 +
[[Lie transformation group|Lie transformation group]];
 +
[[Lie theorem|Lie theorem]]), and in implicit form somewhat earlier in mechanics. The common prerequisite for such a concept to arise was the concept of an "infinitesimal transformation" , which goes back at least to the time of the origin of infinitesimal calculus. The fact that integrals of class $C^2$ of the Hamilton equation are closed with respect to the Poisson brackets, which satisfy the Jacobi identity, was one of the earliest observations to be expressed properly in the language of Lie algebras (see
 +
{{Cite|Ch}},
 +
{{Cite|Hu}}). The term "Lie algebra" itself was introduced by H. Weyl in 1934 (up to this time the terms "infinitesimal transformations of the group in question" or "infinitesimal group" had been used). In the course of time the role of Lie algebras increased in proportion to the place taken by Lie groups in mathematics (especially in geometry), and also in classical and quantum mechanics. In the first place this is explained by the special place of Lie algebras among many other varieties of universal algebras. Presently (1980-s) the apparatus of Lie algebras has been perceived not only as a useful and powerful tool in the linearization of group-theoretic problems (whether in the theory of Lie groups or in the theory of algebraic groups, cf.
 +
[[Algebraic group|Algebraic group]], which to a significant extent absorbs it and extremely outgrows it, or in the theory of finite groups, cf.
 +
[[Finite group|Finite group]], which rather stands by itself), but also as the source of beautiful and difficult problems in linear algebra.
  
 
There are several natural sources that provide important examples of Lie algebras.
 
There are several natural sources that provide important examples of Lie algebras.
  
1) In the framework of general algebra the significance of Lie algebras is determined first of all by the fact that the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837020.png" /> of all derivations (cf. [[Derivation in a ring|Derivation in a ring]]) of any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837021.png" />-algebra is a Lie algebra with the operation
+
1) In the framework of general algebra the significance of Lie algebras is determined first of all by the fact that the set $\def\Der{\textrm{Der}}\Der(A)$ of all derivations (cf.
 
+
[[Derivation in a ring|Derivation in a ring]]) of any $k$-algebra is a Lie algebra with the operation
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837022.png" /></td> </tr></table>
 
 
 
The derivations of a Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837023.png" /> of the form
 
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837024.png" /></td> </tr></table>
 
 
 
are called inner derivations or adjoint transformations. In <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837025.png" /> they form a subalgebra, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837026.png" />, and the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837027.png" /> is a homomorphism of Lie algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837028.png" /> (the adjoint representation of the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837029.png" />); its image <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837030.png" /> is isomorphic to the quotient algebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837031.png" /> with respect to its centre
 
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837032.png" /></td> </tr></table>
 
 
 
2) Another important source of Lie algebras is connected with the following simple observation. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837033.png" /> is an associative algebra over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837034.png" /> (cf. [[Associative rings and algebras|Associative rings and algebras]]) with multiplication <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837035.png" />, then the multiplication in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837036.png" />-module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837037.png" /> specified by the rule
 
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837038.png" /></td> </tr></table>
+
$$[D_1,D_2] = D_1\circ D_2 - D_2\circ D_1. $$
 +
The derivations of a Lie algebra $L$ of the form
  
endows <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837039.png" /> with the structure of a Lie algebra over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837040.png" />. One says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837041.png" /> is the Lie algebra associated with the associative algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837042.png" />. Thus, the classical example of a Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837043.png" /> is obtained if for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837044.png" /> one takes the (associative) algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837045.png" /> of all square matrices of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837046.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837047.png" />.
+
$$\def\ad{\textrm{ad}\;}\ad x \mapsto [x,y],\quad x,y \in L$$
 +
are called inner derivations or adjoint transformations. In $\Der(L)$ they form a subalgebra, $\ad L$, and the mapping $x\mapsto \ad x$ is a homomorphism of Lie algebras $L\to \Der(L)$ (the adjoint representation of the Lie algebra $L$); its image $\ad L$ is isomorphic to the quotient algebra of $L$ with respect to its centre
  
The following four infinite series of subalgebras of a Lie algebra of this type are called classical (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837048.png" /> is a field of characteristic zero):
+
$$Z(L) = \{ x\in L \;|\; [x,y] = 0 \textrm{ for all } y\in L\}.$$
 +
2) Another important source of Lie algebras is connected with the following simple observation. If $L$ is an associative algebra over $k$ (cf.
 +
[[Associative rings and algebras|Associative rings and algebras]]) with multiplication $(x,y)\mapsto xy$, then the multiplication in the $k$-module $L$ specified by the rule
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837049.png" /></td> </tr></table>
+
$$(x,y)\mapsto [x,y] = xy-yx$$
 +
endows $L$ with the structure of a Lie algebra over $k$. One says that $(L,[\;,\;])$ is the Lie algebra associated with the associative algebra $(L, \cdot)$. Thus, the classical example of a Lie algebra $(L,[\;,\;])$ is obtained if for $(L, \cdot)$ one takes the (associative) algebra $\def\M{\textrm{M}}\M_n(k)$ of all square matrices of order $n$ over $k$.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837050.png" /></td> </tr></table>
+
The following four infinite series of subalgebras of a Lie algebra of this type are called classical ($k$ is a field of characteristic zero):
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837051.png" /></td> </tr></table>
+
$$\def\tr{\textrm{tr}\;}A_n = \{x\in \M_{n+1}(k)\;|\; \tr x = 0 \},\quad n \ge 1; $$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837052.png" /></td> </tr></table>
+
$$B_n = \{x \in\M_{2n+1}(k)\;|\; xB+B^t x = 0\},\quad n\ge 2,$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837053.png" /></td> </tr></table>
+
$$B=\begin{pmatrix} 1&0&0\\0&0&E_n\\0&E_n&0\end{pmatrix},\quad
 +
E_n = \begin{pmatrix}1&0&\cdots&0\\0&1&\cdots&0\\ \vdots &\ddots &\ddots & \vdots\\0&0&\cdots&1
 +
\end{pmatrix}\in\M_n(k);$$
  
One has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837054.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837055.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837056.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837057.png" />.
+
$$C_n = \{x\in\M_{2n}\;|\; xC+C^t x = 0\},\quad n\ge 3,\quad C =  
 +
\begin{pmatrix}0&E_n\\-E_n&0\end{pmatrix};$$
  
A remarkable result is that over an algebraically closed field of characteristic zero these Lie algebras, together with five exceptional Lie algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837058.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837059.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837060.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837061.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837062.png" />, of dimensions 14, 52, 78, 133, and 248, respectively, exhaust all simple (that is, non-commutative and not containing ideals other than 0 and the algebra itself) finite-dimensional Lie algebras over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837063.png" />, up to isomorphism (cf. [[Lie algebra, exceptional|Lie algebra, exceptional]]; [[Lie algebra, semi-simple|Lie algebra, semi-simple]]).
+
$$D_n = \{x\in\M_{2n}\;|\; xD+D^t x = 0\},\quad n\ge 4,\quad C =  
 +
\begin{pmatrix}0&E_n\\E_n&0\end{pmatrix}.$$
  
3) One more source of Lie algebras is that of vector fields on a manifold (see [[#References|[13]]], [[#References|[14]]] and [[Vector field on a manifold|Vector field on a manifold]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837064.png" /> be the ring of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837065.png" />-smooth functions on a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837066.png" />-smooth [[Manifold|manifold]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837067.png" />. The vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837068.png" /> of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837069.png" />-smooth vector fields on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837070.png" /> forms a Lie algebra with respect to the commutation operation (see [[Lie bracket|Lie bracket]]), which plays an important role in the theory of manifolds; the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837071.png" /> coincides with the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837072.png" />. Generally speaking, this algebra is infinite-dimensional. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837073.png" /> is a Lie group, then the subspace of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837074.png" /> consisting of all left-invariant vector fields is a finite-dimensional subalgebra and is called the Lie algebra of the Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837075.png" />; it plays an important role in the theory of Lie groups, making it possible to rephrase many properties of Lie groups in terms of Lie algebras. See also [[Lie algebra of an algebraic group|Lie algebra of an algebraic group]]; [[Lie algebra of an analytic group|Lie algebra of an analytic group]].
 
  
If in the example above one replaces the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837076.png" /> by a commutative algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837077.png" /> of formal power series over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837078.png" />, then instead of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837079.png" /> one obtains the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837080.png" /> of formal vector fields, which consists of the differential operators
+
One has $\dim A_n = n(n+2)$, $\dim B_n = n(2n+1)$, $\dim C_n = n(2n+1)$, $\dim D_n = n(2n-1)$.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837081.png" /></td> </tr></table>
+
A remarkable result is that over an algebraically closed field of characteristic zero these Lie algebras, together with five exceptional Lie algebras $G_2$, $F_4$, $E_6$, $E_7$, $E_8$, of dimensions 14, 52, 78, 133, and 248, respectively, exhaust all simple (that is, non-commutative and not containing ideals other than 0 and the algebra itself) finite-dimensional Lie algebras over $k$, up to isomorphism (cf.
 +
[[Lie algebra, exceptional|Lie algebra, exceptional]];
 +
[[Lie algebra, semi-simple|Lie algebra, semi-simple]]).
  
The subalgebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837082.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837083.png" /> consisting of derivations that annihilate the exterior differential forms
+
3) One more source of Lie algebras is that of vector fields on a manifold (see
 +
{{Cite|Go}},
 +
{{Cite|DuFoNo}} and
 +
[[Vector field on a manifold|Vector field on a manifold]]). Let $F$ be the ring of $C^\infty$-smooth functions on a $C^\infty$-smooth
 +
[[Manifold|manifold]] $M$. The vector space $\def\Vect{\textrm{Vect}}\Vect(M)$ of all $C^\infty$-smooth vector fields on $M$ forms a Lie algebra with respect to the commutation operation (see
 +
[[Lie bracket|Lie bracket]]), which plays an important role in the theory of manifolds; the Lie algebra $\Vect(M)$ coincides with the Lie algebra $\Der(F)$. Generally speaking, this algebra is infinite-dimensional. If $M$ is a Lie group, then the subspace of $\Vect(M)$ consisting of all left-invariant vector fields is a finite-dimensional subalgebra and is called the Lie algebra of the Lie group $M$; it plays an important role in the theory of Lie groups, making it possible to rephrase many properties of Lie groups in terms of Lie algebras. See also
 +
[[Lie algebra of an algebraic group|Lie algebra of an algebraic group]];
 +
[[Lie algebra of an analytic group|Lie algebra of an analytic group]].
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837084.png" /></td> </tr></table>
+
If in the example above one replaces the ring $F$ by a commutative algebra $\def\cO{\mathcal{O}}\cO_n(k) = k[[X_1,\dots,X_n]]$ of formal power series over a field $k$, then instead of $\Vect(M)$ one obtains the Lie algebra $W_n$ of formal vector fields, which consists of the differential operators
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837085.png" /></td> </tr></table>
+
$$D=\sum_{i=1}^nf_i\frac{\partial}{\partial X_i},\quad f_i\in\cO_n(k).$$
 +
The subalgebras $S_n\subset W_{n+1},$, $H_n\subset W_{2n}$ consisting of derivations that annihilate the exterior differential forms
  
respectively, and also the subalgebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837086.png" /> of derivations that multiply the form
+
$$\omega = dX_1\wedge\cdots\wedge dX_{n+1},$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837087.png" /></td> </tr></table>
+
$$\omega = \sum_{i=1}^n dX_i\wedge dX_{i+n},$$
 +
respectively, and also the subalgebra $K_n\subset W_{2n-1}$ of derivations that multiply the form
  
by elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837088.png" />, constitute, together with the algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837089.png" />, important classes of simple infinite-dimensional Lie algebras (Lie algebras of Cartan type). The algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837090.png" /> is called general, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837091.png" /> is called special, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837092.png" /> is called Hamiltonian, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837093.png" /> is called a contact algebra. These algebras were encountered by S. Lie in the study of pseudo-groups of transformations (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837094.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837095.png" />), and were then investigated for various reasons by E. Cartan and others (see [[#References|[15]]], [[#References|[17]]], , [[#References|[19]]]).
+
$$\omega = dX_{2n-1} + \sum_{i=1}^{n-1}(X_i dX_{i+n-1} - X_{i+n-1} dX_{i}$$
 +
by elements of $\cO_n(k)$, constitute, together with the algebra $W_n$, important classes of simple infinite-dimensional Lie algebras (Lie algebras of Cartan type). The algebra $W_n$ is called general, $S_n$ is called special, $H_n$ is called Hamiltonian, and $K_n$ is called a contact algebra. These algebras were encountered by S. Lie in the study of pseudo-groups of transformations ($k=\R$ or $\C$), and were then investigated for various reasons by E. Cartan and others (see
 +
{{Cite|GuSt}},
 +
{{Cite|KoSh}}).
  
4) The following general construction associates a Lie <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837096.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837097.png" /> to any group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837098.png" />; it is used in group theory (see [[Burnside problem|Burnside problem]], ). Let
+
4) The following general construction associates a Lie $\Z$-algebra $L$ to any group $G$; it is used in group theory (see
 +
[[Burnside problem|Burnside problem]], ). Let
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l05837099.png" /></td> </tr></table>
+
$$G=G_1\supseteq G_2\supseteq \cdots$$
 
+
be the lower central series of $G$. Then $L$ is the direct sum of the additively written quotient groups $G_i/G_{i+1}$ and, by definition, the product of two elements $\bar x\in G_i/G_{i+1}$ and $\bar y\in G_j/G_{j+1}$ is the element of $G_{i+j}/G_{i+j+1}$ that is the class of the commutator of elements $x\in G_i$ and $y\in G_j$ that represent $\bar x$ and $\bar y$, respectively. This operation can be extended by distributivity to arbitrary elements of $L$. There are (see ) some generalizations of this construction.
be the lower central series of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370100.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370101.png" /> is the direct sum of the additively written quotient groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370102.png" /> and, by definition, the product of two elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370103.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370104.png" /> is the element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370105.png" /> that is the class of the commutator of elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370106.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370107.png" /> that represent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370108.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370109.png" />, respectively. This operation can be extended by distributivity to arbitrary elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370110.png" />. There are (see ) some generalizations of this construction.
 
  
 
==The structure of Lie algebras.==
 
==The structure of Lie algebras.==
One of the general results that show, in particular, that the construction 2) has, in a sense, a universal character is the [[Birkhoff–Witt theorem|Birkhoff–Witt theorem]], which states that for any Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370111.png" /> over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370112.png" /> there is an associative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370113.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370114.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370115.png" /> can be isomorphically imbedded in the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370116.png" /> associated with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370117.png" /> (see [[Universal enveloping algebra|Universal enveloping algebra]]).
+
One of the general results that show, in particular, that the construction 2) has, in a sense, a universal character is the
 
+
[[Birkhoff–Witt theorem|Birkhoff–Witt theorem]], which states that for any Lie algebra $L$ over a field $k$ there is an associative $k$-algebra $U$ such that $LL$ can be isomorphically imbedded in the Lie algebra $(U,[\;,\;])$ associated with $U$ (see
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370118.png" /> be a finite-dimensional Lie algebra over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370119.png" /> of characteristic zero. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370120.png" /> is linear, that is, is isomorphic to a subalgebra of a certain Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370121.png" /> (Ado's theorem). In <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370122.png" /> there is a unique largest solvable ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370123.png" />, called the radical (see [[Lie algebra, solvable|Lie algebra, solvable]]). Moreover, in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370124.png" /> there is a subalgebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370125.png" /> (called a Levi subalgebra) such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370126.png" /> is the direct sum of the vector spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370127.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370128.png" />, and any other subalgebra with this property can be transformed into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370129.png" /> by an automorphism of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370130.png" /> (the Levi–Mal'tsev theorem, cf. also [[Levi–Mal'tsev decomposition|Levi–Mal'tsev decomposition]]). Such a subalgebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370131.png" /> is semi-simple (that is, its radical is equal to zero), and it can be characterized as a maximal semi-simple subalgebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370132.png" />. Thus, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370133.png" /> is the semi-direct sum of a semi-simple and a solvable Lie algebra, which reduces the problem of classifying finite-dimensional Lie algebras over a field of characteristic zero to the description of the Lie algebras of these two types and of the action of a semi-simple Lie algebra on a solvable one (viz, the restriction to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370134.png" /> of the adjoint representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370135.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370136.png" />). Although solvable Lie algebras are in a certain sense "obtained" from one-dimensional Lie algebras with trivial structure (namely, they have a chain of subalgebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370137.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370138.png" /> is an ideal of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370139.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370140.png" /> is one-dimensional), their structure is so complicated that at present (1989) there is not even a proper formulation of the problem of classifying solvable Lie algebras. By contrast, the finite-dimensional semi-simple Lie algebras over a field of characteristic zero have been completely described (see [[Lie algebra, semi-simple|Lie algebra, semi-simple]]): Any such algebra splits into the direct sum of simple ideals (and conversely, the direct sum of simple Lie algebras is semi-simple). In the case of an algebraically closed field all simple Lie algebras have been explicitly listed (see 2) above); in the case of an arbitrary field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370141.png" /> there is a procedure for finding them, by means of which an explicit classification has been found in a number of cases (for example, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370142.png" />).
+
[[Universal enveloping algebra|Universal enveloping algebra]]).
 
 
Finite-dimensional Lie algebras over a field of characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370143.png" /> have not been investigated in nearly so much detail (even for algebraically closed fields). These Lie algebras have many specific properties. For example, even the description of semi-simple Lie algebras in terms of simple algebras has turned out to be by no means trivial (see [[#References|[23]]]). For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370144.png" /> there are parametric families of simple Lie algebras that are pairwise non-isomorphic to one another. The theory of Lie algebras for this case is in the process of being established, and in a curious way it reflects the features of two different classes of complex Lie algebras, finite-dimensional simple algebras and finite-dimensional transitive simple algebras corresponding to primitive Lie pseudo-groups (see [[#References|[17]]], , [[#References|[19]]]).
 
  
The study of infinite-dimensional Lie algebras was begun in the 19th century at the same time as the study of finite-dimensional Lie algebras. These Lie algebras appear naturally in the classification of primitive pseudo-groups of transformations, which was undertaken by Cartan in 1909 [[#References|[20]]]. These algebras have a filtration for which the associated graded Lie algebra has the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370145.png" /> and is transitive. Infinite-dimensional graded Lie algebras are the subject of intensive research in which connections of these Lie algebras not only with classical geometrical questions but also with many other branches of mathematics have been discovered (see [[Lie algebra, graded|Lie algebra, graded]], and also [[#References|[17]]], , [[#References|[22]]]). Important examples of infinite-dimensional Lie algebras have appeared recently in the theory of certain equations in mathematical physics (for example, for the Korteweg–de Vries equation) and in formal variational calculus (see [[#References|[14]]]).
+
Let $L$ be a finite-dimensional Lie algebra over a field $k$ of characteristic zero. Then $L$ is linear, that is, is isomorphic to a subalgebra of a certain Lie algebra $\M_n(k)$ (Ado's theorem). In $L$ there is a unique largest solvable ideal $R$, called the radical (see
 +
[[Lie algebra, solvable|Lie algebra, solvable]]). Moreover, in $L$ there is a subalgebra $S$ (called a Levi subalgebra) such that $L$ is the direct sum of the vector spaces $S$ and $R$, and any other subalgebra with this property can be transformed into $S$ by an automorphism of $L$ (the Levi–Mal'tsev theorem, cf. also
 +
[[Levi–Mal'tsev decomposition|Levi–Mal'tsev decomposition]]). Such a subalgebra $S$ is semi-simple (that is, its radical is equal to zero), and it can be characterized as a maximal semi-simple subalgebra of $L$. Thus, $L$ is the semi-direct sum of a semi-simple and a solvable Lie algebra, which reduces the problem of classifying finite-dimensional Lie algebras over a field of characteristic zero to the description of the Lie algebras of these two types and of the action of a semi-simple Lie algebra on a solvable one (viz, the restriction to $\R$ of the adjoint representation of $S$ in $L$). Although solvable Lie algebras are in a certain sense "obtained" from one-dimensional Lie algebras with trivial structure (namely, they have a chain of subalgebras $L=L_0\supset L_1\supset \cdots \supset L_n = 0$ such that $L_i$ is an ideal of $L_{i-1}$ and $L_{i-1}/L_i$ is one-dimensional), their structure is so complicated that at present (1989) there is not even a proper formulation of the problem of classifying solvable Lie algebras. By contrast, the finite-dimensional semi-simple Lie algebras over a field of characteristic zero have been completely described (see
 +
[[Lie algebra, semi-simple|Lie algebra, semi-simple]]): Any such algebra splits into the direct sum of simple ideals (and conversely, the direct sum of simple Lie algebras is semi-simple). In the case of an algebraically closed field all simple Lie algebras have been explicitly listed (see 2) above); in the case of an arbitrary field $k$ there is a procedure for finding them, by means of which an explicit classification has been found in a number of cases (for example, for $k=\R$).
  
The abstract theory of infinite-dimensional Lie algebras (see [[#References|[9]]], for example) is now in the initial phase of development. The theory of representations of Lie algebras plays an important role both in the structure theory of Lie algebras and in the majority of applications to physics.
+
Finite-dimensional Lie algebras over a field of characteristic $p>0$ have not been investigated in nearly so much detail (even for algebraically closed fields). These Lie algebras have many specific properties. For example, even the description of semi-simple Lie algebras in terms of simple algebras has turned out to be by no means trivial (see
 +
{{Cite|Bl}}). For any $p$ there are parametric families of simple Lie algebras that are pairwise non-isomorphic to one another. The theory of Lie algebras for this case is in the process of being established, and in a curious way it reflects the features of two different classes of complex Lie algebras, finite-dimensional simple algebras and finite-dimensional transitive simple algebras corresponding to primitive Lie pseudo-groups (see
 +
{{Cite|GuSt}}, ,
 +
{{Cite|KoSh}}).
  
See also [[Superalgebra|Superalgebra]]; [[Lie algebras, variety of|Lie algebras, variety of]].
+
The study of infinite-dimensional Lie algebras was begun in the 19th century at the same time as the study of finite-dimensional Lie algebras. These Lie algebras appear naturally in the classification of primitive pseudo-groups of transformations, which was undertaken by Cartan in 1909
 
+
{{Cite|Ca}}. These algebras have a filtration for which the associated graded Lie algebra has the form $\bigoplus_{i=-1}^\infty G_i$ and is transitive. Infinite-dimensional graded Lie algebras are the subject of intensive research in which connections of these Lie algebras not only with classical geometrical questions but also with many other branches of mathematics have been discovered (see
====References====
+
[[Lie algebra, graded|Lie algebra, graded]], and also
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) {{MR|0682756}} {{ZBL|0319.17002}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979)) {{MR|0148716}} {{MR|0143793}} {{ZBL|0121.27504}} {{ZBL|0109.26201}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> I. Kaplansky, "Lie algebras and locally compact groups" , Chicago Univ. Press (1971) {{MR|0276398}} {{ZBL|0223.17001}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> W. Magnus, A. Karrass, B. Solitar, "Combinatorial group theory: presentations in terms of generators and relations" , Wiley (Interscience) (1966) {{MR|}} {{ZBL|0138.25604}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian) {{MR|0201557}} {{ZBL|0022.17104}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> , ''Theórie des algèbres de Lie. Topologie des groupes de Lie'' , ''Sem. S. Lie'' , '''Ie année 1954–1955''' , Ecole Norm. Sup. (1962) {{MR|}} {{ZBL|0106.02701}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) {{MR|0218496}} {{ZBL|0132.27803}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> C. Chevalley, "Théorie des groupes de Lie" , '''3''' , Hermann (1955) {{MR|0068552}} {{ZBL|0186.33104}} {{ZBL|0054.01303}} {{ZBL|0063.00843}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> R.K. Amayo, I. Stewart, "Infinite-dimensional Lie algebras" , Noordhoff (1974) {{MR|0396708}} {{ZBL|0302.17006}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> J.E. Humphreys, "Introduction to Lie algebras and representation theory" , Springer (1972) {{MR|0323842}} {{ZBL|0254.17004}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> G.B. Seligman, "Modular Lie algebras" , Springer (1967) {{MR|0245627}} {{ZBL|0189.03201}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> V.I. Arnol'd, "Mathematical methods of classical mechanics" , Springer (1978) (Translated from Russian) {{MR|}} {{ZBL|0692.70003}} {{ZBL|0572.70001}} {{ZBL|0647.70001}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> C. Godbillon, "Géométrie différentielle et mécanique analytique" , Hermann (1969) {{MR|0242081}} {{ZBL|0653.53001}} {{ZBL|0284.53018}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> B.A. Dubrovin, A.T. Fomenko, S.P. Novikov, "Modern geometry" , Springer (1984) (Translated from Russian) {{MR|0766739}} {{MR|0736837}} {{ZBL|0582.55001}} {{ZBL|0529.53002}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> , ''Internat. Congress Mathematicians (Nice, 1970)'' , Moscow (1972) pp. 111–117 (In Russian) (Lectures of Soviet Mathematicians)</TD></TR><TR><TD valign="top">[16a]</TD> <TD valign="top"> A.I. Kostrikin, "On the connection between periodic groups and Lie rings" ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''21''' (1957) pp. 289–310 (In Russian) {{MR|0094380}} {{ZBL|0158.02605}} </TD></TR><TR><TD valign="top">[16b]</TD> <TD valign="top"> A.I. Kostrikin, "The Burnside problem" ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''23''' (1959) pp. 3–34 (In Russian) {{MR|0132100}} {{ZBL|0132.01702}} </TD></TR><TR><TD valign="top">[16c]</TD> <TD valign="top"> A.I. Kostrikin, "A parametric family of simple Lie algebras" ''Math. USSR Izv.'' , '''4''' (1970) pp. 751–764 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''34''' (1970) pp. 744–756 {{MR|0274539}} {{ZBL|0245.17008}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> V. Guillemin, S. Sternberg, "An algebraic model of transitive differential geometry" ''Bull. Amer. Math. Soc.'' , '''70''' (1964) pp. 16–47 {{MR|0170295}} {{ZBL|0121.38801}} </TD></TR><TR><TD valign="top">[18a]</TD> <TD valign="top"> V.G. [V.G. Kats] Kac, "Simple irreducible Lie algebras of finite growth" ''Math. USSR Izv.'' , '''2''' (1968) pp. 1271–1311 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''32''' (1968) pp. 1323–1367 {{MR|}} {{ZBL|0222.17007}} </TD></TR><TR><TD valign="top">[18b]</TD> <TD valign="top"> V.G. [V.G. Kats] Kac, "Description of filtered Lie algebras with which graded Lie algebras of Cartan type are associated" ''Math. USSR Izv.'' , '''8''' (1974) pp. 801–835 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''38''' (1974) pp. 800–834 {{MR|0430000}} {{ZBL|0317.17002}} </TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top"> A.I. Kostrikin, I.R. Shafarevich, "Graded Lie algebras of finite characteristic" ''Math. USSR Izv.'' , '''3''' (1969) pp. 237–304 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''33''' (1969) pp. 251–322 {{MR|0252460}} {{ZBL|0211.05304}} </TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top"> E. Cartan, "Les groupes de transformations continues, infinis, simples" ''Ann. Sci. Ecole Norm. Sup.'' , '''26''' (1909) pp. 93–161 {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top"> M. Lazard, "Sur les groupes nilpotents et les anneaux de Lie" ''Ann. Sci. Ecole Norm. Sup.'' , '''71''' (1954) pp. 101–190 {{MR|0088496}} {{ZBL|0055.25103}} </TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top"> I.M. Singer, S. Sternberg, "The infinite groups of Lie and Cartan, Part I (the transitive groups)" ''J. d'Anal. Math.'' , '''15''' (1965) pp. 1–114</TD></TR><TR><TD valign="top">[23]</TD> <TD valign="top"> R.E. Block, "Determination of the differentiably simple rings with a minimal ideal" ''Ann. of Math. (2)'' , '''90''' (1969) pp. 433–459 {{MR|0251088}} {{ZBL|0216.07303}} </TD></TR></table>
+
{{Cite|GuSt}}, ,
 +
{{Cite|SiSt}}). Important examples of infinite-dimensional Lie algebras have appeared recently in the theory of certain equations in mathematical physics (for example, for the Korteweg–de Vries equation) and in formal variational calculus (see
 +
{{Cite|DuFoNo}}).
  
 +
The abstract theory of infinite-dimensional Lie algebras (see
 +
{{Cite|AmSt}}, for example) is now in the initial phase of development. The theory of representations of Lie algebras plays an important role both in the structure theory of Lie algebras and in the majority of applications to physics.
  
 +
See also
 +
[[Superalgebra|Superalgebra]];
 +
[[Lie algebras, variety of|Lie algebras, variety of]].
  
 
====Comments====
 
====Comments====
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370146.png" /> now be of characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370147.png" />. A simple Lie algebra of classical type in characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370149.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370150.png" />, is one "like" the simple algebras in characteristic zero corresponding to the root systems <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370151.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370152.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370153.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370154.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370155.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370156.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370157.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370158.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370159.png" />. Examples of these algebras are obtained by taking a Chevalley basis of one of these algebras; that gives a version (i.e. a form, see [[Form of an (algebraic) structure|Form of an (algebraic) structure]]) defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370160.png" />; reduce the coefficients in the multiplication table of the basis elements modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370161.png" /> to obtain a Lie algebra over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370162.png" />; divide out, when necessary, the centre of this algebra over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370163.png" />; extend the scalars to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370164.png" />.
+
Let $k$ now be of characteristic $p>0$. A simple Lie algebra of classical type in characteristic $p$, $p>0$, is one "like" the simple algebras in characteristic zero corresponding to the root systems $A_n, B_n, C_n, E_6$, $E_7$, $E_8$, $F_4$, $G_2$. Examples of these algebras are obtained by taking a Chevalley basis of one of these algebras; that gives a version (i.e. a form, see
 +
[[Form of an (algebraic) structure|Form of an (algebraic) structure]]) defined over $\Z$; reduce the coefficients in the multiplication table of the basis elements modulo $p$ to obtain a Lie algebra over $Z/(p)$; divide out, when necessary, the centre of this algebra over $\Z/(p)$; extend the scalars to $k\supset \Z/(p)$.
  
Perhaps somewhat confusingly, the algebras of classical type in characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370165.png" /> are taken to include the five exceptional types <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370166.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370167.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370168.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370169.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370170.png" />. The Lie algebras of classical type can also be characterized by the Mills–Seligman axioms, [[#References|[11]]]: if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370171.png" /> is simple (and finite dimensional) and has a [[Cartan subalgebra|Cartan subalgebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370172.png" /> which acts diagonally on each root space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370173.png" />, if, moreover, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370174.png" /> for each root <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370175.png" />, and if whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370176.png" /> are roots, then not all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370177.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370178.png" />, are roots, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370179.png" /> is classical. A simple Lie algebra with a projective representation with non-degenerate trace form is classical (and vice versa). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370180.png" /> is algebraically closed, the simple Lie algebras of classical type are classified by their Dynkin diagrams, and over an arbitrary (perfect) field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370181.png" /> of characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370182.png" /> the classification can then be attacked by means of the theory of forms (cf. [[Form of an (algebraic) structure|Form of an (algebraic) structure]]). For instance, over the finite fields one finds for the number of (non-isomorphic) forms (for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370183.png" />) the following:
+
Perhaps somewhat confusingly, the algebras of classical type in characteristic $p>0$ are taken to include the five exceptional types $E_6$, $E_7$, $E_8$, $F_4$, $G_2$. The Lie algebras of classical type can also be characterized by the Mills–Seligman axioms,
 +
{{Cite|Se2}}: if $\def\f#1{\mathfrak{#1}}\f G$ is simple (and finite dimensional) and has a
 +
[[Cartan subalgebra|Cartan subalgebra]] $\f h$ which acts diagonally on each root space $\def\a{\alpha}\def\b{\beta}\f g_\a$, if, moreover, $\dim [\f g_\a,\f g_{-\a}] = 1$ for each root $\a \ne 0$, and if whenever $\a,\b \ne 0$ are roots, then not all $\a+i\b $, $i\in\Z$, are roots, then $\f g$ is classical. A simple Lie algebra with a projective representation with non-degenerate trace form is classical (and vice versa). If $k$ is algebraically closed, the simple Lie algebras of classical type are classified by their Dynkin diagrams, and over an arbitrary (perfect) field $k$ of characteristic $p>0$ the classification can then be attacked by means of the theory of forms (cf.
 +
[[Form of an (algebraic) structure|Form of an (algebraic) structure]]). For instance, over the finite fields one finds for the number of (non-isomorphic) forms (for $p\ne 2,3$) the following:
  
types <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370184.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370185.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370186.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370187.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370188.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370189.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370190.png" />: one;
+
types $A_1$, $B$, $C$, $G_2$, $F_4$, $E_7$, $E_8$: one;
  
types <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370191.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370192.png" />), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370193.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370194.png" />), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370195.png" />: two;
+
types $A_n$ ($n>1$), $D_n$ ($n>4$), $E_6$: two;
  
type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370196.png" />: three.
+
type $D_4$: three.
  
Besides the simple Lie algebras of classical type over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370197.png" /> of characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370198.png" /> there are many more. Some are described in [[Witt algebra|Witt algebra]]. All the other known simple Lie algebras are simple Lie algebras of Cartan type. These are (twisted) analogues of the infinite-dimensional algebras of Lie and Cartan of types <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370199.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370200.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370201.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370202.png" />, and they arise as (twisted) subalgebras of the algebras of derivations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370203.png" />, which are defined as follows.
+
Besides the simple Lie algebras of classical type over a field $k$ of characteristic $p>0$ there are many more. Some are described in
 +
[[Witt algebra|Witt algebra]]. All the other known simple Lie algebras are simple Lie algebras of Cartan type. These are (twisted) analogues of the infinite-dimensional algebras of Lie and Cartan of types $W$, $S$, $H$, $K$, and they arise as (twisted) subalgebras of the algebras of derivations $W(m;\bf n)$, which are defined as follows.
  
Define a co-algebra structure (cf. [[Co-algebra|Co-algebra]]) on the algebra of polynomials <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370204.png" /> by defining <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370205.png" /> (making <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370206.png" /> a [[Hopf algebra|Hopf algebra]]). The dual algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370207.png" /> is an infinite-dimensional associative and commutative algebra consisting of all formal sums <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370208.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370209.png" /> ranges over all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370210.png" />-tuples of non-negative integers. The multiplication is given by
+
Define a co-algebra structure (cf.
 +
[[Co-algebra|Co-algebra]]) on the algebra of polynomials $k[X_1,\dots,X_m]$ by defining $\mu(X_i)=1\otimes X_i+X_i\otimes 1$ (making $k[X_1,\dots,X_m]$ a
 +
[[Hopf algebra|Hopf algebra]]). The dual algebra $A(m)$ is an infinite-dimensional associative and commutative algebra consisting of all formal sums $\sum c_\a x^\a$, where $\a$ ranges over all $m$-tuples of non-negative integers. The multiplication is given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370211.png" /></td> </tr></table>
+
$$x^\a x^\b = {\a+\b \choose \a} x^{\a+\b}.$$
  
For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370212.png" />-tuple of non-negative integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370213.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370214.png" /> denote the span of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370215.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370216.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370217.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370218.png" /> is a subalgebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370219.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370220.png" /> be the derivation algebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370221.png" />. The algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370222.png" /> is simple of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370223.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370224.png" />. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370225.png" /> are the Jacobson–Witt algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370226.png" />, cf. [[Witt algebra|Witt algebra]]. For a description of the various (twisted) subalgebras of types <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370227.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370228.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370229.png" /> of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370230.png" /> cf. [[#References|[a4]]][[#References|[a7]]]. These are the Lie algebras of Cartan type. The generalized Kostrikin–Shafarevich conjecture states that every simple Lie algebra over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370231.png" /> is of classical type or of Cartan type.
+
For each $m$-tuple of non-negative integers ${\bf n}$, let $A(m;{\bf n})$ denote the span of the $x^\a$ with $\a_i < p^{n_i}$ for all $i$. Then $A(m;{\bf n})$ is a subalgebra of $A(m)$. Let $W(m;{\bf n})$ be the derivation algebra of $A(m;{\bf n})$. The algebra $W(m;{\bf n})$ is simple of dimension $mp^{|{\bf n}|}$, where $|{\bf n}| = n_1+\cdots + n_m$. The $W(m;(1,\dots,1))$ are the Jacobson–Witt algebras $W_n$, cf.
 +
[[Witt algebra|Witt algebra]]. For a description of the various (twisted) subalgebras of types $S$, $H$, $K$ of the $W(m;{\bf n})$ cf.
 +
{{Cite|BlWi}}{{Cite|Wi}}. These are the Lie algebras of Cartan type. The generalized Kostrikin–Shafarevich conjecture states that every simple Lie algebra over $k$ is of classical type or of Cartan type.
  
A restricted Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370232.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370233.png" /> is such that for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370234.png" /> there is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370235.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370236.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370237.png" /> is simple, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370238.png" /> is unique. The original Kostrikin–Shafarevich conjecture states that each simple finite-dimensional restricted Lie algebra is of classical type or of Cartan type. This has been proved by R.E. Block and R.L. Wilson for characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370239.png" />, [[#References|[a5]]], [[#References|[a4]]].
+
A restricted Lie algebra $\f g$ over $k$ is such that for every $x\in \f g$ there is a $y\in \f g$ such that $(\ad x)^p = \ad y$. If $\f g$ is simple, then $y$ is unique. The original Kostrikin–Shafarevich conjecture states that each simple finite-dimensional restricted Lie algebra is of classical type or of Cartan type. This has been proved by R.E. Block and R.L. Wilson for characteristic $p>7$,
 +
{{Cite|BlWi2}},
 +
{{Cite|BlWi}}.
  
Simple Lie algebras of Cartan type are very different from those of classical type: they have zero Killing forms; their Cartan subalgebras may be nilpotent of any index and not all have the same dimension; the root spaces may be arbitrarily large; the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370240.png" />-root string through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370241.png" /> may include all roots <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370242.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058370/l058370243.png" />; there may be infinitely non-conjugate Cartan subalgebras of a given dimension. Cf. [[#References|[a8]]][[#References|[a11]]].
+
Simple Lie algebras of Cartan type are very different from those of classical type: they have zero Killing forms; their Cartan subalgebras may be nilpotent of any index and not all have the same dimension; the root spaces may be arbitrarily large; the $\a$-root string through $\b$ may include all roots $\b+i\a$, $i=0,\dots,p-1$; there may be infinitely non-conjugate Cartan subalgebras of a given dimension. Cf.
 +
{{Cite|Be}}{{Cite|St}}.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.-P. Serre, "Algèbres de Lie semi-simples complexes" , Benjamin (1966) {{MR|0215886}} {{ZBL|0144.02105}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> V.S. Varadarajan, "Lie groups, Lie algebras, and their representations" , Prentice-Hall (1974) {{MR|0376938}} {{ZBL|0371.22001}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> D.J. Britten (ed.) F.W. Lemire (ed.) , ''Lie algebras and related topics'' , Amer. Math. Soc. (1986) {{MR|0832191}} {{ZBL|0574.00001}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> R.E. Block, R.L. Wilson, "Classification of restricted simple Lie algebras" ''J. of Algebra'' , '''114''' (1988) pp. 115–259 {{MR|931904}} {{ZBL|0644.17008}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> R.E. Block, R.L. Wilson, "The restricted simple Lie algebras are of classical or Cartan type" ''Proc. Nat. Acad. Sci. USA'' , '''81''' (1984) pp. 5271–5274 {{MR|0758423}} {{ZBL|0542.17003}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> R.E. Block, R.L. Wilson, "Restricted simple Lie algebras" D.J. Britten (ed.) F.W. Lemire (ed.) , ''Lie algebras and related topics'' , Amer. Math. Soc. (1986) pp. 3–18 {{MR|0832192}} {{ZBL|0582.17009}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> R.L. Wilson, "A structural characterization of the simple Lie algebras of generalized Cartan type over fields of prime characteristic" ''J. of Algebra'' , '''40''' (1976) pp. 418–465 {{MR|0412239}} {{ZBL|0355.17012}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> G. Benkart, "Cartan subalgebras in Lie algebras of Cartan type" D.J. Britten (ed.) F.W. Lemire (ed.) , ''Lie algebras and related topics'' , Amer. Math. Soc. (1986) pp. 157–187 {{MR|0832198}} {{ZBL|0581.17006}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> R.E. Block, "New simple Lie algebras of prime characteristic" ''Trans. Amer. Math. Soc.'' , '''89''' (1958) pp. 421–449 {{MR|0100010}} {{ZBL|0082.25104}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> G. Brown, "Cartan subalgebras of Zassenhaus algebras" ''Canad. J. Math.'' , '''27''' (1975) pp. 1011–1021 {{MR|0401851}} {{ZBL|0329.17004}} </TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> H. Strade, "Cartanalgebren im modularen Liealgebren" ''Comm. in Algebra'' , '''5''' (1977) pp. 1335–1359 {{MR|}} {{ZBL|}} </TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|AmSt}}||valign="top"| R.K. Amayo, I. Stewart, "Infinite-dimensional Lie algebras", Noordhoff (1974) {{MR|0396708}} {{ZBL|0302.17006}}
 +
|-
 +
|valign="top"|{{Ref|Ar}}||valign="top"| V.I. Arnol'd, "Mathematical methods of classical mechanics", Springer (1978) (Translated from Russian) {{MR|}} {{ZBL|0692.70003}} {{ZBL|0572.70001}} {{ZBL|0647.70001}}
 +
|-
 +
|valign="top"|{{Ref|Be}}||valign="top"| G. Benkart, "Cartan subalgebras in Lie algebras of Cartan type" D.J. Britten (ed.) F.W. Lemire (ed.), ''Lie algebras and related topics'', Amer. Math. Soc. (1986) pp. 157–187 {{MR|0832198}} {{ZBL|0581.17006}}
 +
|-
 +
|valign="top"|{{Ref|Bl}}||valign="top"| R.E. Block, "Determination of the differentiably simple rings with a minimal ideal" ''Ann. of Math. (2)'', '''90''' (1969) pp. 433–459 {{MR|0251088}} {{ZBL|0216.07303}}
 +
|-
 +
|valign="top"|{{Ref|Bl2}}||valign="top"| R.E. Block, "New simple Lie algebras of prime characteristic" ''Trans. Amer. Math. Soc.'', '''89''' (1958) pp. 421–449 {{MR|0100010}} {{ZBL|0082.25104}}
 +
|-
 +
|valign="top"|{{Ref|BlWi}}||valign="top"| R.E. Block, R.L. Wilson, "Classification of restricted simple Lie algebras" ''J. of Algebra'', '''114''' (1988) pp. 115–259 {{MR|931904}} {{ZBL|0644.17008}}
 +
|-
 +
|valign="top"|{{Ref|BlWi2}}||valign="top"| R.E. Block, R.L. Wilson, "The restricted simple Lie algebras are of classical or Cartan type" ''Proc. Nat. Acad. Sci. USA'', '''81''' (1984) pp. 5271–5274 {{MR|0758423}} {{ZBL|0542.17003}}
 +
|-
 +
|valign="top"|{{Ref|BlWi3}}||valign="top"| R.E. Block, R.L. Wilson, "Restricted simple Lie algebras" D.J. Britten (ed.) F.W. Lemire (ed.), ''Lie algebras and related topics'', Amer. Math. Soc. (1986) pp. 3–18 {{MR|0832192}} {{ZBL|0582.17009}}
 +
|-
 +
|valign="top"|{{Ref|Bo}}||valign="top"| N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras", Addison-Wesley (1975) (Translated from French) {{MR|0682756}} {{ZBL|0319.17002}}
 +
|-
 +
|valign="top"|{{Ref|Br}}||valign="top"| G. Brown, "Cartan subalgebras of Zassenhaus algebras" ''Canad. J. Math.'', '''27''' (1975) pp. 1011–1021 {{MR|0401851}} {{ZBL|0329.17004}}
 +
|-
 +
|valign="top"|{{Ref|BrLe}}||valign="top"| D.J. Britten (ed.) F.W. Lemire (ed.), ''Lie algebras and related topics'', Amer. Math. Soc. (1986) {{MR|0832191}} {{ZBL|0574.00001}}
 +
|-
 +
|valign="top"|{{Ref|Ca}}||valign="top"| E. Cartan, "Les groupes de transformations continues, infinis, simples" ''Ann. Sci. Ecole Norm. Sup.'', '''26''' (1909) pp. 93–161 {{MR|}} {{ZBL|}}
 +
|-
 +
|valign="top"|{{Ref|Ch}}||valign="top"| C. Chevalley, "Théorie des groupes de Lie", '''3''', Hermann (1955) {{MR|0068552}} {{ZBL|0186.33104}} {{ZBL|0054.01303}} {{ZBL|0063.00843}}
 +
|-
 +
|valign="top"|{{Ref|DuFoNo}}||valign="top"| B.A. Dubrovin, A.T. Fomenko, S.P. Novikov, "Modern geometry", Springer (1984) (Translated from Russian) {{MR|0766739}} {{MR|0736837}} {{ZBL|0582.55001}} {{ZBL|0529.53002}}
 +
|-
 +
|valign="top"|{{Ref|Go}}||valign="top"| C. Godbillon, "Géométrie différentielle et mécanique analytique", Hermann (1969) {{MR|0242081}} {{ZBL|0653.53001}} {{ZBL|0284.53018}}
 +
|-
 +
|valign="top"|{{Ref|GuSt}}||valign="top"| V. Guillemin, S. Sternberg, "An algebraic model of transitive differential geometry" ''Bull. Amer. Math. Soc.'', '''70''' (1964) pp. 16–47 {{MR|0170295}} {{ZBL|0121.38801}}
 +
|-
 +
|valign="top"|{{Ref|Hu}}||valign="top"| J.E. Humphreys, "Introduction to Lie algebras and representation theory", Springer (1972) {{MR|0323842}} {{ZBL|0254.17004}}
 +
|-
 +
|valign="top"|{{Ref|Ja}}||valign="top"| N. Jacobson, "Lie algebras", Interscience (1962) ((also: Dover, reprint, 1979)) {{MR|0148716}} {{MR|0143793}} {{ZBL|0121.27504}} {{ZBL|0109.26201}}
 +
|-
 +
|valign="top"|{{Ref|Ka}}||valign="top"| I. Kaplansky, "Lie algebras and locally compact groups", Chicago Univ. Press (1971) {{MR|0276398}} {{ZBL|0223.17001}}
 +
|-
 +
|valign="top"|{{Ref|Ka2}}||valign="top"| V.G. [V.G. Kats] Kac, "Simple irreducible Lie algebras of finite growth" ''Math. USSR Izv.'', '''2''' (1968) pp. 1271–1311 ''Izv. Akad. Nauk SSSR Ser. Mat.'', '''32''' (1968) pp. 1323–1367 {{MR|}} {{ZBL|0222.17007}}
 +
|-
 +
|valign="top"|{{Ref|Ka3}}||valign="top"| V.G. [V.G. Kats] Kac, "Description of filtered Lie algebras with which graded Lie algebras of Cartan type are associated" ''Math. USSR Izv.'', '''8''' (1974) pp. 801–835 ''Izv. Akad. Nauk SSSR Ser. Mat.'', '''38''' (1974) pp. 800–834 {{MR|0430000}} {{ZBL|0317.17002}}
 +
|-
 +
|valign="top"|{{Ref|Ko}}||valign="top"| A.I. Kostrikin, "On the connection between periodic groups and Lie rings" ''Izv. Akad. Nauk SSSR Ser. Mat.'', '''21''' (1957) pp. 289–310 (In Russian) {{MR|0094380}} {{ZBL|0158.02605}}
 +
|-
 +
|valign="top"|{{Ref|Ko2}}||valign="top"| A.I. Kostrikin, "The Burnside problem" ''Izv. Akad. Nauk SSSR Ser. Mat.'', '''23''' (1959) pp. 3–34 (In Russian) {{MR|0132100}} {{ZBL|0132.01702}}
 +
|-
 +
|valign="top"|{{Ref|Ko3}}||valign="top"| A.I. Kostrikin, "A parametric family of simple Lie algebras" ''Math. USSR Izv.'', '''4''' (1970) pp. 751–764 ''Izv. Akad. Nauk SSSR Ser. Mat.'', '''34''' (1970) pp. 744–756 {{MR|0274539}} {{ZBL|0245.17008}}
 +
|-
 +
|valign="top"|{{Ref|KoSh}}||valign="top"| A.I. Kostrikin, I.R. Shafarevich, "Graded Lie algebras of finite characteristic" ''Math. USSR Izv.'', '''3''' (1969) pp. 237–304 ''Izv. Akad. Nauk SSSR Ser. Mat.'', '''33''' (1969) pp. 251–322 {{MR|0252460}} {{ZBL|0211.05304}}
 +
|-
 +
|valign="top"|{{Ref|La}}||valign="top"| M. Lazard, "Sur les groupes nilpotents et les anneaux de Lie" ''Ann. Sci. Ecole Norm. Sup.'', '''71''' (1954) pp. 101–190 {{MR|0088496}} {{ZBL|0055.25103}}
 +
|-
 +
|valign="top"|{{Ref|MaKaSo}}||valign="top"| W. Magnus, A. Karrass, B. Solitar, "Combinatorial group theory: presentations in terms of generators and relations", Wiley (Interscience) (1966) {{MR|}} {{ZBL|0138.25604}}
 +
|-
 +
|valign="top"|{{Ref|Po}}||valign="top"| L.S. Pontryagin, "Topological groups", Princeton Univ. Press (1958) (Translated from Russian) {{MR|0201557}} {{ZBL|0022.17104}}
 +
|-
 +
|valign="top"|{{Ref|Se}}||valign="top"| J.-P. Serre, "Lie algebras and Lie groups", Benjamin (1965) (Translated from French) {{MR|0218496}} {{ZBL|0132.27803}}
 +
|-
 +
|valign="top"|{{Ref|Se2}}||valign="top"| G.B. Seligman, "Modular Lie algebras", Springer (1967) {{MR|0245627}} {{ZBL|0189.03201}}
 +
|-
 +
|valign="top"|{{Ref|Se3}}||valign="top"| J.-P. Serre, "Algèbres de Lie semi-simples complexes", Benjamin (1966) {{MR|0215886}} {{ZBL|0144.02105}}
 +
|-
 +
|valign="top"|{{Ref|SiSt}}||valign="top"| I.M. Singer, S. Sternberg, "The infinite groups of Lie and Cartan, Part I (the transitive groups)" ''J. d'Anal. Math.'', '''15''' (1965) pp. 1–114
 +
|-
 +
|valign="top"|{{Ref|St}}||valign="top"| H. Strade, "Cartanalgebren im modularen Liealgebren" ''Comm. in Algebra'', '''5''' (1977) pp. 1335–1359 {{MR|}} {{ZBL|}}
 +
|-
 +
|valign="top"|{{Ref|Va}}||valign="top"| V.S. Varadarajan, "Lie groups, Lie algebras, and their representations", Prentice-Hall (1974) {{MR|0376938}} {{ZBL|0371.22001}}
 +
|-
 +
|valign="top"|{{Ref|Wi}}||valign="top"| R.L. Wilson, "A structural characterization of the simple Lie algebras of generalized Cartan type over fields of prime characteristic" ''J. of Algebra'', '''40''' (1976) pp. 418–465 {{MR|0412239}} {{ZBL|0355.17012}}
 +
|-
 +
|}

Revision as of 19:57, 22 May 2012

2020 Mathematics Subject Classification: Primary: 17B [MSN][ZBL]

A Lie algebra is a unitary $k$-module $L$ over a commutative ring $k$ with a unit that is endowed with a bilinear mapping $(x,y)\mapsto [x,y]$ of $L\times L$ into $L$ having the following two properties:

1) $[x,x] = 0$ (hence the anti-commutative law $[x,y]=-[y,x]$);

2) $[x,[y,z]]+[y,[z,x]]+[z,[x,y]] = 0$ (the Jacobi identity).

Thus, a Lie algebra is an algebra over $k$ (usually not associative); in the usual way one defines the concepts of a subalgebra, an ideal, a quotient algebra, and a homomorphism of Lie algebras. A Lie algebra $L$ is said to be commutative if $[x,y] = 0$ for all $x,y\in L$.

The most important case is that in which $k$ is a field (especially when $k=\R$ or $\C$) and $L$ is a vector space (of finite or infinite dimension) over $k$.

Lie algebras appeared in mathematics at the end of the 19th century in connection with the study of Lie groups (cf. Lie group, see also Lie group, local; Lie transformation group; Lie theorem), and in implicit form somewhat earlier in mechanics. The common prerequisite for such a concept to arise was the concept of an "infinitesimal transformation" , which goes back at least to the time of the origin of infinitesimal calculus. The fact that integrals of class $C^2$ of the Hamilton equation are closed with respect to the Poisson brackets, which satisfy the Jacobi identity, was one of the earliest observations to be expressed properly in the language of Lie algebras (see [Ch], [Hu]). The term "Lie algebra" itself was introduced by H. Weyl in 1934 (up to this time the terms "infinitesimal transformations of the group in question" or "infinitesimal group" had been used). In the course of time the role of Lie algebras increased in proportion to the place taken by Lie groups in mathematics (especially in geometry), and also in classical and quantum mechanics. In the first place this is explained by the special place of Lie algebras among many other varieties of universal algebras. Presently (1980-s) the apparatus of Lie algebras has been perceived not only as a useful and powerful tool in the linearization of group-theoretic problems (whether in the theory of Lie groups or in the theory of algebraic groups, cf. Algebraic group, which to a significant extent absorbs it and extremely outgrows it, or in the theory of finite groups, cf. Finite group, which rather stands by itself), but also as the source of beautiful and difficult problems in linear algebra.

There are several natural sources that provide important examples of Lie algebras.

1) In the framework of general algebra the significance of Lie algebras is determined first of all by the fact that the set $\def\Der{\textrm{Der}}\Der(A)$ of all derivations (cf. Derivation in a ring) of any $k$-algebra is a Lie algebra with the operation

$$[D_1,D_2] = D_1\circ D_2 - D_2\circ D_1. $$ The derivations of a Lie algebra $L$ of the form

$$\def\ad{\textrm{ad}\;}\ad x \mapsto [x,y],\quad x,y \in L$$ are called inner derivations or adjoint transformations. In $\Der(L)$ they form a subalgebra, $\ad L$, and the mapping $x\mapsto \ad x$ is a homomorphism of Lie algebras $L\to \Der(L)$ (the adjoint representation of the Lie algebra $L$); its image $\ad L$ is isomorphic to the quotient algebra of $L$ with respect to its centre

$$Z(L) = \{ x\in L \;|\; [x,y] = 0 \textrm{ for all } y\in L\}.$$ 2) Another important source of Lie algebras is connected with the following simple observation. If $L$ is an associative algebra over $k$ (cf. Associative rings and algebras) with multiplication $(x,y)\mapsto xy$, then the multiplication in the $k$-module $L$ specified by the rule

$$(x,y)\mapsto [x,y] = xy-yx$$ endows $L$ with the structure of a Lie algebra over $k$. One says that $(L,[\;,\;])$ is the Lie algebra associated with the associative algebra $(L, \cdot)$. Thus, the classical example of a Lie algebra $(L,[\;,\;])$ is obtained if for $(L, \cdot)$ one takes the (associative) algebra $\def\M{\textrm{M}}\M_n(k)$ of all square matrices of order $n$ over $k$.

The following four infinite series of subalgebras of a Lie algebra of this type are called classical ($k$ is a field of characteristic zero):

$$\def\tr{\textrm{tr}\;}A_n = \{x\in \M_{n+1}(k)\;|\; \tr x = 0 \},\quad n \ge 1; $$

$$B_n = \{x \in\M_{2n+1}(k)\;|\; xB+B^t x = 0\},\quad n\ge 2,$$

$$B=\begin{pmatrix} 1&0&0\\0&0&E_n\\0&E_n&0\end{pmatrix},\quad E_n = \begin{pmatrix}1&0&\cdots&0\\0&1&\cdots&0\\ \vdots &\ddots &\ddots & \vdots\\0&0&\cdots&1 \end{pmatrix}\in\M_n(k);$$

$$C_n = \{x\in\M_{2n}\;|\; xC+C^t x = 0\},\quad n\ge 3,\quad C = \begin{pmatrix}0&E_n\\-E_n&0\end{pmatrix};$$

$$D_n = \{x\in\M_{2n}\;|\; xD+D^t x = 0\},\quad n\ge 4,\quad C = \begin{pmatrix}0&E_n\\E_n&0\end{pmatrix}.$$


One has $\dim A_n = n(n+2)$, $\dim B_n = n(2n+1)$, $\dim C_n = n(2n+1)$, $\dim D_n = n(2n-1)$.

A remarkable result is that over an algebraically closed field of characteristic zero these Lie algebras, together with five exceptional Lie algebras $G_2$, $F_4$, $E_6$, $E_7$, $E_8$, of dimensions 14, 52, 78, 133, and 248, respectively, exhaust all simple (that is, non-commutative and not containing ideals other than 0 and the algebra itself) finite-dimensional Lie algebras over $k$, up to isomorphism (cf. Lie algebra, exceptional; Lie algebra, semi-simple).

3) One more source of Lie algebras is that of vector fields on a manifold (see [Go], [DuFoNo] and Vector field on a manifold). Let $F$ be the ring of $C^\infty$-smooth functions on a $C^\infty$-smooth manifold $M$. The vector space $\def\Vect{\textrm{Vect}}\Vect(M)$ of all $C^\infty$-smooth vector fields on $M$ forms a Lie algebra with respect to the commutation operation (see Lie bracket), which plays an important role in the theory of manifolds; the Lie algebra $\Vect(M)$ coincides with the Lie algebra $\Der(F)$. Generally speaking, this algebra is infinite-dimensional. If $M$ is a Lie group, then the subspace of $\Vect(M)$ consisting of all left-invariant vector fields is a finite-dimensional subalgebra and is called the Lie algebra of the Lie group $M$; it plays an important role in the theory of Lie groups, making it possible to rephrase many properties of Lie groups in terms of Lie algebras. See also Lie algebra of an algebraic group; Lie algebra of an analytic group.

If in the example above one replaces the ring $F$ by a commutative algebra $\def\cO{\mathcal{O}}\cO_n(k) = k[[X_1,\dots,X_n]]$ of formal power series over a field $k$, then instead of $\Vect(M)$ one obtains the Lie algebra $W_n$ of formal vector fields, which consists of the differential operators

$$D=\sum_{i=1}^nf_i\frac{\partial}{\partial X_i},\quad f_i\in\cO_n(k).$$ The subalgebras $S_n\subset W_{n+1},$, $H_n\subset W_{2n}$ consisting of derivations that annihilate the exterior differential forms

$$\omega = dX_1\wedge\cdots\wedge dX_{n+1},$$

$$\omega = \sum_{i=1}^n dX_i\wedge dX_{i+n},$$ respectively, and also the subalgebra $K_n\subset W_{2n-1}$ of derivations that multiply the form

$$\omega = dX_{2n-1} + \sum_{i=1}^{n-1}(X_i dX_{i+n-1} - X_{i+n-1} dX_{i}$$ by elements of $\cO_n(k)$, constitute, together with the algebra $W_n$, important classes of simple infinite-dimensional Lie algebras (Lie algebras of Cartan type). The algebra $W_n$ is called general, $S_n$ is called special, $H_n$ is called Hamiltonian, and $K_n$ is called a contact algebra. These algebras were encountered by S. Lie in the study of pseudo-groups of transformations ($k=\R$ or $\C$), and were then investigated for various reasons by E. Cartan and others (see [GuSt], [KoSh]).

4) The following general construction associates a Lie $\Z$-algebra $L$ to any group $G$; it is used in group theory (see Burnside problem, ). Let

$$G=G_1\supseteq G_2\supseteq \cdots$$ be the lower central series of $G$. Then $L$ is the direct sum of the additively written quotient groups $G_i/G_{i+1}$ and, by definition, the product of two elements $\bar x\in G_i/G_{i+1}$ and $\bar y\in G_j/G_{j+1}$ is the element of $G_{i+j}/G_{i+j+1}$ that is the class of the commutator of elements $x\in G_i$ and $y\in G_j$ that represent $\bar x$ and $\bar y$, respectively. This operation can be extended by distributivity to arbitrary elements of $L$. There are (see ) some generalizations of this construction.

The structure of Lie algebras.

One of the general results that show, in particular, that the construction 2) has, in a sense, a universal character is the Birkhoff–Witt theorem, which states that for any Lie algebra $L$ over a field $k$ there is an associative $k$-algebra $U$ such that $LL$ can be isomorphically imbedded in the Lie algebra $(U,[\;,\;])$ associated with $U$ (see Universal enveloping algebra).

Let $L$ be a finite-dimensional Lie algebra over a field $k$ of characteristic zero. Then $L$ is linear, that is, is isomorphic to a subalgebra of a certain Lie algebra $\M_n(k)$ (Ado's theorem). In $L$ there is a unique largest solvable ideal $R$, called the radical (see Lie algebra, solvable). Moreover, in $L$ there is a subalgebra $S$ (called a Levi subalgebra) such that $L$ is the direct sum of the vector spaces $S$ and $R$, and any other subalgebra with this property can be transformed into $S$ by an automorphism of $L$ (the Levi–Mal'tsev theorem, cf. also Levi–Mal'tsev decomposition). Such a subalgebra $S$ is semi-simple (that is, its radical is equal to zero), and it can be characterized as a maximal semi-simple subalgebra of $L$. Thus, $L$ is the semi-direct sum of a semi-simple and a solvable Lie algebra, which reduces the problem of classifying finite-dimensional Lie algebras over a field of characteristic zero to the description of the Lie algebras of these two types and of the action of a semi-simple Lie algebra on a solvable one (viz, the restriction to $\R$ of the adjoint representation of $S$ in $L$). Although solvable Lie algebras are in a certain sense "obtained" from one-dimensional Lie algebras with trivial structure (namely, they have a chain of subalgebras $L=L_0\supset L_1\supset \cdots \supset L_n = 0$ such that $L_i$ is an ideal of $L_{i-1}$ and $L_{i-1}/L_i$ is one-dimensional), their structure is so complicated that at present (1989) there is not even a proper formulation of the problem of classifying solvable Lie algebras. By contrast, the finite-dimensional semi-simple Lie algebras over a field of characteristic zero have been completely described (see Lie algebra, semi-simple): Any such algebra splits into the direct sum of simple ideals (and conversely, the direct sum of simple Lie algebras is semi-simple). In the case of an algebraically closed field all simple Lie algebras have been explicitly listed (see 2) above); in the case of an arbitrary field $k$ there is a procedure for finding them, by means of which an explicit classification has been found in a number of cases (for example, for $k=\R$).

Finite-dimensional Lie algebras over a field of characteristic $p>0$ have not been investigated in nearly so much detail (even for algebraically closed fields). These Lie algebras have many specific properties. For example, even the description of semi-simple Lie algebras in terms of simple algebras has turned out to be by no means trivial (see [Bl]). For any $p$ there are parametric families of simple Lie algebras that are pairwise non-isomorphic to one another. The theory of Lie algebras for this case is in the process of being established, and in a curious way it reflects the features of two different classes of complex Lie algebras, finite-dimensional simple algebras and finite-dimensional transitive simple algebras corresponding to primitive Lie pseudo-groups (see [GuSt], , [KoSh]).

The study of infinite-dimensional Lie algebras was begun in the 19th century at the same time as the study of finite-dimensional Lie algebras. These Lie algebras appear naturally in the classification of primitive pseudo-groups of transformations, which was undertaken by Cartan in 1909 [Ca]. These algebras have a filtration for which the associated graded Lie algebra has the form $\bigoplus_{i=-1}^\infty G_i$ and is transitive. Infinite-dimensional graded Lie algebras are the subject of intensive research in which connections of these Lie algebras not only with classical geometrical questions but also with many other branches of mathematics have been discovered (see Lie algebra, graded, and also [GuSt], , [SiSt]). Important examples of infinite-dimensional Lie algebras have appeared recently in the theory of certain equations in mathematical physics (for example, for the Korteweg–de Vries equation) and in formal variational calculus (see [DuFoNo]).

The abstract theory of infinite-dimensional Lie algebras (see [AmSt], for example) is now in the initial phase of development. The theory of representations of Lie algebras plays an important role both in the structure theory of Lie algebras and in the majority of applications to physics.

See also Superalgebra; Lie algebras, variety of.

Comments

Let $k$ now be of characteristic $p>0$. A simple Lie algebra of classical type in characteristic $p$, $p>0$, is one "like" the simple algebras in characteristic zero corresponding to the root systems $A_n, B_n, C_n, E_6$, $E_7$, $E_8$, $F_4$, $G_2$. Examples of these algebras are obtained by taking a Chevalley basis of one of these algebras; that gives a version (i.e. a form, see Form of an (algebraic) structure) defined over $\Z$; reduce the coefficients in the multiplication table of the basis elements modulo $p$ to obtain a Lie algebra over $Z/(p)$; divide out, when necessary, the centre of this algebra over $\Z/(p)$; extend the scalars to $k\supset \Z/(p)$.

Perhaps somewhat confusingly, the algebras of classical type in characteristic $p>0$ are taken to include the five exceptional types $E_6$, $E_7$, $E_8$, $F_4$, $G_2$. The Lie algebras of classical type can also be characterized by the Mills–Seligman axioms, [Se2]: if $\def\f#1{\mathfrak{#1}}\f G$ is simple (and finite dimensional) and has a Cartan subalgebra $\f h$ which acts diagonally on each root space $\def\a{\alpha}\def\b{\beta}\f g_\a$, if, moreover, $\dim [\f g_\a,\f g_{-\a}] = 1$ for each root $\a \ne 0$, and if whenever $\a,\b \ne 0$ are roots, then not all $\a+i\b $, $i\in\Z$, are roots, then $\f g$ is classical. A simple Lie algebra with a projective representation with non-degenerate trace form is classical (and vice versa). If $k$ is algebraically closed, the simple Lie algebras of classical type are classified by their Dynkin diagrams, and over an arbitrary (perfect) field $k$ of characteristic $p>0$ the classification can then be attacked by means of the theory of forms (cf. Form of an (algebraic) structure). For instance, over the finite fields one finds for the number of (non-isomorphic) forms (for $p\ne 2,3$) the following:

types $A_1$, $B$, $C$, $G_2$, $F_4$, $E_7$, $E_8$: one;

types $A_n$ ($n>1$), $D_n$ ($n>4$), $E_6$: two;

type $D_4$: three.

Besides the simple Lie algebras of classical type over a field $k$ of characteristic $p>0$ there are many more. Some are described in Witt algebra. All the other known simple Lie algebras are simple Lie algebras of Cartan type. These are (twisted) analogues of the infinite-dimensional algebras of Lie and Cartan of types $W$, $S$, $H$, $K$, and they arise as (twisted) subalgebras of the algebras of derivations $W(m;\bf n)$, which are defined as follows.

Define a co-algebra structure (cf. Co-algebra) on the algebra of polynomials $k[X_1,\dots,X_m]$ by defining $\mu(X_i)=1\otimes X_i+X_i\otimes 1$ (making $k[X_1,\dots,X_m]$ a Hopf algebra). The dual algebra $A(m)$ is an infinite-dimensional associative and commutative algebra consisting of all formal sums $\sum c_\a x^\a$, where $\a$ ranges over all $m$-tuples of non-negative integers. The multiplication is given by

$$x^\a x^\b = {\a+\b \choose \a} x^{\a+\b}.$$

For each $m$-tuple of non-negative integers ${\bf n}$, let $A(m;{\bf n})$ denote the span of the $x^\a$ with $\a_i < p^{n_i}$ for all $i$. Then $A(m;{\bf n})$ is a subalgebra of $A(m)$. Let $W(m;{\bf n})$ be the derivation algebra of $A(m;{\bf n})$. The algebra $W(m;{\bf n})$ is simple of dimension $mp^{|{\bf n}|}$, where $|{\bf n}| = n_1+\cdots + n_m$. The $W(m;(1,\dots,1))$ are the Jacobson–Witt algebras $W_n$, cf. Witt algebra. For a description of the various (twisted) subalgebras of types $S$, $H$, $K$ of the $W(m;{\bf n})$ cf. [BlWi][Wi]. These are the Lie algebras of Cartan type. The generalized Kostrikin–Shafarevich conjecture states that every simple Lie algebra over $k$ is of classical type or of Cartan type.

A restricted Lie algebra $\f g$ over $k$ is such that for every $x\in \f g$ there is a $y\in \f g$ such that $(\ad x)^p = \ad y$. If $\f g$ is simple, then $y$ is unique. The original Kostrikin–Shafarevich conjecture states that each simple finite-dimensional restricted Lie algebra is of classical type or of Cartan type. This has been proved by R.E. Block and R.L. Wilson for characteristic $p>7$, [BlWi2], [BlWi].

Simple Lie algebras of Cartan type are very different from those of classical type: they have zero Killing forms; their Cartan subalgebras may be nilpotent of any index and not all have the same dimension; the root spaces may be arbitrarily large; the $\a$-root string through $\b$ may include all roots $\b+i\a$, $i=0,\dots,p-1$; there may be infinitely non-conjugate Cartan subalgebras of a given dimension. Cf. [Be][St].

References

[AmSt] R.K. Amayo, I. Stewart, "Infinite-dimensional Lie algebras", Noordhoff (1974) MR0396708 Zbl 0302.17006
[Ar] V.I. Arnol'd, "Mathematical methods of classical mechanics", Springer (1978) (Translated from Russian) Zbl 0692.70003 Zbl 0572.70001 Zbl 0647.70001
[Be] G. Benkart, "Cartan subalgebras in Lie algebras of Cartan type" D.J. Britten (ed.) F.W. Lemire (ed.), Lie algebras and related topics, Amer. Math. Soc. (1986) pp. 157–187 MR0832198 Zbl 0581.17006
[Bl] R.E. Block, "Determination of the differentiably simple rings with a minimal ideal" Ann. of Math. (2), 90 (1969) pp. 433–459 MR0251088 Zbl 0216.07303
[Bl2] R.E. Block, "New simple Lie algebras of prime characteristic" Trans. Amer. Math. Soc., 89 (1958) pp. 421–449 MR0100010 Zbl 0082.25104
[BlWi] R.E. Block, R.L. Wilson, "Classification of restricted simple Lie algebras" J. of Algebra, 114 (1988) pp. 115–259 MR931904 Zbl 0644.17008
[BlWi2] R.E. Block, R.L. Wilson, "The restricted simple Lie algebras are of classical or Cartan type" Proc. Nat. Acad. Sci. USA, 81 (1984) pp. 5271–5274 MR0758423 Zbl 0542.17003
[BlWi3] R.E. Block, R.L. Wilson, "Restricted simple Lie algebras" D.J. Britten (ed.) F.W. Lemire (ed.), Lie algebras and related topics, Amer. Math. Soc. (1986) pp. 3–18 MR0832192 Zbl 0582.17009
[Bo] N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras", Addison-Wesley (1975) (Translated from French) MR0682756 Zbl 0319.17002
[Br] G. Brown, "Cartan subalgebras of Zassenhaus algebras" Canad. J. Math., 27 (1975) pp. 1011–1021 MR0401851 Zbl 0329.17004
[BrLe] D.J. Britten (ed.) F.W. Lemire (ed.), Lie algebras and related topics, Amer. Math. Soc. (1986) MR0832191 Zbl 0574.00001
[Ca] E. Cartan, "Les groupes de transformations continues, infinis, simples" Ann. Sci. Ecole Norm. Sup., 26 (1909) pp. 93–161
[Ch] C. Chevalley, "Théorie des groupes de Lie", 3, Hermann (1955) MR0068552 Zbl 0186.33104 Zbl 0054.01303 Zbl 0063.00843
[DuFoNo] B.A. Dubrovin, A.T. Fomenko, S.P. Novikov, "Modern geometry", Springer (1984) (Translated from Russian) MR0766739 MR0736837 Zbl 0582.55001 Zbl 0529.53002
[Go] C. Godbillon, "Géométrie différentielle et mécanique analytique", Hermann (1969) MR0242081 Zbl 0653.53001 Zbl 0284.53018
[GuSt] V. Guillemin, S. Sternberg, "An algebraic model of transitive differential geometry" Bull. Amer. Math. Soc., 70 (1964) pp. 16–47 MR0170295 Zbl 0121.38801
[Hu] J.E. Humphreys, "Introduction to Lie algebras and representation theory", Springer (1972) MR0323842 Zbl 0254.17004
[Ja] N. Jacobson, "Lie algebras", Interscience (1962) ((also: Dover, reprint, 1979)) MR0148716 MR0143793 Zbl 0121.27504 Zbl 0109.26201
[Ka] I. Kaplansky, "Lie algebras and locally compact groups", Chicago Univ. Press (1971) MR0276398 Zbl 0223.17001
[Ka2] V.G. [V.G. Kats] Kac, "Simple irreducible Lie algebras of finite growth" Math. USSR Izv., 2 (1968) pp. 1271–1311 Izv. Akad. Nauk SSSR Ser. Mat., 32 (1968) pp. 1323–1367 Zbl 0222.17007
[Ka3] V.G. [V.G. Kats] Kac, "Description of filtered Lie algebras with which graded Lie algebras of Cartan type are associated" Math. USSR Izv., 8 (1974) pp. 801–835 Izv. Akad. Nauk SSSR Ser. Mat., 38 (1974) pp. 800–834 MR0430000 Zbl 0317.17002
[Ko] A.I. Kostrikin, "On the connection between periodic groups and Lie rings" Izv. Akad. Nauk SSSR Ser. Mat., 21 (1957) pp. 289–310 (In Russian) MR0094380 Zbl 0158.02605
[Ko2] A.I. Kostrikin, "The Burnside problem" Izv. Akad. Nauk SSSR Ser. Mat., 23 (1959) pp. 3–34 (In Russian) MR0132100 Zbl 0132.01702
[Ko3] A.I. Kostrikin, "A parametric family of simple Lie algebras" Math. USSR Izv., 4 (1970) pp. 751–764 Izv. Akad. Nauk SSSR Ser. Mat., 34 (1970) pp. 744–756 MR0274539 Zbl 0245.17008
[KoSh] A.I. Kostrikin, I.R. Shafarevich, "Graded Lie algebras of finite characteristic" Math. USSR Izv., 3 (1969) pp. 237–304 Izv. Akad. Nauk SSSR Ser. Mat., 33 (1969) pp. 251–322 MR0252460 Zbl 0211.05304
[La] M. Lazard, "Sur les groupes nilpotents et les anneaux de Lie" Ann. Sci. Ecole Norm. Sup., 71 (1954) pp. 101–190 MR0088496 Zbl 0055.25103
[MaKaSo] W. Magnus, A. Karrass, B. Solitar, "Combinatorial group theory: presentations in terms of generators and relations", Wiley (Interscience) (1966) Zbl 0138.25604
[Po] L.S. Pontryagin, "Topological groups", Princeton Univ. Press (1958) (Translated from Russian) MR0201557 Zbl 0022.17104
[Se] J.-P. Serre, "Lie algebras and Lie groups", Benjamin (1965) (Translated from French) MR0218496 Zbl 0132.27803
[Se2] G.B. Seligman, "Modular Lie algebras", Springer (1967) MR0245627 Zbl 0189.03201
[Se3] J.-P. Serre, "Algèbres de Lie semi-simples complexes", Benjamin (1966) MR0215886 Zbl 0144.02105
[SiSt] I.M. Singer, S. Sternberg, "The infinite groups of Lie and Cartan, Part I (the transitive groups)" J. d'Anal. Math., 15 (1965) pp. 1–114
[St] H. Strade, "Cartanalgebren im modularen Liealgebren" Comm. in Algebra, 5 (1977) pp. 1335–1359
[Va] V.S. Varadarajan, "Lie groups, Lie algebras, and their representations", Prentice-Hall (1974) MR0376938 Zbl 0371.22001
[Wi] R.L. Wilson, "A structural characterization of the simple Lie algebras of generalized Cartan type over fields of prime characteristic" J. of Algebra, 40 (1976) pp. 418–465 MR0412239 Zbl 0355.17012
How to Cite This Entry:
Lie algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_algebra&oldid=21986
This article was adapted from an original article by A.I. KostrikinV.L. Popov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article