Lattices of compatible relations satisfying a set of formulas (Q1966150)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lattices of compatible relations satisfying a set of formulas |
scientific article |
Statements
Lattices of compatible relations satisfying a set of formulas (English)
0 references
27 February 2000
0 references
The aim of the paper is to give a general approach for studying lattices of compatible relations of a given algebra \(\mathcal A\) such as congruences, tolerances, quasiorders etc. More precisely, if \(\Sigma =\{(\sigma _i, \sigma '_i)\); \(i\in I\}\), where \(I\) is an index set and for each \(i\in I\) both \(\sigma _i,\sigma '_i\) are relations on the same set \(V_i\), and \(\mathcal A=(A,F)\) is a nontrivial algebra, let \(R^{\mathcal A}_{\Sigma }\) (briefly \(R\)) be the set of all \(\mathcal A\)-compatible relations \(\rho \) such that for all \(i\in I\) Hom\((\sigma _i,\rho) \subseteq \text{Hom}(\sigma '_i,\rho)\). For concrete sets \(I, V_i, \sigma _i, \sigma '_i\) concrete lattices of compatible relations are given. The authors show, e.g., that if \(|\sigma _i |< \aleph _0\) for all \(i\in I\), then the corresponding lattice \((R,\subseteq)\) is algebraic, or they give sufficient conditions for its modularity or distributivity.
0 references
algebraic lattice
0 references
lattices of compatible relations
0 references
congruences
0 references
tolerances
0 references
quasiorders
0 references
modularity
0 references
distributivity
0 references