Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$
From MaRDI portal
Publication:5441154
DOI10.1090/S0002-9939-07-09337-9zbMath1132.08001OpenAlexW1561127818MaRDI QIDQ5441154
Publication date: 8 February 2008
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0002-9939-07-09337-9
Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)
Related Items
Universal algebraic methods for non-classical logics ⋮ An easy test for congruence modularity ⋮ The shape of congruence lattices
Cites Work
- Unnamed Item
- Unnamed Item
- Lattice varieties covering the smallest non-modular variety
- Congruence varieties
- Some applications of the term condition
- Congruence join semidistributivity is equivalent to a congruence identity.
- \(n\)-permutable varieties satisfy non trivial congruence identities
- On \(n\)-permutable congruences
- The structure of finite algebras
- Commutator Theory Without Join-Distributivity