Definition 2
Tag 09ZM, permanent. Cite it as [Bourbaki, Tag 09ZM].
Lie Groups and Lie Algebras, chapter I, § 6. Semi-simple Lie algebras
A Lie algebra g is called simple if the only ideals of g are {0} and g and if further g is non-commutative.
A simple Lie algebra is semi-simple. The algebra {0} is not simple.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.