Post #1769861

If your monoid has a finite complete rewriting system, checking if the monoid is a group becomes decidable, but the more general question of whether the monoid is left or right cancellative is still undecidable even with an FCRS, wow https://www.researchgate.net/publication/220160877_Cancellativity_in_Finitely_Presented_Semigroups