‘Malcev presentations for subsemigroups of direct products of coherent groups’
Journal of Pure and Applied Algebra, 213, no. 6 (2009), pp. 977–990.
DOI: 10.1016/j.jpaa.2008.10.006. MR: 2498789. ZBL: 1178.20050.

Abstract

The direct product of a free group and a polycyclic group is known to be coherent. This paper shows that every finitely generated subsemigroup of the direct product of a virtually free group and an abelian group admits a finite Malcev presentation. (A Malcev presentation is a presentation of a special type for a semigroup that embeds into a group. A group is virtually free if it contains a free subgroup of finite index.) By considering the direct product of two free semigroups, it is also shown that polycyclic groups, unlike nilpotent groups, can contain finitely generated subsemigroups that do not admit finite Malcev presentations.