Remark
Tag 0A48, permanent. Cite it as [Bourbaki, Tag 0A48].
Lie Groups and Lie Algebras, chapter II, § 3. Enveloping algebra of the free Lie algebra
Suppose that K is a field of characteristic zero and let Q be the projector of onto associated with the canonical graduation of , cf. § 1, no. 5. For , . For it suffices to verify that the image and the kernel of Q are graded submodules of with the graduation of type . This is obvious for the image, which is equal to . On the other hand, let be an integer . The vector subspace of generated by the , where , is equal to the vector subspace of generated by the , where are homogeneous elements of ; then this subspace is a graded submodule of .
(Note that, if Card(X) , the projectors P and Q do not coincide on . For let be in X with and write
Then and , cf. § 2, no. 10, Example and no. 11, Theorem 1.)
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.