Canadian Mathematical Society www.cms.math.ca
 location:  Publications → journals → CMB
Abstract view

# Free Pre-Lie Algebras are Free as Lie Algebras

Published:2010-06-19
Printed: Sep 2010
• Frédéric Chapoton,
Université de Lyon, Université Lyon 1, Institut Camille Jordan, Villeurbanne, France
 Format: HTML LaTeX MathJax PDF

## Abstract

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 - Operads [See also 55P48] 17B01 - Identities, free Lie (super)algebras 18G40 - Spectral sequences, hypercohomology [See also 55Txx] 05C05 - Trees

 top of page | contact us | privacy | site map |

© Canadian Mathematical Society, 2016 : https://cms.math.ca/