Finite basis problem for Catalan monoids with involution. (English) Zbl 1509.20071

Summary: It is known, since the early 2000s, that the Catalan monoid \(C_n\) generated by \(n\) elements is finitely based if and only if \(n\leq 3\). The main goal of this paper is to prove that the involution monoid \(( C_3,{}^*)\) is non-finitely based. Therefore, in contrast, combining with previous results yields that the involution Catalan monoid \(( C_n,{}^*)\) is finitely based if and only if \(n=1\).
The Kiselman monoid \(K_n\) generated by \(n\) elements is also considered. Although the semigroups \(C_n\) and \(K_n\) have recently been shown to satisfy the same identities, it is unknown if the same result holds when they are considered as involution semigroups. Nevertheless, it is deduced from the main result that the involution Kiselman monoid \(( K_n,{}^*)\) is finitely based if and only if \(n=1\).


20M05 Free semigroups, generators and relations, word problems
20M20 Semigroups of transformations, relations, partitions, etc.
Full Text: DOI


[1] Almeida, J., Finite Semigroups and Universal Algebra (World Scientific, Singapore, 1994). · Zbl 0844.20039
[2] Ashikhmin, D. N., Volkov, M. V. and Zhang, W. T., The finite basis problem for Kiselman monoids, Demonstr. Math.48 (2015) 475-492. · Zbl 1338.20052
[3] Auinger, K., Dolinka, I., Pervukhina, T. V. and Volkov, M. V., Unary enhancements of inherently non-finitely based semigroups, Semigroup Forum89 (2014) 41-51. · Zbl 1317.20052
[4] Auinger, K., Dolinka, I. and Volkov, M. V., Matrix identities involving multiplication and transposition, J. Eur. Math. Soc.14(3) (2012) 937-969. · Zbl 1261.20068
[5] Auinger, K., Dolinka, I. and Volkov, M. V., Equational theories of semigroups with involution, J. Algebra369 (2012) 203-225. · Zbl 1294.20072
[6] Burris, S. and Sankappanavar, H. P., A Course in Universal Algebra (Springer, New York, 1981). · Zbl 0478.08001
[7] Crvenković, S., Dolinka, I. and Ésik, Z., The variety of Kleene algebras with conversion is not finitely based, Theoret. Comput. Sci.230 (2000) 235-245. · Zbl 0954.08004
[8] Dolinka, I., On identities of finite involution semigroups, Semigroup Forum80 (2010) 105-120. · Zbl 1192.20042
[9] Ganyushkin, O. and Mazorchuk, V., On Kiselman quotients of 0-Hecke monoids, Int. Electron. J. Algebra10 (2011) 174-191. · Zbl 1263.20053
[10] Gao, M., Zhang, W. T. and Luo, Y. F., A non-finitely based involution semigroup of order five, Algebra Universalis81(3) (2020) 31. · Zbl 1479.20039
[11] Higgins, P. M., Combinatorial results for semigroups of order-preserving mappings, Math. Proc. Cambridge Philos. Soc.113(2) (1993) 281-296. · Zbl 0781.20036
[12] Jackson, M. and Volkov, M. V., The algebra of adjacency patterns: Rees matrix semigroups with reversion, in Fields of Logic and Computation, , Vol. 6300 (Springer, Berlin, 2010), pp. 414-443. · Zbl 1287.08010
[13] Kleĭman, E. I., On basis of identities of Brandt semigroups, Semigroup Forum13 (1977) 209-218. · Zbl 0362.20036
[14] Kruse, R., Identities satisfied in a finite ring, J. Algebra26 (1973) 298-318. · Zbl 0276.16014
[15] Kudryavtseva, G. and Mazorchuk, V., On Kiselman’s semigroup, Yokohama Math. J.55 (2009) 21-46. · Zbl 1216.20044
[16] Lee, E. W. H., Finite involution semigroups with infinite irredundant bases of identities, Forum Math.28 (2016) 587-607. · Zbl 1345.20071
[17] Lee, E. W. H., Finitely based finite involution semigroups with non-finitely based reducts, Quaest. Math.39 (2016) 217-243. · Zbl 1436.20110
[18] Lee, E. W. H., Equational theories of unstable involution semigroups, Electron. Res. Announc. Math. Sci.24 (2017) 10-20. · Zbl 1401.20068
[19] Lee, E. W. H., A sufficient condition for the absence of irredundant bases, Houston J. Math.44 (2018) 399-411. · Zbl 1499.20129
[20] Lee, E. W. H., Non-finitely based finite involution semigroups with finitely based semigroup reducts, Korean J. Math.27 (2019) 53-62. · Zbl 1450.20016
[21] Lee, E. W. H., Intervals of varieties of involution semigroups with contrasting reduct intervals, Boll. Unione Mat. Ital. (2022). · Zbl 1509.20081
[22] L’vov, I. V., Varieties of associative rings I, Algebra Logika12 (1973) 269-297.
[23] McKenzie, R., Equational bases for lattice theories, Math. Scand.27 (1970) 24-38. · Zbl 0307.08001
[24] Oates, S. and Powell, M. B., Identical relations in finite groups, J. Algebra1 (1964) 11-39. · Zbl 0121.27202
[25] Perkins, P., Bases for equational theories of semigroups, J. Algebra11 (1969) 298-314. · Zbl 0186.03401
[26] Solomon, A., Catalan monoids, monoids of local endomorphisms, and their presentations, Semigroup Forum53 (1996) 351-368. · Zbl 0862.20049
[27] Volkov, M. V., Bases of identities of Brandt semigroups, Ural. Gos. Univ. Mat. Zap.14(1) (1985) 38-42(in Russian). · Zbl 0632.20036
[28] Volkov, M. V., The finite basis problem for finite semigroups, Sci. Math. Jpn.53 (2001) 171-199. · Zbl 0990.20039
[29] Volkov, M. V., Reflexive relations, extensive transformations and piecewise testable languages of a given height, Int. J. Algebra Comput.14 (2004) 817-827. · Zbl 1074.20036
[30] Volkov, M. V., Identities in Brandt semigroups, revisited, Ural Math. J.5(2) (2019) 80-93. · Zbl 1457.20043
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.