×

On lattices embeddable into lattices of algebraic subsets. (English) Zbl 1209.06003

Let \(L\) be a complete lattice. A subset of \(L\) is called algebraic if it is closed under arbitrary meets and under joins over nonempty up-directed subsets. \(\text{Sp}(L)\) denotes the set of all algebraic subsets of \(L\). An element \(x\in L\) is called way-below an element \(y\in L\) if, whenever \(y\leq\bigvee D\) for a nonempty up-directed \(D\subseteq L\), we have \(x\leq d\) for some \(d\in D\). An element \(x\in L\) is called compact if \(x\) is way-below \(x\). The complete lattice \(L\) is called Scott-continuous if every element is a join of elements way below it, and \(L\) is called algebraic if every element is a join of compact elements. Furthermore, \(L\) is called bi-algebraic if both \(L\) and its dual are algebraic. It is well known (see [G. Gierz, K. Hofmann, K. Keimel, J. Lawson, M. Mislove and D. S. Scott, Continuous lattices and domains. Encyclopedia of Mathematics and Its Applications 93. Cambridge: Cambridge University Press (2003; Zbl 1088.06001)]) that every algebraic lattice is Scott-continuous and every Scott-continuous lattice is upper continuous. The main result of the paper is the following theorem (solving a problem of [K. V. Adaricheva, V. A. Gorbunov and V. I. Tumanov, Adv. Math. 173, No. 1, 1–49 (2003; Zbl 1059.06003)]): For any Scott-continuous lattice \(L\), the lattice \(\text{Sp}(L)\) embeds into \(\text{Sp}(A)\) for some bi-algebraic distributive lattice \(A\), where the embedding preserves arbitrary meets and finite joins. In particular, \(\text{Sp}(L)\) has the so-called Jónsson-Kiefer property, i.e., any \(X\in\text{Sp}(L)\) is a join of elements which are join-prime in the principal ideal generated by \(X\).

MSC:

06B15 Representation theory of lattices
06B23 Complete lattices, completions
06B35 Continuous lattices and posets, applications
08C15 Quasivarieties
Full Text: DOI

References:

[1] Adaricheva K.V., Gorbunov V.A., Tumanov V.I.: Join-semidistributive lattices and convex geometries. Adv. Math. 173, 1–49 (2003) · Zbl 1059.06003 · doi:10.1016/S0001-8708(02)00011-7
[2] Adaricheva K.V., Maróti M., McKenzie R., Nation J.B., Zenk E.R.: The Jónsson-Kiefer property. Studia Logica 83, 111–131 (2006) · Zbl 1108.06004 · doi:10.1007/s11225-006-8300-x
[3] Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications, vol. 93. Cambridge University Press (2003) · Zbl 1088.06001
[4] Gorbunov V.A.: The structure of lattices of quasivarieties. Algebra Universalis 32, 493–530 (1994) · Zbl 0815.08006 · doi:10.1007/BF01195725
[5] Gorbunov, V.A.: Algebraic Theory of Quasivarieties. Sibirskaya Shkola Algebry i Logiki, vol. 5. Nauchnaya Kniga, Novosibirsk (1999) (Russian). English translation: Plenum, New York (1998)
[6] Gorbunov V.A., Tumanov V.I.: A class of lattices of quasivarieties. Algebra i Logika 19, 59–80 (1980) (Russian) · Zbl 0466.08004
[7] Gorbunov V.A., Tumanov V.I.: The structure of lattices of quasivarieties. Trudy Inst. Math. SO AN SSSR 2, 12–44 (1982) (Russian) · Zbl 0523.08008
[8] Wehrung F.: Sublattices of complete lattices with continuity conditions. Algebra Universalis 53, 149–173 (2005) · Zbl 1103.06003 · doi:10.1007/s00012-005-1878-4
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.