习题 1, § 6
标签 0A0O,永久不变。引用为 [Bourbaki, Tag 0A0O]。
李群与李代数, I, 102
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 为半单李代数,且 上 的 有限维表示。
(a) 如果 是简单且非零的,则 对于所有 。 (§ 3 的应用命题 1 和习题 12 (j)。)
(b) 对于所有,。 (如果是简单且非零,则应用(a)。如果是零,则使用这一事实。一般情况下,通过归纳对的维数进行论证:如果是的子模块 与 和 不同,使用正合序列:
在§ 3的习题12(f)中成立。)因此恢复no. 2的注2。
(c) 从 (b) 定理 2 的证明推出。(使用 § 3 的习题 12 (g)。) 还从 (b) 推出 的每个推导都是内部。 (使用 § 3 的习题 12 (h)。)
(d) 对于所有,。 (对于(b)的争论,只要考虑的情况就足够了。 让。 考虑,继§ 3的习题 12 (i)之后,的中心扩张由定义。 上 定义表示的伴随表示。 到定理 2,承认补充,它在下是稳定的,因此扩张是微不足道的。 因此 除习题 12 (i) of § 3。)
(e) 由(b)和(d)推导出定理 5 的证明。(如文中所示,可以简化为部首可交换的情况。)
解答
尚未写出解答。