English

Gr\"obner bases and dimension formulas for ternary partially associative operads

Rings and Algebras 2025-12-09 v1 Combinatorics

Abstract

Dotsenko and Vallette discovered an extension to nonsymmetric operads of Buchberger's algorithm for Gr\"obner bases of polynomial ideals. In the free nonsymmetric operad with one ternary operation ()({\ast}{\ast}{\ast}), we compute a Gr\"obner basis for the ideal generated by partial associativity ((abc)de)+(a(bcd)e)+(ab(cde)((abc)de) + (a(bcd)e) + (ab(cde). In the category of Z\mathbb{Z}-graded vector spaces with Koszul signs, the (homological) degree of ()({\ast}{\ast}{\ast}) may be even or odd. We use the Gr\"obner bases to calculate the dimension formulas for these operads.

Keywords

Cite

@article{arxiv.1810.04042,
  title  = {Gr\"obner bases and dimension formulas for ternary partially associative operads},
  author = {Fatemeh Bagherzadeh and Murray Bremner},
  journal= {arXiv preprint arXiv:1810.04042},
  year   = {2025}
}

Comments

13 pages