Bourbaki marks this one as harder than the rest.
(a) 令X,Y为gl(n,K)的两个矩阵。证明,如果 [X,Y]=X,X 幂零的。 (对于每个多项式 f∈K[T],观察到
[f(X),Y]=Xf′(X). (b) 令
g为李代数和
h,xg的两个元素,使得
[h,x]=x并且存在
z∈g和
[x,z]=h。证明存在
y∈g使得
[x,y]=h和
[h,y]=−y。 (首先观察
g中
[z,h]+z属于到
x的扶正器
n。然后证明
n在
ad h下是稳定的,限制到
I−ad h的
n是双射;为此,注
ad x 幂零的,使用 (a),并证明,如果
gi 是
(ad x)i 下
g 的像,
I−ad h 给出取
(n∩gi−1)/(n∩gi) 的商双射;用于此用途关系
[ad z,(ad x)k]=−k(ad x)k−1(ad h+2k−1I). (c) 设
g为
gl(n,K)中的子代数;假设对于每个幂零矩阵
X∈g,在
g中存在另外两个矩阵
H,Y,使得
[H,X]=X, [H,Y]=−Y, [X,Y]=H。令
b为
g的子代数,使得在
g中存在子空间
m补充
h,且
[h,m]⊂m。证明
h 对于其所有幂零矩阵具有与
g 相同的性质(使用 (b))。