Monoids \mathrm{Mon}\langle a,b:a^{\alpha}b^{\beta}a^{\gamma}b^{\delta}=b\rangle admit finite complete rewriting systems
From MaRDI portal
Publication:6239356
arXiv1302.0982MaRDI QIDQ6239356FDOQ6239356
Authors: Alan J. Cain, Victor Maltcev 
Publication date: 5 February 2013
Abstract: We prove that every monoid admits a finite complete rewriting system. Furthermore we prove that is non-hopfian, providing an example of a finitely presented non-residually finite monoid with linear Dehn function.
This page was built for publication: Monoids $\mathrm{Mon}\langle a,b:a^{\alpha}b^{\beta}a^{\gamma}b^{\delta}=b\rangle$ admit finite complete rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6239356)
