习题 3, § 2

令 G 为 $\mathfrak{g}$ 的紧李群、$\mathfrak{g}$、李代数、$\mathfrak{s}$ 向量子空间，这样，对于 $\mathfrak{s}$ 中的 $x, y, z$，我们有 $[x,[y, z]]\in \mathfrak{s}$。设$\mathscr{L}$为$\mathfrak{s}$中包含的$\mathfrak{g}$的交换子代数的集合。证明 G 中 $\mathfrak{s}$ 稳定子的恒等分量在 $\mathscr{L}$ 极大元素集合上传递运算（如 Th. 1 的证明所示）。