Abstract
The least element 0 of a finite meet semi-distributive lattice is a meet of meet-prime elements. We investigate conditions under which the least element of an algebraic, meet semi-distributive lattice is a (complete) meet of meet-prime elements. For example, this is true if the lattice has only countably many compact elements, or if |L| < 2ℵ0, or if L is in the variety generated by a finite meet semi-distributive lattice. We give an example of an algebraic, meet semi-distributive lattice that has no meet-prime element or join-prime element. This lattice L has |L| = |LC| = 2ℵ0 where Lc is the set of compact elements of L.
Similar content being viewed by others
References
ADAMS, M., K. V. ADARICHEVA, W. DZIOBIAK, and A. V. KRAVCHENKO, ‘Open questions related to the problem of Birkhoff and Maltsev’, Studio, Logica 78 (2004), 357–3 TO 78.
ADARICHEVA, K.V., ‘Lattices of algebraic subsets’, Algebra Universalis 52 (2005), 167–183.
ADARICHEVA, K.V., and V. A. GORBUNOV, ‘Equaclosure operator and forbidden semidistributive lattices’, Siberian Math. J. 30 (1989), 831–849.
FREESE, R., J. HYNDMAN, and J. B. NATION, ‘Lattices that are the join of two proper sublattices’, notes.
FREESE, R., J. JEZEK, and J.B. NATION, Free Lattices, Mathematical Surveys and Monographs 42, Amer. Math. Soc., Providence, 1995.
FRINK, O., ‘Pseudo-complements in semi-lattices’, Duke Math J. 29 (1962), 505–514.
GIERZ, G., K.H. HOFFMANN, K. KEIMEL, J. D. LAWSON, M. MISLOVE, and D. S. SCOTT, Continuous Lattices and Domains, Encyclopedia of Mathematics and its Applications 93, Cambridge Univ. Press, Cambridge, 2003.
GLIVENKO, V., ‘Sur quelques points de la logique de M. Brower’, Bull. Acad. des Sci. de Belgique 15 (1929), 183–188.
GORBUNOV, V. A., ‘Canonical decompositions in complete lattices’, Algebra and Logic 17 (1978), 323–332.
GORBUNOV, V. A., ‘The structure of lattices of quasivarieties’, Algebra Universalis 32 (1994), 493–530.
GORBUNOV, V. A., Algebraic theory of quasivarieties. (Algebraicheskaya teoriya kvaz-imnogoobrazij) (Russian) Sibirskaya Shkola Algebry i Logiki. 5. Novosibirsk: Nauch-naya Kniga, 1999. xii+368 p. English translation by Plenum, New York, 1998. xii+298 p.
GORBUNOV, V. A., and V.I. TUMANOV, ‘The structure of lattices of quasivarieties’, Proceedings of the Institute of Mathematics. Sib. Branch of USSR Acad. of Sc., 2 (1982), 12–44.
GORBUNOV, V. A., and V.I. TUMANOV, ‘The existence of prime ideals in semi-distributive lattices’, Algebra Universalis 16 (1983), 250–252.
JONSSON, B., and J. E. KlEFER, ‘Finite sublattices of a free lattice’, Canad. J. Math 14 (1962), 487–497.
MAROTI, M., and R. McKENZlE, ‘Finite basis problems and results for quasivarieties’, Studia Logica 78 (2004), 293–320.
SEMENOVA, M.V., ‘Lattices with unique irreducible decompositions’, Algebra and Logic 39 (2000), 43–60.
SEMENOVA, M. V., ‘Decompositions in complete lattices’, Algebra and Logic 40 (2001), 384–390.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Willem Johannes Blok
AMS subject classification: 06B05
While working on this paper, the first author was supported by the INTAS grant no. 03-51-4110, the second author was partially supported by the Hungarian National Foundation for Scientific Research (OTKA) grant no. T37877, and the third author was supported by the US National Science Foundation grant no. DMS0245622.
Rights and permissions
About this article
Cite this article
Adaricheva, K., Mckenzie, R., Zenk, E.R. et al. The Jónsson-Kiefer Property. Stud Logica 83, 111–131 (2006). https://doi.org/10.1007/s11225-006-8300-x
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s11225-006-8300-x