Proposition 8
Tag 0A0B, permanent. Cite it as [Bourbaki, Tag 0A0B].
Lie Groups and Lie Algebras, chapter I, § 6. Semi-simple Lie algebras
Let be a finite-dimensional vector space. Then is reductive. Its centre is the set of homotheties of , its derived algebra is and the latter is semi-simple.
The identity representation of is simple, hence is reductive and therefore is the direct sum of its centre and its derived algebra . The centre is the set of homotheties (Algebra, Chapter II, § 2, no. 5, Corollary 1 to Proposition 5). Clearly . As , . Hence is semi-simple.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.