Bourbaki

习题 19, § 6

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

李群与李代数, I, 105

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

设gg是李代数的约简,UU是UU的包络代数、ZZ中心和由元素生成的UU的VV子空间形式uv−vuuv - vu(u∈U,v∈Uu \in U, v \in U)。

(a) UU是ZZ和VV的直和。 (UU、注意到 § 3 至表示 x↦adUxx \mapsto \mathrm{ad}_U x gg 应用命题 6,注意到中,§ 2, no. 7 分解 U=∑nUnU = \sum_n U^n,推论 4 至定理 1、UnU^n在这个表示下是稳定的。)

(b) 令 u↦uhu \mapsto u^h 为 UU 的投影算子到ZZ 并平行于 VV。证明 (uv)h=(vu)h,(zu)h=zuh(uv)^h = (vu)^h, (zu)^h = zu^h 对于所有 u∈U,v∈U,z∈Zu \in U, v \in U, z \in Z。

(c) 令 R 为 U 的双面理想。证明 R=(R∩Z)+(R∩V)R = (R \cap Z) + (R \cap V)。 (证明 R 属于到 R 的元素 r V 中的分量,约化到 K 代数闭的情况;观察 R 在 U 的表示 φ\varphi 下在 U 上扩展 x↦adUxx \mapsto \mathrm{ad}_U x 是稳定的;将 r 分解为其分量在UnU^n;最后,将推论2应用到代数的定理1,章VIII, § 4, no. 2到φ\varphi到UnU^n的限制。)

(d) 令R′R'为Z的理想。令R1R_1为由R′R'生成的U的两侧理想。显示R1∩Z=R′R_1 \cap Z = R'。 (使用(b)。)

解答

尚未写出解答。

被以下引用

无。

引用了

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