Quotients of the magmatic operad: lattice structures and convergent rewrite systems

Abstract

We study quotients of the magmatic operad, that is the free nonsymmetric operad over one binary generator. In the linear setting, we show that the set of these quotients admits a lattice structure and we show an analog of the Grassmann formula for the dimensions of these operads. In the nonlinear setting, we define comb associative operads, that are operads indexed by nonnegative integers generalizing the associative operad. We show that the set of comb associative operads admits a lattice structure, isomorphic to the lattice of nonnegative integers equipped with the division order. Driven by computer experimentations, we provide a finite convergent presentation for the comb associative operad in correspondence with~$3$. Finally, we study quotients of the magmatic operad by one cubic relation by expressing their Hilbert series and providing combinatorial realizations.

arXiv comment30 pages

References in corpus (8)

• Gröbner bases for operads
• Pattern avoidance in binary trees
• Sur le nombre d'intervalles dans les treillis de Tamari
• Coherent presentations of Artin monoids
• On generating series of finitely presented operads
• Operads from posets and Koszul duality
• Tree series and pattern avoidance in syntax trees
• Generalizations of the associative operad and convergent rewrite systems