  We prove that free pre-Lie algebras, when considered as Lie algebras, arefree. Working in the category of S-modules, we define a natural filtration onthe space of generators. We also relate the symmetric group action ongenerators with the structure of the anticyclic PreLie operad.
Working in the category of S-modules, we define a natural filtration on the space of generators. We also relate the symmetric group action on generators with the structure of the anticyclic PreLie operad.