Finite atomistic lattices that can be represented as lattices of quasivarieties

K. Adaricheva,W. Dziobiak,V. Gorbunov

DOI: https://doi.org/10.4064/FM-142-1-19-43

Abstract:We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11]. Introduction. A quasivariety is any universal Horn class of algebraic systems that contains a trivial algebraic system, or equivalently, any class of algebraic systems that is closed under isomorphic images, subsystems, direct products (including direct products of empty families), and ultraproducts. The set of all quasivarieties contained in a given quasivariety K forms, with respect to inclusion, a lattice denoted by Lq(K). In [16], A. I. Mal’cev asked which lattices can be represented up to isomorphism as lattices of the form Lq(K), where K ranges over all quasivarieties. The question has been named in the literature Mal’cev problem for Q-lattices, where a Q-lattice is a lattice isomorphic to any lattice of the form Lq(K). So far a complete solution of Mal’cev problem is only known within the class of Boolean lattices ([11]), the class of lattices of convex subsets of partially ordered sets ([2]) and the class of finite distributive lattices ([20]). In [11], it was shown that every lattice Sp(A) of algebraic subsets of an algebraic lattice A ordered by inclusion is a Q-lattice, where by an algebraic subset of A is meant any subset of A that is closed under arbitrary meets and joins of arbitrary chains formed in A. Notice that Sp(A) is always an atomistic lattice, i.e. every non-zero element of Sp(A) is the join of the atoms under it. These and other properties of Sp(A) lead in [11] to the question 1991 Mathematics Subject Classification: Primary 06B15, 08C15; Secondary 03C99, 08A99.