The possible values of critical points between strongly congruence-proper varieties of algebras
From MaRDI portal
Publication:2445862
DOI10.1016/J.AIM.2014.03.001zbMATH Open1300.08002arXiv1104.4207OpenAlexW1979844539MaRDI QIDQ2445862FDOQ2445862
Authors: Pierre Gillibert 
Publication date: 15 April 2014
Published in: Advances in Mathematics (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1104.4207
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
Equational classes, universal algebra in model theory (03C05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15)
Cites Work
- Lattice Theory: Foundation
- The structure of finite algebras
- A solution to Dilworth's congruence lattice problem
- Title not available (Why is that?)
- Title not available (Why is that?)
- Free trees and the optimal bound in Wehrung's theorem
- On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
- Algebraic point lattices of quasivarieties
- Title not available (Why is that?)
- Dual spaces of some congruence lattices.
- A survey of recent results on congruence lattices of lattices.
- Critical points between varieties generated by subspace lattices of vector spaces
- Separation in distributive congruence lattices
- CRITICAL POINTS OF PAIRS OF VARIETIES OF ALGEBRAS
- Separation properties in congruence lattices of lattices
- Title not available (Why is that?)
- From objects to diagrams for ranges of functors
- Distributive congruence lattices of congruence-permutable algebras
- Non-representable distributive semilattices
- Non-measurability properties of interpolation vector spaces
- Relative separation in distributive congruence lattices
- Tensor Products of Dimension Groups and K0 of Unit-Regular Rings
- The possible values of critical points between varieties of lattices
- Congruence lattices of locally 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)
