Example 2
Tag 09TL, permanent. Cite it as [Bourbaki, Tag 09TL].
Lie Groups and Lie Algebras, chapter I, § 1. Definition of Lie algebras
In Example 1 choose to be the associative algebra of endomorphisms of a -module . We obtain the Lie algebra of endomorphisms of , denoted by . (If , the Lie algebra is denoted by .)
Every Lie subalgebra of is a Lie algebra over . In particular: (1) If is given a (not necessarily associative) algebra structure, the derivations of form a Lie algebra over . (2) If admits a finite basis, the endomorphisms of of zero trace form a Lie algebra over denoted by (or if ).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.