Finite Complete Rewriting Systems and Finite Derivation Type for Small Extensions of Monoids

LetSbe a monoid and letTbe a submonoid of finite index inS. The main results in this article state thatScan be presented by a finite complete rewriting system ifTcan, andShas finite derivation type ifThas.