关于李代数中伴随表示作用的疑问

我正在用Humphreys写的《李代数导论》学习李代数，但是有个表述一直搞不懂：

$L$ acts on $K$ via the adjoint representation.
（注：$L$是李代数，$K$是$L$的理想）

为了展示这句话出现的位置，对应的图片如下：
书中对应段落截图

别担心，我来给你拆解这个表述的核心含义：

首先先回顾伴随表示的基础定义：对于李代数$L$，它的伴随表示$\text{ad}: L \to \mathfrak{gl}(L)$是一个李代数同态，定义为对任意$x \in L$，$\text{ad}(x)$是$L$上的线性变换，满足$\text{ad}(x)(y) = [x, y]$（这里的$[\cdot, \cdot]$是$L$的李括号运算）。

而$K$作为$L$的理想，根据理想的定义：对任意$x \in L$、$y \in K$，李括号$[x, y]$必然属于$K$。这就带来一个关键性质：当我们把伴随表示里的$\text{ad}(x)$限制在$K$上时，$\text{ad}(x)|_K: K \to K$是一个从$K$到自身的线性变换——也就是说，这个作用不会跳出$K$的范围。

所以“$L$ acts on $K$ via the adjoint representation”这句话的完整意思是：

• 对每个$x \in L$，我们定义一个$K$上的线性变换$\phi_x: K \to K$，其中$\phi_x(y) = [x, y]$（本质就是把伴随表示的线性变换限制在理想$K$上）
• 这个作用满足李代数作用的核心条件：$\phi_{[x_1, x_2]} = [\phi_{x_1}, \phi_{x_2}]$，这其实就是伴随表示作为李代数同态的性质（$\text{ad}([x_1, x_2]) = [\text{ad}(x_1), \text{ad}(x_2)]$）

简单总结一下：借助$L$的伴随表示（通过李括号运算），$L$中的每个元素都能对理想$K$产生一个合法的线性作用，而$K$的理想性质刚好保证了这个作用不会超出$K$本身的范围。

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