{"id":"https://openalex.org/W2166285859","doi":"https://doi.org/10.1142/s0218196712500385","title":"UNARY FA-PRESENTABLE SEMIGROUPS","display_name":"UNARY FA-PRESENTABLE SEMIGROUPS","publication_year":2012,"publication_date":"2012-03-05","ids":{"openalex":"https://openalex.org/W2166285859","doi":"https://doi.org/10.1142/s0218196712500385","mag":"2166285859"},"language":"en","primary_location":{"id":"doi:10.1142/s0218196712500385","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196712500385","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Algebra and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research-repository.st-andrews.ac.uk/bitstream/10023/2375/2/crt_unaryfa.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055005423","display_name":"Alan J. Cain","orcid":"https://orcid.org/0000-0002-0706-1354"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"ALAN J. CAIN","raw_affiliation_strings":["Centro de Matem\u00e1tica, Universidade do Porto, Rua do Campo Alegre 687, 4169\u2013007 Porto, Portugal"],"affiliations":[{"raw_affiliation_string":"Centro de Matem\u00e1tica, Universidade do Porto, Rua do Campo Alegre 687, 4169\u2013007 Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076978470","display_name":"Nik Ru\u0161kuc","orcid":"https://orcid.org/0000-0003-2415-9334"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"NIK RU\u0160KUC","raw_affiliation_strings":["School of Mathematics and Statistics, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, UK","School of Mathematics and Statistics, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, United Kingdom"],"affiliations":[{"raw_affiliation_string":"School of Mathematics and Statistics, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, UK","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"School of Mathematics and Statistics, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, United Kingdom","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022333338","display_name":"Richard M. Thomas","orcid":"https://orcid.org/0000-0003-1207-793X"},"institutions":[{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"RICHARD M. THOMAS","raw_affiliation_strings":["Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, UK","Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, UK","institution_ids":["https://openalex.org/I153648349"]},{"raw_affiliation_string":"Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, United Kingdom","institution_ids":["https://openalex.org/I153648349"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5055005423"],"corresponding_institution_ids":["https://openalex.org/I182534213"],"apc_list":null,"apc_paid":null,"fwci":1.046,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79190812,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"22","issue":"04","first_page":"1250038","last_page":"1250038"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.9953151941299438},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8456765413284302},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.7421190142631531},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5658547878265381},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5318077802658081},{"id":"https://openalex.org/keywords/alphabet","display_name":"Alphabet","score":0.48474690318107605},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.478158563375473},{"id":"https://openalex.org/keywords/injective-function","display_name":"Injective function","score":0.4736129939556122},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.4584157168865204},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4258115887641907},{"id":"https://openalex.org/keywords/special-classes-of-semigroups","display_name":"Special classes of semigroups","score":0.413571298122406},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.333109050989151},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1414707899093628},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.11872327327728271},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09220001101493835}],"concepts":[{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.9953151941299438},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8456765413284302},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.7421190142631531},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5658547878265381},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5318077802658081},{"id":"https://openalex.org/C112876837","wikidata":"https://www.wikidata.org/wiki/Q837518","display_name":"Alphabet","level":2,"score":0.48474690318107605},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.478158563375473},{"id":"https://openalex.org/C128107574","wikidata":"https://www.wikidata.org/wiki/Q182003","display_name":"Injective function","level":2,"score":0.4736129939556122},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.4584157168865204},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4258115887641907},{"id":"https://openalex.org/C46149467","wikidata":"https://www.wikidata.org/wiki/Q7574800","display_name":"Special classes of semigroups","level":3,"score":0.413571298122406},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.333109050989151},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1414707899093628},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.11872327327728271},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09220001101493835},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1142/s0218196712500385","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196712500385","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Algebra and Computation","raw_type":"journal-article"},{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/2375","is_oa":true,"landing_page_url":"https://hdl.handle.net/10023/2375","pdf_url":"https://research-repository.st-andrews.ac.uk/bitstream/10023/2375/2/crt_unaryfa.pdf","source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal article"},{"id":"pmh:oai:lra.le.ac.uk:2381/13537","is_oa":false,"landing_page_url":"http://hdl.handle.net/2381/13537","pdf_url":null,"source":{"id":"https://openalex.org/S4306402365","display_name":"Leicester Research Archive (University of Leicester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153648349","host_organization_name":"University of Leicester","host_organization_lineage":["https://openalex.org/I153648349"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Journal Article"}],"best_oa_location":{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/2375","is_oa":true,"landing_page_url":"https://hdl.handle.net/10023/2375","pdf_url":"https://research-repository.st-andrews.ac.uk/bitstream/10023/2375/2/crt_unaryfa.pdf","source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1167214205","display_name":null,"funder_award_id":"COMPETE","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G1241529110","display_name":null,"funder_award_id":"PEst-C/MAT/UI0144/2011","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G1578237752","display_name":null,"funder_award_id":"COMPETE","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G2490314768","display_name":null,"funder_award_id":"PEst-C/MAT/UI0144/2011","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G7917833438","display_name":null,"funder_award_id":"EP/H011978/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7961816961","display_name":null,"funder_award_id":"PEst-C/MAT/UI0144/201","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G8403824226","display_name":null,"funder_award_id":"PEst-C","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G8452545418","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8570012161","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2166285859.pdf","grobid_xml":"https://content.openalex.org/works/W2166285859.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1487875360","https://openalex.org/W1501737527","https://openalex.org/W1517606395","https://openalex.org/W1564981842","https://openalex.org/W1585649433","https://openalex.org/W2002089154","https://openalex.org/W2025670714","https://openalex.org/W2041470989","https://openalex.org/W2101592234","https://openalex.org/W2107370167","https://openalex.org/W2147596124","https://openalex.org/W2149138990","https://openalex.org/W2296095876","https://openalex.org/W2324744822","https://openalex.org/W3216142546","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2052217209","https://openalex.org/W1977156383","https://openalex.org/W4213169042","https://openalex.org/W2062410212","https://openalex.org/W1967634364","https://openalex.org/W2131625422","https://openalex.org/W4210408227","https://openalex.org/W2166285859","https://openalex.org/W2028004422","https://openalex.org/W2078679422"],"abstract_inverted_index":{"Automatic":[0],"presentations,":[1],"also":[2,60],"called":[3],"FA-presentations,":[4],"were":[5],"introduced":[6],"to":[7,12,50,65],"extend":[8],"finite":[9],"model":[10],"theory":[11],"infinite":[13],"structures":[14,34],"whilst":[15],"retaining":[16],"the":[17,30,87,100,137,146,149,164],"solubility":[18],"of":[19,26,32,35,61,102,105,151,163],"interesting":[20],"decision":[21],"problems.":[22],"A":[23,57,159],"particular":[24],"focus":[25],"research":[27],"has":[28],"been":[29,46],"classification":[31,160],"those":[33],"some":[36,43,132],"species":[37],"that":[38],"admit":[39],"automatic":[40,71,73,97],"presentations.":[41],"Whilst":[42],"successes":[44],"have":[45],"obtained,":[47],"this":[48,67],"appears":[49],"be":[51,125],"a":[52,76,109],"difficult":[53],"problem":[54],"in":[55,140],"general.":[56],"restricted":[58],"problem,":[59],"significant":[62],"interest,":[63],"is":[64,161],"ask":[66],"question":[68],"for":[69],"unary":[70,82,90,96,121,128,141,152,165],"presentations:":[72],"presentations":[74],"over":[75,108],"one-letter":[77,110],"alphabet.":[78,111],"This":[79],"paper":[80],"studies":[81],"FA-presentable":[83,91,113,122,129,142,153,166],"semigroups.":[84,143,169],"We":[85,135,144],"prove":[86],"following:":[88],"Every":[89,127],"structure":[92],"admits":[93],"an":[94],"injective":[95],"presentation":[98],"where":[99],"language":[101],"representatives":[103],"consists":[104],"every":[106],"word":[107],"Unary":[112],"semigroups":[114,123,154],"are":[115],"locally":[116],"finite,":[117],"but":[118],"non-finitely":[119],"generated":[120],"may":[124],"infinite.":[126],"semigroup":[130,157],"satisfies":[131],"Burnside":[133],"identity.":[134],"describe":[136],"Green's":[138],"relations":[139],"investigate":[145],"relationship":[147],"between":[148],"class":[150],"and":[155],"various":[156],"constructions.":[158],"given":[162],"completely":[167],"simple":[168]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}