You are here: Home :: Area NEM :: Mathematics :: Set theory

Alan J Cain, Edmund F Robertson, Nik Rukuc

Subsemigroups of groups: presentations, Malcev presentations, and automatic structures

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.

Journal of Group Theory, Walter de Gruyter

Print ISSN: 1433-5883
Volume: 9, 05/2006
Pages: 397 - 426

Show full article (external site)

Show all available items of this journal

 

Area NEM