{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:10:56Z","timestamp":1775837456574,"version":"3.50.1"},"reference-count":45,"publisher":"World Scientific Pub Co Pte Lt","issue":"01n02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2002,2]]},"abstract":"<jats:p> This paper explores various connections between combinatorial group theory, semigroup theory, and formal language theory. <\/jats:p><jats:p> Let G = &lt;A|R&gt; be a group presentation and \u212c<jats:sub>A, R<\/jats:sub> its standard 2-complex. Suppose X is a 2-complex with a morphism to \u212c<jats:sub>A, R<\/jats:sub> which restricts to an immersion on the 1-skeleton. Then we associate an inverse monoid to X which algebraically encodes topological properties of the morphism. Applications are given to separability properties of groups. <\/jats:p><jats:p> We also associate an inverse monoid M(A, R) to the presentation &lt;A|R&gt; with the property that pointed subgraphs of covers of \u212c<jats:sub>A, R<\/jats:sub> are classified by closed inverse submonoids of M(A, R). In particular, we obtain an inverse monoid theoretic condition for a subgroup to be quasiconvex allowing semigroup theoretic variants on the usual proofs that the intersection of such subgroups is quasiconvex and that such subgroups are finitely generated. Generalizations are given to non-geodesic combings. We also obtain a formal language theoretic equivalence to quasiconvexity which holds even for groups which are not hyperbolic. <\/jats:p><jats:p> Finally, we illustrate some applications of separability properties of relatively free groups to finite semigroup theory. In particular, we can deduce the decidability of various semidirect and Mal\/cev products of pseudovarieties of monoids with equational pseudovarieties of nilpotent groups and with the pseudovariety of metabelian groups. <\/jats:p>","DOI":"10.1142\/s0218196702000924","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:07:52Z","timestamp":1027768072000},"page":"179-211","source":"Crossref","is-referenced-by-count":8,"title":["COMBINATORIAL GROUP THEORY, INVERSE MONOIDS, AUTOMATA, AND GLOBAL  SEMIGROUP THEORY"],"prefix":"10.1142","volume":"12","author":[{"given":"MANUEL","family":"DELGADO","sequence":"first","affiliation":[{"name":"Faculdade de Ci\u00eancias da Universidade  do Porto, 4099-002 Porto, Portugal"}]},{"given":"STUART","family":"MARGOLIS","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Bar Ilan University, 52900 Ramat Gan, Israel"}]},{"given":"BENJAMIN","family":"STEINBERG","sequence":"additional","affiliation":[{"name":"Faculdade de Ci\u00eancias da Universidade do Porto, 4099-002 Porto, Portugal"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01979673"},{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1142\/S021819679600009X"},{"key":"p_4","first-page":"409","volume":"56","author":"Almeida J.","year":"1999","journal-title":"Port. Math."},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1112\/S0024611500012144"},{"key":"p_6","first-page":"1","author":"Almeida J.","year":"2000","journal-title":"Birkha\u00fcser"},{"key":"p_7","first-page":"695","volume":"11","author":"Anissimov A. W.","year":"1975","journal-title":"Kybern"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196791000079"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00225-4"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1017\/S1446788700009824"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196701000449"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1007\/PL00005951"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196701000802"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-1.1.399"},{"key":"p_19","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.1996.6847"},{"key":"p_20","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(96)00020-5"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196795000288"},{"key":"p_24","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(94)00054-9"},{"key":"p_25","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1949-0032642-4"},{"key":"p_26","doi-asserted-by":"publisher","DOI":"10.2307\/1969513"},{"key":"p_27","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-9.4.595"},{"key":"p_28","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196791000298"},{"key":"p_29","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-99-02374-0"},{"key":"p_31","doi-asserted-by":"publisher","DOI":"10.1007\/BF01222760"},{"key":"p_33","first-page":"49","volume":"18","author":"Mal\u2019cev A. I.","year":"1958","journal-title":"Inst. U\u010denye Zap. Fiz-mat Nauk"},{"key":"p_34","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(89)90052-2"},{"key":"p_35","doi-asserted-by":"publisher","DOI":"10.1142\/S021819679300007X"},{"key":"p_36","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196701000498"},{"key":"p_39","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(92)90019-C"},{"key":"p_41","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700027805"},{"key":"p_42","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/23.4.356"},{"key":"p_43","first-page":"431","author":"Pin J.-E.","year":"1998","journal-title":"Berlin"},{"key":"p_44","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/25.1.37"},{"key":"p_45","doi-asserted-by":"publisher","DOI":"10.1142\/S021819679400004X"},{"key":"p_47","first-page":"1324","volume":"33","author":"Romanovskii N. S.","year":"1969","journal-title":"Ser. Mat."},{"key":"p_48","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-17.3.555"},{"key":"p_50","doi-asserted-by":"publisher","DOI":"10.1007\/BF02095993"},{"key":"p_51","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196798000119"},{"key":"p_52","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700036571"},{"key":"p_53","doi-asserted-by":"publisher","DOI":"10.1080\/00927870008827152"},{"key":"p_54","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196700000285"},{"key":"p_55","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-01-02774-X"},{"key":"p_57","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196701000462"},{"key":"p_59","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(87)90108-3"},{"key":"p_60","first-page":"289","author":"Weil P.","year":"2000","journal-title":"Birkha\u00fcser"},{"key":"p_61","first-page":"314","volume":"204","author":"Zel\u2019manov E.","year":"1995","journal-title":"Lecture Note Series"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196702000924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:58:24Z","timestamp":1565128704000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196702000924"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,2]]},"references-count":45,"journal-issue":{"issue":"01n02","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2002,2]]}},"alternative-id":["10.1142\/S0218196702000924"],"URL":"https:\/\/doi.org\/10.1142\/s0218196702000924","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,2]]}}}