×

Optimal strong Mal’cev conditions for congruence meet-semidistributivity in locally finite varieties. (English) Zbl 1355.08003

Congruence meet-semidistributive variaties form a broad well-behaved class of varieties. A lot of characterizations of these varieties was published recently. It is known that locally finite congruence meet-semidistributive varieties have been characterized by two strong Mal’cev conditions. The aim of the paper under review is to provide new strong Mal’cev characterizations and a new Mal’cev characterization each of which improves the known ones in some way.

MSC:

08B05 Equational logic, Mal’tsev conditions
08B10 Congruence modularity, congruence distributivity
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Barto L.: The collapse of the bounded width hierarchy. J. Logic Comput. 26, 923-943 (2016) · Zbl 1353.68107 · doi:10.1093/logcom/exu070
[2] Barto, L., Kozik, M.: Constraint satisfaction problems solvable by local consistency methods. J. ACM 61 1:03, 19 pp. (2014) · Zbl 1295.68126
[3] Bergman C.: Universal Algebra: Fundamentals and Selected Topics. Chapman & Hall/CRC Press, Boca Raton (2011) · Zbl 1229.08001
[4] Burris S., Sankappanavar H.P.: A course in universal algebra. Graduate Texts in Mathematics, vol. 78. Springer, New York (1981) · Zbl 0478.08001
[5] 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) · Zbl 1120.08002
[6] Freese, R., McKenzie, R.: Commutator Theory for congruence modular varieties. London Math. Soc. Lecture Note Series, vol. 125. Cambridge University Press, Cambridge (1987) · Zbl 0636.08001
[7] Hobby D., McKenzie R.: The structure of finite algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988) · Zbl 0721.08001 · doi:10.1090/conm/076
[8] 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
[9] Jovanović J.: On terms describing omitting unary and affine types. Filomat 27, 183-199 (2013) · doi:10.2298/FIL1301183J
[10] Kearnes, K., Kiss, E.: The shape of congruence lattices. Mem. Amer. Math. Soc., vol. 222, no. 1046. American Mathematical Society, Providence (2013) · Zbl 1294.08002
[11] 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) · Zbl 1305.08008 · doi:10.1007/s00012-014-0289-9
[12] Kearnes K., Szendrei Á.: The relationship between two commutators. Internat. J. Algebra Comput. 8, 497-531 (1998) · Zbl 0923.08001 · doi:10.1142/S0218196798000247
[13] 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) · Zbl 0924.08007 · doi:10.1090/S0002-9939-99-05097-2
[14] Kozik M., Krokhin A., ValerioteM. Willard R.: Characterizations of several Maltsev conditions. Algebra Universalis 73, 205-224 (2015) · Zbl 1319.08002 · doi:10.1007/s00012-015-0327-2
[15] Larose B., Zádori L.: Bounded width problems and algebras. Algebra Universalis 56, 439-466 (2007) · Zbl 1120.08002 · doi:10.1007/s00012-007-2012-6
[16] Lipparini P.: A characterization of varieties with a difference term, II: Neutral = meet semi-distributive. Canad. Math. Bull. 41, 318-327 (1998) · Zbl 0909.08007 · doi:10.4153/CMB-1998-044-9
[17] Maróti M., McKenzie R.: Existence theorems for weakly symmetric operations. Algebra Universalis 59, 463-489 (2008) · Zbl 1186.08003 · doi:10.1007/s00012-008-2122-9
[18] 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) · Zbl 0611.08001
[19] Siggers M.: A strong Mal’cev condition for locally finite varieties omitting the unary type. Algebra Universalis 64, 15-20 (2010) · Zbl 1216.08002 · doi:10.1007/s00012-010-0082-3
[20] Willard R.: A finite basis theorem for residually finite, congruence meet-semidistributive varieties. J. Symb. Logic 65, 187-200 (2000) · Zbl 0973.08004 · doi:10.2307/2586531
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.