Endomorphisms of Distributive Lattices with a Quantifier

Let V be a non-trivial variety of bounded distributive lattices with a quantifier, as introduced by Cignoli in [7]. It is shown that if V does not contain the 4-element bounded Boolean lattice with a simple quantifier, then V contains non-isomorphic algebras with isomorphic endomorphism monoids, but there are always at most two such algebras. Further, it is shown that if V contains the 4-element bounded Boolean lattice with a simple quantifier, then it is finite-to-finite universal (in the categorical sense) and, as a consequence, for any monoid M, there exists a proper class of non-isomorphic algebras in V for which the endomorphism monoid of every member is isomorphic to M.

[1]  Donald Monk,et al.  On Equational Classes of Algebraic Versions of Logic I. , 1970 .

[2]  Hilary A. Priestley.  Natural dualities for varieties of distributive lattices with a quantifier , 1993 .

[3]  Wieslaw Dziobiak,et al.  Open questions related to the problem of Birkhoff and Maltsev , 2004, Stud Logica.

[4]  M. E. Adams,et al.  Finite-to-finite universal quasivarieties are Q-universal , 2001 .

[5]  Z. Hedrlín,et al.  On full embeddings of categories of algebras , 1966 .

[6]  INFINITE IMAGE HOMOMORPHISMS OF DISTRIBUTIVE BOUNDED LATTICES , 1986 .

[7]  Roberto Cignoli.  Quantifiers on distributive lattices , 1991, Discret. Math..

[8]  Alejandro Petrovich.  Equations in the theory of Q-distributive lattices , 1997, Discret. Math..

[9]  Roberto Cignoli,et al.  Free Q-distributive lattices , 1996, Stud Logica.

[10]  Paul R. Halmos,et al.  Algebraic logic, I. Monadic boolean algebras , 1956 .

[11]  Mark Sapir,et al.  The lattice of quasivarieties of semigroups , 1985 .

[12]  A. Pultr,et al.  Combinatorial, algebraic, and topological representations of groups, semigroups, and categories , 1980 .

[13]  Václav Koubek,et al.  Homomorphisms and endomorphisms in varieties of pseudocomplemented distributive lattices (with applications to Heyting algebras) , 1984 .

[14]  B. M. Schein,et al.  Ordered sets, semilattices, distributive lattices and Boolean algebras with homomorphic endomorphism semigroups , 1970 .

[15]  Wieslaw Dziobiak.  On subquasivariety lattices of some varieties related with distributive p-algebras , 1985 .

[16]  Václav Koubek,et al.  Universal varieties of $(0,1)$-lattices , 1990 .

[17]  Hilary A. Priestley,et al.  Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .

[18]  V. Gorbunov,et al.  Algebraic theory of quasivarieties , 1998 .

[19]  Manuel Abad,et al.  Free Q-distributive lattices from meet semilattices , 2000, Discret. Math..

[20]  M. E. Adams,et al.  Endomorphisms of monadic Boolean algebras , 2007 .

[21]  Wieslaw Dziobiak,et al.  Quasivarieties of distributive lattices with a quantifier , 1994, Discret. Math..

[22]  K. B. Lee,et al.  Equational Classes of Distributive Pseudo-Complemented Lattices , 1970, Canadian Journal of Mathematics.