Resumen de Free Pre-Lie Algebras are Free as Lie Algebras

Frédéric Chapoton

• We prove that the S-module PreLie is a free Lie algebra in the category of S-modules and can therefore be written as the composition of the S-module Lie with a new S-module X. This implies that free pre-Lie algebras in the category of vector spaces, when considered as Lie algebras, are free on generators that can be described using X. Furthermore, we define a natural filtration on the S-module X. We also obtain a relationship between X and the S-module coming from the anticyclic structure of the PreLie operad.