Remark 1
Tag 00V3, permanent. Cite it as [Bourbaki, Tag 00V3].
Lie Groups and Lie Algebras, chapter VII, § 3. Conjugacy theorems
Let V be a finite dimensional vector space, a Lie subalgebra of (V), an element of such that ad is nilpotent. Then there exists a nilpotent element of such that ad extends ad. Indeed, let be the semi-simple and nilpotent components of ; then ad and ad are the semi-simple and nilpotent components of ad (Chap. I, §5, no. 4, Lemma 2), so ad and ad leave stable, and ad and ad are the semi-simple and nilpotent components of ad; consequently, ad ad, which proves our assertion. In view of Lemma 1 (ii), every elementary automorphism of extends to an automorphism of of the form where .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Cites
- Chap. I, §5, no. 4, Lemma 2 not in this corpus
- Lemma 1