Mathematics – Category Theory
Scientific paper
2010-12-09
Mathematics
Category Theory
47 pages
Scientific paper
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.
No associations
LandOfFree
Categories of partial algebras for critical points between varieties of algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Categories of partial algebras for critical points between varieties of algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Categories of partial algebras for critical points between varieties of algebras will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-76750