Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4597449 | Journal of Pure and Applied Algebra | 2009 | 14 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
Authors
Alan J. Cain,