Definition 5
Tag 0A07, permanent. Cite it as [Bourbaki, Tag 0A07].
Lie Groups and Lie Algebras, chapter I, § 6. Semi-simple Lie algebras
Let be a Lie algebra and a Lie subalgebra of . is called reductive in if the representation of is semi-simple.
This representation admits as subrepresentation the adjoint representation of . Hence, if is reductive in , is reductive. On the other hand, to say that a Lie algebra is reductive in itself is equivalent to saying that it is reductive.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.