Bourbaki

习题 9, § 4

标签 09XI,永久不变。引用为 [Bourbaki, Tag 09XI]。

李群与李代数, I, 92

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

(a) 验证以下乘法表定义两个幂零李代数 g3,g4g_3, g_4 维数 3 和 4:

g3:[x1,x2]=x3,[x1,x3]=[x2,x3]=0 g_3: [x_1, x_2] = x_3, \quad [x_1, x_3] = [x_2, x_3] = 0
g4:[x1,x2]=x3,[x1,x3]=x4,[x1,x4]=[x2,x3]=[x2,x4]=[x3,x4]=0. g_4: [x_1, x_2] = x_3, \quad [x_1, x_3] = x_4, \quad [x_1, x_4] = [x_2, x_3] = [x_2, x_4] = [x_3, x_4] = 0.

(b) 如果 KK 具有特征 2,则证明 g3g_3 与 n(3,K)\mathfrak{n}(3, K) 同构的,也与 sl(2,K)\mathfrak{sl}(2, K) 同构的。

(c) 令 g1g_1 为维数 1 中唯一的李代数。 证明维数 ≤4\leq 4 的幂零李代数由以下表给出:

dimension 1: g1;dimension 2: (g1)2;dimension 3: (g1)3,g3;dimension 4: (g1)4,g3×g1,g4. \begin{array}{ll} \text{dimension 1: } & g_1; \\ \text{dimension 2: } & (g_1)^2; \\ \text{dimension 3: } & (g_1)^3, g_3; \\ \text{dimension 4: } & (g_1)^4, g_3 \times g_1, g_4. \end{array}
(使用习题 7 (c)。 如果gg是幂零的、3维的且dim⁡Dg=1\dim \mathscr{D} g = 1,则观察Dg\mathscr{D} g包含在gg (习题 3 (a))、从而 g=g3g = g_3的中心中。 如果dim⁡g=4\dim g = 4,dim⁡Dg=1\dim \mathscr{D}g = 1,观察gg 定义交错的双线性形式上的g/Dgg / \mathscr{D}g上的括号,它必然是退化的,因此存在中心中包含的gg的子代数hh gg 与 dim⁡h=1\dim h = 1、h∩Dg={0}h \cap \mathscr{D}g = \{0\}、从而 g=h×g3g = h \times g_3。 如果 dim⁡g=4\dim g = 4, dim⁡Dg=2\dim \mathscr{D}g = 2, Dg\mathscr{D}g 是可交换的; adgx\mathrm{ad}_g x(x∈gx \in g)的应用定理1到限制到Dg\mathscr{D}g,表明存在gg与h⊃Dgh \supset \mathscr{D}g、dim⁡h=3\dim h = 3的交换理想hh;让x∈gx \in g,x∉hx \notin h; hh的选择基使得adgx\mathrm{ad}_g x到hh的限制相对于该基有乔丹矩阵;然后g=g4g = g_4。

解答

尚未写出解答。

被以下引用

引用了

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