ENDOMORPHISMS OF DISTRIBUTIVE LATTICES WITH A QUANTIFIER

Abstract

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.