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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.