Fine structures inside the PreLie operad revisited
arXiv:2306.08425
Abstract
We prove a conjecture of Chapoton from 2010 stating that the pre-Lie operad, as a Lie algebra in the symmetric monoidal category of linear species, is freely generated by the free operad on the species of cyclic Lie elements.
8 pages