Finite Derivation Type for Semi-Direct Products of Monoids

@article{Wang1998FiniteDT,
  title={Finite Derivation Type for Semi-Direct Products of Monoids},
  author={Jing Wang},
  journal={Theor. Comput. Sci.},
  year={1998},
  volume={191},
  pages={219-228}
}
Squier introduced the notion “finite derivation type” which is a combinatorial condition satisfied by certain rewriting systems. The main result in this paper states that the class of monoids of finite derivation type is closed under semi-direct products.