Congruence join semidistributivity is equivalent to a congruence identity.

DOI10.1007/PL00000351zbMath1063.08008OpenAlexW2022941646MaRDI QIDQ1771880

Keith A. Kearnes

Publication date: 19 April 2005

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00000351

zbMATH Keywords

congruence identitysemidistributivitycongruence variety

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Related Items (7)

Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited ⋮ Irreducible subalgebra primal algebras ⋮ An easy test for congruence modularity ⋮ Anticommutativity and the triangular lemma ⋮ Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$ ⋮ The shape of congruence lattices ⋮ TAYLOR TERMS, CONSTRAINT SATISFACTION AND THE COMPLEXITY OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS

This page was built for publication: Congruence join semidistributivity is equivalent to a congruence identity.