Taylor’s modularity conjecture and related problems for idempotent varieties. (English) Zbl 1469.08002
Summary: We provide a partial result on Taylor’s modularity conjecture, and several related problems. Namely, we show that the interpretability join of two idempotent varieties that are not congruence modular is not congruence modular either, and we prove an analog for idempotent varieties with a cube term. Also, similar results are proved for linear varieties and the properties of congruence modularity, having a cube term, congruence \(n\)-permutability for a fixed \(n\), and satisfying a non-trivial congruence identity.
MSC:
| 08B05 | Equational logic, Mal’tsev conditions |
| 08B10 | Congruence modularity, congruence distributivity |
| 08A40 | Operations and polynomials in algebraic structures, primal algebras |
References:
| [1] | Aichinger, E.; Mayr, P.; McKenzie, R., On the number of finite algebraic structures, J. Eur. Math. Soc. (JEMS), 16, 1673-1686, (2014) · Zbl 1432.08001 · doi:10.4171/JEMS/472 |
| [2] | Bova, S.; Chen, H.; Valeriote, M., Generic expression hardness results for primitive positive formula comparison, Inf Comput., 222, 108-120, (2013) · Zbl 1295.68121 · doi:10.1016/j.ic.2012.10.008 |
| [3] | Berman, J.; Idziak, P.; Markovic, P.; McKenzie, R.; Valeriote, M.; Willard, R., Varieties with few subalgebras of powers, Trans. Amer. Math. Soc., 362, 1445-1473, (2010) · Zbl 1190.08004 · doi:10.1090/S0002-9947-09-04874-0 |
| [4] | Barto, L., Opršal, J., Pinsker, M.: The wonderland of reflections. arXiv:1510.04521 (2015) · Zbl 1397.08002 |
| [5] | Bodirsky, M.; Pinsker, M., Topological Birkhoff, Trans. Amer. Math. Soc., 367, 2527-2549, (2015) · Zbl 1375.03032 · doi:10.1090/S0002-9947-2014-05975-8 |
| [6] | Bentz, W.; Sequeira, L., Taylor’s modularity conjecture holds for linear idempotent varieties, Algebra Universalis, 71, 101-107, (2014) · Zbl 1303.08006 · doi:10.1007/s00012-014-0273-4 |
| [7] | Burris, S., Models in equational theories of unary algebras, Algebra Universalis, 1, 386-392, (1971) · Zbl 0238.08003 · doi:10.1007/BF02944998 |
| [8] | Day, A., A characterization of modularity for congruence lattices of algebras, Canad. Math. Bull., 12, 167-173, (1969) · Zbl 0181.02302 · doi:10.4153/CMB-1969-016-6 |
| [9] | Freese, R., Equations implying congruence n-permutability and semidistributivity, Algebra Univers., 70, 347-357, (2013) · Zbl 1317.08003 · doi:10.1007/s00012-013-0256-x |
| [10] | Geiger, D., Closed systems of functions and predicates, Pacific J. Math., 27, 95-100, (1968) · Zbl 0186.02502 · doi:10.2140/pjm.1968.27.95 |
| [11] | García, OC; Taylor, W., The lattice of interpretability types of varieties, Mem. Amer. Math. Soc., 50, v + 125, (1984) · Zbl 0559.08003 |
| [12] | Hagemann, J.; Mitschke, A., On n-permutable congruences, Algebra Universalis, 3, 8-12, (1973) · Zbl 0273.08001 · doi:10.1007/BF02945100 |
| [13] | Hobby, D., McKenzie, R.: The Structure of Finite Algebras, Volume 76 of Contemporary Mathematics. American Mathematical Society, Providence, RI (1988) · Zbl 0721.08001 · doi:10.1090/conm/076 |
| [14] | Kearnes, KA; Kiss, EW, The shape of congruence lattices, Mem. Amer. Math. Soc., 222, viii+?169, (2013) · Zbl 1294.08002 |
| [15] | Kearnes, KA; Szendrei, Á, Clones of algebras with parallelogram terms, Internat. J Algebra Comput., 22, 1250005, 30, (2012) · Zbl 1286.08002 · doi:10.1142/S0218196711006716 |
| [16] | Kearnes, K.A., Szendrei, Á.: Cube term blockers without finiteness. arXiv:1609.02605 (2016) · Zbl 1425.08003 |
| [17] | Kearnes, KA; Tschantz, ST, Automorphism groups of squares and of free algebras, Internat. J. Algebra Comput., 17, 461-505, (2007) · Zbl 1158.08003 · doi:10.1142/S0218196707003615 |
| [18] | McGarry, C.E.: \(K\)-Fold Systems of Projections and Congruence Modularity. Master’s Thesis, McMaster University, Hamilton (2009) |
| [19] | McKenzie, R., Moore, M.: Colorings and blockers manuscript (2017) |
| [20] | Markovic, P.; Maróti, M.; McKenzie, R., Finitely related clones and algebras with cube terms, Order, 29, 345-359, (2012) · Zbl 1310.08002 · doi:10.1007/s11083-011-9232-2 |
| [21] | Neumann, WD, On Malcev conditions, J. Aust. Math. Soc., 17, 376-384, 5, (1974) · Zbl 0294.08004 · doi:10.1017/S1446788700017122 |
| [22] | Romov, BA, Galois correspondence between iterative post algebras and relations on an infinite set, Cybernetics, 13, 377-379, (1977) · doi:10.1007/BF01069655 |
| [23] | Schmidt, E.T.: Kongruenzrelationen Algebraischer Strukturen Mathematische Forschungsberichte, vol. XXV. VEB Deutscher Verlag der Wissenschaften, Berlin (1969) · Zbl 0198.33301 |
| [24] | Sequeira, L.: Maltsev Filters. Phd Thesis, University of Lisbon, Portugal (2001) |
| [25] | Sequeira, L., On the congruence modularity conjecture, Algebra Universalis, 55, 495-508, (2006) · Zbl 1160.08004 · doi:10.1007/s00012-006-2013-x |
| [26] | Taylor, W., Characterizing Mal’cev conditions, Algebra Universalis, 3, 351-397, (1973) · Zbl 0304.08003 · doi:10.1007/BF02945141 |
| [27] | Tschantz, S.: Congruence permutability is join prime unpublished (1996) |
| [28] | Valeriote, M.; Willard, R., Idempotent n-permutable varieties, Bull. Lond. Math. Soc., 46, 870-880, (2014) · Zbl 1303.08005 · doi:10.1112/blms/bdu044 |
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.
