Canadian Mathematical Society
Canadian Mathematical Society
  location:  PublicationsjournalsCMB
Abstract view

Free Pre-Lie Algebras are Free as Lie Algebras

Open Access article
 Printed: Sep 2010
  • Frédéric Chapoton,
    Université de Lyon, Université Lyon 1, Institut Camille Jordan, Villeurbanne, France
Format:   HTML   LaTeX   MathJax   PDF  


We prove that the $\mathfrak{S}$-module $\operatorname{PreLie}$ is a free Lie algebra in the category of $\mathfrak{S}$-modules and can therefore be written as the composition of the $\mathfrak{S}$-module $\operatorname{Lie}$ with a new $\mathfrak{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 $\mathfrak{S}$-module $X$. We also obtain a relationship between $X$ and the $\mathfrak{S}$-module coming from the anticyclic structure of the $\operatorname{PreLie}$ operad.
MSC Classifications: 18D50, 17B01, 18G40, 05C05 show english descriptions Operads [See also 55P48]
Identities, free Lie (super)algebras
Spectral sequences, hypercohomology [See also 55Txx]
18D50 - Operads [See also 55P48]
17B01 - Identities, free Lie (super)algebras
18G40 - Spectral sequences, hypercohomology [See also 55Txx]
05C05 - Trees

© Canadian Mathematical Society, 2015 :