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

DOI10.1007/S00012-014-0279-YzbMATH Open1305.08005arXiv1012.1949OpenAlexW2031669519MaRDI QIDQ2249403FDOQ2249403

Pierre Gillibert

Publication date: 1 July 2014

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

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.

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)

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

Cited In (3)

• Cevian operations on distributive lattices
• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. III
• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. I

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)