\(A\times A\) congruence coherent implies \(A\) congruence regular (Q1175936)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(A\times A\) congruence coherent implies \(A\) congruence regular |
scientific article |
Statements
\(A\times A\) congruence coherent implies \(A\) congruence regular (English)
0 references
25 June 1992
0 references
It has been known for a long time that any variety of congruence coherent algebras is congruence permutable and congruence regular [see \textit{D. Geigher}, ''Congruence coherent algebras'', Preprint (1974)]. A local version of the first assertion was recently proved by \textit{D. M. Clark} and \textit{I. Fleischer} [Algebra Univers. 24, 192 (1987; Zbl 0634.08001)]. We show that the second implication can be sharpened in a similar way.
0 references
congruence permutable variety
0 references
congruence regular variety
0 references
congruence coherent algebras
0 references
