リー代数

数学において、**リー代数** (リーだいすう、)、もしくは**リー環**（リーかん）は、「リー括弧積」（リーブラケット、Lie bracket）と呼ばれる非結合的な乗法 [*x*, *y*] を備えたベクトル空間である。 () の概念を研究するために導入された。"Lie algebra" という言葉は、ソフス・リーに因んで、1930年代にヘルマン・ワイルにより導入された。古い文献では、**無限小群** (infinitesimal group) という言葉も使われている。

リー代数はリー群と密接な関係にある。リー群とは群でも滑らかな多様体でもあるようなもので、積と逆元を取る群演算が滑らかであるようなものである。任意のリー群からリー代数が生じる。逆に、実数あるいは複素数上の任意の有限次元リー代数に対し、対応する連結リー群がによる違いを除いて一意的に存在する（）。このによってリー群をリー代数によって研究することができる。

## 定義
**リー代数**は、ある体 \,\mathbb{F} 上のベクトル空間 \,\mathfrak{g} であって、**リーブラケット** ()、あるいは**括弧積**と呼ばれる、次の公理を満たす二項演算 [\cdot,\cdot] \colon \mathfrak{g}\times\mathfrak{g}\to\mathfrak{g} が与えられている場合を言う。

;双線型性
:\,\mathbb{F} の全ての元（スカラー） と \mathfrak{g} の全ての元  に対して、
:: [a x + b y, z] = a [x, z] + b [y, z], \quad  [z, a x + b y] = a[z, x] + b [z, y]\ .

;交代性
:\mathfrak{g} の全ての元  に対し、
:: [x,x]=0\ .

;ヤコビ恒等式
:\mathfrak{g} の全ての元  に対し、
::  [x,[y,z]] + [z,[x,y]] + [y,[z,x]] = 0\ .

双線型性と交代性により、反交換関係、すなわち、\mathfrak{g} の全ての元  に対し、 が成り立つ。逆に、反交換関係は、体の標数が  ではないとき、交代性があることを意味する。

\mathfrak{g} のように、普通、リー代数はフラクトゥールの小文字で表される。リー代数がリー群に付随していると、リー代数のスペルはリー群と同じにする（書体は異なる）。例えば、特殊ユニタリ群の  のリー代数は \mathfrak{su}(n) と書かれる。

### 生成子と次元
リー代数 \mathfrak{g} の元からなる集合が**[[生成 (数学)|生成子]]**であるとは、その集合を含む \mathfrak{g} の最小のリー部分代数が全体 \mathfrak{g} と一致することである。リー代数の **次元**は、\,\mathbb{F} 上のベクトル空間としての次元で定める。リー代数の生成集合の最小個数は、常に次元以下である。

### 準同型、部分代数、イデアル
必ずしも [x,y],z]</math> と <math>[x,y,z とが等しいとは限らないので、一般にはリーブラケットは結合法則を満たさない。しかし、結合的な環や結合多元環の理論での用語の多くは、リー代数でも共通して使われる。リーブラケットで閉じている部分空間 \mathfrak{h} \subseteq \mathfrak{g} を**リー部分代数** () と呼ぶ。部分空間 I\subseteq\mathfrak{g} がより強い条件
: [\mathfrak{g},I]\subseteq I
を満たすとき、 をリー代数 \mathfrak{g} の**[[イデアル]]**と言う。（同じ係数体の上の）リー代数の間の**[[準同型]]**とは、\mathfrak{g} の全ての元  に対し、交換関係が
:  f \colon \mathfrak{g}\to\mathfrak{g'}, \quad f([x,y])=[f(x),f(y)] 
と整合している線型写像を言う。リー代数 \mathfrak{g} とイデアル  が与えられると、環の理論のように、イデアルはちょうど準同型の核であり、**商代数** () \mathfrak{g}/I を構成することができ、リー代数に対しても同型定理が成り立つ。

 を \mathfrak{g} の部分集合とする。 の全ての元  に対し [x, s] = 0 となるような元  全体の集合は、 の () を構成する。\mathfrak{g} 自身の中心化代数は、\mathfrak{g} の'''中心'''と呼ばれる。中心化と同様に、 の全ての元  に対し [x, s] が  の元となるような  の集合は、 の部分代数を構成する。この部分代数は  の**正規化部分代数** (normalizer of ) と呼ばれる。

### 直和
2 つのリー代数 \mathfrak{g} と \mathfrak{g'} が与えられると、それらの直和は、x\in\mathfrak{g} と x'\in\mathfrak{g'} の対 (x,x') からなるベクトル空間 \mathfrak{g}\oplus\mathfrak{g'} であり、リーブラケットは
:  [(x,x'),(y,y')]=([x,y],[x',y']), \quad x,y\in\mathfrak{g},\, x',y'\in\mathfrak{g'}
で定める。

## 性質

### 包絡代数を持つ

乗法  を持つ任意の結合代数  に対し、リー代数  を構成できる。ベクトル空間としては、 は  と同じである。 の 2 つの元のリーブラケットは、 における交換子として定義される。すなわち
:  [a,b]=a * b-b * a.
 の乗法  の結合性は、 の交換子のヤコビ恒等式を意味する。例えば、体  上の  行列の結合代数から、 \mathfrak{gl}_n(F) が生じる。結合代数  をリー代数  の**包絡代数** () と呼ぶ。全てのリー代数はこのようにして結合代数から作られたリー代数へ埋め込むことができる。普遍包絡代数を参照。

### 表現
ベクトル空間  が与えられたとして、\mathfrak{gl}(V) で  の全ての線型自己準同型からなる結合代数から生じるリー代数を表すとする。リー代数 \mathfrak{g} の  上の表現 () とは、リー代数の準同型
:\pi \colon \mathfrak g \to \mathfrak{gl}(V)
である。

表現は、核が自明のときに、**忠実** () であるという。全ての有限次元リー代数はある有限次元ベクトル空間上の忠実な表現を持っている（）。

例えば、\operatorname{ad}(x)(y) = [x, y] により与えられる
:\operatorname{ad}\colon\mathfrak{g}\to\mathfrak{gl}(\mathfrak{g})
は、随伴表現と呼ばれる、ベクトル空間 \mathfrak{g} 上の \mathfrak{g} の表現である。リー代数 \mathfrak{g} （実は任意の非結合的代数でもよい）の上のとは、ライプニッツ則、すなわち、\mathfrak{g} のすべての元  に対して
:\delta ([x,y]) = [\delta(x),y] + [x, \delta(y)]
が成り立つような線型写像 \delta\colon\mathfrak{g}\rightarrow \mathfrak{g} のことである。ヤコビ恒等式より、任意の  に対し、\operatorname{ad}(x) は微分である。従って、\operatorname{ad} の像は、\mathfrak{g} 上の微分からなる \mathfrak{gl}(\mathfrak{g}) の部分代数 \operatorname{Der}(\mathfrak{g}) に含まれる。\operatorname{ad} の像に属する微分は、内部微分 (inner derivation) と呼ばれる。\mathfrak{g} が半単純であれば、\mathfrak{g} 上の全て微分は内部微分である。

## 例

### ベクトル空間
*任意のベクトル空間 *V* にリーブラケットを恒等的に 0 として定めたものはリー代数となる。そのようなリー代数は可換と呼ばれる（以下を参照）。体上の任意の  次元リー代数は、リーブラケットの反対称性により、可換である。
*全ての  歪エルミート行列からなる実ベクトル空間は、交換子の下に閉じているので、実リー代数をなし、\mathfrak{u}(n) で表される。これはユニタリ群  のリー代数である。

### 部分空間
* 一般線型リー代数 \mathfrak{gl}_n(F) のトレース 0 の行列全体からなる部分空間は部分リー代数であり、と呼ばれ、\mathfrak{sl}_n(F) と記す。

### 実行列群
* 任意のリー群  から、付随する実リー代数 \mathfrak{g}=\operatorname{Lie}(G) が定義される。一般の定義はいくらか技術的であるが、実行列群の場合には、指数写像、すなわち行列の指数関数を通じて構成することができる。リー代数 \mathfrak{g} は、全ての実数  に対して  となるような行列  全体からなる。
:\mathfrak{g} のリーブラケットは行列の交換子により与えられる。具体的な例として、成分が実数で行列式が 1 の *n*&nbsp;×&nbsp;*n* 行列からなる特殊線型群 SL(*n*, **R**) を考える。これは行列リー群であり、そのリー代数は、実数を成分とするトレースが 0 の *n*&nbsp;×&nbsp;*n* 行列全体からなる。

### 3次元
*ベクトルのクロス積により与えられるリーブラケットを持つ 3次元ユークリッド空間 **R**3 は、3次元リー代数である。
* *H*3(R) は、次の関係式を満たすリーブラケットを持つ要素 , ,  によって生成される3次元リー代数である：
:: [x,y]=z,\quad [x,z]=0, \quad [y,z]=0 
:この代数は、3×3 の狭義上三角行列全体からなる空間に、リーブラケットを行列の交換子によって与えたものとして、明示的に構成される。
::
x = \left[ \begin{array}{ccc}
0&1&0\\
0&0&0\\
0&0&0
\end{array}\right],\quad
y = \left[ \begin{array}{ccc}
0&0&0\\
0&0&1\\
0&0&0
\end{array}\right],\quad
z = \left[ \begin{array}{ccc}
0&0&1\\
0&0&0\\
0&0&0
\end{array}\right] ~ \quad


:したがって、ハイゼンベルク群の任意の元は、群の生成元、すなわちリー代数のこれらの生成元の、行列指数関数の積
::\left[ \begin{array}{ccc}
1&a&c\\
0&1&b\\
0&0&1
\end{array}\right] = e^{by} e^{cz} e^{ax}~ 

:として表現可能である。

* 量子力学における角運動量演算子の *x*, *y*, *z* 成分の間の交換関係は、\mathfrak{su}(2) と \mathfrak{so}(3) のそれと同じである：
:: [L_x, L_y] = i \hbar L_z,
:: [L_y, L_z] = i \hbar L_x,
:: [L_z, L_x] = i \hbar L_y. 
但し、物理学の慣例により、リー代数の元に因子  を乗じた関係式を用いている。角運動量演算子の問題は、このリー代数の全ての有限次元表現を求めることに帰着する。

### 無限次元
*無限次元実リー代数の重要なクラスは、微分トポロジーで生じる。可微分多様体 *M* 上の滑らかなベクトル場の空間はリー代数をなす。ここでリーブラケットはベクトル場の交換子として定義される。リーブラケットを表現する1つの方法は、リー微分の形式化によるものである。ベクトル場 *X* を滑らかな関数上に作用する一階の偏微分作用素 *L**X* と次のようにして同一視する、すなわち *L**X*(*f*) を関数 *f* の *X* の方向の方向微分とする。2つのベクトル場のリーブラケット [*X*, *Y*] は次の式による関数へのその作用を通じて定義されるベクトル場である：
 	
::  L_{[X,Y]}f=L_X(L_Y f)-L_Y(L_X f).\,

* カッツ・ムーディ代数は無限次元リー代数の例である。
* は、すべてのを部分代数として含む無限次元リー代数である。

## 構造論と分類
リー代数は、ある程度、分類することが可能である。特に、このことはリー群の分類に応用される。

### 可換性、冪零性、可解性
導来部分群のことばで定義される、可換群、冪零群、可解群と同様に、可換、冪零、可解リー代数を定義することができる。

リー代数 \mathfrak{g} が**可換** (abelian) であるとは、リーブラケットが消えていること、すなわち、\mathfrak{g} の全ての元 *x* と *y' に対して [*x*, *y*] = 0 となることをいう。可換リー代数は、ベクトル空間 <math>K^n</math> や[[トーラス]] <math>T^n</math> のような、[[可換群|可換]]連結リー群に対応していて、すべて <math>\mathfrak{k}^n</math> の形である、つまり自明なリーブラケットをもつ *n* 次元ベクトル空間である。

リー代数のより一般的なクラスは、与えられた長さのすべての交換子が消えることによって定義される。リー代数 <math>\mathfrak{g}</math> が、*'冪零** (nilpotent) とは、
:<math> \mathfrak{g} > [\mathfrak{g},\mathfrak{g}] > [[\mathfrak{g},\mathfrak{g}],\mathfrak{g}] > [[[\mathfrak{g},\mathfrak{g}],\mathfrak{g}],\mathfrak{g}] > \cdots</math>
が有限回でゼロに達することを言う。[[エンゲルの定理]]により、リー代数が冪零であることと、<math>\mathfrak{g}</math> の全ての元 ''u'' に対し、[[リー代数の随伴表現|随伴自己準同型]]
:<math>\operatorname{ad}(u)\colon\mathfrak{g} \to \mathfrak{g}, \quad \operatorname{ad}(u)v=[u,v]</math>
が冪零であることは同値である。

さらにより一般的なものとして、リー代数 <math>\mathfrak{g}</math> が**可解** (solvable) であるとは、[[交換子部分群#導来列|導来列]]
:<math> \mathfrak{g} > [\mathfrak{g},\mathfrak{g}] > [[\mathfrak{g},\mathfrak{g}],[\mathfrak{g},\mathfrak{g}]] > [[[\mathfrak{g},\mathfrak{g}],[\mathfrak{g},\mathfrak{g}]],[[\mathfrak{g},\mathfrak{g}],[\mathfrak{g},\mathfrak{g}]]]  > \cdots</math>
が有限回でゼロに達することを言う。

全ての有限次元リー代数は、 (radical) と呼ばれる一意的な極大可解イデアルを持つ。リー対応の下、連結なべき零リー群、連結な可解リー群はそれぞれ、べき零、可解リー代数に対応する。

=== 単純性と半単純性 ===

リー代数が**単純** (simple) とは、非自明なイデアルを持たず、可換でないときを言う。リー代数 <math>\mathfrak{g}</math> が**半単純**とは、根基がゼロであるときを言う。同じことであるが、<math>\mathfrak{g}</math> が半単純とは、ゼロでない可換イデアルを持たないときを言う。特に、単純リー代数は半単純である。逆に、任意の半単純リー代数は、その極小イデアルの直和であることが証明できる。この極小イデアルは、自然に決定される単純リー代数である。

リー代数の半単純性の概念は、リー代数の表現の完全可約性（半単純性）と密接に関連している。基礎体 ''F'' の[[標数]]が 0 のとき、半単純リー代数の任意の有限次元表現は半単純（つまり、既約表現の直和）である。一般に、リー代数が(reductive)とは、随伴表現が半単純であるときを言う。したがって、半単純リー代数は簡約である。

=== カルタンの判定条件 ===
は、リー代数がべき零、可解、あるいは半単純であるための判定条件を与える。この判定条件は、[[キリング形式]]の考え方を基礎としている。キリング形式とは、
: <math>K(u,v)=\operatorname{tr}(\operatorname{ad}(u)\operatorname{ad}(v))</math>
で定義された、<math>\mathfrak{g}</math> 上の[[対称双線型形式]]である。ここで tr は線型写像の[[跡 (線型代数学)|トレース]]を表す。リー代数 <math>\mathfrak{g}</math> が半単純であることと、キリング形式が[[退化形式|非退化]]であることは同値である。リー代数 <math>\mathfrak{g}</math> が可解であることと、<math>K(\mathfrak{g},[\mathfrak{g},\mathfrak{g}])=0</math> であることとは同値である。

=== 分類 ===
は、任意のリー代数を、可解な根基と半単純リー代数の[[半直積|半直和]]として、ほぼ標準的に表す。さらに、代数的閉体上の半単純リー代数は、[[ルート系]]を通して完全に分類されている。しかし、可解リー代数の分類は「手に負えない」問題であり、一般には完成できない。

== リー群との関係 ==
リー代数は多くの場合それ自体で研究されているが、歴史的にはリー群の研究のための方法として生まれた。

リーの基本定理は、[[リー群]]とリー代数の関係を記述している。特に、任意のリー群はリー代数を標準的に決定し（具体的には、''単位元における接空間''）、逆に任意のリー代数に対し、対応する連結リー群が存在する（。を参照）。このリー群は一意には決まらないが、同じリー代数をもつ任意の2つの連結リー群は''局所同型''であり、特に同じ[[被覆空間#普遍被覆|普遍被覆]]を持つ。例えば、[[特殊直交群]]  と[[特殊ユニタリ群]]  からは、同じリー代数が生じる。これはクロス積をもつ **R**<sup>3</sup> に同型である。一方、SU(2) は SO(3) の単連結な二重被覆である。

リー群が与えられると、リー代数を次のいずれかの方法によって結びつけることができる。[[単位元]]における[[接空間]]に[[リー群の随伴表現|随伴写像]]の[[微分 (多様体)|微分]]を与えるか、あるいは、例の中で述べたように、左不変ベクトル場を考える。実[[行列群]]の場合、リー代数 <math>\mathfrak{g}</math> は、全ての実数 ''t'' に対し exp(''tX'') ∈ ''G'' となるような行列 ''X'' 全体から構成される。ここに exp は[[行列の指数関数]]である。

リー群に付随するリー代数の例を挙げる。
* 群 <math>{\rm GL}_n(\mathbb{C})</math> のリー代数 <math>\mathfrak{gl}_n(\mathbb{C})</math> は、複素 ''n''×''n'' 行列全体からなる代数である。
* 群 <math>{\rm SL}_n(\mathbb{C})</math> のリー代数 <math>\mathfrak{sl}_n(\mathbb{C})</math> は、トレースが 0 である複素　''n''×''n'' 行列の代数である。
* 群 <math>\operatorname{O}(n)</math> のリー代数 <math>\mathfrak{o}(n)</math> と、群 <math>\operatorname{SO}(n)</math> のリー代数 <math>\mathfrak{so}(n)</math> は、いずれも実反対称 ''n''×''n'' 行列の代数である。（議論は[[交代行列#無限小回転]]を参照。）
* 群 <math>\operatorname{U}(n)</math> のリー代数 <math>\mathfrak{u}(n)</math> は、歪エルミート複素 ''n''×''n'' 行列の代数であり、他方、<math>\operatorname{SU}(n)</math> のリー代数 <math>\mathfrak{su}(n)</math> は、トレースが 0 の歪エルミート複素 ''n''×''n'' 行列の代数である。
上記の例では、（リー代数の行列 ''X'' と ''Y'' に対する）リーブラケット <math>[X,Y]</math> は <math>[X,Y] = XY - YX</math> として定義する。

生成子 ''T<sup>a</sup>'' の集合が与えられると、**構造定数** ''f <sup>abc</sup>'' は、生成子の対のリーブラケットを生成子の線型結合として表す、すなわち ．構造定数はリー代数の元のリーブラケットを決定し、したがってリー群の群構造をほぼ完全に決定する。単位元の近くのリー群の構造は、により明示的に表される。この公式は、リー代数の元  とその（入れ子になった）リーブラケットによる展開によって単一の冪で表す： .

リー群からリー代数への写像は[[関手]]的である。これはリー群の準同型がリー代数の準同型に持ち上がることを意味し、様々な性質がこの持ち上げによって満たされる。合成と可換であり、リー群の部分リー群、核、商、余核をそれぞれリー代数の部分代数、核、商、余核に写す。

各リー群をそのリー代数に写し、各準同型をその微分へ写す[[関手]] **L** は、[[忠実関手|忠実]]かつ[[完全関手|完全]]である。しかしながら、[[圏同値]]ではない。異なるリー群が同型なリー代数を持つかもしれず（例えば [[特殊直交群|SO(3)]] と [[特殊ユニタリ群|SU(2)]]）、また、いかなるリー群にも伴わない（無限次元の）リー代数が存在するからである。

しかしながら、リー代数 <math>\mathfrak{g}</math> が有限次元のときは、<math>\mathfrak{g}</math> をリー代数としてもつ[[単連結空間|単連結]]リー群が存在する。より正確には、リー代数の関手 **L** は、有限次元（実）リー代数からリー群への[[随伴関手|左随伴関手]] **Γ** を持っていて、単連結リー群の充満部分圏を通して分解する。言い換えると、双関手の自然同型

::<math> \mathrm{Hom}(\Gamma(\mathfrak{g}), H) \cong \mathrm{Hom}(\mathfrak{g},\mathrm{L}(H))</math>

が存在する。随伴 <math>\mathfrak{g} \rightarrow \mathrm{L}(\Gamma(\mathfrak{g}))</math>（<math>\Gamma(\mathfrak{g})</math> 上の単位元に対応させる）は同型射であり、他の随伴 <math>\Gamma(\mathrm{L}(H)) \rightarrow H</math> は、''H'' の単位元成分の[[被覆空間|普遍被覆]]群から ''H'' への射影準同型である。このことから直ちに次のことが従う。''G'' が単連結であれば、リー代数関手は、リー群の準同型 ''G'' → ''H'' たちとリー代数の準同型 **L**(''G'') → **L**(''H'') たちの間の全単射を確立する。

上記の普遍被覆群は[[リー環の指数写像|指数写像]]によるリー代数の像として構成することができる。より一般的に、リー代数は単位元の[[近傍 (位相空間論)|近傍]]に[[同相]]である。しかし大域的には、リー群がコンパクトであれば指数写像は[[単射]]ではなく、リー群が連結、[[単連結空間|単連結]]、あるいは[[コンパクト空間|コンパクト]]でなければ、指数写像は[[全射]]とは限らない。

リー代数が無限次元であれば、問題はより微妙なものとなる。多くの例では、指数写像は局所的にさえ[[同相写像]]でない（例えば、 において、 の像に入らないような単位元にいくらでも近い微分同相写像を見つけることができる）。さらに、無限次元リー代数には、どんな群のリー代数でもないようなものがある。

リー代数とリー群の間の対応はいろいろなことに使われる。例えば、や、それに関連して[[リー群の表現|リー群の表現論]]の問題。リー代数の全ての表現は、対応する連結で単連結なリー群の表現に一意的に持ち上がり、逆に、任意のリー群のすべての表現は、そのリー群のリー代数の表現を誘導する。表現は 1 対 1 に対応する。従って、リー代数の表現を知ることで、群の表現の問題が解決される。

分類に関しては、与えられたリー代数をもつ任意の連結リー群は普遍被覆をある離散的な中心的部分群で割ったものに同型であることを示すことができる。従って、リー群の分類は、リー代数の分類が分かってしまえば（[[半単純リー代数|半単純]]な場合は、[[エリ・カルタン|カルタン]]らにより解かれた）、単純に[[中心 (代数学)|中心]]の離散部分群を数えあげる問題となる。

== 圏論的な定義 ==

[[圏論]]のことばを使うと、**リー代数**は、**Vec**<sub>''k''</sub> の[[射 (圏論)|射]] [., .]: ''A'' ⊗ ''A'' → ''A'' を伴った対象 ''A'' として定義できる。ここで **Vec**<sub>''k''</sub> は標数が 2 ではない体 ''k'' 上のであり、⊗ は **Vec**<sub>''k''</sub> の次のような[[モノイド圏|モノイド積]]を表す。

*<math>[\cdot, \cdot] \circ (\mathrm{id} + \tau_{A,A}) = 0</math>
*<math>[\cdot, \cdot] \circ ([\cdot, \cdot] \otimes \mathrm{id}) \circ (\mathrm{id} + \sigma + \sigma^2) = 0</math>

ここに、τ (a ⊗ b) :=  b ⊗ a であり、σ は (id ⊗ τ<sub>A,A</sub>) ° (τ<sub>A,A</sub> ⊗ id) を組み上げるである。にすると以下のようになる。

:<center></center>

==リー環 (Lie ring)==
[[数学]]における（狭義の）**リー環**（リーかん、）は**リー代数**とよく似た構造で、リー代数を一般化した[[代数的構造]]と見ることもできるが、[[群 (数学)|群]]のの研究においても自然に生じてくる。

リー環と関連する概念として[[リー群]]や**リー代数**があるが、（[[環 (数学)|環]]が加法に関して[[群 (数学)|群]]になるのとは異なり）リー環は加法に関して必ずしもリー群を成さず、他方で任意の**リー代数**はリー環の例である。任意の[[環 (数学)|結合環]]は[[交換子]]括弧積 <math>[x,y] = xy - yx</math> を考えればリー環になる。逆に、任意のリー環には[[普遍包絡代数|普遍包絡環]]（普遍展開環）と呼ばれる結合環を対応させることができる。

リー環は、を通じて[[p群|''p''-群]]の研究に用いられる。''p''-群の降中心因子は有限アーベル ''p''-群だから、これを **Z**/''p***Z*' 上の加群と見ることができる。降中心因子すべての（加群としての）直和には、2つの剰余類の括弧積を代表元の交換子積を代表元とする剰余類を割り当てるものと定義して、リー環の構造を入れることができる。このリー環は、もう1つ *p*-乗冪写像と呼ばれる加群の準同型によって豊饒化することができ、そうして得られたリー環がいわゆる制限リー環である。

リー環をリー代数の類似と見る立場からは、''p''-進整数環のような整数環上のリー代数の研究などを通じて、''p''-進解析的な位相群やその自己準同型を定義するのにもリー環は有用である。シュヴァレーによるリー型の有限群の定義は、複素数体上のリー代数を有理整数環上に係数制限し、さらに法 *p* で割って考えることにより有限体上のリー代数を得るものである。

### 厳密な定義
**リー環**はヤコビ恒等式を満足する交代的な乗法を持つ非結合環として定義される。より具体的に述べれば、リー環 *L* = (*L*, +, [&middot;,&middot;]) はアーベル群 (*L*, +, 0) の構造を持ち、以下の性質：
* 双加法性:  [x + y, z] = [x, z] + [y, z], \quad  [z, x + y] = [z, x] + [z, y] \qquad (\forall x,y,z\in L)
* ヤコビ恒等式:  [x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0 \qquad (\forall x,y,z\in L)
* 複零性:  [x,x]=0 \quad (\forall x\in L)
を満たす二項演算 [\cdot,\cdot] を備えるものを言う

2つのリー環 *L*1, *L*2 の間の写像 *f*: *L*1 &rarr; *L*2 がリー環準同型であるとは、それがリー環の2つの演算を保つときにいう。即ちリー環準同型 *f* は
: \begin{align}
 f(x+_1y) &= f(x) +_2 f(y)\\
 f([x,y]_1) &= [f(x),f(y)]_2
\end{align}\quad(\forall x,y\in L_1)

を満たす（演算の下付き添字はそれぞれの空間における演算であることを示す）。

### 例
* 体の代わりに一般の可換環上で考えた任意のリー代数はリー環の例である。リー環とは言うものの、リー環は加法に関してリー群になるというわけではない。
* 任意の結合環は（加法はそのままで積を）括弧積と呼ばれる演算 [x,y] = xy - yx に取り換えることによりリー環になる。
* 群論から生じるリー環の例を挙げよう。群 *G* とその上に交換子積 (x,y) = x^{-1}y^{-1}xy を考え、G = G_0 \supseteq G_1 \supseteq G_2 \supseteq \cdots \supseteq G_n \supseteq \cdots を *G* の中心列とする（このとき、各 *i*, *j* について交換子部分群 (G_i,G_j) は G_{i+j} に含まれる）。ここで L = \bigoplus G_i/G_{i+1} と置けば、*L* の直和成分ごとの群演算（各直和因子はそれぞれアーベル群であることに注意）を加法とし、括弧積を [xG_i, yG_j] = (x,y)G_{i+j}\  を線型に拡張したもので定めて *L* はリー環になる。ここで、交換子の定める括弧積が、リー環で言うところの括弧積の性質を持つことに、列の中心性が効いてくることに注意。

## 関連項目

* リー代数の随伴表現
* 
* 
* 
* 
* キリング形式
* リー代数のコホモロジー
* リー代数の表現
* 
* 
* 
* 群論の用語

* 
* 行列
* 
* 量子群
* 
* 準フロベニウスリー代数
* 
* 
* 
* 

## 脚注
### 注釈

### 出典

## 参考文献

* 
* 
* 
* 
* 
* 
* 
* 
*  math.mit.edu.
*  www-history.mcs.st-andrews.ac.uk.
*  www-history.mcs.st-andrews.ac.uk.
* 
* 
* 
和書：
* 松島与三：「リー環論」、共立出版（1956年12月).
* ブルバキ(著)、杉浦光夫(編・訳)：「リー群とリー環」全3巻、東京図書、ISBN(4-48900211-4、4-48900212-2、4-48900213-0),(1968年12月～1973年5月).
* 佐武一郎：「リー環の話」、日本評論社、ISBN 4-535-78157-5 (1987年6月10日).
* 
* 東郷重明：「無限次元リー代数」、槇書店、ISBN 4-83750585-6 (1990年3月).
* 佐藤肇：「リー代数入門 : 線形代数の続編として」、裳華房、ISBN 978-4-78531523-8 (2000年10月).
* 谷崎俊之：「リー代数と量子群」、共立出版、ISBN 4-320-01692-0 (2002年4月).
* 脇本実：「無限次元リー環」、岩波書店、ISBN 978-4-00-006048-6 (2007年7月).
* 窪田高弘：「物理のためのリー群とリー代数」、サイエンス社(SGCライブラリ66）、(2008年9月).
* 竹内外史：「復刊 リー代数と素粒子論」、裳華房、ISBN 978-4-78531038-7（2010年9月）.
* H. ジョージァイ(著)、九後汰一郎(訳)：「物理学におけるリー代数：アイソスピンから統一理論へ」、吉岡書店、ISBN 978-4-84270357-2 (2010年10月).
* 井ノ口順一:「はじめて学ぶリー環：線型代数から始めよう」、現代数学社、ISBN 978-4-76870471-4 (2018年2月).
* 山下博：「表現論入門セミナー[新装版]第II巻：リー代数と表現論」、日本評論社、ISBN 978-4-535-78969-2 (2022年9月).

## 外部リンク
*