×

Congruences on infinite partition and partial Brauer monoids. (English) Zbl 1530.20191

For a semigroup \(S\), let \(\mbox{Cong\,}(S)\) denote the set of all congruences on \(S\). For an infinite set \(X\), let \(\mathcal{P}_{X}\) and \(\mathcal{PB}_{X}\) denote the partition monoid and the partial Brauer monoid on \(X\), respectively. In the first part, the complete descriptions of Green’s relations on both \(\mathcal{P}_{X}\) and \(\mathcal{PB}_{X}\) are given in Lemma 2.2. It is shown in Proposition 2.4 that \(\mathcal{P}_{X}\) and \(\mathcal{PB}_{X}\) are not isomorphic and then, the authors classify all of the congruences on \(\mathcal{P}_{X}\) and \(\mathcal{PB}_{X}\) in Theorem 3.1 by defining five basic congruences on them. The rest of the first part is all about the proof of Theorem 3.1.
The second part gives a detailed analysis of the algebraic and combinatorial structure of the congruence lattices \(\mbox{Cong\,}(\mathcal{P}_{X})\) and \(\mbox{Cong\,}(\mathcal{PB}_{X})\). The order relation in these lattices is characterised in Theorem 8.1. From Theorems 3.1 and 8.1, it is immediate that the lattices \(\mbox{Cong\,}(\mathcal{P}_{X})\) and \(\mbox{Cong\,}(\mathcal{PB}_{X})\) are isomorphic. Moreover, formulas for meets and joins are given in Theorem 8.3. It is shown in Theorems 10.1 and 10.3 that the congruence lattices of \(\mathcal{P}_{X}\) and \(\mathcal{PB}_{X}\) are distributive and well quasi-ordered. For each pair \((\alpha ,\beta)\) in \(\mathcal{P}_{X}\) and \(\mathcal{PB}_{X}\), the least congruence containing \((\alpha ,\beta)\) is classified in Theorem 11.1. The ranks of all the other congruences on \(\mathcal{P}_{X}\) and \(\mathcal{PB}_{X}\) are calculated in Theorems 11.3 and 11.5. Finally, the results obtained in this paper are compared with existing results on finite diagram monoids.

MSC:

20M20 Semigroups of transformations, relations, partitions, etc.
20M10 General structure theory for semigroups
20M50 Connections of semigroups with homological algebra and category theory
18B40 Groupoids, semigroupoids, semigroups, groups (viewed as categories)

Software:

Semigroups

References:

[1] C. Ahmed, P. Martin, and V. Mazorchuk, On the number of principal ideals in d-tonal partition monoids, Ann. Comb. 25 (2021), no. 1, 79-113. MR 4233511 · Zbl 1475.11221
[2] K. Auinger, Krohn-Rhodes complexity of Brauer type semigroups, Port. Math. 69 (2012), no. 4, 341-360. MR 3019085 · Zbl 1267.20082
[3] K. Auinger, Pseudovarieties generated by Brauer type monoids, Forum Math. 26 (2014), no. 1, 1-24. MR 3176622 · Zbl 1305.20066
[4] K. Auinger, Y. Chen, X. Hu, Y. Luo, and M. V. Volkov, The finite basis problem for Kauffman monoids, Algebra Universalis 74 (2015), no. 3-4, 333-350. MR 3397441 · Zbl 1332.20056
[5] K. Auinger, I. Dolinka, and M. V. Volkov, Equational theories of semigroups with involution, J. Algebra 369 (2012), 203-225. MR 2959792 · Zbl 1294.20072
[6] K. Auinger, I. Dolinka, and M. V. Volkov, Matrix identities involving multiplication and transposition, J. Eur. Math. Soc. (JEMS) 14 (2012), no. 3, 937-969. MR 2911889 · Zbl 1261.20068
[7] K. Auinger and M. Volkov, Equational theories of endomorphism monoids of categories with a topological flavor, preprint arXiv:2002.01016 [math.CT].
[8] R. W. Ball, Maximal subgroups of symmetric groups, Trans. Amer. Math. Soc. 121 (1966), 393-407. MR 202813 · Zbl 0136.27805
[9] S. Banach, Sur un thèoréme de M. Sierpiński, Fund. Math. 25 (1935), 5-6. · Zbl 0011.25305
[10] G. Benkart and T. Halverson, Motzkin algebras, European J. Combin. 36 (2014), 473-502. MR 3131911 · Zbl 1284.05333
[11] G. M. Bergman, Generating infinite symmetric groups, Bull. London Math. Soc. 38 (2006), no. 3, 429-440. MR 2239037 · Zbl 1103.20003
[12] T. S. Blyth, Lattices and ordered algebraic structures, Universitext, Springer-Verlag London, Ltd., London, 2005. MR 2126425 · Zbl 1073.06001
[13] M. Borisavljević, K. Došen, and Z. Petrić, Kauffman monoids, J. Knot Theory Ramifications 11 (2002), no. 2, 127-143. MR 1895365 · Zbl 1025.57015
[14] R. Brauer, On algebras which are connected with the semisimple continuous groups, Ann. of Math. (2) 38 (1937), no. 4, 857-872. MR 1503378 · JFM 63.0873.02
[15] M. Brazil, J. Covington, T. Penttila, C. E. Praeger, and A. R. Woods, Maximal subgroups of infinite symmetric groups, Proc. London Math. Soc. (3) 68 (1994), no. 1, 77-111. MR 1243836 · Zbl 0795.20002
[16] S. Burris and H. P. Sankappanavar, A course in universal algebra, Graduate Texts in Math-ematics, vol. 78, Springer-Verlag, New York-Berlin, 1981. MR 648287 · Zbl 0478.08001
[17] Y. Chen, X. Hu, N. V. Kitov, Y. Luo, and M. V. Volkov, Identities of the Kauffman monoid K 3 , Comm. Algebra 48 (2020), no. 5, 1956-1968. MR 4085770 · Zbl 1453.20075
[18] A. H. Clifford and G. B. Preston, The algebraic theory of semigroups. Vol. II, Mathematical Surveys, No. 7, Amer. Math. Soc., Providence, R.I., 1967. MR 0218472 · Zbl 0178.01203
[19] J. Covington, D. Macpherson, and A. Mekler, Some maximal subgroups of infinite symmetric groups, Quart. J. Math. Oxford Ser. (2) 47 (1996), no. 187, 297-311. MR 1412557 · Zbl 0865.20007
[20] B. A. Davey and H. A. Priestley, Introduction to lattices and order, 2nd ed., Cambridge University Press, New York, 2002. MR 1902334 · Zbl 1002.06001
[21] J. D. Dixon, P. M. Neumann, and S. Thomas, Subgroups of small index in infinite symmetric groups, Bull. London Math. Soc. 18 (1986), no. 6, 580-586. MR 859950 · Zbl 0607.20003
[22] I. Dolinka and J. East, Twisted Brauer monoids, Proc. Roy. Soc. Edinburgh Sect. A 148 (2018), no. 4, 731-750. MR 3841497 · Zbl 1489.20025
[23] I. Dolinka, J. East, A. Evangelou, D. FitzGerald, N. Ham, J. Hyde, and N. Loughlin, Enu-meration of idempotents in diagram semigroups and algebras, J. Combin. Theory Ser. A 131 (2015), 119-152. MR 3291478 · Zbl 1305.05234
[24] I. Dolinka, J. East, A. Evangelou, D. FitzGerald, N. Ham, J. Hyde, N. Loughlin, and J. D. Mitchell, Enumeration of idempotents in planar diagram monoids, J. Algebra 522 (2019), 351-385. MR 3912656 · Zbl 1403.05164
[25] I. Dolinka, J. East, and R. D. Gray, Motzkin monoids and partial Brauer monoids, J. Algebra 471 (2017), 251-298. · Zbl 1406.20065
[26] R. Dougherty and J. Mycielski, Representations of infinite permutations by words. II, Proc. Amer. Math. Soc. 127 (1999), no. 8, 2233-2243. MR 1605952 · Zbl 0943.20026
[27] J. East, Generators and relations for partition monoids and algebras, J. Algebra 339 (2011), 1-26. MR 2811310 · Zbl 1277.20069
[28] J. East, Generation of infinite factorizable inverse monoids, Semigroup Forum 84 (2012), no. 2, 267-283. MR 2898760 · Zbl 1254.20045
[29] J. East, Infinite partition monoids, Internat. J. Algebra Comput. 24 (2014), no. 4, 429-460. MR 3227821 · Zbl 1305.20070
[30] J. East, Infinite dual symmetric inverse monoids, Period. Math. Hungar. 75 (2017), no. 2, 273-285. MR 3718521 · Zbl 1399.20075
[31] J. East, Presentations for (singular) partition monoids: a new approach, Math. Proc. Cam-bridge Philos. Soc. 165 (2018), no. 3, 549-562. MR 3860404 · Zbl 1499.20127
[32] J. East, Idempotents and one-sided units in infinite partial Brauer monoids, J. Algebra 534 (2019), 427-482. MR 3979083 · Zbl 1444.20038
[33] J. East, Presentations for rook partition monoids and algebras and their singular ideals, J. Pure Appl. Algebra 223 (2019), no. 3, 1097-1122. MR 3862666 · Zbl 1499.20126
[34] J. East, Presentations for Temperley-Lieb algebras, Q. J. Math. 72 (2021), no. 4, 1253-1269. MR 4350149 · Zbl 1484.82009
[35] J. East and D. G. FitzGerald, The semigroup generated by the idempotents of a partition monoid, J. Algebra 372 (2012), 108-133. MR 2990003 · Zbl 1281.20077
[36] J. East and R. D. Gray, Diagram monoids and Graham-Houghton graphs: Idempotents and generating sets of ideals, J. Combin. Theory Ser. A 146 (2017), 63-128. MR 3574225 · Zbl 1351.05227
[37] J. East and R. D. Gray, Ehresmann theory and partition monoids, J. Algebra 579 (2021), 318-352. MR 4241241 · Zbl 1470.18005
[38] J. East, J. Kumar, J. D. Mitchell, and W. A. Wilson, Maximal subsemigroups of finite transformation and diagram monoids, J. Algebra 504 (2018), 176-216. MR 3784817 · Zbl 1429.20046
[39] J. East, J. D. Mitchell, and Y. Péresse, Maximal subsemigroups of the semigroup of all mappings on an infinite set, Trans. Amer. Math. Soc. 367 (2015), no. 3, 1911-1944. MR 3286503 · Zbl 1312.20057
[40] J. East, J. D. Mitchell, N. Ruškuc, and M. Torpey, Congruence lattices of finite diagram monoids, Adv. Math. 333 (2018), 931-1003. MR 3818094 · Zbl 1400.20060
[41] J. East and N. Ruškuc, Classification of congruences of twisted partition monoids, Adv. Math. 395 (2022), Paper No. 108097, 65 pp. MR 4363588 · Zbl 1485.20141
[42] J. East and N. Ruškuc, Properties of congruences of twisted partition monoids and their lattices, preprint arXiv:2010.09288 [math.RA], to appear in J. London Math. Soc.
[43] J. East and N. Ruškuc, Congruence lattices of ideals in categories and (partial) semigroups, preprint arXiv:2001.01909 [math.GR], to appear in Memoirs Amer. Math. Soc. · Zbl 1515.20009
[44] D. G. FitzGerald, A presentation for the monoid of uniform block permutations, Bull. Aus-tral. Math. Soc. 68 (2003), no. 2, 317-324. MR 2016306 · Zbl 1043.20037
[45] D. G. FitzGerald, Mitsch’s order and inclusion for binary relations and partitions, Semigroup Forum 87 (2013), no. 1, 161-170. MR 3079778 · Zbl 1285.20063
[46] D. G. FitzGerald and K. W. Lau, On the partition monoid and some related semigroups, Bull. Aust. Math. Soc. 83 (2011), no. 2, 273-288. MR 2784786 · Zbl 1230.20061
[47] D. G. FitzGerald and J. Leech, Dual symmetric inverse monoids and representation theory, J. Austral. Math. Soc. Ser. A 64 (1998), no. 3, 345-367. MR 1623290 · Zbl 0927.20040
[48] O. Ganyushkin and V. Mazorchuk, Classical finite transformation semigroups, an intro-duction, Algebra and Applications, vol. 9, Springer-Verlag London, Ltd., London, 2009. MR 2460611 · Zbl 1166.20056
[49] G. Grätzer, Lattice theory: foundation, Birkhäuser/Springer Basel AG, Basel, 2011. MR 2768581 · Zbl 1233.06001
[50] C. Grood, The rook partition algebra, J. Combin. Theory Ser. A 113 (2006), no. 2, 325-351. MR 2199277 · Zbl 1082.05095
[51] T. Halverson and A. Ram, Partition algebras, European J. Combin. 26 (2005), no. 6, 869-921. MR 2143201 · Zbl 1112.20010
[52] P. M. Higgins, J. M. Howie, J. D. Mitchell, and N. Ruškuc, Countable versus uncountable ranks in infinite semigroups of transformations and relations, Proc. Edinb. Math. Soc. (2) 46 (2003), no. 3, 531-544. MR 2013951 · Zbl 1043.20040
[53] G. Higman, Ordering by divisibility in abstract algebras, Proc. London Math. Soc. (3) 2 (1952), 326-336. MR 49867 · Zbl 0047.03402
[54] R. Hirsch, M. Jackson, and S. Mikulás, The algebra of functions with antidomain and range, J. Pure Appl. Algebra 220 (2016), no. 6, 2214-2239. MR 3448793 · Zbl 1377.08001
[55] J. M. Howie, The subsemigroup generated by the idempotents of a full transformation semi-group, J. London Math. Soc. 41 (1966), 707-716. MR 0219649 · Zbl 0146.02903
[56] J. M. Howie, Fundamentals of semigroup theory, London Mathematical Society Mono-graphs. New Series, vol. 12, The Clarendon Press, Oxford University Press, New York, 1995. MR 1455373. Oxford Science Publications. · Zbl 0835.20077
[57] J. M. Howie, N. Ruškuc, and P. M. Higgins, On relative ranks of full transformation semi-groups, Comm. Algebra 26 (1998), no. 3, 733-748. MR 1606221 · Zbl 0902.20027
[58] J. Hyde, J. Jonušas, J. D. Mitchell, and Y. H. Péresse, Sets of universal sequences for the symmetric group and analogous semigroups, Proc. Amer. Math. Soc. 148 (2020), no. 5, 1917-1931. MR 4078077 · Zbl 1480.20002
[59] M. Jackson and T. Stokes, Modal restriction semigroups: towards an algebra of functions, Internat. J. Algebra Comput. 21 (2011), no. 7, 1053-1095. MR 2863427 · Zbl 1256.20058
[60] T. Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. MR 1940513. The third millennium edition, revised and expanded. · Zbl 1007.03002
[61] V. F. R. Jones, Hecke algebra representations of braid groups and link polynomials, Ann. of Math. (2) 126 (1987), no. 2, 335-388. MR 908150 · Zbl 0631.57005
[62] V. F. R. Jones, The Potts model and the symmetric group, Subfactors (Kyuzeso, 1993), World Sci. Publ., River Edge, NJ, 1994, pp. 259-267. MR 1317365 · Zbl 0938.20505
[63] L. H. Kauffman, An invariant of regular isotopy, Trans. Amer. Math. Soc. 318 (1990), no. 2, 417-471. MR 958895 · Zbl 0763.57004
[64] N. V. Kitov and M. V. Volkov, Identities of the Kauffman monoid K 4 and of the Jones monoid J 4 , Fields of Logic and Computation III. Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, Lecture Notes in Computer Science, vol. 12180, Springer, Cham, 2020, pp. 156-178. MR 4142545 · Zbl 1498.03010
[65] V. N. Klimov, Congruences of globally idempotent semigroups, Ural. Gos. Univ. Mat. Zap. 10 (1977), no. 3, 73-105, 217. MR 0486237 · Zbl 0434.20035
[66] S. Koenig, A panorama of diagram algebras, Trends in representation theory of algebras and related topics, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich, 2008, pp. 491-540. MR 2484734 · Zbl 1210.16018
[67] G. Kudryavtseva and V. Maltcev, Two generalisations of the symmetric inverse semigroups, Publ. Math. Debrecen 78 (2011), no. 2, 253-282. MR 2791675 · Zbl 1232.20072
[68] G. Lallement, Semigroups and combinatorial applications, John Wiley & Sons, New York-Chichester-Brisbane, 1979. MR 530552. Pure and Applied Mathematics, A Wiley-Interscience Publication. · Zbl 0421.20025
[69] K. W. Lau and D. G. FitzGerald, Ideal structure of the Kauffman and related monoids, Comm. Algebra 34 (2006), no. 7, 2617-2629. MR 2240396 · Zbl 1103.47032
[70] G. Lehrer and R. Zhang, The second fundamental theorem of invariant theory for the or-thogonal group, Ann. of Math. (2) 176 (2012), no. 3, 2031-2054. MR 2979865 · Zbl 1263.20043
[71] A. E. Liber, On symmetric generalized groups, Mat. Sbornik N.S. 33(75) (1953), 531-544 (Russian). MR 0059268 · Zbl 0052.01703
[72] R. C. Lyndon, Words and infinite permutations, Mots, Lang. Raison. Calc., Hermès, Paris, 1990, pp. 143-152. MR 1252660
[73] H. D. Macpherson and P. M. Neumann, Subgroups of infinite symmetric groups, J. London Math. Soc. (2) 42 (1990), no. 1, 64-84. MR 1078175 · Zbl 0668.20005
[74] H. D. Macpherson and C. E. Praeger, Maximal subgroups of infinite symmetric groups, J. London Math. Soc. (2) 42 (1990), no. 1, 85-92. MR 1078176 · Zbl 0668.20006
[75] R. D. Maddux, Relation algebras, Studies in Logic and the Foundations of Mathematics, vol. 150, Elsevier B. V., Amsterdam, 2006. MR 2269199 · Zbl 1197.03051
[76] A. I. Mal’cev, Symmetric groupoids, Mat. Sbornik N.S. 31(73) (1952), 136-151 (Russian). MR 0050576. English translation in: Twelve papers in logic and algebra, Amer. Math. Soc. Transl. Ser. 2 113, Amer. Math. Soc., 1979, pp. 235-250.
[77] A. I. Mal’cev, Multiplicative congruences of matrices, Doklady Akad. Nauk SSSR (N.S.) 90 (1953), 333-335 (Russian). MR 0055321 · Zbl 0051.24804
[78] V. Maltcev, On a new approach to the dual symmetric inverse monoid I * X , Internat. J. Algebra Comput. 17 (2007), no. 3, 567-591. MR 2333372 · Zbl 1125.20049
[79] V. Maltcev and V. Mazorchuk, Presentation of the singular part of the Brauer monoid, Math. Bohem. 132 (2007), no. 3, 297-323. MR 2355660 · Zbl 1163.20035
[80] V. Maltcev, J. D. Mitchell, and N. Ruškuc, The Bergman property for semigroups, J. Lond. Math. Soc. (2) 80 (2009), no. 1, 212-232. MR 2520386 · Zbl 1232.20060
[81] M. P. O. Marques-Smith and R. P. Sullivan, The congruences on the semigroup of balanced transformations of an infinite set, J. Algebra 234 (2000), no. 1, 1-30. MR 1799477 · Zbl 0968.20034
[82] P. Martin, Temperley-Lieb algebras for nonplanar statistical mechanics-the partition alge-bra construction, J. Knot Theory Ramifications 3 (1994), no. 1, 51-82. MR 1265453 · Zbl 0804.16002
[83] P. Martin, Diagram categories, representation theory, statistical mechanics, Noncommutative rings, group rings, diagram algebras and their applications, Contemp. Math., vol. 456, Amer. Math. Soc., Providence, RI, 2008, pp. 99-136. MR 2416146 · Zbl 1143.82300
[84] P. Martin and V. Mazorchuk, Partitioned binary relations, Math. Scand. 113 (2013), no. 1, 30-52. MR 3105542 · Zbl 1284.18006
[85] P. Martin and V. Mazorchuk, On the representation theory of partial Brauer algebras, Q. J. Math. 65 (2014), no. 1, 225-247. MR 3179659 · Zbl 1354.16016
[86] V. Mazorchuk, On the structure of Brauer semigroup and its partial analogue, Problems in Algebra, vol. 13, Gomel, University Press, 1998, pp. 29-45.
[87] Z. Mesyan, J. D. Mitchell, M. Morayne, and Y. H. Péresse, The Bergman-Shelah pre-order on transformation semigroups, MLQ Math. Log. Q. 58 (2012), no. 6, 424-433. MR 2997031 · Zbl 1263.20061
[88] J. D. Mitchell et al., Semigroups -gap package, version 3.0.16, May 2018.
[89] T. E. Nordahl and H. E. Scheiblich, Regular * -semigroups, Semigroup Forum 16 (1978), no. 3, 369-377. MR 0507171 · Zbl 0408.20043
[90] O. Ore, Some remarks on commutators, Proc. Amer. Math. Soc. 2 (1951), 307-314. MR 40298 · Zbl 0043.02402
[91] M. Pinsker and S. Shelah, Universality of the lattice of transformation monoids, Proc. Amer. Math. Soc. 141 (2013), no. 9, 3005-3011. MR 3068953 · Zbl 1286.06009
[92] H. E. Scheiblich, Concerning congruences on symmetric inverse semigroups, Czechoslovak Math. J. 23(98) (1973), 1-10. MR 0315033 · Zbl 0259.20053
[93] S. Shelah and S. Thomas, The cofinality spectrum of the infinite symmetric group, J. Symbolic Logic 62 (1997), no. 3, 902-916. MR 1472129 · Zbl 0889.03037
[94] W. Sierpiński, Sur les suites infinies de fonctions definies dans les ensembles quelconques, Fundam. Math. 24 (1935), 209-212 (French). · JFM 61.0229.03
[95] E. G. Shutov, Homomorphisms of the semigroup of all partial transformations, Izv. Vyssh. Uchebn. Zaved. Matematika 1961 (1961), no. 3 (22), 177-184 (Russian). MR 0150223 · Zbl 0101.01405
[96] E. G. Shutov, Semigroups of one-to-one transformations, Dokl. Akad. Nauk SSSR 140 (1961), 1026-1028 (Russian). MR 0130923 · Zbl 0112.25603
[97] H. N. V. Temperley and E. H. Lieb, Relations between the “percolation” and “colouring” prob-lem and other graph-theoretical problems associated with regular planar lattices: some exact results for the “percolation” problem, Proc. Roy. Soc. London Ser. A 322 (1971), no. 1549, 251-280. MR 0498284 · Zbl 0211.56703
[98] S. Wilcox, Cellularity of diagram algebras as twisted semigroup algebras, J. Algebra 309 (2007), no. 1, 10-31. MR 2301230 · Zbl 1154.16021
[99] C. Xi, Partition algebras are cellular, Compositio Math. 119 (1999), no. 1, 99-109. MR 1711582 · Zbl 0939.16006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.