Example 2
Tag 0AO1, permanent. Cite it as [Bourbaki, Tag 0AO1].
Lie Groups and Lie Algebras, chapter IV, § 2. Tits Systems
Let be a simple Lie algebra over , and let be the group of inner automorphisms of (cf. Chap. III, § 6, no. 2, Prop. 2). By using Th. 5, one can show that is simple non-abelian.*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.