{"id":"https://openalex.org/W2522954184","doi":"https://doi.org/10.1142/s0218196717500527","title":"No positive cone in a free product is regular","display_name":"No positive cone in a free product is regular","publication_year":2017,"publication_date":"2017-11-21","ids":{"openalex":"https://openalex.org/W2522954184","doi":"https://doi.org/10.1142/s0218196717500527","mag":"2522954184"},"language":"en","primary_location":{"id":"doi:10.1142/s0218196717500527","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196717500527","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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1609.06288","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062197127","display_name":"Susan Hermiller","orcid":null},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Susan Hermiller","raw_affiliation_strings":["Department of Mathematics, University of Nebraska, Lincoln, NE 68588-0130, USA","Department of Mathematics, University of Nebraska, Lincoln, NE 68588\u20100130, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Nebraska, Lincoln, NE 68588-0130, USA","institution_ids":["https://openalex.org/I114395901"]},{"raw_affiliation_string":"Department of Mathematics, University of Nebraska, Lincoln, NE 68588\u20100130, USA","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048718604","display_name":"Zoran \u0160uni\u0107","orcid":"https://orcid.org/0000-0001-7861-158X"},"institutions":[{"id":"https://openalex.org/I139290212","display_name":"Hofstra University","ror":"https://ror.org/03pm18j10","country_code":"US","type":"education","lineage":["https://openalex.org/I139290212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zoran \u0160uni\u0107","raw_affiliation_strings":["Department of Mathematics, Hofstra University, Hempstead, NY 11549, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Hofstra University, Hempstead, NY 11549, USA","institution_ids":["https://openalex.org/I139290212"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5062197127"],"corresponding_institution_ids":["https://openalex.org/I114395901"],"apc_list":null,"apc_paid":null,"fwci":0.237,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.52368873,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"27","issue":"08","first_page":"1113","last_page":"1120"},"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.998199999332428,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9934999942779541,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/cone","display_name":"Cone (formal languages)","score":0.9089418649673462},{"id":"https://openalex.org/keywords/free-product","display_name":"Free product","score":0.787691593170166},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7028546333312988},{"id":"https://openalex.org/keywords/finitely-generated-abelian-group","display_name":"Finitely-generated abelian group","score":0.6665209531784058},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.5747455954551697},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5438064932823181},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5127876400947571},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5124750733375549},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.5109500288963318},{"id":"https://openalex.org/keywords/context-free-language","display_name":"Context-free language","score":0.47603869438171387},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.4582277238368988},{"id":"https://openalex.org/keywords/free-group","display_name":"Free group","score":0.4405212104320526},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4368545413017273},{"id":"https://openalex.org/keywords/stallings-theorem-about-ends-of-groups","display_name":"Stallings theorem about ends of groups","score":0.4109707474708557},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.37031614780426025},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.33467355370521545},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1490481197834015},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.1331750452518463},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.0869116485118866},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.0833432674407959},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.058164626359939575},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.04799667000770569}],"concepts":[{"id":"https://openalex.org/C30014739","wikidata":"https://www.wikidata.org/wiki/Q5159445","display_name":"Cone (formal languages)","level":2,"score":0.9089418649673462},{"id":"https://openalex.org/C47527751","wikidata":"https://www.wikidata.org/wiki/Q1454165","display_name":"Free product","level":3,"score":0.787691593170166},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7028546333312988},{"id":"https://openalex.org/C162860070","wikidata":"https://www.wikidata.org/wiki/Q142140","display_name":"Finitely-generated abelian group","level":2,"score":0.6665209531784058},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.5747455954551697},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5438064932823181},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5127876400947571},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5124750733375549},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.5109500288963318},{"id":"https://openalex.org/C198838072","wikidata":"https://www.wikidata.org/wiki/Q729271","display_name":"Context-free language","level":3,"score":0.47603869438171387},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.4582277238368988},{"id":"https://openalex.org/C77021192","wikidata":"https://www.wikidata.org/wiki/Q431078","display_name":"Free group","level":3,"score":0.4405212104320526},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4368545413017273},{"id":"https://openalex.org/C58249144","wikidata":"https://www.wikidata.org/wiki/Q7597316","display_name":"Stallings theorem about ends of groups","level":3,"score":0.4109707474708557},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.37031614780426025},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.33467355370521545},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1490481197834015},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.1331750452518463},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0869116485118866},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.0833432674407959},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.058164626359939575},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.04799667000770569},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1142/s0218196717500527","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196717500527","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:arXiv.org:1609.06288","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1609.06288","pdf_url":"https://arxiv.org/pdf/1609.06288","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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"},{"id":"mag:2522954184","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1609.06288.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:digitalcommons.unl.edu:mathfacpub-1104","is_oa":false,"landing_page_url":"https://digitalcommons.unl.edu/mathfacpub/104","pdf_url":null,"source":{"id":"https://openalex.org/S4306513441","display_name":"Insecta mundi","issn_l":"0749-6737","issn":["0749-6737","1942-1354","1942-1362"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310316217","host_organization_name":"Center for Systematic Entomology","host_organization_lineage":["https://openalex.org/P4310316217"],"host_organization_lineage_names":["Center for Systematic Entomology"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Department of Mathematics: Faculty Publications","raw_type":"text"},{"id":"pmh:oai:digitalcommons.unl.edu:mathfacpub-1121","is_oa":false,"landing_page_url":"https://digitalcommons.unl.edu/mathfacpub/118","pdf_url":null,"source":{"id":"https://openalex.org/S4306513441","display_name":"Insecta mundi","issn_l":"0749-6737","issn":["0749-6737","1942-1354","1942-1362"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310316217","host_organization_name":"Center for Systematic Entomology","host_organization_lineage":["https://openalex.org/P4310316217"],"host_organization_lineage_names":["Center for Systematic Entomology"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Department of Mathematics: Faculty Publications","raw_type":"text"},{"id":"doi:10.48550/arxiv.1609.06288","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1609.06288","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1609.06288","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1609.06288","pdf_url":"https://arxiv.org/pdf/1609.06288","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5593238032","display_name":"Topology and geometry of Cayley graphs for groups","funder_award_id":"1313559","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6054967581","display_name":null,"funder_award_id":"DMS-1313559","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2522954184.pdf","grobid_xml":"https://content.openalex.org/works/W2522954184.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1617806515","https://openalex.org/W1982589997","https://openalex.org/W1996490607","https://openalex.org/W2013317555","https://openalex.org/W2046788031","https://openalex.org/W2071189751","https://openalex.org/W2081806716","https://openalex.org/W2087091773","https://openalex.org/W2088927926","https://openalex.org/W2322911852","https://openalex.org/W2963213396","https://openalex.org/W2963549151","https://openalex.org/W2964305053","https://openalex.org/W4247247583"],"related_works":["https://openalex.org/W2522625910","https://openalex.org/W96178211","https://openalex.org/W2313247219","https://openalex.org/W2322071814","https://openalex.org/W2898457426","https://openalex.org/W295666335","https://openalex.org/W2774559945","https://openalex.org/W2027425357","https://openalex.org/W2088104226","https://openalex.org/W3034894071","https://openalex.org/W3126524697","https://openalex.org/W2036298677","https://openalex.org/W2138204002","https://openalex.org/W2054409620","https://openalex.org/W2062486464","https://openalex.org/W2002000116","https://openalex.org/W2963551201","https://openalex.org/W2321928704","https://openalex.org/W1982209059","https://openalex.org/W2963592743"],"abstract_inverted_index":{"We":[0],"show":[1,119],"that":[2,20,47,69,91,120,133],"there":[3,32],"exists":[4],"no":[5],"left":[6],"order":[7],"on":[8,35,59],"the":[9,21,60,71,75,92,121,129],"free":[10,36,67,97],"product":[11,98,140],"of":[12,38,63,83,99,115,123,141,147],"two":[13,42],"nontrivial,":[14,100],"finitely":[15,101,107],"generated,":[16,102],"left-orderable":[17,103],"groups":[18,37,104,142],"such":[19],"corresponding":[22],"positive":[23,44,64,93,135],"cone":[24,45,94],"is":[25,70],"represented":[26],"by":[27,86,144],"a":[28,57,81,84,96,110,138,145],"regular":[29],"language.":[30],"Since":[31],"are":[33,48],"orders":[34],"rank":[39],"at":[40,149],"least":[41,150],"with":[43],"languages":[46],"context-free":[49],"(in":[50],"fact,":[51],"1-counter":[52],"languages),":[53],"our":[54,116],"result":[55,85],"provides":[56,80],"bound":[58],"language":[61,122],"complexity":[62],"cones":[65],"in":[66,95,137],"products":[68],"best":[72],"possible":[73],"within":[74],"Chomsky":[76],"hierarchy.":[77],"It":[78],"also":[79],"strengthening":[82],"Crist\u00f3bal":[87],"Rivas":[88],"which":[89],"states":[90],"cannot":[105,152],"be":[106,153],"generated":[108],"as":[109],"semigroup.":[111],"As":[112],"another":[113],"illustration":[114],"method,":[117],"we":[118],"all":[124],"geodesics":[125],"(with":[126],"respect":[127],"to":[128],"natural":[130],"generating":[131],"set)":[132],"represent":[134],"elements":[136],"graph":[139,146],"defined":[143],"diameter":[148],"3":[151],"regular.":[154]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}