‘Subsemigroups of groups: presentations, Malcev presentations, and automatic structures’
[with E. F. Robertson & N. Ruškuc]
Journal of Group Theory, 9, no. 3 (2006), pp. 397–426.
DOI: 10.1515/jgt.2006.027. MR: 2226621. ZBL: 1151.20044.

Abstract

All finitely generated subsemigroups of virtually nilpotent groups admit finite Malcev presentations. (A Malcev presentation is a presentation of a special type for a semigroup that can be embedded in a group.) All automatic or asynchronous automatic semigroups embeddable into groups admit finite Malcev presentations. Finitely generated subsemigroups of virtually free groups are automatic. A finitely generated subsemigroup of the free product of a free group and an abelian group that fails to have a finite Malcev presentation is exhibited. Therefore the class of groups all of whose finitely generated subsemigroups admit finite Malcev presentations is properly contained in the class of coherent groups. Finitely generated subsemigroups of the free product of a free monoid and an abelian group are asynchronously automatic and therefore have finite Malcev presentations.