Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Chapoton et al. (2001) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: