For a class $K$ of structures and $A\in K$ let ${Con}^*(A)$ resp. ${Con}^{K}(A)$ denote the lattices of $*$-congruences resp. $K$-congruences of $A$, cf. Weaver [25]. Let ${Con}^*(K):=I\lbrace {Con}^*(A)\colon\ A \in K\rbrace $ where $I$ is the operator of forming isomorphic copies, and ${Con}^r(K):=I\lbrace {Con}^{K}(A)\colon\ A \in K\rbrace $. For an ordered algebra $A$ the lattice of order congruences of $A$ is denoted by ${Con}^{<}(A)$, and let ${Con}^{<}(K):=I\lbrace {Con}^{<}(A)\colon\ A \in K\rbrace $ if $K$ is a class of ordered algebras. The operators of forming subdirect squares and direct products are denoted by $Q^s$ and $P$, respectively. Let $\lambda $ be a lattice identity and let $\Sigma $ be a set of lattice identities. Let $\Sigma \mathrel {\models _c}\lambda\ (r;Q^s,P)$ denote that for every class $K$ of structures which is closed under $Q^s$ and $P$ if $\Sigma $ holds is ${Con}^r(K)$ then so does $\lambda$. The consequence relations $\Sigma \mathrel {\models _c}\lambda\ (*;Q^s)$, $\Sigma \mathrel {\models _c}\lambda\ (\le ;Q^s)$ and $\Sigma \mathrel {\models _c}\lambda\ (H,S,P)$ are defined analogously; the latter is the usual consequence relation in congruence varieties (cf. Jónsson [19]), so it will also be denoted simply by $\mathrel {\models _c}$. If $\Sigma \lnot \models \lambda $ (in the class of all lattices) then the above-mentioned consequences are called nontrivial. The present paper shows that if $\Sigma \models$ modularity and $\Sigma \mathrel {\models _c}\lambda $ is a known result in the theory of congruence varieties then $\Sigma \mathrel {\models _c}\lambda\ (*; Q^s)$, $\Sigma \mathrel {\models _c}\lambda\ (\le ;Q^s)$ and $\Sigma \mathrel {\models _c}\lambda\ (r;Q^s,P)$ as well. In most of these cases $\lambda $ is a diamond identity in the sense of [3].
@article{107526,
author = {G\'abor Cz\'edli},
title = {Diamond identities for relative congruences},
journal = {Archivum Mathematicum},
volume = {031},
year = {1995},
pages = {65-74},
zbl = {0842.08004},
mrnumber = {1342377},
language = {en},
url = {http://dml.mathdoc.fr/item/107526}
}
Czédli, Gábor. Diamond identities for relative congruences. Archivum Mathematicum, Tome 031 (1995) pp. 65-74. http://gdmltest.u-ga.fr/item/107526/
Varieties of ordered algebras, J. Comput. System Sci. 13 (1976), 200-212. (1976) | MR 0427204 | Zbl 0337.06008
Notes on congruence implications, Archivum Mathematicum (Brno) 27 (1991), 149-153. (1991) | MR 1189209
How are diamond identities implied in congruence varieties, Algebra Universalis 30 (1993), 291-293. (1993) | MR 1223638
Some nontrivial implications in congruence varieties, Acta Sci. Math. (Szeged) 56 (1992), 15-18. (1992) | MR 1204733
On the lattice of congruence varieties of locally equational classes, Acta Sci. Math. (Szeged) 41 (1979), 39-45. (1979) | MR 0534497
On congruence $n$-distributivity of ordered algebras, Acta Math. Hungar. 41 (1983), 17-26. (1983) | MR 0704519
$p$-modularity implies modularity in equational classes, Algebra Universalis 3 (1973), 398-399. (1973) | MR 0354497 | Zbl 0288.06012
A characterization of identities implying congruence modularity I, Canadian J. Math. 32 (1980), 1140-1167. (1980) | MR 0596102
Relative congruence-distributivity within quasivarieties of nearly associative $\varphi $-algebras, Fund. Math. 135 (1990), 77-95. (1990) | MR 1076271
The class of Arguesian lattices is not a congruence variety, Notices Amer. Math. Soc. 23 (1976), #76T-A181. (1976)
On some identities valid in modular congruence varieties, Algebra Universalis 12 (1982), 322-334. (1982) | MR 0624298
Congruence modularity implies the Arguesian identity, Algebra Universalis 6 (1976), 225-228. (1976) | MR 0472644
A concrete ideal multiplication for algebraic systems and its relation with congruence distributivity, Arch. Math. 32 (1979), 234-245. (1979) | MR 0541622
On the arithmetic of projective coordinate systems, Trans. Amer. Math. Soc. 284 (1984), 759-785. (1984) | MR 0743743 | Zbl 0544.06008
Lattices of normal subgroups which are generated by frames, Lattice Theory, Proc. Conf. Szeged 1974, Coll. Mat. Soc. J. Bolyai vol. 14, North-Holland, Amsterdam, 1976, pp. 97-136. (1976) | MR 0447064
Schwach distributive Verbände I, Acta Sci.Math. 33 (1972), 297-305. (1972) | MR 0337710 | Zbl 0269.06006
On Grätzer’s problem concerning automorphisms of a finitely presented lattice, Algebra Universalis 5 (1975), 65-71. (1975) | MR 0392713
A test for identities satisfied in lattices of submodules, Algebra Universalis 8 (1978), 269-309. (1978) | MR 0469840
Congruence varieties, Algebra Universalis 10 (1980), 355-394. (1980) | MR 0564122
Commutator theory for relatively modular quasivarieties, Transactions of the AMS 331 (1992), 465-502. (1992) | MR 1062872
Three Mal’cev type theorems and their applications, Math. Časopis Sloven. Akad. Vied. 25 (1975), 83-95. (1975) | MR 0384650
Varieties whose congruences satisfy certain lattice identities, Algebra Universalis 4 (1974), 78-88. (1974) | MR 0354501 | Zbl 0299.08002
Characterization of relatively distributive quasivarieties of algebras, Algebra and Logic 29 (1990), 451-458. (1990) | MR 1159141 | Zbl 0774.08007
Local Mal’cev conditions, Canadian Math. Bull. 15 (1972), 559-568. (1972) | MR 0309837
Generalized varieties, Algebra Universalis 30 (1993), 27-52. (1993) | MR 1211029 | Zbl 0799.08002
Kongruenzklassengeometrien, Lecture Notes in Math., vol. 113, Springer-Verlag, Berlin — Heidelberg — New York, 1970. (1970) | MR 0262149 | Zbl 0191.51403