The 0-distributivity in the class of subalgebra lattices of Heyting algebras and closure algebras
The minimal nontrivial endomorphism monoids of congruence lattices of algebras defined on a finite set are described. They correspond (via the Galois connection -) to the maximal nontrivial congruence lattices investigated and characterized by the authors in previous papers. Analogous results are provided for endomorphism monoids of quasiorder lattices .
The aim of this paper is to characterize pairs (L, A), where L is a finite lattice and A a finite algebra, such that the subalgebra lattice of A is isomorphic to L. Next, necessary and sufficient conditions are found for pairs of finite algebras (of possibly distinct types) to have isomorphic subalgebra lattices. Both of these characterizations are particularly simple in the case of distributive subalgebra lattices. We do not restrict our attention to total algebras only, but we consider the more...