冪零リー環

群論 → リー群 リー群
古典群（英語版） 一般線型 GL(n) 特殊線型 SL(n) 直交 O(n) 特殊直交 SO(n) ユニタリ U(n) 特殊ユニタリ SU(n) シンプレクティック Sp(n)
単純リー群 単純リー群一覧表（英語版） 古典型 An Bn Cn Dn 例外型 G2（英語版） F4（英語版） E6（英語版） E7（英語版） E8（英語版）
他のリー群（英語版） 円周（英語版） ローレンツ ポワンカレ 共形（英語版） 微分同相写像 ループ（英語版）
リー環 指数写像 随伴表現 (群 環) キリング形式 指数（英語版） Lie point symmetry（英語版） 単純リー環
半単純リー環 ディンキン図形 カルタン部分環 ルート系 ワイル群 実形（英語版） 複素化（英語版） 分裂型リー環（英語版） コンパクトリー環（英語版）
等質空間 閉部分群（英語版） 放物型部分群（英語版） 対称空間（英語版） エルミート対称空間（英語版） 制限ルート系（英語版）
表現論 リー群表現 リー環表現
物理学におけるリー群 素粒子物理学と表現論（英語版） ローレンツ群表現（英語版） ポワンカレ群表現（英語版） ガリレイ群表現（英語版）
科学者 ソフス・リー アンリ・ポアンカレ ヴィルヘルム・キリング（英語版） エリ・カルタン ヘルマン・ワイル クロード・シュヴァレー ハリッシュ＝チャンドラ（英語版） アルマン・ボレル
リー群一覧表（英語版）
表 話 編 歴

数学において、冪零リー環（べきれいリーかん、英: nilpotent Lie algebra）とはリー環のクラスの1つである。この記事では、線型空間やリー環は全て体 ${\displaystyle \mathbb {K} }$ 上有限次元のものとする。

リー環 ${\displaystyle {\mathfrak {g}}}$ が冪零 (nilpotent) であるとは、次の同値な条件のいずれかが成り立つことをいう^[1]。

• 十分大きな ${\displaystyle p}$ に対して ${\displaystyle {\mathcal {C}}^{p}{\mathfrak {g}}=\{0\}}$ となる。

ここで、 ${\displaystyle {\mathcal {C}}^{p}{\mathfrak {g}}}$ は降中心列とした。則ち、 ${\displaystyle {\mathcal {C}}^{0}{\mathfrak {g}}={\mathfrak {g}},\ {\mathcal {C}}^{p+1}{\mathfrak {g}}=[{\mathfrak {g}},C^{p}{\mathfrak {g}}]\;(p\in \mathbb {N} )}$ とした。

• 十分大きな ${\displaystyle p}$ に対して ${\displaystyle {\mathcal {C}}_{p}{\mathfrak {g}}={\mathfrak {g}}}$ となる。

ここで、 ${\displaystyle {\mathcal {C}}_{p}{\mathfrak {g}}}$ は昇中心列とした。則ち、 ${\displaystyle {\mathcal {C}}_{0}{\mathfrak {g}}=\{0\}}$ として、 ${\displaystyle p\in \mathbb {N} }$ に対して ${\displaystyle {\mathcal {C}}_{p+1}{\mathfrak {g}}}$ は商写像 ${\displaystyle {\mathfrak {g}}\to {\mathfrak {g}}/{\mathcal {C}}_{p}{\mathfrak {g}}}$ に関する ${\displaystyle {\mathfrak {g}}/C_{p}{\mathfrak {g}}}$ の中心の逆像とする。

• イデアルの減少列 ${\displaystyle {\mathfrak {g}}={\mathfrak {g}}_{0}\supset {\mathfrak {g}}_{1}\supset \dots \supset {\mathfrak {g}}_{p}=0}$ で、各 ${\displaystyle i=0,\dots ,p-1}$ に対して ${\displaystyle [{\mathfrak {g}},{\mathfrak {g}}_{i}]\subset {\mathfrak {g}}_{i+1}}$ を満たすものが存在する。
• イデアルの減少列 ${\displaystyle {\mathfrak {g}}={\mathfrak {g}}_{0}\supset {\mathfrak {g}}_{1}\supset \dots \supset {\mathfrak {g}}_{p}=0}$ で、各 ${\displaystyle i=0,\dots ,p-1}$ に対して ${\displaystyle [{\mathfrak {g}},{\mathfrak {g}}_{i}]\subset {\mathfrak {g}}_{i+1}}$ かつ ${\displaystyle \dim {\mathfrak {g}}_{i}/{\mathfrak {g}}_{i+1}=1}$ となるものが存在する。
• 十分大きな ${\displaystyle p}$ に対して、任意の ${\displaystyle X_{0},\dots ,X_{p-1}\in {\mathfrak {g}}}$ が ${\displaystyle (\operatorname {ad} X_{0})\circ \dots \circ (\operatorname {ad} X_{p-1})=0}$ を満たす。
• 任意の ${\displaystyle X\in {\mathfrak {g}}}$ に対して ${\displaystyle \operatorname {ad} X\colon {\mathfrak {g}}\to {\mathfrak {g}}}$ は冪零である。

最後の条件が他の条件から従うことは冪零表現に関するエンゲルの定理の系である^[2]。

• 対角成分が0であるような上三角行列全体からなるリー環は冪零である。
• ハイゼンベルク代数（英語版）や梯子リー環は冪零リー環である。
• 0以外において固定点を持たない素数周期の自己同型を持つリー環は冪零である^[3]。
• 微分リー環に線形写像として可逆なものが存在するリー環は冪零である^[4]。
• 上とは対称的に、微分リー環のすべての元が線形写像として冪零であるリー環は冪零である（なぜならば、随伴表現も冪零となるから）。このようなリー環は特性的冪零リー環と呼ばれる^[5]。リー環が特性的冪零であることは、微分リー環が冪零リー環になることと同値である^[6]。

• すべての冪零リー環は可解である^[7]。しかしながら、一般には、逆は成り立たない。例えば、すべての上三角行列からなるリー環は可解だが冪零でない。
• 冪零リー環の部分リー環と商リー環および中心拡大は冪零である。また、有限個の冪零リー環の直積は冪零である^[8]。
• 冪零リー環のキリング形式は0である^[9]。しかしながら、一般にはこの逆は成り立たない。例えば、n 次正方行列 A が tr(A²) = 0 かつ det A ≠ 0 を満たすとき、半直積 ${\displaystyle \mathbb {K} ^{n}\rtimes \mathbb {K} A}$ は可解だが冪零ではない。
• 冪零リー環は外部自己同型（英語版）を持つ^[10]。

リー環の冪零部分リー環で、その正規化リー環がそれ自身になるものをカルタン部分環と呼ぶ^[11]。カルタン部分環は極大冪零部分リー環となるが、極大冪零部分リー環がカルタン部分環になるとは限らない^[12]。また、半単純リー環のカルタン部分環は可換であり、その元はすべて半単純元となる^[13]。

• 可解リー環

• Bourbaki, N. (1975). Lie Groups and Lie Algebras, Part I: Cahpter I–III. Elements of Mathematics. Paris: Hermann. ISBN 2-7056-5826-2 
• Bourbaki, N. (2005). Lie groups and Lie algebras. Chapters 7–9. Elements of Mathematics. Berlin: Springer-Verlag. ISBN 3-540-43405-4. MR2109105 
• Jacobson, N. (1995). “A note on automorphisms and derivations of Lie algebras”. Proceedings of the American Mathematical Society 6. ISSN 0002-9939. MR0068532. 
• Dixmier, J.; Lister, W.G. (1957). “Derivations of nilpotent Lie algebras”. Proceedings of the American Mathematical Society 8. ISSN 0002-9939. MR0083101. 
• Leger, G.; Togo, S. (1959). “Characteristically nilpotent Lie algebras”. Duke Mathematical Journal 26. ISSN 0012-7094. MR0114841. 
• Fulton, W.; Harris, J. (1991). Representation theory. A first course. Graduate Texts in Mathematics. 129. New York: Springer-Verlag. ISBN 978-0-387-97527-6. MR1153249 
• Humphreys, James E. (1972). Introduction to Lie Algebras and Representation Theory. Graduate Texts in Mathematics. 9. New York: Springer-Verlag. ISBN 0-387-90053-5 
• Knapp, A. W. (2002). Lie groups beyond an introduction. Progress in Mathematics. 120 (2nd ed.). Boston·Basel·Berlin: Birkhäuser. ISBN 0-8176-4259-5