Congruence modularity implies cyclic terms for finite algebras

Algebra Universalis

Volumn 61, Issue 3, 2009, Pages 365-380

  Barto, Libor ^a   Kozik, Marcin ^b,c   Maróti, Miklós ^d   McKenzie, Ralph ^e   Niven, Todd ^c  

^a CHARLES UNIVERSITY   (Czech Republic)

^b JAGIELLONIAN UNIVERSITY   (Poland)

^c Eduard ech Center   (Czech Republic)

^d UNIVERSITY OF SZEGED   (Hungary)

^e VANDERBILT UNIVERSITY   (United States)

Author keywords

Congruence modularity; Cyclic term; Maltsev condition; Weak near unanimity

Indexed keywords

EID: 70450235190     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00012-009-0025-z     Document Type: Article

References (14)

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).
2. Brauer A., Shockley J. E.: On a problem of Frobenius. J. Reine. Angew. Math. 211, 215-220 (1962).
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).
4. Burris, S., Sankappanavar, H. P.: A Course in Universal Algebra. Graduate Texts in Mathematics, vol. 78. Springer, New York (1981).
5. Carvalho C., Dalmau V., Marković P., Maróti M.: CD(4) has bounded width. Algebra Universalis 60, 293-307 (2009).
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).
7. Freese, R., McKenzie, R.: Commutator Theory for Congruence Modular Varieties. London Mathematical Society Lecture Note Series, vol. 125. Cambridge University Press, Cambridge (1987).
8. Gumm H. P.: Geometrical methods in congruence modular varieties. Mem. Amer. Math. Soc. 45, 286 (1983).
9. Hobby D., McKenzie R.: The Structure of Finite Algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988).
10. Kiss, E. W., Valeriote, M.: On tractability and congruence distributivity. Logical Methods in Computer Science 3 (2007).
11. Maltsev A. I.: On the general theory of algebraic systems. Mat. Sb. N. S. 35(77), 3-20 (1954) (Russian).
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).
13. Maróti M., McKenzie R.: Existence theorems for weakly symmetric operations. Algebra Universalis 59, 463-489 (2008).
14. McKenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties, vol. 1. Wadsworth & Brooks/Cole, Monterey (1987).