Bourbaki

习题 12, § 4

标签 09XL,永久不变。引用为 [Bourbaki, Tag 09XL]。

李群与李代数, I, 93

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令g为Cgg\mathscr{C}^g g的李代数和C∞g\mathscr{C}^\infty g交。 (a) 李代数 g/C∞gg / \mathscr{C}^\infty g 幂零。 (b) 证明存在 gg 的幂零子代数 hh 使得 g=h+C∞gg = h + \mathscr{C}^\infty g。 (通过归纳对dim⁡g\dim g进行论证。假设gg不是幂零的。令x∈gx \in g使得I=⋂k(ad x)k(g)≠{0}I = \bigcap_k (\mathrm{ad}\, x)^k(g) \neq \{0\}。令nn为(ad x)k(\mathrm{ad}\, x)^k的核的并。证明这是子代数 gg,gg是I和nn的直和。到归纳假设nn是C∞n\mathscr{C}^\infty n的和和幂零子代数hh。 C∞n⊂C∞g\mathscr{C}^\infty n \subset \mathscr{C}^\infty g 和 I⊂C∞gI \subset \mathscr{C}^\infty g。

(c) 验证以下乘法表定义 a(可解)李代数 gg of 维数 5:

[x1,x2]=x5,[x1,x3]=x3,[x1,x4]=−x4,[x3,x4]=x5 [x_1, x_2] = x_5, \quad [x_1, x_3] = x_3, \quad [x_1, x_4] = -x_4, \quad [x_3, x_4] = x_5

其他[xi,xj][x_i, x_j]是零。显示对于这个李代数

C∞g=Kx3+Kx4+Kx5 \mathscr{C}^\infty g = Kx_3 + Kx_4 + Kx_5

但gg中不存在C∞g\mathscr{C}^\infty g的补充子代数。

解答

尚未写出解答。

被以下引用

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。