Congruence lifting of diagrams of finite Boolean semilattices requires large congruence varieties

Details Congruence lifting of diagrams of finite Boolean semilattices requires large congruence varieties Congruence lifting of diagrams of finite Boolean semilattices requires large congruence varieties

2004-10-27

arxiv.org/abs/math/0410576v1

Mathematics

Rings and Algebras

Scientific paper

We construct a diagram D, indexed by a finite partially ordered set, of finite Boolean semilattices and (v,0,1)-embeddings, with top semilattice $2^4$, 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 0,1-sublattice, the five-element modular nondistributive lattice $M_3$. In particular, V has an algebra whose congruence lattice is neither join- nor meet-semidistributive. Using earlier work of K.A. Kearnes and A.Szendrei, we also deduce that V has no nontrivial congruence lattice identity. In particular, there is no functor F from finite Boolean semilattices and (v,0,1)-embeddings to lattices and lattice embeddings such that the composition Con F is equivalent to the identity (where Con denotes the congruence lattice functor), thus solving negatively a problem raised by P. Pudlak in 1985 about the existence of a functorial solution of the Congruence Lattice Problem.

Affiliated with

Also associated with

No associations

Rating

Congruence lifting of diagrams of finite Boolean semilattices requires large congruence varieties 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 Congruence lifting of diagrams of finite Boolean semilattices requires large congruence varieties, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Congruence lifting of diagrams of finite Boolean semilattices requires large congruence varieties will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-342953