CANCELLATIVE AND MALCEV PRESENTATIONS FOR FINITE REES INDEX SUBSEMIGROUPS AND EXTENSIONS
Alan J. Cain, Edmund F. Robertson, Nik Ruškuc · Journal of the Australian Mathematical Society · 2008
Abstract 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, left-cancellative 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.)