The University of St Andrews

Research@StAndrews:FullText >
University of St Andrews Research >
University of St Andrews Research >
University of St Andrews Research >

Please use this identifier to cite or link to this item:
This item has been viewed 2 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
cort_apsg.pdf217.41 kBAdobe PDFView/Open
Title: Automatic presentations for semigroups
Authors: Cain, Alan James
Oliver, Graham
Ruskuc, Nik
Thomas, Richard M.
Keywords: Automatic presentation
Cancellative semigroup
Virtually abelian group
QA Mathematics
Issue Date: Nov-2009
Citation: Cain , A J , Oliver , G , Ruskuc , N & Thomas , R M 2009 , ' Automatic presentations for semigroups ' Information and Computation , vol 207 , no. 11 , pp. 1156-1168 . , 10.1016/j.ic.2009.02.005
Abstract: This paper applies the concept of FA-presentable structures to semigroups. We give a complete classification of the finitely generated FA-presentable cancellative semigroups: namely, a finitely generated cancellative semigroup is FA-presentable if and only if it is a subsemigroup of a virtually abelian group. We prove that all finitely generated commutative semigroups are FA-presentable. We give a complete list of FA-presentable one-relation semigroups and compare the classes of FA-presentable semigroups and automatic semigroups. (C) 2009 Elsevier Inc. All rights reserved.
Version: Postprint
Description: Special Issue: 2nd International Conference on Language and Automata Theory and Applications (LATA 2008)
Status: Peer reviewed
ISSN: 0890-5401
Type: Journal article
Rights: This is an author version of this article. The published version (c) 2009 Elsevier Inc. is available at
Appears in Collections:Centre for Interdisciplinary Research in Computational Algebra (CIRCA) Research
University of St Andrews Research
Pure Mathematics Research

This item is protected by original copyright

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


DSpace Software Copyright © 2002-2012  Duraspace - Feedback
For help contact: | Copyright for this page belongs to St Andrews University Library | Terms and Conditions (Cookies)