Pre-Lie algebras and the rooted trees operad
Résumé
Une algèbre pré-Lie est un espace vectoriel L muni d'un produit * de L⊗ L dans L qui vérifie la relation (x*y)*z-x*(y*z)= (x*z)*y-x*(z*y), pour tous x,y,z dans L. On donne une description combinatoire explicite, en termes d'arbres enracinés, de l'opérade associée à ce type d'algèbres, et on démontre que cette opérade est de Koszul.