关于𝔰𝔩(V)中具有不可约自然表示的李代数的交换理想的证明问题

嘿，我来帮你把这个证明的思路补全，一步步理清楚哈！首先明确前提：$V$是$\mathbb{C}$上的有限维向量空间，李代数$L \subset \mathfrak{sl}(V)$，且$L$在$V$上的自然表示是不可约的。我们要证明的是：如果$L$有一个交换理想$I$，那么$I = {0}$。

你已经走对了关键第一步：对于任意$\phi \in I$，$\phi$都是幂零算子。这个结论完全正确——因为你提到的广义特征子空间$V = \ker(\phi^{\dim V})$，说明$\phi$的所有特征值都是0，自然是幂零的。接下来我们结合这个结论和表示的不可约性完成证明：

• 构造$L$-不变子空间
  先定义集合$W = {v \in V \mid \phi(v) = 0,\ \forall \phi \in I}$，它显然是$V$的线性子空间。接下来证明它是**$L$-不变的**：
  任取$x \in L$，$v \in W$，对于任意$\phi \in I$，根据理想的性质，$[x, \phi] = x\phi - \phi x \in I$。计算$\phi(xv)$：
  $$\phi(xv) = (x\phi)(v) - x, \phi$$
  因为$v \in W$，所以$\phi(v)=0$，即$(x\phi)(v) = x(\phi(v)) = 0$；同时$[x, \phi] \in I$，$v \in W$，所以$x, \phi = 0$。因此$\phi(xv)=0$，说明$xv \in W$，$W$是$L$-不变子空间。

• 利用不可约性推导结论
  由于$L$的表示不可约，$V$的$L$-不变子空间只能是${0}$或$V$本身。现在排除$W = {0}$的可能：
  $I$是交换李代数，且每个元素都是幂零算子，根据Engel定理，存在非零向量$v \in V$，使得$\phi(v)=0$对所有$\phi \in I$成立——这说明$W$至少包含这个非零向量，所以$W \neq {0}$。
  既然$W$是$L$-不变且非零，那只能是$W = V$。这意味着所有$\phi \in I$都把$V$中任意元素映射到0，即$\phi = 0$，因此$I = {0}$，结论得证。

备注：内容来源于stack exchange，提问作者Anonmath101