Abstract. A pre-Lie product is a binary operation whose associator is symmetric in the last two variables. As a consequence its antisymmetrization is a Lie bracket. In this paper we study the symmetrization of the pre-Lie product. We show that it does not satisfy any other universal relation than commutativity. This means that the map from the free commutative-magmatic algebra to the free pre-Lie algebra induced by the symmetrization of the pre-Lie product is injective. This result is in contrast with the associative case, where the symmetrization gives rise to the notion of a Jordan algebra. We first give a selfcontained proof. Then we give a proof which uses the properties of dendriform and duplicial algebras
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.