Loop conditions. (English) Zbl 1528.08009
Summary: We prove that a weakest non-trivial strong Maltsev condition given by a single identity of the form \(t(\mathrm{variables}) = t(\mathrm{variables})\) is the existence of a term \(s\) satisfying \(s(x,y,y,z,z,x)=s(y,x,z,y,x,z)\).
References:
| [1] | Barto, L., Kozik, M.: Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Log. Methods Comput. Sci. 8(1:07), 27 (2012) · Zbl 1239.08002 |
| [2] | Barto, L., Kozik, M.: Absorption in universal algebra and CSP. In:The constraint satisfaction problem: complexity and approximability, Dagstuhl Follow-Ups, vol. 7, pp. 45-77. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern (2017) · Zbl 1482.68160 |
| [3] | Barto, L., Krokhin, A., Willard, R.: Polymorphisms, and how to usethem. In: The Constraint Satisfaction Problem: Complexity and Approximability, Dagstuhl Follow-Ups, vol. 7, pp. 1-44. SchlossDagstuhl. Leibniz-Zent. Inform., Wadern (2017) · Zbl 1482.68161 |
| [4] | Bergman, C., Universal Algebra: Fundamentals and Selected Topics, Pure and Applied Mathematics (2012), Boca Raton, FL: CRC Press, Boca Raton, FL · Zbl 1229.08001 |
| [5] | Burris, S.; Sankappanavar, Hp, A Course in Universal Algebra, Graduate Texts in Mathematics (1981), New York, Berlin: Springer, New York, Berlin · Zbl 0478.08001 |
| [6] | Kazda, A.: Taylor term does not imply any nontrivial linear one-equality Maltsev condition. Algebra Univers. 80, 9 (2019). 10.1007/s00012-019-0580-x · Zbl 1472.08007 |
| [7] | Kearnes, K.; Marković, P.; Mckenzie, R., Optimal strong Mal’cev conditions for omitting type 1 in locally finite varieties, Algebra Univ., 72, 1, 91-100 (2014) · Zbl 1305.08008 · doi:10.1007/s00012-014-0289-9 |
| [8] | Mckenzie, R.; Świerczkowski, S., Non-covering in the interpretability lattice of equational theories, Algebra Univ., 30, 2, 157-170 (1993) · Zbl 0802.08004 · doi:10.1007/BF01196089 |
| [9] | McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, lattices, varieties. Vol. I. The Wadsworth & Brooks/Cole Mathematics Series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA (1987) · Zbl 0611.08001 |
| [10] | Olšák, M., The weakest nontrivial idempotent equations, Bull. Lond. Math. Soc., 49, 6, 1028-1047 (2017) · Zbl 1414.08002 · doi:10.1112/blms.12097 |
| [11] | Siggers, Mh, A strong Mal’cev condition for locally finite varieties omitting the unary type, Algebra Univ., 64, 1-2, 15-20 (2010) · Zbl 1216.08002 · doi:10.1007/s00012-010-0082-3 |
| [12] | Taylor, W., Some very weak identities, Algebra Univ., 25, 1, 27-35 (1988) · Zbl 0646.08004 · doi:10.1007/BF01229958 |
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.
