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:
View Statistics

Files in This Item:

File Description SizeFormat
crt_unaryfa.pdf301.95 kBAdobe PDFView/Open
Title: Unary FA-presentable semigroups
Authors: Cain, Alan James
Ruskuc, Nik
Thomas, R.M.
Keywords: Automatic presentations
Regular languages
QA Mathematics
Issue Date: 8-Jun-2012
Citation: Cain , A J , Ruskuc , N & Thomas , R M 2012 , ' Unary FA-presentable semigroups ' International Journal of Algebra and Computation , vol 22 , no. 4 , 1250038 . , 10.1142/S0218196712500385
Abstract: Automatic presentations, also called FA-presentations, were introduced to extend nite model theory to innite structures whilst retaining the solubility of interesting decision problems. A particular focus of research has been the classication of those structures of some species that admit automatic presentations. Whilst some successes have been obtained, this appears to be a dicult problem in general. A restricted problem, also of signicant interest, is to ask this question for unary automatic presentations: auto-matic presentations over a one-letter alphabet. This paper studies unary FA-presentable semigroups. We prove the following: Every unary FA-presentable structure admits an injective unary automatic presentation where the language of representatives consists of every word over a one-letter alphabet. Unary FA-presentable semigroups are locally nite, but non-nitely generated unary FA-presentable semigroups may be innite. Every unary FA-presentable semigroup satises some Burnside identity.We describe the Green's relations in unary FA-presentable semigroups. We investigate the relationship between the class of unary FA-presentable semigroups and various semigroup constructions. A classication is given of the unary FA-presentable completely simple semigroups.
Version: Postprint
Status: Peer reviewed
ISSN: 0218-1967
Type: Journal article
Rights: This is an author version of an article published in International Journal of Algebra and Computation © 2012 copyright World Scientific Publishing Company
Appears in Collections:Centre for Interdisciplinary Research in Computational Algebra (CIRCA) Research
University of St Andrews Research
Mathematics & Statistics 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)