zbMATH — the first resource for mathematics

Coherence and weak coherence in the square of algebras. (English) Zbl 0777.08005
A subalgebra \(B\) of an algebra \(A\) is said to be coherent with a congruence \(\Theta\) on \(A\) whenever the assumption \([b]\Theta\subseteq B\) for some \(b\in B\) implies \([x]\Theta\subseteq B\) for every \(x\in B\). If \(A\) is an algebra with a nullary operation 0 we say that a subalgebra \(B\) of \(A\) is weakly coherent with a congruence \(\Theta\) on \(A\) whenever the assumption \([0]\Theta\subseteq B\) implies \([x]\Theta\subseteq B\) for every \(x\in B\). It is shown that a variety \(V\) is permutable and regular iff any tolerance on \(A\) is coherent with factorable congruences on \(A\times A\), \(A\in V\). Further a variety \(V\) is regular iff any congruence on \(A\) is coherent with factorable congruences on \(A\times A\), \(A\in V\). Analogous results hold for weak coherence, permutability and weak regularity.
Reviewer: J.Duda (Brno)
08A30 Subalgebras, congruence relations
08A05 Structure theory of algebraic structures
Full Text: EuDML
[1] Chajda I.: Coherence, regularity and permutability of congruences. Algebra Univ. 17 (1983), 170-173. · Zbl 0537.08006
[2] Chajda I.: Weak coherence of congruences. Czechoslovak Math. Journal 41 (1991), 149-154. · Zbl 0796.08003
[3] Clark D. M. and Fleischer I.: \(A \times A\) congruence coherent implies \(A\) congruence permutable. Algebra Univ. 24 (1987), 192. · Zbl 0634.08001
[4] Csákány B.: Characterizations of regular varieties. Acta Sci. Math (Szeged) 31 (1970), 187-189. · Zbl 0216.03302
[5] Duda J.: \(A \times A\) congruence coherent implies \(A\) congruence regular. Algebra Univ. 28 (1991), 301-302. · Zbl 0735.08001
[6] Duda J.: Mal’cev conditions for regular and weakly regular subalgebras of the square. Acta Sci. Math. (Szeged) 46 (1983), 29-34. · Zbl 0533.08002
[7] Duda J.: Varieties having directly decomposable congruence classes. Čas. pěst. Matem. 111 (1986), 394-403. · Zbl 0606.08001
[8] Fraser G. A. and Horn A.: Congruence relations in direct products. Proc. Amer. Math. Soc. 26 (1970), 390-394. · Zbl 0241.08004
[9] Geiger D.: Coherent algebras. Notices Amer. Math. Soc. 21 (1974), A-436.
[10] Hagemann J.: On regular and weakly regular congruences. Preprint Nr. 75 TH-Darmstadt (1973). · Zbl 0273.08001
[11] Taylor W.: Uniformity of congruences. Algebra Univ. 4 (1974), 342-360. · Zbl 0313.08001
[12] Werner H.: A Mal’cev condition for admissible relations. Algebra Univ. 3 (1973), 263. · Zbl 0276.08004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.