Coherence of diagonal subalgebras and factorable congruences (Q690103): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Jaromír Duda / rank | |||
Property / reviewed by | |||
Property / reviewed by: Hans-Jürgen Vogel / rank | |||
Revision as of 12:22, 16 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Coherence of diagonal subalgebras and factorable congruences |
scientific article |
Statements
Coherence of diagonal subalgebras and factorable congruences (English)
0 references
25 August 1994
0 references
The author shows that there is a certain kind of coherence which is equivalent to congruence permutability and congruence regularity on quasivarieties. A subalgebra \({\mathcal B}\) of an algebra \({\mathcal A}\) is coherent with a congruence \(\alpha\in \text{Con } {\mathcal A}\), if \([b]\alpha \subseteq B\) for some \(b\in B\) implies that \([x]\alpha \subseteq B\) for all \(x\in B\). A diagonal subalgebra \({\mathcal S}\) of \({\mathcal A}\times {\mathcal A}\) contains the diagonal \(\omega= \{\langle a,a\rangle\); \(a\in A\}\). Congruences on \({\mathcal A}\times {\mathcal A}\) are called factorable if they are of the form \(\alpha\times \beta\) (\(\alpha,\beta\in \text{Con } {\mathcal A}\)). Via two local version of Geiger's theorem and a local version of Werner's theorem one obtains: (a) The coherence of diagonal symmetric subalgebras of the square with factorable congruences of an algebra \({\mathcal A}\) implies that \({\mathcal A}\) has permutable and regular congruences. (b) The coherence with factorable congruences on \({\mathcal A}\times {\mathcal A}\) of a diagonal subalgebra \({\mathcal S}\) of the square \({\mathcal A}\times {\mathcal A}\) of a congruence regular algebra \({\mathcal A}\) follows from the fact that \({\mathcal S}\) has permutable congruences. So one obtains that for a quasivariety \(Q\) the following conditions are equivalent: (1) The coherence with factorable congruences on \({\mathcal A}\times {\mathcal A}\), \({\mathcal A}\in Q\), of diagonal subalgebras of \({\mathcal A}\times {\mathcal A}\). (2) The coherence with factorable congruences on \({\mathcal A}\times {\mathcal A}\), \({\mathcal A}\in Q\), of diagonal symmetric subalgebras of \({\mathcal A}\times {\mathcal A}\). (3) \(Q\) is congruence permutable and congruence regular.
0 references
coherence
0 references
congruence permutability
0 references
congruence regularity
0 references
quasivarieties
0 references
diagonal subalgebra
0 references
diagonal symmetric subalgebras
0 references
factorable congruences
0 references