Bourbaki

习题 1, § 2

标签 0A3M,永久不变。引用为 [Bourbaki, Tag 0A3M]。

李群与李代数, II, 181

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

让gg成为一个免费的李代数,并带有基本家庭(x1,…,xn,…)(x_1, \ldots, x_n, \ldots)。令gng_n表示由x1,…,xnx_1, \ldots, x_n生成的gg的子代数,令bnb_n表示gng_n包含xnx_n的理想最小的。

(a) 证明 bnb_n 是由 gng_n 生成的子模

(ad⁡(xi1)∘⋯∘ad⁡(xik))(xn), (\operatorname{ad}(x_{i_1}) \circ \cdots \circ \operatorname{ad}(x_{i_k}))(x_n),
其中 k⩾0k \geqslant 0 和 ih⩽ni_h \leqslant n 代表所有 hh。

(b) 证明gn=gn−1⊕bng_n = g_{n-1} \oplus b_n;推导出 gg 是 bnb_n 的直和对于 n⩾1n \geqslant 1。

(c) 使用(a)和(b)证明K-模gg是由元素[xi1,[xi2,…,[xik−1,xik]…]][x_{i_1}, [x_{i_2}, \ldots, [x_{i_{k-1}}, x_{i_k}] \ldots]]生成的,其中k⩾0k \geqslant 0和ih⩽iki_h \leqslant i_k代表h<kh < k。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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