结合代数的推广与收敛重写系统
量子代数
2018-08-21 v1 组合数学
摘要
结合代数是岩浆代数模去识别 2 次两棵二叉树的操作数同余所得的商。我们在此引入依赖于非负整数 的结合代数的推广，称为 -梳结合代数，作为岩浆代数模去识别 次左梳与右梳二叉树的操作数同余所得的商。我们研究 的情形，并利用树上的重写系统与操作数的 Buchberger 算法对其关系空间进行定向，从而得到收敛重写系统。
引用
@article{arxiv.1808.06181,
title = {Generalizations of the associative operad and convergent rewrite systems},
author = {Cyrille Chenavier and Christophe Cordero and Samuele Giraudo},
journal= {arXiv preprint arXiv:1808.06181},
year = {2018}
}
备注
6 pages