On finite complete rewriting systems and large subsemigroups

K. B. Wong, P. C. Wong

Let $S$ be a semigroup and $T$ be a subsemigroup of finite index in $S$ (that is, the set $S\setminus T$ is finite). The subsemigroup $T$ is also called a large subsemigroup of $S$…