On finite complete rewriting systems and large subsemigroups
Group Theory
2011-08-23 v2
Abstract
Let be a semigroup and be a subsemigroup of finite index in (that is, the set is finite). The subsemigroup is also called a large subsemigroup of . It is well known that if has a finite complete rewriting system then so does . In this paper, we will prove the converse, that is, if has a finite complete rewriting system then so does . 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