The possible values of critical points between strongly congruence-proper varieties of algebras
From MaRDI portal
(Redirected from Publication:2445862)
Abstract: We denote by Conc(A) the semilattice of all finitely generated congruences of an (universal) algebra A, and we define Conc(V) as the class of all isomorphic copies of all Conc(A), for A in V, for any variety V of algebras. Let V and W be locally finite varieties of algebras such that for each finite algebra A in V there are, up to isomorphism, only finitely many B in W such that A and B have isomorphic congruence lattices, and every such B is finite. If Conc(V) is not contained in Conc(W), then there exists a semilattice of cardinality aleph 2 in Conc(V)-Conc(W). Our result extends to quasivarieties of first-order structures, with finitely many relation symbols, and relative congruence lattices. In particular, if W is a finitely generated variety of algebras, then this occurs in case W omits the tame congruence theory types 1 and 5; which, in turn, occurs in case W satisfies a nontrivial congruence identity. The bound aleph 2 is sharp.
Recommendations
- CRITICAL POINTS OF PAIRS OF VARIETIES OF ALGEBRAS
- The possible values of critical points between varieties of lattices
- Critical points between varieties generated by subspace lattices of vector spaces
- Uncountable critical points for congruence lattices
- Congruence semimodular varieties. I: Locally finite varieties
Cites work
- scientific article; zbMATH DE number 3845642 (Why is no real title available?)
- scientific article; zbMATH DE number 4035895 (Why is no real title available?)
- scientific article; zbMATH DE number 4120222 (Why is no real title available?)
- scientific article; zbMATH DE number 4120223 (Why is no real title available?)
- A solution to Dilworth's congruence lattice problem
- A survey of recent results on congruence lattices of lattices.
- Algebraic point lattices of quasivarieties
- CRITICAL POINTS OF PAIRS OF VARIETIES OF ALGEBRAS
- Congruence lattices of locally finite algebras
- Critical points between varieties generated by subspace lattices of vector spaces
- Distributive congruence lattices of congruence-permutable algebras
- Dual spaces of some congruence lattices.
- Free trees and the optimal bound in Wehrung's theorem
- From objects to diagrams for ranges of functors
- Lattice Theory: Foundation
- Non-measurability properties of interpolation vector spaces
- Non-representable distributive semilattices
- On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
- Relative separation in distributive congruence lattices
- Separation in distributive congruence lattices
- Separation properties in congruence lattices of lattices
- Tensor Products of Dimension Groups and K0 of Unit-Regular Rings
- The possible values of critical points between varieties of lattices
- The structure of finite algebras
Cited in
(8)- Infinite combinatorial issues raised by lifting problems in universal algebra
- Categories of partial algebras for critical points between varieties of algebras.
- Uncountable critical points for congruence lattices
- Critical points between varieties generated by subspace lattices of vector spaces
- The possible values of critical points between varieties of lattices
- On the size of congruence lattices for models of theories with definability of congruences
- Evaporation schemes in congruence lattices of majority algebras
- CRITICAL POINTS OF PAIRS OF VARIETIES OF ALGEBRAS
This page was built for publication: The possible values of critical points between strongly congruence-proper varieties of algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2445862)
