WEAK CONGRUENCE SEMIDISTRIBUTIVITY LAWS AND THEIR CONJUGATES
Acta mathematica Universitatis Comenianae, Tome 68 (1999) no. 1
G. Czedli. WEAK CONGRUENCE SEMIDISTRIBUTIVITY LAWS AND THEIR CONJUGATES. Acta mathematica Universitatis Comenianae, Tome 68 (1999) no. 1. http://geodesic.mathdoc.fr/item/AMUC_1999_68_1_a12/
@article{AMUC_1999_68_1_a12,
     author = {G. Czedli},
     title = {WEAK {CONGRUENCE} {SEMIDISTRIBUTIVITY} {LAWS} {AND} {THEIR} {CONJUGATES}},
     journal = {Acta mathematica Universitatis Comenianae},
     year = {1999},
     volume = {68},
     number = {1},
     url = {http://geodesic.mathdoc.fr/item/AMUC_1999_68_1_a12/}
}
TY  - JOUR
AU  - G. Czedli
TI  - WEAK CONGRUENCE SEMIDISTRIBUTIVITY LAWS AND THEIR CONJUGATES
JO  - Acta mathematica Universitatis Comenianae
PY  - 1999
VL  - 68
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/AMUC_1999_68_1_a12/
ID  - AMUC_1999_68_1_a12
ER  - 
%0 Journal Article
%A G. Czedli
%T WEAK CONGRUENCE SEMIDISTRIBUTIVITY LAWS AND THEIR CONJUGATES
%J Acta mathematica Universitatis Comenianae
%D 1999
%V 68
%N 1
%U http://geodesic.mathdoc.fr/item/AMUC_1999_68_1_a12/
%F AMUC_1999_68_1_a12

Voir la notice de l'article provenant de la source Comenius University

Lattice Horn sentences including Geyer's $SD(n,2)$ and their conjugates $C(n,2)$ are considered. $SD(2,2)$ is the meet semidistributivity law $SD_\meet$. Both $SD(n,2)$ and $C(n,2)$ become strictly weaker when $n$ grows. For varieties $\V$ the satisfaction of $SD(n,2)$ in $\\Con(A): A\in \V\$ is characterized by a Mal'cev condition. Using this Mal'cev condition it is shown that $C(n,2)\cimply SD(n,2)$, which means that, for every variety $\V$, whenever $C(n,2)$ holds in $\\Con(A): A\in \V\$ then so does $SD(n,2)$. In particular, $C(2,2)\cimply SD(2,2)$, which is a stronger statement than $SD_\join \cimply SD_\meet$, the only previously known $\cimply$ result between lattice Horn sentences ``not below congruence modularity''. Some other $\cimply$ statements are also presented.