Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions

Alan James Cain; Edmund Frederick Robertson; Nik Ruskuc

doi:10.1017/S1446788708000086

Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions

Alan James Cain, Edmund Frederick Robertson, Nik Ruskuc

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)

13 Downloads (Pure)

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.).

Original language	English
Pages (from-to)	39-61
Number of pages	23
Journal	Journal of the Australian Mathematical Society
Volume	84
Issue number	1
DOIs	https://doi.org/10.1017/S1446788708000086
Publication status	Published - Feb 2008

Keywords

Maclev presentation
Cancellative
Subsemigroup
Finite index
Rewriting

Access to Document

10.1017/S1446788708000086

JAustMathSoc84CancellativeMalcevPresentations
(c) 2008 Australian Mathematical Society
Final published version, 213 KB

Cite this

@article{fe819b9e45a34c67a0737522a3482b98,

title = "Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions",

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.).",

keywords = "Maclev presentation, Cancellative, Subsemigroup, Finite index, Rewriting",

author = "Cain, {Alan James} and Robertson, {Edmund Frederick} and Nik Ruskuc",

year = "2008",

month = feb,

doi = "10.1017/S1446788708000086",

language = "English",

volume = "84",

pages = "39--61",

journal = "Journal of the Australian Mathematical Society",

issn = "1446-7887",

publisher = "Cambridge University Press",

number = "1",

}

TY - JOUR

T1 - Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions

AU - Cain, Alan James

AU - Robertson, Edmund Frederick

AU - Ruskuc, Nik

PY - 2008/2

Y1 - 2008/2

N2 - 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.).

AB - 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.).

KW - Maclev presentation

KW - Cancellative

KW - Subsemigroup

KW - Finite index

KW - Rewriting

UR - http://www.scopus.com/inward/record.url?scp=48349100626&partnerID=8YFLogxK

U2 - 10.1017/S1446788708000086

DO - 10.1017/S1446788708000086

M3 - Article

SN - 1446-7887

VL - 84

SP - 39

EP - 61

JO - Journal of the Australian Mathematical Society

JF - Journal of the Australian Mathematical Society

IS - 1

ER -

Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

EP/C523229/1: Multidisciplinary Critical Mass in Computational Algebra and Applications

Cite this

Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Projects

EP/C523229/1: Multidisciplinary Critical Mass in Computational Algebra and Applications

Cite this