On quasi-identities of finite modular lattices
DOI:
https://doi.org/10.26577/JMMCS.2022.v115.i3.05Keywords:
Lattice, quasivariety, finite basis of quasi-identitiesAbstract
In 1970 R. McKenzie proved that any finite lattice has a finite basis of identities. However the similar result for quasi-identities is not true. That is there is a finite lattice that has no finite basis of quasi-identities. The problem "Which finite lattices have finite bases of quasi-identities?" was suggested by V.A. Gorbunov and D.M. Smirnov. In 1984 V.I. Tumanov found sufficient condition consisting of two parts under which the locally finite quasivariety of lattices has no finite (independent) basis of quasi-identities. Also he conjectured that a finite (modular) lattice has a finite basis of quasi-identities if and only if a quasivariety generated by this lattice is a variety. In general, the conjecture is not true. W. Dziobiak found a finite lattice that generates finitely axiomatizable proper quasivariety. Tumanov's problem is still unsolved for modular lattices. We construct a finite modular lattice that does not satisfy to one of the Tumanov's conditions but quasivariety generated by this lattice is not finitely based.
References
[2] Belkin V.P., "Quasi-identities of finite rings and lattices" , Algebra and Logic, 17 (1979): 171-179
[3] Gorbunov V.A., Smirnov D.M., "Finite algebras and the general theory of quasivarieties" , Colloq. Mathem. Soc. Janos Bolyai. Finite Algebra and Multipli-valued Logic, 28 (1979): 325-332.
[4] Tumanov V.I., "On finite lattices having no independent bases of quasi-identities" , Math. Notes, 36 (1984): 625-634.
[5] Dziobiak W., "Finitely generated congruence distributive quasivarieties of algebras" , Fund. Math., 133 (1989): 47-57.
[6] Burris S., Sankappanavar H.P., A Course in Universal Algebra (New York: Springer, 1980): 315.
[7] Gorbunov V.A., Algebraic Theory of Quasivarieties (New York: Consultants Bureau, 1998): 368.
[8] Birkhoff G., "Subdirect union in universal algebra" , Bull. Amer. Math. Soc., 50 (1944): 764-768.
[9] Basheyeva A.O., Mustafa M., Nurakunov A.M., "Properties not retained by pointed enrichments of finite lattices" , Algebra Univers., 81:56 (2020): 1-11.
[10] Jonsson B., "Algebras whose congruence lattices are distributive" , Math. Scand., 21 (1967): 110-121.
[11] Kravchenko A.V., Nurakunov A.M., Schwidefsky M.V., "Structure of quasivariety lattices. I. Independent
axiomatizability" , Algebra and Logic, 57:6 (2019): 445-462.
[12] Lutsak S.M., "On complexity of quasivariety lattices" , Sib. El. Math. Rep., 14 (2017): 92-97.
[13] Schwidefsky M.V., "Complexity of quasivariety lattices" , Algebra and Logic, 54:3 (2015): 245-257
