| ||||
| ||||
![]() Title:Generalizations of the associative operad and convergent rewrite systems Conference:HDRA 2018 Tags:Associative operad, Buchberger algorithm, Combinatorics, Operad, Rewrite system and Tree Abstract: The associative operad is the quotient of the magmatic operad by the operad congruence identifying the two binary trees of degree $2$. We introduce here a generalization of the associative operad depending on a nonnegative integer $d$, called $d$-comb associative operad, as the quotient of the magmatic operad by the operad congruence identifying the left and the right comb binary trees of degree $d$. We study the case $d = 3$ and provide an orientation of its space of relations by using rewrite systems on trees and the Buchberger algorithm for operads to obtain a convergent rewrite system. Generalizations of the associative operad and convergent rewrite systems ![]() Generalizations of the associative operad and convergent rewrite systems | ||||
Copyright © 2002 – 2025 EasyChair |