- Source: Nilpotent Lie algebra
In mathematics, a Lie algebra
g
{\displaystyle {\mathfrak {g}}}
is nilpotent if its lower central series terminates in the zero subalgebra. The lower central series is the sequence of subalgebras
g
≥
[
g
,
g
]
≥
[
g
,
[
g
,
g
]
]
≥
[
g
,
[
g
,
[
g
,
g
]
]
]
≥
.
.
.
{\displaystyle {\mathfrak {g}}\geq [{\mathfrak {g}},{\mathfrak {g}}]\geq [{\mathfrak {g}},[{\mathfrak {g}},{\mathfrak {g}}]]\geq [{\mathfrak {g}},[{\mathfrak {g}},[{\mathfrak {g}},{\mathfrak {g}}]]]\geq ...}
We write
g
0
=
g
{\displaystyle {\mathfrak {g}}_{0}={\mathfrak {g}}}
, and
g
n
=
[
g
,
g
n
−
1
]
{\displaystyle {\mathfrak {g}}_{n}=[{\mathfrak {g}},{\mathfrak {g}}_{n-1}]}
for all
n
>
0
{\displaystyle n>0}
. If the lower central series eventually arrives at the zero subalgebra, then the Lie algebra is called nilpotent. The lower central series for Lie algebras is analogous to the lower central series in group theory, and nilpotent Lie algebras are analogs of nilpotent groups.
The nilpotent Lie algebras are precisely those that can be obtained from abelian Lie algebras, by successive central extensions.
Note that the definition means that, viewed as a non-associative non-unital algebra, a Lie algebra
g
{\displaystyle {\mathfrak {g}}}
is nilpotent if it is nilpotent as an ideal.
Definition
Let
g
{\displaystyle {\mathfrak {g}}}
be a Lie algebra. One says that
g
{\displaystyle {\mathfrak {g}}}
is nilpotent if the lower central series terminates, i.e. if
g
n
=
0
{\displaystyle {\mathfrak {g}}_{n}=0}
for some
n
∈
N
.
{\displaystyle n\in \mathbb {N} .}
Explicitly, this means that
[
X
1
,
[
X
2
,
[
⋯
[
X
n
,
Y
]
⋯
]
]
=
a
d
X
1
a
d
X
2
⋯
a
d
X
n
Y
=
0
{\displaystyle [X_{1},[X_{2},[\cdots [X_{n},Y]\cdots ]]=\mathrm {ad} _{X_{1}}\mathrm {ad} _{X_{2}}\cdots \mathrm {ad} _{X_{n}}Y=0}
∀
X
1
,
X
2
,
…
,
X
n
,
Y
∈
g
,
(
1
)
{\displaystyle \forall X_{1},X_{2},\ldots ,X_{n},Y\in {\mathfrak {g}},\qquad (1)}
so that adX1adX2 ⋅⋅⋅ adXn = 0.
Equivalent conditions
A very special consequence of (1) is that
[
X
,
[
X
,
[
⋯
[
X
,
Y
]
⋯
]
=
a
d
X
n
Y
∈
g
n
=
0
∀
X
,
Y
∈
g
.
(
2
)
{\displaystyle [X,[X,[\cdots [X,Y]\cdots ]={\mathrm {ad} _{X}}^{n}Y\in {\mathfrak {g}}_{n}=0\quad \forall X,Y\in {\mathfrak {g}}.\qquad (2)}
Thus (adX)n = 0 for all
X
∈
g
{\displaystyle X\in {\mathfrak {g}}}
. That is, adX is a nilpotent endomorphism in the usual sense of linear endomorphisms (rather than of Lie algebras). We call such an element x in
g
{\displaystyle {\mathfrak {g}}}
ad-nilpotent.
Remarkably, if
g
{\displaystyle {\mathfrak {g}}}
is finite dimensional, the apparently much weaker condition (2) is actually equivalent to (1), as stated by
Engel's theorem: A finite dimensional Lie algebra
g
{\displaystyle {\mathfrak {g}}}
is nilpotent if and only if all elements of
g
{\displaystyle {\mathfrak {g}}}
are ad-nilpotent,
which we will not prove here.
A somewhat easier equivalent condition for the nilpotency of
g
{\displaystyle {\mathfrak {g}}}
:
g
{\displaystyle {\mathfrak {g}}}
is nilpotent if and only if
a
d
g
{\displaystyle \mathrm {ad} \,{\mathfrak {g}}}
is nilpotent (as a Lie algebra). To see this, first observe that (1) implies that
a
d
g
{\displaystyle \mathrm {ad} \,{\mathfrak {g}}}
is nilpotent, since the expansion of an (n − 1)-fold nested bracket will consist of terms of the form in (1). Conversely, one may write
[
[
⋯
[
X
n
,
X
n
−
1
]
,
⋯
,
X
2
]
,
X
1
]
=
a
d
[
⋯
[
X
n
,
X
n
−
1
]
,
⋯
,
X
2
]
(
X
1
)
,
{\displaystyle [[\cdots [X_{n},X_{n-1}],\cdots ,X_{2}],X_{1}]=\mathrm {ad} [\cdots [X_{n},X_{n-1}],\cdots ,X_{2}](X_{1}),}
and since ad is a Lie algebra homomorphism,
a
d
[
⋯
[
X
n
,
X
n
−
1
]
,
⋯
,
X
2
]
=
[
a
d
[
⋯
[
X
n
,
X
n
−
1
]
,
⋯
X
3
]
,
a
d
X
2
]
=
…
=
[
⋯
[
a
d
X
n
,
a
d
X
n
−
1
]
,
⋯
a
d
X
2
]
.
{\displaystyle {\begin{aligned}\mathrm {ad} [\cdots [X_{n},X_{n-1}],\cdots ,X_{2}]&=[\mathrm {ad} [\cdots [X_{n},X_{n-1}],\cdots X_{3}],\mathrm {ad} _{X_{2}}]\\&=\ldots =[\cdots [\mathrm {ad} _{X_{n}},\mathrm {ad} _{X_{n-1}}],\cdots \mathrm {ad} _{X_{2}}].\end{aligned}}}
If
a
d
g
{\displaystyle \mathrm {ad} \,{\mathfrak {g}}}
is nilpotent, the last expression is zero for large enough n, and accordingly the first. But this implies (1), so
g
{\displaystyle {\mathfrak {g}}}
is nilpotent.
Also, a finite-dimensional Lie algebra is nilpotent if and only if there exists a descending chain of ideals
g
=
g
0
⊃
g
1
⊃
⋯
⊃
g
n
=
0
{\displaystyle {\mathfrak {g}}={\mathfrak {g}}_{0}\supset {\mathfrak {g}}_{1}\supset \cdots \supset {\mathfrak {g}}_{n}=0}
such that
[
g
,
g
i
]
⊂
g
i
+
1
{\displaystyle [{\mathfrak {g}},{\mathfrak {g}}_{i}]\subset {\mathfrak {g}}_{i+1}}
.
Examples
= Strictly upper triangular matrices
=If
g
l
(
k
,
R
)
{\displaystyle {\mathfrak {gl}}(k,\mathbb {R} )}
is the set of k × k matrices with entries in
R
{\displaystyle \mathbb {R} }
, then the subalgebra consisting of strictly upper triangular matrices is a nilpotent Lie algebra.
= Heisenberg algebras
=A Heisenberg algebra is nilpotent. For example, in dimension 3, the commutator of two matrices
[
[
0
a
b
0
0
c
0
0
0
]
,
[
0
a
′
b
′
0
0
c
′
0
0
0
]
]
=
[
0
0
a
″
0
0
0
0
0
0
]
{\displaystyle \left[{\begin{bmatrix}0&a&b\\0&0&c\\0&0&0\end{bmatrix}},{\begin{bmatrix}0&a'&b'\\0&0&c'\\0&0&0\end{bmatrix}}\right]={\begin{bmatrix}0&0&a''\\0&0&0\\0&0&0\end{bmatrix}}}
where
a
″
=
a
c
′
−
a
′
c
{\displaystyle a''=ac'-a'c}
.
= Cartan subalgebras
=A Cartan subalgebra
c
{\displaystyle {\mathfrak {c}}}
of a Lie algebra
l
{\displaystyle {\mathfrak {l}}}
is nilpotent and self-normalizing page 80. The self-normalizing condition is equivalent to being the normalizer of a Lie algebra. This means
c
=
N
l
(
c
)
=
{
x
∈
l
:
[
x
,
c
]
⊂
c
for
c
∈
c
}
{\displaystyle {\mathfrak {c}}=N_{\mathfrak {l}}({\mathfrak {c}})=\{x\in {\mathfrak {l}}:[x,c]\subset {\mathfrak {c}}{\text{ for }}c\in {\mathfrak {c}}\}}
. This includes upper triangular matrices
t
(
n
)
{\displaystyle {\mathfrak {t}}(n)}
and all diagonal matrices
d
(
n
)
{\displaystyle {\mathfrak {d}}(n)}
in
g
l
(
n
)
{\displaystyle {\mathfrak {gl}}(n)}
.
= Other examples
=If a Lie algebra
g
{\displaystyle {\mathfrak {g}}}
has an automorphism of prime period with no fixed points except at 0, then
g
{\displaystyle {\mathfrak {g}}}
is nilpotent.
Properties
= Nilpotent Lie algebras are solvable
=Every nilpotent Lie algebra is solvable. This is useful in proving the solvability of a Lie algebra since, in practice, it is usually easier to prove nilpotency (when it holds!) rather than solvability. However, in general, the converse of this property is false. For example, the subalgebra of
g
l
(
k
,
R
)
{\displaystyle {\mathfrak {gl}}(k,\mathbb {R} )}
(k ≥ 2) consisting of upper triangular matrices,
b
(
k
,
R
)
{\displaystyle {\mathfrak {b}}(k,\mathbb {R} )}
, is solvable but not nilpotent.
= Subalgebras and images
=If a Lie algebra
g
{\displaystyle {\mathfrak {g}}}
is nilpotent, then all subalgebras and homomorphic images are nilpotent.
= Nilpotency of the quotient by the center
=If the quotient algebra
g
/
Z
(
g
)
{\displaystyle {\mathfrak {g}}/Z({\mathfrak {g}})}
, where
Z
(
g
)
{\displaystyle Z({\mathfrak {g}})}
is the center of
g
{\displaystyle {\mathfrak {g}}}
, is nilpotent, then so is
g
{\displaystyle {\mathfrak {g}}}
. This is to say that a central extension of a nilpotent Lie algebra by a nilpotent Lie algebra is nilpotent.
= Engel's theorem
=Engel's theorem: A finite dimensional Lie algebra
g
{\displaystyle {\mathfrak {g}}}
is nilpotent if and only if all elements of
g
{\displaystyle {\mathfrak {g}}}
are ad-nilpotent.
= Zero Killing form
=The Killing form of a nilpotent Lie algebra is 0.
= Have outer automorphisms
=A nonzero nilpotent Lie algebra has an outer automorphism, that is, an automorphism that is not in the image of Ad.
= Derived subalgebras of solvable Lie algebras
=The derived subalgebra of a finite dimensional solvable Lie algebra over a field of characteristic 0 is nilpotent.
See also
Solvable Lie algebra
Notes
References
Fulton, W.; Harris, J. (1991). Representation theory. A first course. Graduate Texts in Mathematics. Vol. 129. New York: Springer-Verlag. ISBN 978-0-387-97527-6. MR 1153249.
Humphreys, James E. (1972). Introduction to Lie Algebras and Representation Theory. Graduate Texts in Mathematics. Vol. 9. New York: Springer-Verlag. ISBN 0-387-90053-5.
Knapp, A. W. (2002). Lie groups beyond an introduction. Progress in Mathematics. Vol. 120 (2nd ed.). Boston·Basel·Berlin: Birkhäuser. ISBN 0-8176-4259-5.
Serre, Jean-Pierre (2000), Algèbres de Lie semi-simples complexes [Complex Semisimple Lie Algebras], translated by Jones, G. A., Springer, ISBN 978-3-540-67827-4.
Kata Kunci Pencarian:
- Grup nilpoten
- Teorema Sylow
- Nilpotent Lie algebra
- Nilpotent algebra
- Solvable Lie algebra
- Lie algebra
- Nilpotent group
- Nilpotent
- Triangular matrix
- Cartan subalgebra
- Unipotent
- Lie group
