Example 1
Tag 09U3, permanent. Cite it as [Bourbaki, Tag 09U3].
Lie Groups and Lie Algebras, chapter I, § 1. Definition of Lie algebras
Let be a Lie algebra over and a derivation of . Let be the commutative Lie algebra . The mapping is a homomorphism of into the Lie algebra of derivations of . We form the corresponding semi-direct product of by . Let be the element of . For all , .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.