CONGRUENCE LIFTING OF DIAGRAMS OF FINITE BOOLEAN SEMILATTICES REQUIRES LARGE CONGRUENCE VARIETIES
نویسندگان
چکیده
منابع مشابه
Congruence Lifting of Diagrams of Finite Boolean Semilattices Requires Large Congruence Varieties
We construct a diagram D⊲⊳, indexed by a finite partially ordered set, of finite Boolean 〈∨, 0, 1〉-semilattices and 〈∨, 0, 1〉-embeddings, with top semilattice 2, such that for any variety V of algebras, if D⊲⊳ has a lifting, with respect to the congruence lattice functor, by algebras and homomorphisms in V, then there exists an algebra U in V such that the congruence lattice of U contains, as a...
متن کاملCongruence Lattices of Semilattices
The main result of this paper is that the class of congruence lattices of semilattices satisfies no nontrivial lattice identities. It is also shown that the class of subalgebra lattices of semilattices satisfies no nontrivial lattice identities. As a consequence it is shown that if 5^* is a semigroup variety all of whose congruence lattices satisfy some fixed nontrivial lattice identity, then a...
متن کاملCongruence semimodular varieties I: Locally finite varieties
The lattice of closed subsets of a set under such a closure operator is semimodular. Perhaps the best known example of a closure operator satisfying the exchange principle is the closure operator on a vector space W where for X ___ W we let C(X) equal the span of X. The lattice of C-closed subsets of W is isomorphic to Con(W) in a natural way; indeed, if Y _~ W x W and Cg(Y) denotes the congrue...
متن کاملCongruence lattices of pseudocomplemented semilattices
Congruence lattices of algebras in various varieties have been studied extensively in the literature. For example, congruence lattices (i.e. lattices of ideals) of Boolean algebras were characterized by Nachbin [18] (see also Gratzer [9] and Jonsson [16]) while congruence lattices of semilattices were investigated by Papert [19], Dean and Oehmke [4] and others. In this paper we initiate the inv...
متن کاملFinite Axiomatizability of Congruence Rich Varieties
In this paper we introduce the notion of a congruence rich variety of algebras, and investigate which locally finite subvarieties of such a variety are relatively finitely based. We apply the results obtained to investigate the finite axiomatizability of an interesting variety generated by a particular five-element directoid. Roughly speaking, congruence rich varieties are those in which all la...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Algebra and Computation
سال: 2006
ISSN: 0218-1967,1793-6500
DOI: 10.1142/s0218196706003049