抽象代數/李代數主題

設 $V$ 為向量空間。 $(V,[,])$ 稱為李代數，如果它配備了雙線性運算元 $V\times V\to V$，記為 $[,]$，滿足以下性質：對於所有 $x,y,z\in V$

• (i) [x, x] = 0
• (ii) [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0

(ii) 稱為雅可比恆等式。

示例：對於 $x,y\in \mathbf {R} ^{3}$，定義 $[x,y]=x\times y$，即 $x$ 和 $y$ 的叉積。叉積的已知性質表明 $(R^{3},[,])$ 是李代數。

示例：設 $\operatorname {Der} (V)=\{D\in \operatorname {Ext} (V):D(xy)=(Dx)y+xDy\}$。 $\operatorname {Der} (V)$ 的元素稱為導數。定義 $[x,y]=xy-yx$。然後 $[x,y]\in \operatorname {Der} (V)$。

定理 設 $V$ 為有限維向量空間。

• (i) 如果 ${\mathfrak {g}}\subset {\mathfrak {gl}}_{k}(V)$ 是一個由冪零元素組成的李代數，則存在 $v\in V$ 使得 $x(v)=0$ 對每個 $x\in {\mathfrak {g}}$ 成立。
• (ii) 如果 ${\mathfrak {g}}$ 是可解的，則存在一個共同的特徵值 $v\in V$。

定理 (Engel) ${\mathfrak {g}}$ 是冪零的當且僅當 $\operatorname {ad} (x)$ 對每個 $x\in {\mathfrak {g}}$ 都是冪零的。
證明：直接部分是清楚的。對於反方向，注意到根據前面的定理，$\operatorname {ad} ({\mathfrak {g}})$ 是 ${\mathfrak {n}}_{k}$ 的子代數。因此，$\operatorname {ad} ({\mathfrak {g}})$ 是冪零的，所以 ${\mathfrak {g}}$ 也是冪零的。 $\square$

定理 ${\mathfrak {g}}$ 是可解的當且僅當 $[{\mathfrak {g}},{\mathfrak {g}}]$ 是冪零的。
證明：假設 ${\mathfrak {g}}$ 是可解的。那麼 $\operatorname {ad} [{\mathfrak {g}},{\mathfrak {g}}]$ 是 ${\mathfrak {b}}_{k}$ 的一個子代數。因此，$\operatorname {ad} [{\mathfrak {g}},{\mathfrak {g}}]\subset {\mathfrak {n}}_{k}$。因此，$\operatorname {ad} [{\mathfrak {g}},{\mathfrak {g}}]$ 是冪零的，因此 $[{\mathfrak {g}},{\mathfrak {g}}]$ 是冪零的。反之，注意到以下精確序列：

$0\longrightarrow [{\mathfrak {g}},{\mathfrak {g}}]\longrightarrow {\mathfrak {g}}\longrightarrow {\mathfrak {g}}/{[{\mathfrak {g}},{\mathfrak {g}}]}\longrightarrow 0$

由於 $[{\mathfrak {g}},{\mathfrak {g}}]$ 和 ${\mathfrak {g}}/[{\mathfrak {g}},{\mathfrak {g}}]$ 都是可解的，${\mathfrak {g}}$ 是可解的。 $\square$

3 定理（外爾定理） 有限維半單李代數的每一個表示：

${\mathfrak {g}}\to \operatorname {End} (V)$

是完全可約的。
Proof: It suffices to prove that every ${\mathfrak {g}}$-submodule has a ${\mathfrak {g}}$-submodule complement. Furthermore, the proof reduces to the case when $W$ is simple (as a module) and has codimension one. Indeed, given a ${\mathfrak {g}}$-submodule $W$, let $E\subset \operatorname {Hom} (V,W)$ be the subspace consisting of elements $f$ such that $f|_{W}$ is a scalar multiplication. Since any commutator of elements $f\in E$ is zero (that is, multiplication by zero), it is clear that $E/[E,E]$ has dimension 1. $E$ may not be simple, but by induction on the dimension of $E$, we can assume that. Hence, $E$ has complement of dimension 1, which is spanned by, say, $f$. It follows that $V$ is the direct sum of $W$ and the kernel of $f$. Now, to complete the proof, let $W$ be a simple ${\mathfrak {g}}$-submodule of codimension 1. Let $c$ be a Casimir element of ${\mathfrak {g}}\to \operatorname {End} (V)$. It follows that $V$ is the direct sum of $W$ and the kernel of $c$. $\square$ (TODO: obviously, the proof is very sketchy; we need more details.)

參考文獻

• 代數群和算術群