## 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$$.

### MSC:

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

### Keywords:

semigroup; monoid; involution; Catalan monoid; finite basis problem
Full Text:

### References:

  Almeida, J., Finite Semigroups and Universal Algebra (World Scientific, Singapore, 1994). · Zbl 0844.20039  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  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  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  Auinger, K., Dolinka, I. and Volkov, M. V., Equational theories of semigroups with involution, J. Algebra369 (2012) 203-225. · Zbl 1294.20072  Burris, S. and Sankappanavar, H. P., A Course in Universal Algebra (Springer, New York, 1981). · Zbl 0478.08001  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  Dolinka, I., On identities of finite involution semigroups, Semigroup Forum80 (2010) 105-120. · Zbl 1192.20042  Ganyushkin, O. and Mazorchuk, V., On Kiselman quotients of 0-Hecke monoids, Int. Electron. J. Algebra10 (2011) 174-191. · Zbl 1263.20053  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  Higgins, P. M., Combinatorial results for semigroups of order-preserving mappings, Math. Proc. Cambridge Philos. Soc.113(2) (1993) 281-296. · Zbl 0781.20036  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  Kleĭman, E. I., On basis of identities of Brandt semigroups, Semigroup Forum13 (1977) 209-218. · Zbl 0362.20036  Kruse, R., Identities satisfied in a finite ring, J. Algebra26 (1973) 298-318. · Zbl 0276.16014  Kudryavtseva, G. and Mazorchuk, V., On Kiselman’s semigroup, Yokohama Math. J.55 (2009) 21-46. · Zbl 1216.20044  Lee, E. W. H., Finite involution semigroups with infinite irredundant bases of identities, Forum Math.28 (2016) 587-607. · Zbl 1345.20071  Lee, E. W. H., Finitely based finite involution semigroups with non-finitely based reducts, Quaest. Math.39 (2016) 217-243. · Zbl 1436.20110  Lee, E. W. H., Equational theories of unstable involution semigroups, Electron. Res. Announc. Math. Sci.24 (2017) 10-20. · Zbl 1401.20068  Lee, E. W. H., A sufficient condition for the absence of irredundant bases, Houston J. Math.44 (2018) 399-411. · Zbl 1499.20129  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  Lee, E. W. H., Intervals of varieties of involution semigroups with contrasting reduct intervals, Boll. Unione Mat. Ital. (2022). · Zbl 1509.20081  L’vov, I. V., Varieties of associative rings I, Algebra Logika12 (1973) 269-297.  McKenzie, R., Equational bases for lattice theories, Math. Scand.27 (1970) 24-38. · Zbl 0307.08001  Oates, S. and Powell, M. B., Identical relations in finite groups, J. Algebra1 (1964) 11-39. · Zbl 0121.27202  Perkins, P., Bases for equational theories of semigroups, J. Algebra11 (1969) 298-314. · Zbl 0186.03401  Solomon, A., Catalan monoids, monoids of local endomorphisms, and their presentations, Semigroup Forum53 (1996) 351-368. · Zbl 0862.20049  Volkov, M. V., Bases of identities of Brandt semigroups, Ural. Gos. Univ. Mat. Zap.14(1) (1985) 38-42(in Russian). · Zbl 0632.20036  Volkov, M. V., The finite basis problem for finite semigroups, Sci. Math. Jpn.53 (2001) 171-199. · Zbl 0990.20039  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  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.