Geodesic
Varieties satisfying the triangular scheme need not be congruence distributive
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 46 (2007) no. 1, pp. 19-24.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

A diagrammatic scheme characterizing congruence distributivity of congruence permutable algebras was introduced by the first author in 2001. It is known under the name Triangular Scheme. It is known that every congruence distributive algebra satisfies this scheme and an algebra satisfying the Triangular Scheme which is not congruence distributive was found by E. K. Horváth, G. Czédli and the autor in 2003. On the other hand, it was an open problem if a variety of algebras satisfying the Triangular Scheme must be congruence distributive. We get a negative solution by presenting an example.
Classification : 08A30, 08B05, 08B10
Keywords: congruence distributivity; Triangular Scheme; variety of algebras; Jónsson terms 
@article{AUPO_2007__46_1_a1,
     author = {Chajda, Ivan and Hala\v{s}, Radom{\'\i}r},
     title = {Varieties satisfying the triangular scheme need not be congruence distributive},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     pages = {19--24},
     publisher = {mathdoc},
     volume = {46},
     number = {1},
     year = {2007},
     mrnumber = {2387489},
     zbl = {1144.08006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AUPO_2007__46_1_a1/}
}
TY  - JOUR
AU  - Chajda, Ivan
AU  - Halaš, Radomír
TI  - Varieties satisfying the triangular scheme need not be congruence distributive
JO  - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY  - 2007
SP  - 19
EP  - 24
VL  - 46
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AUPO_2007__46_1_a1/
LA  - en
ID  - AUPO_2007__46_1_a1
ER  - 
%0 Journal Article
%A Chajda, Ivan
%A Halaš, Radomír
%T Varieties satisfying the triangular scheme need not be congruence distributive
%J Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
%D 2007
%P 19-24
%V 46
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AUPO_2007__46_1_a1/
%G en
%F AUPO_2007__46_1_a1
Chajda, Ivan; Halaš, Radomír. Varieties satisfying the triangular scheme need not be congruence distributive. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 46 (2007) no. 1, pp. 19-24. http://geodesic.mathdoc.fr/item/AUPO_2007__46_1_a1/