Remark 1
Tag 00WL, permanent. Cite it as [Bourbaki, Tag 00WL].
Lie Groups and Lie Algebras, chapter VII, § 5. Decomposable linear Lie algebras
The semi-simplicity assumption on is equivalent to saying that is semi-simple for all . Note that this assumption is satisfied when is obtained from the identity representation by the successive application of the following operations: tensor product, passage to the dual, to a subrepresentation, to a quotient, to a direct sum.
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.
Cites
Nothing.