Automatic Presentations for Cancellative Semigroups

Alan J. Cain; Graham Oliver; Nik Ruskuc; Richard M. Thomas

doi:10.1007/978-3-540-88282-4_15

Automatic Presentations for Cancellative Semigroups

Alan J. Cain, Graham Oliver, Nik Ruskuc, Richard M. Thomas

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper studies FA-presentable structures and gives a complete classification of the finitely generated FA-presentable cancellative semigroups. We show that a finitely generated cancellative semigroup is FA-presentable if and only if it is a subsemigroup of a virtually abelian group.

Original language	English
Title of host publication	Language and Automata Theory and Applications
Editors	C. Martin-Vide, F. Otto, H. Fernau
Publisher	Springer
Pages	149-159
Number of pages	11
ISBN (Print)	978-3-540-88281-7
DOIs	https://doi.org/10.1007/978-3-540-88282-4_15
Publication status	Published - 25 Sept 2008
Event	2nd International Conference on Language and Automata Theory and Application - Tarragona, Spain Duration: 13 Mar 2008 → 19 Mar 2008

Publication series

Name	Lecture Notes in Computer Science
Volume	5196
ISSN (Print)	0302-9743

Conference

Conference	2nd International Conference on Language and Automata Theory and Application
Country/Territory	Spain
City	Tarragona
Period	13/03/08 → 19/03/08

Access to Document

10.1007/978-3-540-88282-4_15

EP/C523229/1: Multidisciplinary Critical Mass in Computational Algebra and Applications
Linton, S. (PI), Gent, I. (CoI), Leonhardt, U. (CoI), Mackenzie, A. (CoI), Miguel, I. (CoI), Quick, M. (CoI) & Ruskuc, N. (CoI)
EPSRC
1/09/05 → 31/08/10
Project: Standard

Cite this

@inproceedings{2bfac8c94fdb485cb1764cc569ac5434,

title = "Automatic Presentations for Cancellative Semigroups",

abstract = "This paper studies FA-presentable structures and gives a complete classification of the finitely generated FA-presentable cancellative semigroups. We show that a finitely generated cancellative semigroup is FA-presentable if and only if it is a subsemigroup of a virtually abelian group.",

author = "Cain, {Alan J.} and Graham Oliver and Nik Ruskuc and Thomas, {Richard M.}",

year = "2008",

month = sep,

day = "25",

doi = "10.1007/978-3-540-88282-4_15",

language = "English",

isbn = "978-3-540-88281-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "149--159",

editor = "C. Martin-Vide and F. Otto and H. Fernau",

booktitle = "Language and Automata Theory and Applications",

address = "Netherlands",

note = "2nd International Conference on Language and Automata Theory and Application ; Conference date: 13-03-2008 Through 19-03-2008",

}

Cain, AJ, Oliver, G, Ruskuc, N & Thomas, RM 2008, Automatic Presentations for Cancellative Semigroups. in C Martin-Vide, F Otto & H Fernau (eds), Language and Automata Theory and Applications. Lecture Notes in Computer Science, vol. 5196, Springer, pp. 149-159, 2nd International Conference on Language and Automata Theory and Application, Tarragona, Spain, 13/03/08. https://doi.org/10.1007/978-3-540-88282-4_15

TY - GEN

T1 - Automatic Presentations for Cancellative Semigroups

AU - Cain, Alan J.

AU - Oliver, Graham

AU - Ruskuc, Nik

AU - Thomas, Richard M.

PY - 2008/9/25

Y1 - 2008/9/25

N2 - This paper studies FA-presentable structures and gives a complete classification of the finitely generated FA-presentable cancellative semigroups. We show that a finitely generated cancellative semigroup is FA-presentable if and only if it is a subsemigroup of a virtually abelian group.

AB - This paper studies FA-presentable structures and gives a complete classification of the finitely generated FA-presentable cancellative semigroups. We show that a finitely generated cancellative semigroup is FA-presentable if and only if it is a subsemigroup of a virtually abelian group.

U2 - 10.1007/978-3-540-88282-4_15

DO - 10.1007/978-3-540-88282-4_15

M3 - Conference contribution

SN - 978-3-540-88281-7

T3 - Lecture Notes in Computer Science

SP - 149

EP - 159

BT - Language and Automata Theory and Applications

A2 - Martin-Vide, C.

A2 - Otto, F.

A2 - Fernau, H.

PB - Springer

T2 - 2nd International Conference on Language and Automata Theory and Application

Y2 - 13 March 2008 through 19 March 2008

ER -

Automatic Presentations for Cancellative Semigroups

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

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

Cite this