Categories of partial algebras for critical points between varieties of algebras.

DOI10.1007/S00012-014-0279-YMaRDI QIDQ2249403zbMATH OpenOpenAlexFDO

Authors Pierre Gillibert

Publication date 1 July 2014

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

critical pointscongruence latticesvarieties of algebraspartial algebrasfinitely generated congruencesCondensate Lifting Lemma, congruence-preserving extensionsgampspregamps

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Semilattices (06A12) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Partial algebras (08A55)

Abstract: A lifting of a semilattice S is an algebra A such that the semilattice of compact (=finitely generated) congruences of A is isomorphic to S. The aim of this work is to give a categorical theory of partial algebras endowed with a partial subalgebra together with a semilattice-valued distance, that we call gamps. This part of the theory is formulated in any variety of (universal) algebras. Let V and W be varieties of algebras (on a finite similarity type). Let P be a finite lattice of order-dimension d>0. Assume that we have a diagram of semilattice with a lifting in V, but with no "partial lifting" in the category of gamps of W, then there is a semilattice S of cardinality aleph (d - 1), such that S has a lifting in V, but S has no lifting in W. We already knew a similar result for diagrams with no lifting in W, however the semilattice S constructed here has cardinality aleph d. Gamps are also used to study congruence-preserving extensions. Denote by M the variety generated by the lattice of length two, with three atoms. We construct a lattice A in M of cardinality aleph 1 with no congruence n-permutable, congruence-preserving extension, for each n > 1.

Recommendations

• Uncountable critical points for congruence lattices
• CRITICAL POINTS OF PAIRS OF VARIETIES OF ALGEBRAS
• The possible values of critical points between strongly congruence-proper varieties of algebras
• Critical points between varieties generated by subspace lattices of vector spaces
• Congruence lifting of semilattice diagrams

Cites work

• scientific article; zbMATH DE number 3845642 (Why is no real title available?)
• scientific article; zbMATH DE number 3724514 (Why is no real title available?)
• scientific article; zbMATH DE number 3506705 (Why is no real title available?)
• scientific article; zbMATH DE number 1336309 (Why is no real title available?)
• scientific article; zbMATH DE number 1528675 (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?)
• scientific article; zbMATH DE number 3249805 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• A distributive semilattice not isomorphic to the maximal semilattice quotient of the positive cone of any dimension group
• A solution to Dilworth's congruence lattice problem
• A survey of recent results on congruence lattices of lattices.
• A uniform refinement property for congruence lattices
• An infinite combinatorial statement with a poset parameter
• CONGRUENCE LIFTING OF DIAGRAMS OF FINITE BOOLEAN SEMILATTICES REQUIRES LARGE CONGRUENCE VARIETIES
• CRITICAL POINTS OF PAIRS OF VARIETIES OF ALGEBRAS
• Combinatorial set theory: Partition relations for cardinals
• Congruence lattices of free lattices in non-distributive varieties
• Congruence lattices of lattices with \(m\)-permutable congruences
• Congruence lifting of semilattice diagrams
• Critical points between varieties generated by subspace lattices of vector spaces
• Distributive congruence lattices of congruence-permutable algebras
• Dual spaces of some congruence lattices.
• Equational classes of modular lattices
• Free trees and the optimal bound in Wehrung's theorem
• From objects to diagrams for ranges of functors
• Iterative separation in distributive congruence lattices
• Lattice varieties covering the smallest non-modular variety
• Lifting defects for nonstable \(K_{0}\)-theory of exchange rings and \(C^*\)-algebras
• Liftings of Diagrams of Semilattices by Diagrams of Dimension Groups
• Non-measurability properties of interpolation vector spaces
• On congruence lattices of lattices
• POSET REPRESENTATIONS OF DISTRIBUTIVE SEMILATTICES
• Relative separation in distributive congruence lattices
• Representation of algebraic distributive lattices with \(\aleph_1\) compact elements as ideal lattices of regular rings
• Representations of distributive semilattices in ideal lattices of various algebraic structures.
• SIMULTANEOUS REPRESENTATIONS OF SEMILATTICES BY LATTICES WITH PERMUTABLE CONGRUENCES
• Separation properties in congruence lattices of lattices
• Sur une caractérisation des alephs
• Tensor Products of Dimension Groups and K₀ of Unit-Regular Rings
• The possible values of critical points between varieties of lattices

Cited in

(5)

• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. I
• Cevian operations on distributive lattices
• Infinite combinatorial issues raised by lifting problems in universal algebra
• Uncountable critical points for congruence lattices
• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. III

This page was built for publication: Categories of partial algebras for critical points between varieties of algebras.

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