Joins of minimal quasivarieties
type: Item
instance of: scholarly article
title: Joins of minimal quasivarieties
zbMATH Open document ID: 0830.08008
DOI: 10.1007/BF01053005
author: Yanyan Li
published in: Studia Logica
publication date: 1996-01-30T00:00:00Z
review text: Let \({\mathcal D}_2\) denote the variety of algebras \((L;\wedge, \vee, 0, c_0, c_1,1)\) which are distributive \((0,1)\)-lattices with two distinguished elements \(c_0, c_1\in L\). It is known that the only subdirectly irreducible algebras in \({\mathcal D}_2\) are \(2_{ij}= (\{0, 1\};\wedge, \vee, 0, i,j, 1)\) with \(i,j\in \{0, 1\}\). Let, further, \(V_0\), \(V_1\), \(V_2\), \(V_3\) denote the quasivarieties generated by the algebras \(2_{00}\), \(2_{01}\), \(2_{10}\), \(2_{11}\), respectively. These quasivarieties are minimal elements in the lattice \(L({\mathcal D}_2)\) of quasivarieties contained in \({\mathcal D}_2\). It is proved that 1) the lattice \(L(V_1+ V_2)\) of subquasivarieties of the join \(V_1+ V_2\) is a 7-element lattice, 2) for distinct \(i\) and \(j\) with \(\{i, j\}\neq \{1, 2\}\), \(L(V_i+ V_j)\) is a countable infinite non-distributive lattice, 3) for distinct \(i\), \(j\), and \(k\), \(L(V_i+ V_j+ V_k)\) contains as a sublattice the ideal lattice of a free lattice with \(\omega\) free generators and is of cardinality \(2^\omega\).
Mathematics Subject Classification ID: 08B15
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 06D99
Mathematics Subject Classification ID: 06B20
Mathematics Subject Classification ID: 06B25
zbMATH DE Number: 769071
zbMATH Keywords: lattice of quasivarieties
zbMATH Keywords: distributive lattice
zbMATH Keywords: join
zbMATH Keywords: ideal lattice
zbMATH Keywords: free lattice
reviewed by: V. N. Saliĭ
MaRDI profile type: Publication
cites work: Q3697064
cites work: The structure of the lattices of quasivarieties
cites work: Q3918176
cites work: Q3901570
cites work: On full embeddings of categories of algebras
cites work: Q3686771
cites work: Representation of Distributive Lattices by means of ordered Stone Spaces
cites work: Varieties with a countable number of subquasivarieties
cites work: The lattice of quasivarieties of semigroups
cites work: On Implicational Completeness
cites work: Embedding a free lattice in a lattice of quasivarieties of distributive lattices with pseudocomplementation
full work available at URL: https://doi.org/10.1007/bf01053005
OpenAlex ID: W1967337549
Recommended article: Q3033815
Recommended article: Q3728057
Recommended article: Q3710573
Recommended article: Q4952392
Recommended article: Q3734478
Recommended article: Minimal quasi-complete intersection ideals
Recommended article: New Computational Paradigms
Recommended article: Properties of the join of varieties of algebras
Recommended article: On the join of Cross varieties of algebras
Recommended article: PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS
description: scientific article; zbMATH DE number 769071