Finitely based modular congruence varietes are distributive

DOI10.1007/BF01190818zbMath0814.08003OpenAlexW2047611073MaRDI QIDQ1337161

Ralph Freese

Publication date: 13 June 1995

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

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

zbMATH Keywords

finitely basedlattice equationsmodular congruence variety

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10)

Related Items (4)

Alan Day's early work: Congruence identities ⋮ Alan Day's work on modular and arguesian lattices ⋮ A review of some of Bjarni Jónsson's results on representation of Arguesian lattices ⋮ Finitely based congruence varieties

Cites Work

• Unnamed Item
• Unnamed Item
• An easy way to the commutator in modular varieties
• On some identities valid in modular congruence varieties
• Varieties whose congruences satisfy certain lattice identities
• Planar sublattices of FM(4)
• Congruence modularity implies the Arguesian identity
• Universal Horn axiom systems for lattices of submodules
• A test for identities satisfied in lattices of submodules
• S-verklebte Summen von Verbänden
• Arguesian lattices which are not type-1
• Su una classe equazionale di algebre
• On the Representation of Lattices by Modules
• Arguesian lattices which are not linear

This page was built for publication: Finitely based modular congruence varietes are distributive