Bourbaki marks this one as harder than the rest.
假设k是无限的。令g为李代数,g的升中中央级数的C∞g并,以及g的x元素。证明等价以下性质:
(i) x 属于到g 的每嘉当子代数。
(ii) x∈g0(y) 对于所有y∈g(即x∈g0(g))。
(三)x∈C∞g。
(含义 (iii) =⇒(ii) =⇒(i) 为直接的。为了证明 (i) =⇒(ii), 注 (i) 相当于说即 x∈g0(y),对于每个正则元素 y g,并使用正则元素在Zariski拓扑中的g稠密的事实来证明(ii)=⇒(iii),观察n=g0(g)在g(§1下稳定,并应用恩格尔5)。 定理到g-模块n;推断n包含在L∞g.)中