Abstract
We show that an idempotent variety has a d-dimensional cube term if and only if its free algebra on two generators has no d-ary compatible cross. We employ Hall’s Marriage Theorem to show that an idempotent variety \({\mathcal{V}}\) of finite signature whose fundamental operations have arities n 1, . . . , n k, has a d-dimensional cube term for some d if and only if it has one of dimension \({1 + \sum_{i=1}^{k} (n_{i} - 1)}\). This upper bound on the dimension of a minimal-dimension cube term for \({\mathcal{V}}\) is shown to be sharp. We show that a pure cyclic term variety has a cube term if and only if it contains no 2- element semilattice. We prove that the Maltsev condition “existence of a cube term” is join prime in the lattice of idempotent Maltsev conditions.
Similar content being viewed by others
References
Aichinger E., Mayr P., McKenzie R.: On the number of finite algebraic structures. J. Eur. Math. Soc. (JEMS) 16, 1673–1686 (2014)
Barto, L.: Finitely related algebras in congruence modular varieties have few subpowers. J. Eur. Math. Soc. (JEMS) (in press)
Bergman C., Failing D.: Commutative, idempotent groupoids and the constraint satisfaction problem. Algebra Universalis 73, 391–417 (2015)
Berman J., Idziak P., Marković P., McKenzie R., Valeriote M., Willard R.: Varieties with few subalgebras of powers. Trans. Amer. Math. Soc. 362, 1445–1473 (2010)
Bulatov, A., Mayr, P., Szendrei, Á.: The subpower membership problem for finite algebras with cube terms (2016, preprint)
Campanella M., Conley S., Valeriote M.: Preserving near unanimity terms under products. Algebra Universalis 76, 293–300 (2016)
Freese, R., Kiss, E.W., Valeriote, M: Universal Algebra Calculator. http://www.uacalc.org
Hall, P.: On representatives of subsets. J. London Math. Soc. S1-10, 26–30 (1935)
Idziak P., Marković P., McKenzie R., Valeriote M., Willard R.: Tractability and learnability arising from algebras with few subpowers. SIAM J. Comput. 39, 3023–3037 (2010)
Kearnes, K.A., Szendrei, Á.: Clones of algebras with parallelogram terms. Internat. J. Algebra Comput. 22, 1250005, 30 pp. (2012)
Kearnes K.A., Szendrei Á.: Dualizable algebras with parallelogram terms. Algebra Universalis 76, 497–539 (2016)
Kearnes K.A., Tschantz S.T.: Automorphism groups of squares and of free algebras. Internat. J. Algebra Comput. 17, 461–505 (2007)
Marković P., Maróti M., McKenzie R.: Finitely related clones and algebras with cube terms. Order 29, 345–359 (2012)
Moore M.: Naturally dualizable algebras omitting types 1 and 5 have a cube term. Algebra Universalis 75, 221–230 (2016)
Opršal, J.: Taylor’s modularity conjecture and related problems for idempotent varieties. http://arxiv.org/abs/1602.08639v1
Szendrei Á.: Idempotent algebras with restrictions on subalgebras. Acta Sci. Math. (Szeged) 51, 251–268 (1987)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by J. Berman.
This material is based upon work supported by the National Science Foundation grant no. DMS 1500254 and the Hungarian National Foundation for Scientific Research (OTKA) grant no. K104251 and K115518.
Rights and permissions
About this article
Cite this article
Kearnes, K.A., Szendrei, Á. Cube term blockers without finiteness. Algebra Univers. 78, 437–459 (2017). https://doi.org/10.1007/s00012-017-0476-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-017-0476-6