幺半群 $\mathrm{Mon}\langle a,b:a^{\alpha}b^{\beta}a^{\gamma}b^{\delta}=b\rangle$ 容许有限完全重写系统
群论
2013-02-06 v1
摘要
我们证明了每个幺半群 都容许一个有限完全重写系统。此外，我们证明了 是非 Hopf 的，从而提供了一个具有线性 Dehn 函数的有限展示非剩余有限幺半群的例子。
引用
@article{arxiv.1302.0982,
title = {Monoids $\mathrm{Mon}\langle a,b:a^{\alpha}b^{\beta}a^{\gamma}b^{\delta}=b\rangle$ admit finite complete rewriting systems},
author = {Alan Cain and Victor Maltcev},
journal= {arXiv preprint arXiv:1302.0982},
year = {2013}
}