English

On finite complete rewriting systems and large subsemigroups

Group Theory 2011-08-23 v2

Abstract

Let SS be a semigroup and TT be a subsemigroup of finite index in SS (that is, the set STS\setminus T is finite). The subsemigroup TT is also called a large subsemigroup of SS. It is well known that if TT has a finite complete rewriting system then so does SS. In this paper, we will prove the converse, that is, if SS has a finite complete rewriting system then so does TT. Our proof is purely combinatorial and also constructive.

Keywords

Cite

@article{arxiv.1005.0882,
  title  = {On finite complete rewriting systems and large subsemigroups},
  author = {K. B. Wong and P. C. Wong},
  journal= {arXiv preprint arXiv:1005.0882},
  year   = {2011}
}

Comments

We have made major changes to the paper and simplified most of the proofs

R2 v1 2026-06-21T15:19:08.046Z