On congruence distributivity and modularity

DOI10.1007/BF01194531MaRDI QIDQ799714zbMATH OpenOpenAlexFDO

Authors Ralph Freese, Gábor Czédli

Publication date 1983

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

congruence latticesvariety of algebraslattice equationcongruence modularitycongruence distributivity

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Modular lattices, Desarguesian lattices (06C05) Structure and representation theory of distributive lattices (06D05)

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

• 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?)
• 3-3 lattice inclusions imply congruence modularity
• A test for identities satisfied in lattices of submodules
• Lattice conditions implying congruence modularity
• On some identities valid in modular congruence varieties
• Varieties whose congruences satisfy certain lattice identities
• p-modularity implies modularity in equational classes

Cited in

(14)

• Equations implying congruence \(n\)-permutability and semidistributivity.
• Congruence-distributive varieties of algebras
• A POLYNOMIAL ALGORITHM FOR TESTING CONGRUENCE MODULARITY
• How are diamond identities implied in congruence varieties?
• All congruence lattice identities implying modularity have Mal'tsev conditions
• Alan Day's early work: Congruence identities
• Congruence modularity implies the Arguesian law for single algebras with a difference term
• scientific article; zbMATH DE number 2064076 (Why is no real title available?)
• Directions in lattice theory
• scientific article; zbMATH DE number 1538018 (Why is no real title available?)
• scientific article; zbMATH DE number 167355 (Why is no real title available?)
• scientific article; zbMATH DE number 2064075 (Why is no real title available?)
• An easy test for congruence modularity
• Finitely based modular congruence varietes are distributive

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)