Corollary 2

Tag 0A44, permanent. Cite it as [Bourbaki, Tag 0A44].

If $K$ is a field of characteristic 0, $L(X)$ is the Lie algebra of primitive elements of $A(X)$ .

This follows from Corollary 1 and the Corollary to Proposition 9 of § 1, no. 5.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by