Proposition 4
Tag 00ZT, permanent. Cite it as [Bourbaki, Tag 00ZT].
Lie Groups and Lie Algebras, chapter VIII, § 3. Subalgebras of split semi-simple Lie algebras
Let be a subalgebra of containing an element of and its semi-simple and nilpotent components. Then and .
We have (ad ), so (ad ) and (ad ). Since is its own normalizer in (Chap. VII, §2, no. 1, Cor. 4 of Prop. ) and .
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
Nothing.