Finitely based congruence varieties
From MaRDI portal
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.
Cites work
- A Characterization of Identities Implying Congruence Modularity I
- A geometric description of modular lattices
- A note on hemi-primal algebras
- A test for identities satisfied in lattices of submodules
- Algebras, lattices, varieties. Volume I. With an additional bibliography
- Algebras, lattices, varieties. Volume II
- Arguesian lattices which are not type-1
- Axiomatizable and nonaxiomatizable congruence prevarieties
- Commutator Theory Without Join-Distributivity
- Complemented Modular Lattices and Projective Spaces of Infinite Dimension
- Congruence modularity implies the Arguesian identity
- Finitely based modular congruence varietes are distributive
- From a lattice to its ideal lattice
- scientific article; zbMATH DE number 4029642 (Why is no real title available?)
- scientific article; zbMATH DE number 4035895 (Why is no real title available?)
- scientific article; zbMATH DE number 3769691 (Why is no real title available?)
- scientific article; zbMATH DE number 3777562 (Why is no real title available?)
- scientific article; zbMATH DE number 3997859 (Why is no real title available?)
- scientific article; zbMATH DE number 758787 (Why is no real title available?)
- scientific article; zbMATH DE number 3424071 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- scientific article; zbMATH DE number 3097906 (Why is no real title available?)
- Identities in Finite Partition Lattices
- Kongruenzklassengeometrien
- On Freese’s technique
- On some identities valid in modular congruence varieties
- Representations of primary Arguesian lattices
- The class of sublattices of normal subgroup lattices is not elementary
- The Relationship Between Two Commutators
- The shape of congruence lattices
- The Variety of Modular Lattices is Not Generated by its Finite Members
- Universal Horn axiom systems for lattices of submodules
- Varieties whose congruences satisfy certain lattice identities
- Zum Begriff der Charakteristik modularer Verbände
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)