关于sl(n,C)是否为SL(n,C)的不可约表示及与单李代数性质关联的技术问询

嘿，这个问题问到点子上了！咱们把它拆成两部分来解释：

首先，$\mathfrak{sl}(n,\mathbb{C})$作为$SL(n,\mathbb{C})$的伴随表示确实是不可约的。先回忆下伴随表示的定义：对任意$g \in SL(n,\mathbb{C})$，伴随作用是$\text{Ad}(g)(X) = gXg^{-1}$，其中$X$是$\mathfrak{sl}(n,\mathbb{C})$里迹为0的$n \times n$复矩阵。你可以这么理解：这个作用本质上是$SL(n,\mathbb{C})$通过共轭变换“旋转”这些迹零矩阵，而不存在一个非平凡的子空间能在所有这样的共轭下保持不变——这就是不可约性的核心。

然后说它和$\mathfrak{sl}(n,\mathbb{C})$是单李代数的关系：这俩性质是双向等价且紧密绑定的，具体来说：

• 从单李代数推不可约表示：如果一个复半单李代数$\mathfrak{g}$是单的（也就是没有非平凡的理想），那么它的伴随表示一定不可约。因为李代数的理想恰好是伴随表示的不变子空间——要是存在一个非平凡的不变子空间，那它就对应$\mathfrak{g}$的一个非平凡理想，直接和“单”的定义矛盾。$\mathfrak{sl}(n,\mathbb{C})$（$n \geq 2$）是单李代数，所以它的伴随表示必然不可约。
• 从不可约伴随表示推单李代数：反过来，如果$\mathfrak{g}$的伴随表示不可约，那$\mathfrak{g}$一定是单李代数。道理和上面一样：如果$\mathfrak{g}$有非平凡理想，那这个理想就是伴随表示的非平凡不变子空间，和不可约性冲突。

简单总结就是：$\mathfrak{sl}(n,\mathbb{C})$的单李代数性质和它作为$SL(n,\mathbb{C})$伴随表示的不可约性，其实是同一个代数结构特性的两种不同表述角度~

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