Algebra universalis

, 61:365 | Cite as

Congruence modularity implies cyclic terms for finite algebras

  • Libor Barto
  • Marcin Kozik
  • Miklós Maróti
  • Ralph McKenzie
  • Todd Niven
Article

Abstract

An n-ary operation f : AnA is called cyclic if it is idempotent and \({f(a_1, a_2, a_3, \ldots , a_n) = f(a_2, a_3, \ldots , a_n, a_1)}\) for every \({a_1, \ldots, a_n \in A}\). We prove that every finite algebra A in a congruence modular variety has a p-ary cyclic term operation for any prime p greater than |A|.

2000 Mathematics Subject Classification

Primary: 08B10 Secondary: 08B05 

Key words and phrases

Maltsev condition cyclic term congruence modularity weak near-unanimity 

References

  1. 1.
    Barto L., Kozik M., Niven T.: The CSP dichotomy holds for digraphs with no sources and no sinks (a positive answer to a conjecture of Bang-Jensen and Hell). SIAM J. Comp. 38, 1782–1802 (2009)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Brauer A., Shockley J.E.: On a problem of Frobenius. J. Reine. Angew. Math. 211, 215–220 (1962)MATHMathSciNetGoogle Scholar
  3. 3.
    Bulatov, A.A., Krokhin, A., Jeavons, P.G.: Constraint satisfaction problems and finite algebras. In: Proc. of the 27th Int. Colloquium on Automata, Languages and Programming (ICALP). Lecture Notes in Computer Science, vol. 1853, pp. 272–282. Springer (2000)Google Scholar
  4. 4.
    Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Graduate Texts in Mathematics, vol. 78. Springer, New York (1981)Google Scholar
  5. 5.
    Carvalho C., Dalmau V., Marković P., Maróti M.: CD(4) has bounded width. Algebra Universalis 60, 293–307 (2009)CrossRefMathSciNetGoogle Scholar
  6. 6.
    Feder T., Vardi M.Y.: The computational structure of monotone monadic SNP and constraint satisfaction: a study through Datalog and group theory. SIAM J. Computing 28, 57–104 (1998)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Freese, R., McKenzie, R.: Commutator Theory for Congruence Modular Varieties. London Mathematical Society Lecture Note Series, vol. 125. Cambridge University Press, Cambridge (1987)Google Scholar
  8. 8.
    Gumm H.P.: Geometrical methods in congruence modular varieties. Mem. Amer. Math. Soc. 45, 286 (1983)MathSciNetGoogle Scholar
  9. 9.
    Hobby D., McKenzie R.: The Structure of Finite Algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988)Google Scholar
  10. 10.
    Kiss, E.W., Valeriote, M.: On tractability and congruence distributivity. Logical Methods in Computer Science 3 (2007)Google Scholar
  11. 11.
    Maltsev A.I.: On the general theory of algebraic systems. Mat. Sb. N.S. 35(77), 3–20 (1954) (Russian)MathSciNetGoogle Scholar
  12. 12.
    Maltsev A.I.: On the general theory of algebraic systems. Amer. Math. Soc. Transl. (2) 27, 125–142 (1963) (English translation of Maltsev, 1954)MathSciNetGoogle Scholar
  13. 13.
    Maróti M., McKenzie R.: Existence theorems for weakly symmetric operations. Algebra Universalis 59, 463–489 (2008)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    McKenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties, vol. 1. Wadsworth & Brooks/Cole, Monterey (1987)Google Scholar

Copyright information

© Birkhäuser Verlag Basel/Switzerland 2009

Authors and Affiliations

  • Libor Barto
    • 1
  • Marcin Kozik
    • 2
    • 3
  • Miklós Maróti
    • 4
  • Ralph McKenzie
    • 5
  • Todd Niven
    • 3
  1. 1.Department of AlgebraCharles UniversityPragueCzech Republic
  2. 2.Department of Theoretical Computer ScienceJagiellonian UniversityKrakowPoland
  3. 3.Eduard Čech CenterPragueCzech Republic
  4. 4.Bolyai Institute, University of SzegedSzegedHungary
  5. 5.Department of MathematicsVanderbilt UniversityNashvilleUSA

Personalised recommendations