|Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions
Cain, Alan J.
Journal of the Australian Mathematical Society, 84 (2008), 39-61
It is known that, for semigroups, the property of admitting a finite presentation is preserved on passing to subsemigroups and extensions of finite Rees index. The present paper shows that the same holds true for Malcev, cancellative, and left- and right-cancellative presentations. [A Malcev (respectively, cancellative, left-cancellative, right-cancellative) presentation is a presentation of a special type that can be used to define any group-embeddable (respectively, cancellative, left-cancellative, right-cancellative) semigroup.]