有限维李代数中的Jordan-Chevalley分解

设$\g$是特征为零的域$k$上的有限维李代数。$\g$中的元素$x$被称为具有\emph{抽象Jordan-Chevalley分解}，如果存在唯一的$s,n\in\g$使得$x=s+n$，$[s,n]=0$，并且对于任意有限维表示$\pi:\g\to\gl(V)$，$\pi(x)$在$\gl(V)$中的Jordan-Chevalley分解为$\pi(x)=\pi(s)+\pi(n)$。本文证明$x\in\g$具有抽象Jordan-Chevalley分解当且仅当$x\in [\g,\g]$，此时其半单部分和幂零部分也在$[\g,\g]$中且被显式确定。我们得到两个直接推论：(1) $\g$中每个元素都有抽象Jordan-Chevalley分解当且仅当$\g$是完美的；(2) 若$\g$是$\gl(n,k)$的李子代数，则$[\g,\g]$包含其所有元素的半单部分和幂零部分。最后一个结果最早由Bourbaki用不同方法证明。我们的证明仅使用初等线性代数和李代数表示论的基本结果，如不变性引理和李定理，以及Ado和Levi的基本定理。