---
title: リー代数の話 (2)
tags:  #数学 #数学デー  
author: [USAMI Kosuke](https://www.docswell.com/user/usami-k)
site: [Docswell](https://www.docswell.com/)
thumbnail: https://bcdn.docswell.com/page/LE1M51MN7G.jpg?width=480
description: 第19回 数学デー in 大阪 https://osaka-dtc.connpass.com/event/126201/  リー代数の話 (2) #数学デーin大阪 - usami-k 数学日記 https://usami-k.hatenadiary.jp/entry/2019/04/28/005601
published: April 05, 19
canonical: https://www.docswell.com/s/usami-k/ZP97RG-mathdayosaka-liealgebra-2
---
# Page. 1

![Page Image](https://bcdn.docswell.com/page/LE1M51MN7G.jpg)

リー代数の話 (2)
宇佐見 公輔
2019 年 4 月 5 日
前回はリー代数の定義と例を述べましたが、今回はリー代数の分類、特に複素数体上の有限次元のリー代数
の分類についての話をします。
どのように分類をするのかのストーリーを述べるのが目的であり、今回は各命題の証明は行いません。
前回定義していなかった用語を今回使うので、まずは用語の定義をします。
1
準同型と同型
Definition 1.1 (準同型写像)
L と L0 を体 F 上のリー代数とします。写像 ϕ : L → L0 が準同型写像（homomorphism）であるとは、
以下を満たすことです。
• ϕ は線型写像である。
• ∀x, y ∈ L に対して ϕ([x, y]) = [ϕ(x), ϕ(y)] が成り立つ。
準同型写像は、ふたつのリー代数の間の演算を保つ写像です。
Definition 1.2 (同型)
L と L0 を体 F 上のリー代数とします。写像 ϕ : L → L0 が準同型かつ全単射であるとき、同型写像
（isomorphism）であるといいます。L から L0 への同型写像が存在する場合、リー代数 L と L0 は同型
（isomorphic）であるといいます。
代数学の一般的な考え方として、ふたつの代数構造が同型である場合、これらは同じものとみなします。そ
して、同型でない代数構造がどのくらいの種類あるのかを調べることが、今回のテーマである「分類」です。
2
部分リー代数とイデアル
Definition 2.1 (部分リー代数)
L を体 F 上のリー代数とします。L の部分集合 M が L の部分リー代数（Lie subalgebra）であるとは、
以下を満たすことです。
• M は L の部分ベクトル空間である。
• ∀x, y ∈ M に対して [x, y] ∈ M が成り立つ。
部分リー代数は各演算で閉じていることになるので、それ自身がリー代数になっています。
1


# Page. 2

![Page Image](https://bcdn.docswell.com/page/GEW358DME2.jpg)

Definition 2.2 (イデアル)
L を体 F 上のリー代数とします。L の部分集合 I が L のイデアル（ideal）であるとは、以下を満たす
ことです。
• I は L の部分ベクトル空間である。
• ∀x ∈ L, y ∈ I に対して [x, y] ∈ I が成り立つ。
定義からすぐわかるように、イデアルは部分リー代数でもあります。部分リー代数よりも強い条件となって
います。
なお、上記の定義のなかの演算の順序を入れ替えた条件「∀x ∈ I, y ∈ L に対して [x, y] ∈ I 」も考えられま
す。しかし、ブラケット積の交代性 [x, y] = −[y, x] から、これは上記の定義の条件と同値です。つまり、一
般の非可換な代数では「左イデアル」「右イデアル」が考えられますが、リー代数の場合はその区別はありま
せん。
前回、リー代数の例として gl(n, F ) や sl(n, F ) を挙げました。これが実はイデアルの例でもあります。
Example 2.3 (イデアルの例)
sl(n, F ) は gl(n, F ) のイデアルです。
もうひとつ例を挙げておきます。
Example 2.4 (上三角行列)
gl(n, F ) の部分集合 b(n, F ) を、上三角行列の集合と定義します。ここで上三角行列とは、n 次正方行列
で i &gt; j のとき (i, j) 成分が 0 である行列のことです。b(n, F ) は gl(n, F ) の部分リー代数です。ただし、
イデアルではありません。
3
商リー代数と単純リー代数
線型代数を思い出すと、ベクトル空間 V の部分ベクトル空間 W があるとき、商ベクトル空間 V /W :=
{v + W | v ∈ V } が定義できました。
同じように、商リー代数を定義することができます。
Definition 3.1 (商リー代数)
L を体 F 上のリー代数、I を L のイデアルとします。ベクトル空間 L/I := {x + I | x ∈ L} にブラケッ
ト積を
[x + I, y + I] := [x, y] + I
と定義することで、L/I はリー代数になります。この L/I を商リー代数（quotient Lie algebra）と呼び
ます。
なお、I がイデアルでなく部分リー代数の場合は、商リー代数 L/I が well-defined にならないことを注意
しておきます。
Definition 3.2 (単純リー代数)
L を体 F 上のリー代数とします。L が単純（simple）であるとは、L が可換ではなく、L が {0} と L 以
外のイデアルを持たないことです。
2


# Page. 3

![Page Image](https://bcdn.docswell.com/page/47ZVN8GME3.jpg)

なお、L が可換とは ∀x, y ∈ L に対して [x, y] = 0 となることをいいます。
L が単純でない場合、つまり L がイデアルを持つなら、商リー代数を使って L は I と L/I のふたつに分
解できる、と考えることができます。別の言い方をすれば、この方法でそれ以上分解できないものが単純リー
代数である、と言うことができます。
Example 3.3 (単純リー代数の例)
gl(n, F ) は単純ではありません。なぜなら、イデアル sl(n, F ) があるからです。sl(n, F ) は単純です。
4
可解と半単純
Definition 4.1 (可解)
L を体 F 上のリー代数とします。
L(1) := [L, L]
L(2) := [L(1) , L(1) ]
...
L(k) := [L(k−1) , L(k−1) ]
と定義します。∃m, L(m) = 0 が成り立つとき、L は可解（solvable）であるといいます。
記法についての補足ですが、[L, L] は {[x, y] | x, y ∈ L} の線型結合からなる集合のことです（これはイデ
アルになります）
。
リー代数のイデアルで可解であるものを可解イデアルと呼びます。可解イデアルについて、次のことが知ら
れています。
Proposition 4.2 (極大可解イデアル)
L を体 F 上のリー代数とします。L のすべての可解イデアルを含むような可解イデアルが一意に存在し
ます。これを、極大可解イデアル（maximal solvable ideal）または radical と呼びます。
今回は、命題の証明は飛ばして話を進めることにします。
Definition 4.3 (半単純)
L を体 F 上のリー代数とします。L が半単純（semisimple）であるとは、極大可解イデアルが 0 である
ことです。
前のセクションで、L がイデアルをもつなら I と L/I とに分解できるという話をしましたが、I を極大可
解イデアルとした場合に、次のことが知られています。
Proposition 4.4 (極大可解イデアルによる商)
L を体 F 上のリー代数、I を L の極大可解イデアルとします。このとき、商リー代数 L/I は半単純です。
つまり、任意のリー代数は可解リー代数と半単純リー代数に分解できるわけです。
さらに、半単純リー代数について、次のことが知られています。
Proposition 4.5 (単純と半単純)
L を体 F 上のリー代数とします。L が半単純（すなわち極大可解イデアルが 0）であることと、L が単
3


# Page. 4

![Page Image](https://bcdn.docswell.com/page/YJ658PY57V.jpg)

純リー代数の直和であらわされることとは同値です。
したがって、任意のリー代数は可解リー代数と単純リー代数に分解できる、ということになります。
5
有限次元複素リー代数の分類
今回の話は、最初に述べたように、リー代数の分類の話です。
前のセクションで、リー代数は可解リー代数と単純リー代数に分解できることがわかりました。したがっ
て、可解リー代数の分類と単純リー代数の分類ができれば、リー代数の分類ができたといえます。
ここまでは任意の体のリー代数を考えてきましたが、ここからは複素数体 C 上のリー代数を考えます。ま
た、有限次元のリー代数を考えます（なお、リー代数の次元は、ベクトル空間としての次元と同じです）。
有限次元複素リー代数については、可解リー代数の分類と単純リー代数の分類はすでになされています。以
下、その結果を述べます。
まずは、可解リー代数についてです。Example 2.4 で挙げた上三角行列を思い出してください。
Theorem 5.1 (可解リー代数の分類)
L を有限次元複素リー代数とします。L が可解ならば、L は b(n, C) の部分リー代数のひとつと同型にな
ります。
これは、リーの定理と呼ばれている定理の結果として得られます。
次に、単純リー代数についてです。単純な有限次元複素リー代数は、以下の型に分類されます。
Theorem 5.2 (単純リー代数の分類)
L を有限次元複素リー代数とします。L が単純ならば、以下で挙げるいずれかと同型になります。
• An (n ≥ 1)
• Bn (n ≥ 2)
• Cn (n ≥ 3)
• Dn (n ≥ 4)
• En (n = 6, 7, 8)
• F4
• G2
なお、A, B, C, D 型をまとめて古典型、E, F, G 型をまとめて例外型、と呼びます。
ここに挙げた A, B, C, D, E, F, G 型のそれぞれを定義しなければ不完全ではありますが、今回の話では、
これだけの種類があるのだという紹介にとどめたいと思います。
ただ、古典型は gl(n, C) の部分リー代数として書けますので、それを以下に書いておきます。
Example 5.3 (A 型単純リー代数)
sl(n, C) は A 型単純リー代数です。
Example 5.4 (C 型単純リー代数)
sp(2n, F ) を以下で定義します。これは、シンプレクティックリー代数（symplectic Lie algebra）と呼ば
4


# Page. 5

![Page Image](https://bcdn.docswell.com/page/GJ5Y9KGGJ4.jpg)

れます。
sp(2n, F ) := {x ∈ gl(n, F ) | x| s + sx = 0}


0
In
s :=
−In 0
ここで、x| は x の転置行列、In は n 次単位行列です。
sp(2n, C) は C 型単純リー代数です。
Example 5.5 (B 型および D 型単純リー代数)
o(n, F ) を以下で定義します。これは、直交リー代数（orthogonal Lie algebra）と呼ばれます。
o(n, F ) := {x ∈ gl(n, F ) | x| + x = 0}
o(2n + 1, C) は B 型単純リー代数です。また、o(2n, C) は D 型単純リー代数です。
最後に、単純リー代数の分類がどのように行われるか、おおまかな流れを紹介します。
実は、単純リー代数にはルート集合というものが対応していて、ルート空間分解（root space decomposition）
という直和分解ができます。
ルート集合は、ルート系（root system）の定義を満たす集合です。ここでルート系とは、ベクトル空間の部
分集合で、ある特定の公理を満たす集合です。
（ルート系が何なのかはここでは触れません。別の機会に・・・）
ルート系は、前述の A, B, C, D, E, F, G 型に分類することができます。
したがって、単純リー代数はそれらのどれかに対応することになります。さらに、すべてのルート系に対し
て実際にそれをルート集合とするリー代数を構成することができます。こうして、単純リー代数の分類が完了
します。
さらに、ルート系からリー代数を構成する方法が主に二通りあります。ひとつは、個別に具体的をつくる方
法です。もうひとつは、リー代数の包絡代数（enveloping algebra）というものを考えて、そこに関係式を入
れることで構成する方法です。わかりやすいのは前者の方法ですが、後者の方法は無限次元にも応用すること
ができます。
今回は有限次元の話をしたのですが、無限次元の世界にも豊かな世界が広がっています。この有限次元の分
類は、アフィンリー代数、カッツムーディリー代数といった無限次元の世界へ一歩を踏み出す足掛かりとなり
ます。
参考文献
[1] K. Erdmann and M. J. Wildon, Introduction to Lie Algebras, Springer, 2006.
[2] J. E. Humphreys, Introduction to Lie Algebras and Representation Theory, Springer, 1978.
5


