{"id":"https://openalex.org/W2022794917","doi":"https://doi.org/10.2307/2275184","title":"Undecidability of the identity problem for finite semigroups","display_name":"Undecidability of the identity problem for finite semigroups","publication_year":1992,"publication_date":"1992-03-01","ids":{"openalex":"https://openalex.org/W2022794917","doi":"https://doi.org/10.2307/2275184","mag":"2022794917"},"language":"en","primary_location":{"id":"doi:10.2307/2275184","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275184","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020822753","display_name":"D. Albert","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Douglas Albert","raw_affiliation_strings":["DEPARTMENT OF MATHEMATICS UNIVERSITY OF CALIFORNIA BERKELEY,#R#CALIFORNIA 94720"],"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF MATHEMATICS UNIVERSITY OF CALIFORNIA BERKELEY,#R#CALIFORNIA 94720","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043974927","display_name":"Robert Baldinger","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Baldinger","raw_affiliation_strings":["Department of Mathematics, University of California, Berkeley, California 94720, E-mail: baldinger@math.berkeley.edu"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of California, Berkeley, California 94720, E-mail: baldinger@math.berkeley.edu","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110160484","display_name":"John Rhodes","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Rhodes","raw_affiliation_strings":["Department of Mathematics, University of California, Berkeley, California 94720, E-mail: rhodes@math.berkeley.edu"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of California, Berkeley, California 94720, E-mail: rhodes@math.berkeley.edu","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5020822753"],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":0.9611,"has_fulltext":false,"cited_by_count":62,"citation_normalized_percentile":{"value":0.74557839,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"57","issue":"1","first_page":"179","last_page":"192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998000264167786,"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.9998000264167786,"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.9951000213623047,"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/T10911","display_name":"Chemical Synthesis and Analysis","score":0.9726999998092651,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8111234903335571},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.681881308555603},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6595796942710876},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.599603533744812},{"id":"https://openalex.org/keywords/identity","display_name":"Identity (music)","score":0.5912229418754578},{"id":"https://openalex.org/keywords/special-classes-of-semigroups","display_name":"Special classes of semigroups","score":0.4650140404701233},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.45648595690727234},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.44538629055023193},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3920844793319702},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.373481422662735},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1040915846824646}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8111234903335571},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.681881308555603},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6595796942710876},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.599603533744812},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.5912229418754578},{"id":"https://openalex.org/C46149467","wikidata":"https://www.wikidata.org/wiki/Q7574800","display_name":"Special classes of semigroups","level":3,"score":0.4650140404701233},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.45648595690727234},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.44538629055023193},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3920844793319702},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.373481422662735},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1040915846824646},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2275184","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275184","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183743899","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183743899","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W607768272","https://openalex.org/W1990552506","https://openalex.org/W1993910795","https://openalex.org/W1995628728","https://openalex.org/W2004459113","https://openalex.org/W2004956055","https://openalex.org/W2005100072","https://openalex.org/W2007085094","https://openalex.org/W2016474213","https://openalex.org/W2023648368","https://openalex.org/W2028587631","https://openalex.org/W2038638040","https://openalex.org/W2051169277","https://openalex.org/W2051408347","https://openalex.org/W2061970672","https://openalex.org/W2086965829","https://openalex.org/W2096605331","https://openalex.org/W2117832390","https://openalex.org/W2156169026","https://openalex.org/W2167954650","https://openalex.org/W2167995006","https://openalex.org/W2320251205","https://openalex.org/W2530006810","https://openalex.org/W2894230071","https://openalex.org/W2905135108","https://openalex.org/W3023099848","https://openalex.org/W4205846616","https://openalex.org/W4249509651","https://openalex.org/W4285719527","https://openalex.org/W4293176479"],"related_works":["https://openalex.org/W2007259017","https://openalex.org/W2236302362","https://openalex.org/W1980767599","https://openalex.org/W2052217209","https://openalex.org/W4388697737","https://openalex.org/W4297779646","https://openalex.org/W2115479925","https://openalex.org/W1999881600","https://openalex.org/W1978324227","https://openalex.org/W2590393170"],"abstract_inverted_index":{"In":[0,27,220],"1947":[1],"E.":[2],"Post":[3],"[28]":[4],"and":[5,67,109,134,197,245],"A.":[6,7],"Markov":[8],"[18]":[9],"independently":[10],"proved":[11,33,72],"the":[12,15,19,34,37,41,53,65,162,217,224,227,232,252],"undecidability":[13,35],"of":[14,21,23,36,43,45,55,81,88,124,241,254],"word":[16],"problem":[17,20,39,42,230,253],"(or":[18,40],"deducibility":[22,44],"relations)":[24],"for":[25,190,222,231],"semigroups.":[26,48,90],"1968":[28],"V.":[29],"L.":[30],"Murskil":[31],"[23]":[32],"identity":[38],"identities)":[46],"in":[47,64],"If":[49],"we":[50,58],"slightly":[51],"generalize":[52],"statement":[54],"these":[56,168],"results":[57,63,71],"can":[59],"state":[60,68],"many":[61],"related":[62],"literature":[66],"our":[69],"new":[70],"here.":[73],"Let":[74],"V":[75,120,128,234,266],"denote":[76],"either":[77],"a":[78,86,92,96,122,202,209,214,238,246],"(Birkhoff)":[79,97],"variety":[80,98,203],"semigroups":[82,126,200,207],"or":[83,85,103],"groups":[84],"pseudovariety":[87,123],"finite":[89,125,135,163,206,239],"By":[91],"very":[93],"well-known":[94],"theorem":[95],"is":[99,115,121,129,257],"defined":[100],"by":[101,141],"equations":[102,142,169],"equivalently":[104],"closed":[105,130],"under":[106,131],"substructure,":[107,132],"surmorphisms":[108],"all":[110,205],"products;":[111],"see":[112],"[7].":[113],"It":[114],"also":[116],"well":[117],"known":[118],"that":[119,181,259],"iff":[127,170],"surmorphism":[133],"products,":[136],"or,":[137],"equivalently,":[138],"determined":[139],"eventually":[140,166],"w":[143,146,149,152,155,158],"1":[144,147],"=":[145,151,157,186,250,263],"\u2032,":[148,154],"2":[150,153],"3":[156,159],"\u2032,\u2026":[160],"(where":[161],"semigroup":[164],"S":[165,178,182],"satisfies":[167,183],"there":[171],"exists":[172],"an":[173],"n":[174,193],",":[175,179],"depending":[176],"on":[177],"such":[180],"W":[184,187],"j":[185,188,191],"\u2032":[189],"\u2265":[192],").":[194],"See":[195],"[8]":[196],"[29].":[198],"All":[199],"form":[201,208],"while":[204],"pseudovariety.":[210],"We":[211],"now":[212],"consider":[213],"table":[215],"(see":[216],"next":[218],"page).":[219],"it,":[221],"example,":[223],"box":[225],"denoting":[226],"\u201cword\u201d":[228],"(identity)":[229,248],"psuedovariety":[233],"\u201d":[235],"means,":[236],"given":[237],"set":[240],"relations":[242],"(identities)":[243],"E":[244,260],"relation":[247],"u":[249,262],"\u03bd,":[251],"whether":[255],"it":[256],"decidable":[258],"implies":[261],"\u03bd":[264],"inside":[265],".":[267]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}