Files in this item
Automatic presentations for semigroups
Item metadata
dc.contributor.author | Cain, Alan James | |
dc.contributor.author | Oliver, Graham | |
dc.contributor.author | Ruskuc, Nik | |
dc.contributor.author | Thomas, Richard M. | |
dc.date.accessioned | 2012-01-04T12:41:51Z | |
dc.date.available | 2012-01-04T12:41:51Z | |
dc.date.issued | 2009-11 | |
dc.identifier.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 . https://doi.org/10.1016/j.ic.2009.02.005 | en |
dc.identifier.issn | 0890-5401 | |
dc.identifier.other | PURE: 2338248 | |
dc.identifier.other | PURE UUID: 0114c872-96b1-4c8b-b07d-34e153348f5a | |
dc.identifier.other | WOS: 000271169800005 | |
dc.identifier.other | Scopus: 70349754454 | |
dc.identifier.other | ORCID: /0000-0003-2415-9334/work/73702035 | |
dc.identifier.uri | https://hdl.handle.net/10023/2147 | |
dc.description | Special Issue: 2nd International Conference on Language and Automata Theory and Applications (LATA 2008) | en |
dc.description.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. | |
dc.format.extent | 13 | |
dc.language.iso | eng | |
dc.relation.ispartof | Information and Computation | en |
dc.rights | This is an author version of this article. The published version (c) 2009 Elsevier Inc. is available at www.sciencedirect.com | en |
dc.subject | Automatic presentation | en |
dc.subject | FA-presentable | en |
dc.subject | Cancellative semigroup | en |
dc.subject | Virtually abelian group | en |
dc.subject | Monoids | en |
dc.subject | QA Mathematics | en |
dc.subject.lcc | QA | en |
dc.title | Automatic presentations for semigroups | en |
dc.type | Journal article | en |
dc.contributor.sponsor | EPSRC | en |
dc.description.version | Postprint | en |
dc.contributor.institution | University of St Andrews. Pure Mathematics | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | https://doi.org/10.1016/j.ic.2009.02.005 | |
dc.description.status | Peer reviewed | en |
dc.identifier.url | http://www.scopus.com/inward/record.url?scp=70349754454&partnerID=8YFLogxK | en |
dc.identifier.grantnumber | EP/C523229/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.