Lemma 3
Tag 00VE, permanent. Cite it as [Bourbaki, Tag 00VE].
Lie Groups and Lie Algebras, chapter VII, § 3. Conjugacy theorems
Let be a Lie algebra, its radical, the canonical homomorphism from to an elementary automorphism of . There exists an elementary automorphism of such that .
We can assume that is of the form , where and ad is nilpotent. Let be a Levi subalgebra of (Chap. I, §6, no. 8, Def. 7) and let be the element of such that . Since ad is nilpotent, ad is nilpotent (Chap. I, §6, no. 3, Cor. of Prop. 3), and is an elementary automorphism of such that .
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, §6, no. 8, Def. 7 not in this corpus
- Chap. I, §6, no. 3, Cor. of Prop. 3 not in this corpus