Order

, Volume 29, Issue 2, pp 345–359

Finitely Related Clones and Algebras with Cube Terms

Article

Abstract

Aichinger et al. (2011) have proved that every finite algebra with a cube-term (equivalently, with a parallelogram-term; equivalently, having few subpowers) is finitely related. Thus finite algebras with cube terms are inherently finitely related—every expansion of the algebra by adding more operations is finitely related. In this paper, we show that conversely, if A is a finite idempotent algebra and every idempotent expansion of A is finitely related, then A has a cube-term. We present further characterizations of the class of finite idempotent algebras having cube-terms, one of which yields, for idempotent algebras with finitely many basic operations and a fixed finite universe A, a polynomial-time algorithm for determining if the algebra has a cube-term. We also determine the maximal non-finitely related idempotent clones over A. The number of these clones is finite.

Keywords

Finitely related clones Cube terms Algebras with few subpowers Valeriote’s conjecture 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aichinger, E., McKenzie, R., Mayr, P.: Finite algebras with cube-terms are finitely related. European J. Math. (2011, in press)Google Scholar
  2. 2.
    Barto, L.: Finitely related algebras in congruence distributive varieties have near unanimity terms. http://www.karlin.mff.cuni.cz/∼barto/Articles/ZadoriConjecture.pdf (2011). Accessed 13 Sept 2011
  3. 3.
    Barto, L., Kozik, M.: New conditions for Taylor varieties and CSP. In: Proceedings of 25th IEEE Symposium on Logic in Computer Science, LICS’10, pp. 100–109 (2010)Google Scholar
  4. 4.
    Berman, J., Idziak, P., Marković, P., McKenzie, R., Valeriote, M., Willard, R.: Varieties with few subalgebras of powers. Trans. Amer. Math. Soc. 362, 1145–1173 (2009)CrossRefGoogle Scholar
  5. 5.
    Davey, B.A., Jackson, M., Pitkethly, J.G., Szabó, Cs.: Finite degree: algebras in general and semigroups in particular. In: Semigroup Forum (2011, in press)Google Scholar
  6. 6.
    Freese, R., McKenzie, R.: Commutator theory for congruence modular varieties. In: London Mathematical Society Lecture Note Series No. 125. Cambridge University Press, Cambridge (1987)Google Scholar
  7. 7.
    Horowitz, J.: Results on the computational complexity of linear idempotent Mal’cev conditions. Ph.D. dissertation. McMaster University (2011)Google Scholar
  8. 8.
    Idziak, P., Marković, P., McKenzie, R., Valeriote, M., Willard, R.: Tractability and learnability arising from algebras with few subpowers. In: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, pp. 221–230Google Scholar
  9. 9.
    Marković, P., McKenzie, R.: Few subpowers, congruence distributivity, and near-unanimity terms. Algebra Universalis (2011, in press)Google Scholar
  10. 10.
    Valeriote, M.: A subalgebra intersection property for congruence distributive varieties. Can. J. Math. 61(2), 451–464 (2009)MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  • Petar Marković
    • 1
  • Miklós Maróti
    • 2
  • Ralph McKenzie
    • 3
  1. 1.Department of MathematicsUniversity of Novi SadNovi SadSerbia
  2. 2.Department of MathematicsUniversity of SzegedSzegedHungary
  3. 3.Department of MathematicsVanderbilt UniversityNashvilleUSA

Personalised recommendations