Key points are not available for this paper at this time.
Abstract. A pre-Lie algebra is a vector space L endowed with a bilinear product · : L × L → L satisfying the relation (x · y) · z − x · (y · z) = (x · z) · y − x · (z · y), ∀x, y, z ∈ L. We give an explicit combinatorial description in terms of rooted trees of the operad associated to this type of algebras and prove that it is a Koszul operad.
Chapoton et al. (Mon,) studied this question.