Finite distributive lattices of quasivarieties

DOI10.1007/BF01978665MaRDI QIDQ799718zbMATH OpenOpenAlexFDO

Authors V. I. Tumanov

Publication date 1983

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/187214

zbMATH Keywords

elementary theoryfinite distributive latticehereditarily unsolvablelattice of quasivarietieslocally finite quasivariety

Mathematics Subject Classification ID

Free lattices, projective lattices, word problems (06B25) Structure and representation theory of distributive lattices (06D05) Lattices of varieties (08B15) Quasivarieties (08C15)

Review text

The paper contains an answer to the question: Is it possible to represent every finite distributive lattice by a lattice of quasivarieties? The answer is: For any distributive lattice L there exists a finitely generated, locally finite quasivariety M of finite type such that the lattice L is isomorphic to the lattice \(L_ q(M)\) of all subvarieties of the quasivariety M. As a corollary we have: The elementary theory of the class of all distributive lattices is hereditarily unsolvable. The paper is devoted mainly to the proof of the main theorem. Moreover, in the last part the author presents one problem and some remarks and corollaries.

Recommendations

• Finite atomistic lattices that can be represented as lattices of quasivarieties
• Every finite lattice in \(\mathcal V(\mathbf M_ 3)\) is representable
• On representation of finite lattices
• scientific article; zbMATH DE number 5623
• Unreasonable lattices of quasivarieties

Cites work

• Finite groups with a self-normalizing subgroup of order 6
• scientific article; zbMATH DE number 3730216 (Why is no real title available?)
• scientific article; zbMATH DE number 3496231 (Why is no real title available?)

Cited in

(20)

• A property of the lattice of equational theories
• On atoms in the lattice of quasivarieties
• Quasivarities of distributive lattices with a quantifier
• Quasiorders and sublattices of distributive lattices
• A refinement of the equaclosure operator
• On representation of finite lattices
• The lattice of subquasivarieties of a locally finite quasivariety
• Open questions related to the problem of Birkhoff and Maltsev
• Structure of quasivariety lattices. III: Finitely partitionable bases
• Congruence lattices of semilattices with operators
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• scientific article; zbMATH DE number 4037828 (Why is no real title available?)
• scientific article; zbMATH DE number 59568 (Why is no real title available?)
• Finite atomistic lattices that can be represented as lattices of quasivarieties
• scientific article; zbMATH DE number 889632 (Why is no real title available?)
• Characterization of distributive lattices of quasivarieties of unars
• Distributivity conditions for lattices of dominions in quasivarieties of Abelian groups
• Quasi-polynomial functions over bounded distributive lattices
• Embedding a free lattice in a lattice of quasivarieties of distributive lattices with pseudocomplementation
• On distributivity of the lattice of subquasivarieties of a locally finite semi-simple arithmetical variety

This page was built for publication: Finite distributive lattices of quasivarieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799718)