Bourbaki

习题 15, § 6

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

李群与李代数, I, 104

Bourbaki marks this one as harder than the rest.

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

(a) 令X,YX, Y为gl(n,K)\mathfrak{gl}(n, K)的两个矩阵。证明,如果 [X,Y]=X[X, Y] = X,XX 幂零的。 (对于每个多项式 f∈K[T]f \in K[T],观察到

[f(X),Y]=Xf′(X). [f(X), Y] = Xf'(X).
(b) 令gg为李代数和h,xh, xgg的两个元素,使得[h,x]=x[h, x] = x并且存在z∈gz \in g和[x,z]=h[x, z] = h。证明存在y∈gy \in g使得[x,y]=h[x, y] = h和[h,y]=−y[h, y] = -y。 (首先观察gg中[z,h]+z[z, h] + z属于到xx的扶正器nn。然后证明nn在ad h\mathrm{ad}\ h下是稳定的,限制到I−ad hI - \mathrm{ad}\ h的nn是双射;为此,注 ad x\mathrm{ad}\ x 幂零的,使用 (a),并证明,如果 gig_i 是(ad x)i(\mathrm{ad}\ x)^i 下gg 的像,I−ad hI - \mathrm{ad}\ h 给出取(n∩gi−1)/(n∩gi)(n \cap g_{i-1})/(n \cap g_i) 的商双射;用于此用途关系
[ad z,(ad x)k]=−k(ad x)k−1(ad h+k−12I). [\mathrm{ad}\ z, (\mathrm{ad}\ x)^k] = -k(\mathrm{ad}\ x)^{k-1}(\mathrm{ad}\ h + \frac{k-1}{2} I).
(c) 设gg为gl(n,K)\mathfrak{gl}(n, K)中的子代数;假设对于每个幂零矩阵X∈gX \in g,在gg中存在另外两个矩阵H,YH, Y,使得[H,X]=X, [H,Y]=−Y, [X,Y]=H[H, X] = X,\ [H, Y] = -Y,\ [X, Y] = H。令bb为gg的子代数,使得在gg中存在子空间mm补充hh,且[h,m]⊂m[h, m] \subset m。证明 hh 对于其所有幂零矩阵具有与 gg 相同的性质(使用 (b))。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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