Bourbaki

习题 2, § 3

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

李群与李代数, II, 186

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

设gg为李代数,即自由模;它通过σ:g→Ug\sigma : g \to Ug及其包络线代数UgUg中的像来识别。设U+gU^+g为典范同态Ug→KUg \to K中的核。令ii为XX的映射入gg,使得i(X)i(X)生成gg为李代数。 (a) 证明U+gU^+g是由i(X)i(X)作为左UgUg模块生成的。 (b) 显示以下属性的等价: (i) 基本家庭i:X→gi : X \to g免费使用gg。 (ii) 族ii是左侧UgUg-模块U+gU^+g的基。 (蕴涵式 (i) ⇒\Rightarrow (ii) 由习题 1 (a) 使用同构 Ug→A(X)Ug \to A(X) 得出。要显示 (ii) ⇒\Rightarrow (i),请将同态 A(X)→UgA(X) \to Ug 的习题 1 (b) 到核由ii定义。)

解答

尚未写出解答。

被以下引用

无。

引用了

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