Disuccessors, Gröbner-Shirshov bases and free L-dendriform algebras

Abstract

In this paper, we prove respectively that the disuccessor operations on the associative operad $\as$, the Lie operad $\lie$, and the pre-Lie operad $\prelie$ preserve Gröbner-Shirshov bases. This structural preservation enables the transfer of known bases to more complex operads. As a consequence, we introduce new methods for constructing Gröbner-Shirshov bases for the $\dend$ and $\prelie$ operads, and explicitly construct a Gröbner-Shirshov basis for the free L-dendriform algebra. This provides a conceptual and computationally efficient resolution of Madariaga's problem and offers new insights into the combinatorial structure of L-dendriform algebras.

28 pages