Bourbaki

习题 7, § 1

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

李群与李代数, I, 74

Bourbaki marks this one as harder than the rest.

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

令 A 为环(可能没有单位元),使得 A 中的关系 2a=02a = 0 意味着 a=0a = 0。令 U 为 A 的子环以及与 A 相关的李 Z\mathbf{Z} 代数的理想。

(a) 如果 x,yx, y 属于为 U,则 (xy−yx)A⊂U(xy - yx)A \subset U (写:

(xy−yx)s=x(ys)−(ys)x−y(xs−sx) (xy - yx)s = x(ys) - (ys)x - y(xs - sx)
和A(xy−yx)A⊂UA(xy - yx)A \subset U(写:
r(xy−yx)s=(xy−yx)sr+r[(xy−yx)s]−[(xy−yx)s]r). r(xy - yx)s = (xy - yx)sr + r[(xy - yx)s] - [(xy - yx)s]r).

(b) 假设 U 是可交换的。令x∈U,s∈Ax \in U, s \in A和y=xs−sxy = xs - sx。证明 (yt)3=0(yt)^3 = 0 对于所有 t∈At \in A。 (元素 x 与 xs−sxxs - sx 和 xs2−s2xxs^2 - s^2x 通勤;推论出 2(xs−sx)2=02(xs - sx)^2 = 0、从而 y2=0y^2 = 0。同样,(yt−ty)2=0(yt - ty)^2 = 0 对于所有 t∈At \in A。)

(c) 假设此后 A 的唯一两侧理想是 {0} 和 A,并且对于 A 的每个非零元素 yy,都存在 t∈At \in A,使得 ytyt 不是幂零的。证明,如果 U≠AU \neq A,U 包含在 A 的中心中。(使用 (a) 显示 U 是可交换的,然后使用 (b)。)

(d) 令V为与A相关的李Z\mathbf{Z}代数的理想。则V包含在A的中心或V⊃[A,A]V \supset [A, A]中。 (将 (c) 应用于 t∈At \in A 的集合 U,使得 [t,A]⊂V[t, A] \subset V;使用恒等式 [xy,z]=[x,yz]+[y,zx][xy, z] = [x, yz] + [y, zx]。)

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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