Publication:6142015

DOI10.1007/S00012-023-00840-6arXiv2306.14396OpenAlexW4390826529WikidataQ130101556 ScholiaQ130101556MaRDI QIDQ6142015FDOQ6142015

Paolo Lipparini, Ralph Freese

Publication date: 23 January 2024

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

Abstract: We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.

Full work available at URL: https://arxiv.org/abs/2306.14396

zbMATH Keywords

congruence latticeprojective latticescongruence varietyfinite (equational) basishigher Arguesian identities

Mathematics Subject Classification ID

Representation theory of lattices (06B15) Modular lattices, Desarguesian lattices (06C05) Varieties (08B99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The shape of congruence lattices
• The Variety of Modular Lattices is Not Generated by its Finite Members
• Complemented Modular Lattices and Projective Spaces of Infinite Dimension
• The Relationship Between Two Commutators
• On some identities valid in modular congruence varieties
• Zum Begriff der Charakteristik modularer Verbände
• Congruence modularity implies the Arguesian identity
• A test for identities satisfied in lattices of submodules
• Finitely based modular congruence varietes are distributive
• Arguesian lattices which are not type-1
• Representations of primary Arguesian lattices
• Axiomatizable and nonaxiomatizable congruence prevarieties
• Varieties whose congruences satisfy certain lattice identities
• A Characterization of Identities Implying Congruence Modularity I
• A geometric description of modular lattices
• Kongruenzklassengeometrien
• Algebras, Lattices, Varieties
• From a lattice to its ideal lattice
• Identities in Finite Partition Lattices
• Universal Horn axiom systems for lattices of submodules
• The class of sublattices of normal subgroup lattices is not elementary
• Commutator Theory Without Join-Distributivity
• A note on hemi-primal algebras
• Algebras, Lattices, Varieties
• On Freese’s technique

This page was built for publication: Finitely based congruence varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6142015)