On congruence distributivity and modularity
From MaRDI portal
Let \(\epsilon\) be a lattice equation. We say that \(\epsilon\) implies congruence modularity (congruence distributivity) if whenever \({\mathcal K}\) is a variety of algebras all of whose congruence lattices satisfy \(\epsilon\) then all of these lattices are modular (distributive). It is proved that the class of lattice equations which imply congruence modularity (congruence distributivity) is recursive. In other words, one can recursively decide if a lattice equation \(\epsilon\) implies congruence modularity (congruence distributivity).
Recommendations
- All congruence lattice identities implying modularity have Mal'tsev conditions
- Equations implying congruence \(n\)-permutability and semidistributivity.
- How are diamond identities implied in congruence varieties?
- A POLYNOMIAL ALGORITHM FOR TESTING CONGRUENCE MODULARITY
- scientific article; zbMATH DE number 598118
Cites work
- 3-3 lattice inclusions imply congruence modularity
- A test for identities satisfied in lattices of submodules
- scientific article; zbMATH DE number 3777562 (Why is no real title available?)
- scientific article; zbMATH DE number 3472124 (Why is no real title available?)
- scientific article; zbMATH DE number 3561418 (Why is no real title available?)
- Lattice conditions implying congruence modularity
- On some identities valid in modular congruence varieties
- p-modularity implies modularity in equational classes
- Varieties whose congruences satisfy certain lattice identities
Cited in
(14)- Congruence modularity implies the Arguesian law for single algebras with a difference term
- Directions in lattice theory
- Finitely based modular congruence varietes are distributive
- How are diamond identities implied in congruence varieties?
- Alan Day's early work: Congruence identities
- Equations implying congruence \(n\)-permutability and semidistributivity.
- All congruence lattice identities implying modularity have Mal'tsev conditions
- A POLYNOMIAL ALGORITHM FOR TESTING CONGRUENCE MODULARITY
- scientific article; zbMATH DE number 167355 (Why is no real title available?)
- scientific article; zbMATH DE number 2064075 (Why is no real title available?)
- scientific article; zbMATH DE number 2064076 (Why is no real title available?)
- An easy test for congruence modularity
- scientific article; zbMATH DE number 1538018 (Why is no real title available?)
- Congruence-distributive varieties of algebras
This page was built for publication: On congruence distributivity and modularity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799714)
