Remark
Tag 0A2U, permanent. Cite it as [Bourbaki, Tag 0A2U].
Lie Groups and Lie Algebras, chapter II, § 2. Free Lie algebras
When X is empty, is empty and hence . If X consists of a single element , the submodule of is a Lie subalgebra of
L(X); as X generates L(X), Corollary 1 to Proposition 1 shows that L(X) is a free module with basis {x}.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.