Engel's theorem

In representation theory, a branch of mathematics, Engel's theorem is one of the basic theorems in the theory of Lie algebras; it asserts that for a Lie algebra two concepts of nilpotency are identical. A useful form of the theorem says that if a Lie algebra L of matrices consists of nilpotent matrices, then they can all be simultaneously brought to a strictly upper triangular form. The theorem is named after the mathematician Friedrich Engel, who sketched a proof of it in a letter to Wilhelm Killing dated 20 July 1890 (Hawkins 2000, p. 176). Engel's student K.A. Umlauf gave a complete proof in his 1891 dissertation, reprinted as (Umlauf 2010).

A linear operator T on a vector space V is defined to be nilpotent if there is a positive integer k such that T^k = 0. For example, any operator given by a matrix whose entries are zero on and below its diagonal, such as

{\begin{bmatrix}0&a_{{12}}&a_{{13}}&\cdots &a_{{1n}}\\0&0&a_{{23}}&\cdots &a_{{2n}}\\\vdots &\vdots &\ddots &\ddots &\vdots \\0&0&&\ddots &a_{{n-1n}}\\0&0&\cdots &\cdots &0\end{bmatrix}},

is nilpotent. An element x of a Lie algebra L is ad-nilpotent if and only if the linear operator on L defined by

\operatorname {ad}_{x}(y)=[x,y]\

is nilpotent. Note that in the Lie algebra L(V) of linear operators on V, the identity operator I_V is ad-nilpotent (because $\operatorname {ad}_{{I_{{V}}}}=0:L(V)\rightarrow L(V)$ ) but is not a nilpotent operator.

A Lie algebra L is nilpotent if and only if the lower central series defined recursively by

{\mathbf {L}}^{0}={\mathbf {L}},\quad {\mathbf {L}}^{{i+1}}=[{\mathbf {L}},{\mathbf {L}}^{i}]\

eventually reaches {0}.

Theorem. A finite-dimensional Lie algebra L is nilpotent if and only if every element of L is ad-nilpotent.

Note that no assumption on the underlying base field is required.

The key lemma in the proof of Engel's theorem is the following fact about Lie algebras of linear operators on finite dimensional vector spaces which is useful in its own right:

Let L be a Lie subalgebra of L(V), n=dim(V). Then L consists of nilpotent operators if and only if there is a sequence

V_{0}\subsetneq V_{1}\subsetneq \cdots \subsetneq V_{n}\

of subspaces of V such that $V_{0}=0$ , $V_{n}=V$ and

{\mathbf {L}}\,V_{{i+1}}\subseteq V_{i},\quad \forall i\leq n-1.\

Thus Lie algebras of nilpotent operators are simultaneously strictly upper-triangulizable.

References

Erdmann, Karin & Wildon, Mark. Introduction to Lie Algebras, 1st edition, Springer, 2006. ISBN 1-84628-040-0
Hawkins, Thomas (2000), Emergence of the theory of Lie groups, Sources and Studies in the History of Mathematics and Physical Sciences, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98963-1, MR 1771134
G. Hochschild, The Structure of Lie Groups, Holden Day, 1965.
J. Humphreys, Introduction to Lie Algebras and Representation Theory, Springer, 1972.
Umlauf, Karl Arthur (2010) [1891], Über Die Zusammensetzung Der Endlichen Continuierlichen Transformationsgruppen, Insbesondre Der Gruppen Vom Range Null, Inaugural-Dissertation, Leipzig (in German), Nabu Press, ISBN 978-1-141-58889-3

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

Engel's theorem

See also

References