arXiv Analytics

Sign in

arXiv:1809.05083 [math.CO]AbstractReferencesReviewsResources

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

Cyrille Chenavier, Christophe Cordero, Samuele Giraudo

Published 2018-09-13Version 1

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.

Related articles: Most relevant | Search more
arXiv:math/0209005 [math.CO] (Published 2002-09-01)
Lattice structure for orientations of graphs
arXiv:1405.1408 [math.CO] (Published 2014-05-06, updated 2015-03-03)
Noncrossing partitions and Bruhat order
arXiv:1109.4671 [math.CO] (Published 2011-09-21, updated 2012-02-03)
Covering the edges of digraphs in $\mathscr{D}(3,3)$ and $\mathscr{D}(4,4)$ with directed cuts