Bourbaki

习题 22, § 6

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

李群与李代数, I, 106

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

(a) 令任意特征的gg为幂零李代数超过代数闭域K。令zz为其中心,gg的ρ\rho有限维表示以及β\beta相关联的双线性形式。证明 z∩Dgz \cap \mathscr{D}g 与 gg 关于 β\beta 正交。 (约化,使用 Jordan-Hölder 级数,对于 ρ\rho 很简单的情况。然后注,对于 z∈z∩Dgz \in z \cap \mathscr{D}g,ρ(z)\rho(z) 是一个带有迹线零的标量矩阵。然后使用习题 22 (b) § 4。)推断,如果 β\beta 是非简并的,gg 是可交换的。 (使用§ 4中的习题 3 (a)。)

(b) 假设 K 具有特征 2。证明对于与恒等式表示相关的可解 Lic 代数 gl(2,K)=g\mathfrak{gl}(2, K) = \mathfrak{g} 双线性形式是非简并的,但中心 z\mathfrak{z} 包含在 Dg\mathscr{D}\mathfrak{g} 中且为 ≠{0}\neq \{0\}。

(c) 设g\mathfrak{g}为KK上的6维李代数,其中基(a,b,c,d,e,f)(a, b, c, d, e, f)和乘法表[a,b]=−[b,a]=d, [a,c]=−[c,a]=e, [b,c]=−[c,b]=f[a, b] = -[b, a] = d,\ [a, c] = -[c, a] = e,\ [b, c] = -[c, b] = f,其他括号为0。令β\beta为双线性形式 g\mathfrak{g}使得g\mathfrak{g}的基的有序对处的β(c,d)=β(d,c)=1, β(a,f)=β(f,a)=1, β(b,e)=β(e,b)=−1\beta(c, d) = \beta(d, c) = 1,\ \beta(a, f) = \beta(f, a) = 1,\ \beta(b, e) = \beta(e, b) = -1和β\beta的另一个值为0。证明β\beta是不变的,g\mathfrak{g}幂零的,z=Dg≠{0}\mathfrak{z} = \mathscr{D}\mathfrak{g} \neq \{0\}和β\beta非简并。

解答

尚未写出解答。

被以下引用

引用了

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