{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,11,25]],"date-time":"2022-11-25T06:11:16Z","timestamp":1669356676466},"reference-count":69,"publisher":"World Scientific Pub Co Pte Ltd","issue":"07","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2022,11]]},"abstract":"<jats:p> This paper investigates and clarifies some connections between the theory of one-relator groups and special one-relation inverse monoids, i.e. those inverse monoids with a presentation of the form [Formula: see text]. We show that every one-relator group admits a special one-relation inverse monoid presentation. We subsequently consider the classes [Formula: see text] of one-relator groups which can be defined by special one-relation inverse monoid presentations in which the defining word is arbitrary; reduced; cyclically reduced; or positive, respectively. We show that the inclusions [Formula: see text] are all strict. Conditional on a natural conjecture, we prove [Formula: see text]. Following this, we use the Benois algorithm recently devised by Gray and Ru\u0161kuc to produce an infinite family of special one-relation inverse monoids which exhibit similar pathological behavior (which we term O\u2019Haresque) to the O\u2019Hare monoid with respect to computing the minimal invertible pieces of the defining word. Finally, we provide a counterexample to a conjecture by Gray and Ru\u0161kuc that the Benois algorithm always correctly computes the minimal invertible pieces of a special one-relation inverse monoid. <\/jats:p>","DOI":"10.1142\/s0218196722500618","type":"journal-article","created":{"date-parts":[[2022,7,29]],"date-time":"2022-07-29T07:40:30Z","timestamp":1659080430000},"page":"1379-1401","source":"Crossref","is-referenced-by-count":1,"title":["On one-relator groups and units of special one-relation inverse monoids"],"prefix":"10.1142","volume":"32","author":[{"given":"Carl-Fredrik","family":"Nyberg-Brodda","sequence":"first","affiliation":[{"name":"Department of Mathematics, Alan Turing Building, University of Manchester, United Kingdom"}]}],"member":"219","published-online":{"date-parts":[[2022,8,31]]},"reference":[{"key":"S0218196722500618BIB001","first-page":"533","volume":"103","author":"Adian S. I.","year":"1955","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"S0218196722500618BIB002","first-page":"1360","volume":"1","author":"Adian S. I.","year":"1960","journal-title":"Soviet Math. Dokl."},{"key":"S0218196722500618BIB003","first-page":"123","volume":"85","author":"Adian S. I.","year":"1966","journal-title":"Trudy Mat. Inst. Steklov."},{"key":"S0218196722500618BIB004","doi-asserted-by":"publisher","DOI":"10.1017\/S1446788700007783"},{"key":"S0218196722500618BIB005","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1090\/S0002-9947-1971-0274562-8","volume":"156","author":"Baumslag G.","year":"1971","journal-title":"Trans. Amer. Math. Soc."},{"key":"S0218196722500618BIB006","first-page":"A1188","volume":"269","author":"Benois M.","year":"1969","journal-title":"C. R. Acad. Sci. Paris S\u00e9r. A-B"},{"issue":"2","key":"S0218196722500618BIB007","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0304-3975(92)00063-W","volume":"123","author":"Birget J.-Camille","year":"1994","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"S0218196722500618BIB008","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(82)90036-6","volume":"19","author":"Book R. V.","year":"1982","journal-title":"Theor. Comput. Sci."},{"key":"S0218196722500618BIB009","doi-asserted-by":"crossref","first-page":"195","DOI":"10.2307\/1969934","volume":"67","author":"Boone W. W.","year":"1958","journal-title":"Ann. Math."},{"key":"S0218196722500618BIB010","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.44.10.1061"},{"issue":"1","key":"S0218196722500618BIB011","doi-asserted-by":"crossref","first-page":"53","DOI":"10.36045\/bbms\/1105730623","volume":"4","author":"Calbrix H.","year":"1997","journal-title":"Bull. Belg. Math. Soc. Simon Stevin"},{"key":"S0218196722500618BIB012","first-page":"333","volume":"43","author":"Church A.","year":"1937","journal-title":"Bull. Amer. Math. Soc."},{"key":"S0218196722500618BIB013","doi-asserted-by":"publisher","DOI":"10.1007\/BF01456932"},{"issue":"3","key":"S0218196722500618BIB014","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/BF01563732","volume":"75","author":"Dehn M.","year":"1914","journal-title":"Math. Ann."},{"issue":"6","key":"S0218196722500618BIB015","doi-asserted-by":"crossref","first-page":"4309","DOI":"10.1090\/tran\/8338","volume":"374","author":"Dolinka I.","year":"2021","journal-title":"Trans. Amer. Math. Soc."},{"issue":"1","key":"S0218196722500618BIB016","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01443322","volume":"20","author":"Dyck W.","year":"1882","journal-title":"Math. Ann."},{"key":"S0218196722500618BIB017","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9730-4_9"},{"key":"S0218196722500618BIB018","doi-asserted-by":"publisher","DOI":"10.1007\/s00222-019-00920-2"},{"key":"S0218196722500618BIB020","first-page":"1047","volume":"359","author":"Gray R. D.","year":"2021","journal-title":"Comptes Rendus de l\u2018Acad. des Sci. \u2014 Series I: Math."},{"key":"S0218196722500618BIB021","doi-asserted-by":"publisher","DOI":"10.1007\/s00233-010-9247-9"},{"key":"S0218196722500618BIB023","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(00)00075-X"},{"key":"S0218196722500618BIB024","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2006.05.020"},{"key":"S0218196722500618BIB025","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(74)90146-X"},{"key":"S0218196722500618BIB026","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61896-3"},{"issue":"1","key":"S0218196722500618BIB027","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF01455888","volume":"106","author":"Magnus W.","year":"1932","journal-title":"Math. Ann."},{"key":"S0218196722500618BIB028","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1515\/crll.1930.163.141","volume":"163","author":"Magnus W.","year":"1930","journal-title":"J. Reine Angew. Math."},{"key":"S0218196722500618BIB029","volume-title":"Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations","author":"Magnus W.","year":"1966"},{"key":"S0218196722500618BIB031","first-page":"285","volume":"171","author":"Makanin G. S.","year":"1966","journal-title":"Dokl. Akad. Nauk SSSR"},{"issue":"145","key":"S0218196722500618BIB032","first-page":"147","volume":"103","author":"Makanin G. S.","year":"1977","journal-title":"Mat. Sb."},{"issue":"6","key":"S0218196722500618BIB033","first-page":"1199","volume":"46","author":"Makanin G. S.","year":"1982","journal-title":"Izv. Akad. Nauk SSSR Ser. Mat."},{"issue":"6","key":"S0218196722500618BIB034","doi-asserted-by":"crossref","first-page":"1084","DOI":"10.4153\/CJM-1990-058-9","volume":"42","author":"Margolis S. W.","year":"1990","journal-title":"Canad. J. Math."},{"key":"S0218196722500618BIB035","series-title":"Contemporary Mathematics","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1090\/conm\/372\/06879","volume-title":"Geometric Methods in Group Theory","author":"Margolis S. W.","year":"2005"},{"issue":"1","key":"S0218196722500618BIB036","first-page":"259","volume":"335","author":"Margolis S. W.","year":"1993","journal-title":"Trans. Amer. Math. Soc."},{"key":"S0218196722500618BIB037","first-page":"99","volume-title":"Semigroups and Their Applications","author":"Margolis S. W.","year":"1986"},{"key":"S0218196722500618BIB038","first-page":"353","volume":"58","author":"Markov A.","year":"1947","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"S0218196722500618BIB039","first-page":"583","volume":"55","author":"Markov A.","year":"1947","journal-title":"C. R. (Doklady) Acad. Sci. URSS"},{"key":"S0218196722500618BIB040","first-page":"953","volume":"77","author":"Markov A. A.","year":"1951","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"S0218196722500618BIB041","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0021-8693(71)90067-6","volume":"18","author":"McCool J.","year":"1971","journal-title":"J. Algebra"},{"key":"S0218196722500618BIB042","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-29.3.385"},{"key":"S0218196722500618BIB043","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2011.07.024"},{"key":"S0218196722500618BIB044","first-page":"709","volume":"85","author":"Novikov P. S.","year":"1952","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"S0218196722500618BIB045","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1002\/malq.19580040104","volume":"4","author":"Novikov P. S.","year":"1958","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"S0218196722500618BIB047","doi-asserted-by":"publisher","DOI":"10.1007\/s00233-021-10216-8"},{"key":"S0218196722500618BIB048","doi-asserted-by":"publisher","DOI":"10.1007\/s00233-022-10286-2"},{"issue":"1","key":"S0218196722500618BIB050","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0012-365X(88)90183-5","volume":"69","author":"Otto F.","year":"1988","journal-title":"Discrete Math."},{"issue":"2","key":"S0218196722500618BIB051","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0304-3975(84)90094-X","volume":"33","author":"Perrin D.","year":"1984","journal-title":"Theor. Comput. Sci."},{"key":"S0218196722500618BIB052","series-title":"Pure and Applied Mathematics","volume-title":"Inverse Semigroups","author":"Petrich M.","year":"1984"},{"key":"S0218196722500618BIB053","doi-asserted-by":"publisher","DOI":"10.2307\/2267170"},{"key":"S0218196722500618BIB054","doi-asserted-by":"publisher","DOI":"10.2307\/1969933"},{"key":"S0218196722500618BIB055","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700045251"},{"issue":"6","key":"S0218196722500618BIB056","first-page":"1282","volume":"20","author":"Rozenblat B. V.","year":"1979","journal-title":"Sibirsk. Mat. Zh."},{"issue":"6","key":"S0218196722500618BIB057","first-page":"101","volume":"26","author":"Rozenblat B. V.","year":"1985","journal-title":"Sibirsk. Mat. Zh."},{"key":"S0218196722500618BIB059","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/BF02570809","volume":"4","author":"Scheiblich H. E.","year":"1972","journal-title":"Semigroup Forum"},{"key":"S0218196722500618BIB060","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9939-1973-0310093-1","volume":"38","author":"Scheiblich H. E.","year":"1973","journal-title":"Proc. Amer. Math. Soc."},{"key":"S0218196722500618BIB061","doi-asserted-by":"publisher","DOI":"10.1007\/BF01895947"},{"issue":"2","key":"S0218196722500618BIB062","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1142\/S0218196792000128","volume":"2","author":"Silva P. V.","year":"1992","journal-title":"Int. J. Algebra Comput."},{"issue":"1","key":"S0218196722500618BIB064","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0022-4049(90)90057-O","volume":"63","author":"Stephen J. B.","year":"1990","journal-title":"J. Pure Appl. Algebra"},{"key":"S0218196722500618BIB065","first-page":"129","volume-title":"Monoids and Semigroups with Applications","author":"Stephen J. B.","year":"1991"},{"issue":"2","key":"S0218196722500618BIB066","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF02574345","volume":"44","author":"Stephen J. B.","year":"1992","journal-title":"Semigroup Forum"},{"issue":"1","key":"S0218196722500618BIB067","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/BF02573550","volume":"46","author":"Stephen J. B.","year":"1993","journal-title":"Semigroup Forum"},{"key":"S0218196722500618BIB068","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.1998.7501"},{"key":"S0218196722500618BIB069","first-page":"1","volume":"10","author":"Thue A.","year":"1914","journal-title":"Christiana Videnskaps-Selskabs Skrifter I. Math. Naturv. Klasse"},{"key":"S0218196722500618BIB070","doi-asserted-by":"crossref","first-page":"491","DOI":"10.2307\/1969481","volume":"52","author":"Turing A. M.","year":"1950","journal-title":"Ann. Math."},{"key":"S0218196722500618BIB071","first-page":"25","volume":"70","author":"Wagner V. V.","year":"1961","journal-title":"Uchen. Zap. Saratov. Univ."},{"issue":"2","key":"S0218196722500618BIB072","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0021-8693(91)90275-D","volume":"143","author":"Zhang L.","year":"1991","journal-title":"J. Algebra"},{"issue":"3","key":"S0218196722500618BIB073","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1017\/S0305004100071176","volume":"112","author":"Zhang L.","year":"1992","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"issue":"1","key":"S0218196722500618BIB074","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9939-1992-1092933-6","volume":"116","author":"Zhang L.","year":"1992","journal-title":"Proc. Amer. Math. Soc."},{"issue":"4","key":"S0218196722500618BIB075","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/0747-7171(92)90012-S","volume":"14","author":"Zhang L.","year":"1992","journal-title":"J. Symbolic Comput."},{"key":"S0218196722500618BIB076","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/BF01402968","volume":"10","author":"Zieschang H.","year":"1970","journal-title":"Invent. Math."}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196722500618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,24]],"date-time":"2022-11-24T08:00:20Z","timestamp":1669276820000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218196722500618"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,31]]},"references-count":69,"journal-issue":{"issue":"07","published-print":{"date-parts":[[2022,11]]}},"alternative-id":["10.1142\/S0218196722500618"],"URL":"https:\/\/doi.org\/10.1142\/s0218196722500618","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,8,31]]}}}