Abstract
Locally finite, congruence meet-semidistributive varieties have been characterized by numerous Mal’cev conditions and, recently, by two strong Mal’cev conditions. We provide three new strong Mal’cev characterizations and a new Mal’cev characterization each of which improves the known ones in some way.
Similar content being viewed by others
References
Barto L.: The collapse of the bounded width hierarchy. J. Logic Comput. 26, 923–943 (2016)
Barto, L., Kozik, M.: Constraint satisfaction problems solvable by local consistency methods. J. ACM 61 1:03, 19 pp. (2014)
Bergman C.: Universal Algebra: Fundamentals and Selected Topics. Chapman & Hall/CRC Press, Boca Raton (2011)
Burris S., Sankappanavar H.P.: A course in universal algebra. Graduate Texts in Mathematics, vol. 78. Springer, New York (1981)
Czedli, G.: A characterization for congruence semi-distributivity. In: Proc. Conf. Universal Algebra and Lattice Theory, Puebla (Mexico, 1982), Lecture Notes in Math., vol. 1004, pp. 104–110. Springer, New York (1983)
Freese, R., McKenzie, R.: Commutator Theory for congruence modular varieties. London Math. Soc. Lecture Note Series, vol. 125. Cambridge University Press, Cambridge (1987)
Hobby D., McKenzie R.: The structure of finite algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988)
Janko, A., Maróti, M.: (unpublished), see the lecture of Valeriote, M.: Maltsev conditions for omitting types. Presented at the International Conference on Algebras and Lattices, Charles University, Prague, 21–25 June 2010. http://www.karlin.mff.cuni.cz/~ical/presentations/Valeriote.pdf, page 17
Jovanović J.: On terms describing omitting unary and affine types. Filomat 27, 183–199 (2013)
Kearnes, K., Kiss, E.: The shape of congruence lattices. Mem. Amer. Math. Soc., vol. 222, no. 1046. American Mathematical Society, Providence (2013)
Kearnes K., Marković P., McKenzie R.: Optimal strong Mal’cev conditions for omitting type 1 in locally finite varieties. Algebra Universalis 72, 91–100 (2014)
Kearnes K., Szendrei Á.: The relationship between two commutators. Internat. J. Algebra Comput. 8, 497–531 (1998)
Kearnes K., Willard R.: Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound. Proc. Amer. Math. Soc. 127, 2841–2850 (1999)
Kozik M., Krokhin A., ValerioteM. Willard R.: Characterizations of several Maltsev conditions. Algebra Universalis 73, 205–224 (2015)
Larose B., Zádori L.: Bounded width problems and algebras. Algebra Universalis 56, 439–466 (2007)
Lipparini P.: A characterization of varieties with a difference term, II: Neutral = meet semi-distributive. Canad. Math. Bull. 41, 318–327 (1998)
Maróti M., McKenzie R.: Existence theorems for weakly symmetric operations. Algebra Universalis 59, 463–489 (2008)
McKenzie, R., McNulty, G., Taylor, W.: Algebras, lattices, varieties. Vol. I. The Wadsworth & Brooks/Cole Mathematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey (1987)
Siggers M.: A strong Mal’cev condition for locally finite varieties omitting the unary type. Algebra Universalis 64, 15–20 (2010)
Willard R.: A finite basis theorem for residually finite, congruence meet-semidistributive varieties. J. Symb. Logic 65, 187–200 (2000)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by R. Willard.
The first and second authors were supported by the grant no. 174018 of the Ministry of Education and Science of Serbia.
Rights and permissions
About this article
Cite this article
Jovanović, J., Marković, P., McKenzie, R. et al. Optimal strong Mal’cev conditions for congruence meet-semidistributivity in locally finite varieties. Algebra Univers. 76, 305–325 (2016). https://doi.org/10.1007/s00012-016-0406-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-016-0406-z