{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,7]],"date-time":"2026-08-07T16:08:23Z","timestamp":1786118903431,"version":"build-2736575974"},"reference-count":74,"publisher":"American Mathematical Society (AMS)","issue":"362","license":[{"start":{"date-parts":[[2026,12,3]],"date-time":"2026-12-03T00:00:00Z","timestamp":1796256000000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/V520123\/1"],"award-info":[{"award-number":["EP\/V520123\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    In this paper, we describe an algorithm for computing the left, right, or 2-sided congruences of a finitely presented semigroup or monoid with finitely many classes, and an alternative algorithm when the finitely presented semigroup or monoid is finite. We compare the two algorithms presented with existing algorithmsand implementations. The first algorithm is a generalization of Sims\u2019 low-index subgroup algorithm for finding the congruences of a monoid. The second algorithm involves determining the distinct principal congruences, and then finding all of their possible joins. Variations of this algorithm have been suggested in numerous contexts by numerous authors. We show how to utilize the theory of relative Green\u2019s relations, and a version of Schreier\u2019s Lemma for monoids, to reduce the number of principal congruences that must be generated as the first step of this approach. Both of the algorithms described in this paper are implemented in the\n                    <sc>GAP<\/sc>\n                    \u00a0[\n                    <italic>GAP - groups, algorithms, and programming, version 5.5.4<\/italic>\n                    , 2025] package\n                    <sc>Semigroups<\/sc>\n                    \u00a0(see J. Mitchell et al. [\n                    <italic>\n                      Semigroups package for\n                      <sc>GAP<\/sc>\n                    <\/italic>\n                    , 2025]), and the first algorithm is available in the C++ library\n                    <sc>libsemigroups<\/sc>\n                    \u00a0(see R. Cirpons, J. Edwards, J. Mitchell, M. Tsalakou, M. Whyte [\n                    <italic>libsemigroups c++ library for semigroups and monoids<\/italic>\n                    , version 1.1.0, 2025]) and in its\n                    <sc>Python<\/sc>\n                    bindings\n                    <sc>libsemigroups_pybind11<\/sc>\n                    \u00a0(see J. Mitchell, C. Nagpal, and M. Tsalakou [\n                    <italic>libsemigroups pybind11 v0.10.1<\/italic>\n                    , 2023]).\n                  <\/p>","DOI":"10.1090\/mcom\/4136","type":"journal-article","created":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T14:05:41Z","timestamp":1764770741000},"page":"3101-3172","source":"Crossref","is-referenced-by-count":0,"title":["Computing finite index congruences of finitely presented semigroups and monoids"],"prefix":"10.1090","volume":"95","author":[{"given":"Marina","family":"Anagnostopoulou-Merkouri","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Reinis","family":"Cirpons","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maria","family":"Tsalakou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"14","published-online":{"date-parts":[[2025,12,3]]},"reference":[{"key":"1","unstructured":"GAP \u2013 groups, algorithms, and programming, Version 4.14.0, The GAP Group, 2024. \\url{https:\/\/www.gapsystem.org}"},{"issue":"1","key":"2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00233-022-10285-3","article-title":"The stylic monoid","volume":"105","author":"Abram, A.","year":"2022","journal-title":"Semigroup Forum","ISSN":"https:\/\/id.crossref.org\/issn\/0037-1912","issn-type":"print"},{"issue":"3","key":"3","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/s00233-018-9931-8","article-title":"Congruences on direct products of transformation and matrix monoids","volume":"97","author":"Ara\u00fajo, Jo\u00e3o","year":"2018","journal-title":"Semigroup Forum","ISSN":"https:\/\/id.crossref.org\/issn\/0037-1912","issn-type":"print"},{"key":"4","unstructured":"J. Ara\u00fajo et al., Cream: a package to compute [auto, endo, iso, mono, epi]-morphisms, congruences, divisors and more for algebras of type (2\u207f,1\u207f), 2022,  arXiv:2202.00613."},{"issue":"2","key":"5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.4064\/fm202-2-2","article-title":"Embedding properties of endomorphism semigroups","volume":"202","author":"Ara\u00fajo, Jo\u00e3o","year":"2009","journal-title":"Fund. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0016-2736","issn-type":"print"},{"issue":"1","key":"6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s100120070020","article-title":"Presentations for two extensions of the monoid of order-preserving mappings on a finite chain","volume":"24","author":"Arthur, Robert E.","year":"2000","journal-title":"Southeast Asian Bull. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0129-2021","issn-type":"print"},{"issue":"1","key":"7","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s11856-016-1384-8","article-title":"Subsemigroup, ideal and congruence growth of free semigroups","volume":"215","author":"Bailey, Alex","year":"2016","journal-title":"Israel J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-2172","issn-type":"print"},{"key":"8","unstructured":"M. D. G. K. Brookes, Lattices of congruence relations for inverse semigroups, PhD thesis, University of York, 2020. \\url{https:\/\/etheses.whiterose.ac.uk\/29077\/}"},{"issue":"4","key":"9","doi-asserted-by":"publisher","first-page":"890","DOI":"10.1007\/s00454-015-9666-1","article-title":"Lossy gossip and composition of metrics","volume":"53","author":"Brouwer, Andries E.","year":"2015","journal-title":"Discrete Comput. Geom.","ISSN":"https:\/\/id.crossref.org\/issn\/0179-5376","issn-type":"print"},{"issue":"3","key":"10","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1007\/s00233-012-9406-2","article-title":"Green index in semigroups: generators, presentations, and automatic structures","volume":"85","author":"Cain, Alan J.","year":"2012","journal-title":"Semigroup Forum","ISSN":"https:\/\/id.crossref.org\/issn\/0037-1912","issn-type":"print"},{"issue":"3","key":"11","doi-asserted-by":"publisher","first-page":"Paper No. 16, 48","DOI":"10.5070\/c63362799","article-title":"Minimum degrees of finite rectangular bands, null semigroups, and variants of full transformation semigroups","volume":"3","author":"Cameron, Peter J.","year":"2023","journal-title":"Comb. Theory"},{"key":"12","unstructured":"R. Cirpons, J. East, and J. D. Mitchell, Transformation representations of diagram monoids, 2024,  arXiv:2411.14693."},{"key":"13","unstructured":"R. Cirpons, J. D. Mitchell, and Y. P\u00e9resse, Maximal and minimal one sided congruences of the full transformation monoid, 2025."},{"issue":"3","key":"14","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/s00233-024-10431-z","article-title":"The Todd-Coxeter algorithm for semigroups and monoids","volume":"108","author":"Coleman, T. D. H.","year":"2024","journal-title":"Semigroup Forum","ISSN":"https:\/\/id.crossref.org\/issn\/0037-1912","issn-type":"print"},{"key":"15","isbn-type":"print","volume-title":"Introduction to algorithms","author":"Cormen, Thomas H.","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9780262033848","edition":"3"},{"key":"16","unstructured":"M. Culler, M. Goerner, and N. Dunfield, 3manifolds\/low_index, 2025. \\url{https:\/\/github.com\/3-manifolds\/low_index}"},{"issue":"4","key":"17","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/s00605-019-01274-w","article-title":"Semigroups with finitely generated universal left congruence","volume":"190","author":"Dandan, Yang","year":"2019","journal-title":"Monatsh. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0026-9255","issn-type":"print"},{"issue":"1","key":"18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-009-9140-y","article-title":"The monoids of orders eight, nine & ten","volume":"56","author":"Distler, Andreas","year":"2009","journal-title":"Ann. Math. Artif. Intell.","ISSN":"https:\/\/id.crossref.org\/issn\/1012-2443","issn-type":"print"},{"key":"19","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.jsc.2018.01.002","article-title":"Computing finite semigroups","volume":"92","author":"East, James","year":"2019","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"20","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1016\/j.aim.2018.05.016","article-title":"Congruence lattices of finite diagram monoids","volume":"333","author":"East, James","year":"2018","journal-title":"Adv. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-8708","issn-type":"print"},{"key":"21","doi-asserted-by":"publisher","first-page":"Paper No. 108097, 65","DOI":"10.1016\/j.aim.2021.108097","article-title":"Classification of congruences of twisted partition monoids","volume":"395","author":"East, James","year":"2022","journal-title":"Adv. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-8708","issn-type":"print"},{"key":"22","doi-asserted-by":"crossref","unstructured":"J. East and N. Ru\u0161kuc, Properties of congruences of twisted partition monoids and their lattices, J. Lond. Math. Soc. (2) 106 (2022), no. 1, 311\u2013357, DOI 10.1112\/jlms.12574.","DOI":"10.1112\/jlms.12574"},{"issue":"2","key":"23","doi-asserted-by":"publisher","first-page":"295","DOI":"10.17323\/1609-4514-2022-22-2-295-372","article-title":"Congruences on infinite partition and partial Brauer monoids","volume":"22","author":"East, James","year":"2022","journal-title":"Mosc. Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/1609-3321","issn-type":"print"},{"key":"24","doi-asserted-by":"crossref","unstructured":"J. East and N. Ru\u0161kuc, Congruence lattices of ideals in categories and (partial) semigroups, Mem. Amer. Math. Soc. 284 (2023), no. 1408.","DOI":"10.1090\/memo\/1408"},{"issue":"2","key":"25","doi-asserted-by":"publisher","first-page":"Paper No. 2450017, 16","DOI":"10.1142\/S1793557124500177","article-title":"On the cyclic inverse monoid on a finite set","volume":"17","author":"Fernandes, V\u00edtor H.","year":"2024","journal-title":"Asian-Eur. J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1793-5571","issn-type":"print"},{"issue":"3-4","key":"26","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s00012-008-2073-1","article-title":"Computing congruences efficiently","volume":"59","author":"Freese, Ralph","year":"2008","journal-title":"Algebra Universalis","ISSN":"https:\/\/id.crossref.org\/issn\/0002-5240","issn-type":"print"},{"key":"27","isbn-type":"print","first-page":"112","article-title":"Algorithms for computing finite semigroups","author":"Froidure, V\u00e9ronique","year":"1997","ISBN":"https:\/\/id.crossref.org\/isbn\/3540616470"},{"key":"28","doi-asserted-by":"crossref","unstructured":"B. A. Galler and M. J. Fisher, An improved equivalence algorithm, Commun. ACM 7 (1964), no. 5, 301\u2013303, DOI 10.1145\/364099.364331.","DOI":"10.1145\/364099.364331"},{"key":"29","series-title":"Algebra and Applications","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-281-4","volume-title":"Classical finite transformation semigroups","volume":"9","author":"Ganyushkin, Olexandr","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9781848002807"},{"issue":"8","key":"30","doi-asserted-by":"publisher","first-page":"3145","DOI":"10.1016\/j.jalgebra.2008.07.008","article-title":"Green index and finiteness conditions for semigroups","volume":"320","author":"Gray, R.","year":"2008","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"issue":"2","key":"31","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1017\/S0305004100075964","article-title":"Combinatorial results for semigroups of order-preserving mappings","volume":"113","author":"Higgins, Peter M.","year":"1993","journal-title":"Math. Proc. Cambridge Philos. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0305-0041","issn-type":"print"},{"key":"32","series-title":"Discrete Mathematics and its Applications (Boca Raton)","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035216","volume-title":"Handbook of computational group theory","author":"Holt, Derek F.","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/1584883723"},{"key":"33","isbn-type":"print","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1017\/CBO9780511629259.040","article-title":"Testing for isomorphism between finitely presented groups","author":"Holt, D. F.","year":"1992","ISBN":"https:\/\/id.crossref.org\/isbn\/0521406854"},{"key":"34","unstructured":"J. Hopcroft and R. Karp, A Linear Algorithm for Testing Equivalence of Finite Automata, Dept. of Computer Science, Cornell University, December 1971."},{"key":"35","series-title":"London Mathematical Society Monographs. New Series","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198511946.001.0001","volume-title":"Fundamentals of semigroup theory","volume":"12","author":"Howie, John M.","year":"1995","ISBN":"https:\/\/id.crossref.org\/isbn\/0198511949"},{"issue":"3","key":"36","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1080\/10586458.2001.10504457","article-title":"Representing subgroups of finitely presented groups by quotient subgroups","volume":"10","author":"Hulpke, Alexander","year":"2001","journal-title":"Experiment. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1058-6458","issn-type":"print"},{"key":"37","doi-asserted-by":"crossref","unstructured":"A. Hulpke, Calculating subgroups with GAP, Group Theory and Computation, Springer, Singapore, 2018, pp. 91\u2013106, DOI 10.1007\/978-981-13-2047-7_5.","DOI":"10.1007\/978-981-13-2047-7_5"},{"issue":"1","key":"38","doi-asserted-by":"publisher","first-page":"37","DOI":"10.4153\/CMB-1978-007-x","article-title":"Coset enumeration in a finitely presented semigroup","volume":"21","author":"Jura, Andrzej","year":"1978","journal-title":"Canad. Math. Bull.","ISSN":"https:\/\/id.crossref.org\/issn\/0008-4395","issn-type":"print"},{"key":"39","doi-asserted-by":"crossref","unstructured":"A. Jura, Determining ideals of a given finite index in a finitely presented semigroup, Demonstr. Math. 11 (1978), no. 3, 813\u2013828.","DOI":"10.1515\/dema-1978-0323"},{"key":"40","unstructured":"A. Jura, Some remarks on non-existence of an algorithm for finding all ideals of a given finite index in a finitely presented semigroup, Demonstr. Math. 13 (1980), 573\u2013578."},{"issue":"2","key":"41","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1006\/jabr.2001.9033","article-title":"Stallings foldings and subgroups of free groups","volume":"248","author":"Kapovich, Ilya","year":"2002","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"key":"42","series-title":"De Gruyter Expositions in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1515\/9783110812909","volume-title":"Monoids, acts and categories","volume":"29","author":"Kilp, Mati","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/3110152487"},{"key":"43","series-title":"Addison-Wesley Series in Computer Science and Information Processing","volume-title":"The art of computer programming. Volume 3","author":"Knuth, Donald E.","year":"1973"},{"key":"44","doi-asserted-by":"crossref","first-page":"709","DOI":"10.2140\/pjm.1970.34.709","article-title":"Permutations, matrices, and generalized Young tableaux","volume":"34","author":"Knuth, Donald E.","year":"1970","journal-title":"Pacific J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0030-8730","issn-type":"print"},{"key":"45","first-page":"129","article-title":"Le mono\u00efde plaxique","author":"Lascoux, Alain","year":"1981"},{"issue":"3","key":"46","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/PL00004628","article-title":"Groups and actions in transformation semigroups","volume":"228","author":"Linton, S. A.","year":"1998","journal-title":"Math. Z.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5874","issn-type":"print"},{"issue":"3","key":"47","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1142\/S0218196707003792","article-title":"On a new approach to the dual symmetric inverse monoid \u2110_{\ud835\udcb3}*","volume":"17","author":"Maltcev, Victor","year":"2007","journal-title":"Internat. J. Algebra Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0218-1967","issn-type":"print"},{"key":"48","unstructured":"A. I. Mal\u2019tsev, Symmetric groupoids, Mat. Sb. 73 (1952), no. 1, 136\u2013151."},{"key":"49","doi-asserted-by":"publisher","first-page":"788","DOI":"10.1016\/j.jalgebra.2023.06.032","article-title":"On the minimal faithful degree of Rhodes semisimple semigroups","volume":"633","author":"Margolis, Stuart","year":"2023","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"key":"50","doi-asserted-by":"publisher","first-page":"61","DOI":"10.2307\/2268172","article-title":"The decision problem for some classes of sentences without quantifiers","volume":"8","author":"McKinsey, J. C. C.","year":"1943","journal-title":"J. Symbolic Logic","ISSN":"https:\/\/id.crossref.org\/issn\/0022-4812","issn-type":"print"},{"key":"51","doi-asserted-by":"publisher","first-page":"67","DOI":"10.2307\/1997147","article-title":"One-sided congruences on inverse semigroups","volume":"206","author":"Meakin, John","year":"1975","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"key":"52","unstructured":"J. Mitchell, C. Nagpal, and M. Tsalakou, libsemigroups_pybind11 v1.1.0, 2025, DOI 10.5281\/zenodo.17234506."},{"key":"53","unstructured":"J. Mitchell et al., Semigroups GAP package, version 5.5.4, 2025, DOI 10.5281\/zenodo.16992516."},{"key":"54","unstructured":"J. Mitchell et al., libsemigroups c++ library for semigroups and monoids, version 3.2.0, 2025, DOI 10.5281\/zenodo.17233239."},{"key":"55","isbn-type":"print","first-page":"1","article-title":"An elementary introduction to coset table methods in computational group theory","author":"Neub\u00fcser, J.","year":"1982","ISBN":"https:\/\/id.crossref.org\/isbn\/0521289742"},{"key":"56","unstructured":"D. Norton, Algorithms for testing equivalence of finite automata, with a grading tool for jflap, MSc thesis, Rochester Institute of Technology, 2009, \\url{https:\/\/repository.rit.edu\/theses\/6939}."},{"key":"57","unstructured":"OEIS Foundation Inc., The on-line encyclopedia of integer sequences, 2024, \\url{http:\/\/oeis.org}."},{"key":"58","unstructured":"R. B. Pereira, The cream gap package - algebra congruences, endomorphisms and automorphisms, 2022. \\url{https:\/\/gitlab.com\/rmbper\/cream}"},{"key":"59","unstructured":"J.-\u00c9. Pin, Mathematical foundations of automata theory, March 2025. \\url{https:\/\/www.irif.fr\/ jep\/PDF\/MPRI\/MPRI.pdf}"},{"issue":"2","key":"60","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1515\/jgth-2020-0029","article-title":"Computability of finite quotients of finitely generated groups","volume":"25","author":"Rauzy, Emmanuel","year":"2022","journal-title":"J. Group Theory","ISSN":"https:\/\/id.crossref.org\/issn\/1433-5883","issn-type":"print"},{"key":"61","unstructured":"N. Ru\u0161kuc, Semigroup presentations, Ph.D. Thesis, University of St. Andrews, 1995. \\url{https:\/\/hdl.handle.net\/10023\/2821}"},{"issue":"2","key":"62","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1006\/jabr.1997.7392","article-title":"Syntactic and Rees indices of subsemigroups","volume":"205","author":"Ru\u0161kuc, N.","year":"1998","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"issue":"2","key":"63","doi-asserted-by":"publisher","first-page":"877","DOI":"10.2307\/2154068","article-title":"The minimal degree of a finite inverse semigroup","volume":"333","author":"Schein, Boris M.","year":"1992","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"key":"64","series-title":"Cambridge Tracts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546549","volume-title":"Permutation group algorithms","volume":"152","author":"Seress, \u00c1kos","year":"2003","ISBN":"https:\/\/id.crossref.org\/isbn\/052166103X"},{"key":"65","first-page":"169","article-title":"Computational methods in the study of permutation groups","author":"Sims, Charles C.","year":"1970"},{"key":"66","doi-asserted-by":"crossref","unstructured":"C. C. Sims, Computation with permutation groups, Proceedings of the second ACM symposium on Symbolic and Algebraic Manipulation - SYMSAC \u201971, ACM Press, 1971, DOI 10.1145\/800204.806264.","DOI":"10.1145\/800204.806264"},{"key":"67","series-title":"Encyclopedia of Mathematics and its Applications","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574702","volume-title":"Computation with finitely presented groups","volume":"48","author":"Sims, Charles C.","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0521432138"},{"key":"68","unstructured":"M. Sipser, Introduction to the Theory of Computation, 3 ed., Course Technology, Boston, MA, 2013."},{"key":"69","doi-asserted-by":"crossref","unstructured":"J. A. Todd and H. S. M. Coxeter, A practical method for enumerating cosets of a finite abstract group, Proceedings of the Edinburgh Mathematical Society 5 (1936), no. 01, 26\u201334.","DOI":"10.1017\/S0013091500008221"},{"key":"70","unstructured":"M. Torpey, Semigroup Congruences: Computational Techniques and Theoretical Applications, 2019, DOI 10.17630\/10023-17350. \\url{https:\/\/research-repository.st-andres.ac.uk\/handle\/10023\/17350}"},{"key":"71","doi-asserted-by":"publisher","first-page":"533","DOI":"10.2307\/2372893","article-title":"Representation of a semigroup by transformations acting transitively on a set","volume":"83","author":"Tully, E. J., Jr.","year":"1961","journal-title":"Amer. J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9327","issn-type":"print"},{"key":"72","doi-asserted-by":"publisher","first-page":"55","DOI":"10.4064\/cm-9-1-55-61","article-title":"Relative ideals in semigroups. I (Faucett\u2019s Theorem)","volume":"9","author":"Wallace, A. D.","year":"1962","journal-title":"Colloq. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-1354","issn-type":"print"},{"key":"73","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BF01901936","article-title":"Relative ideals in semigroups. II. The relations of Green","volume":"14","author":"Wallace, A. D.","year":"1963","journal-title":"Acta Math. Acad. Sci. Hungar.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-5954","issn-type":"print"},{"key":"74","unstructured":"A. Williams, C++ Concurrency in Action, 2E, 2nd ed., Manning Publications, New York, NY, 2019."}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.ams.org\/mcom\/2026-95-362\/S0025-5718-2025-04136-X\/mcom4136_AM.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"https:\/\/www.ams.org\/mcom\/2026-95-362\/S0025-5718-2025-04136-X\/S0025-5718-2025-04136-X.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,6]],"date-time":"2026-08-06T17:16:12Z","timestamp":1786036572000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2026-95-362\/S0025-5718-2025-04136-X\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,3]]},"references-count":74,"journal-issue":{"issue":"362","published-print":{"date-parts":[[2026,11]]}},"alternative-id":["S0025-5718-2025-04136-X"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/4136","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2025,12,3]]}}}