Representations and embeddings of M-distributive lattices. (English) Zbl 0551.06014

Continuous lattices are characterized by the distributivity of arbitrary meets over up-directed joins. The authors consider complete lattices in which arbitrary meets distribute over joins of sets from a certain system M. They discuss the transfer of basic properties of continuous lattices to this generalized context of M-distributive lattices. Questions like the idempotency of the M-below relation or M-embeddings in a cube (i.e. in a power of [0,1]) are considered. Results are applied to the system \(M_ f\) of all finitely generated lower ends. One gets the result of S. Papert [Proc. Camb. Philos. Soc. 55, 172-176 (1959; Zbl 0178.337)] that \(M_ f\)-distributive lattices having the idempotent \(M_ f\)- below relation coincide with lattices of closed sets of a topological space. One should relate \(M_ f\)-distributive lattices to frames (in the sense of P. T. Johnstone [Stone spaces (1982; Zbl 0499.54001)]) because it is easy to see that any \(M_ f\)-distributive lattice is the dual of a frame.
Reviewer: J.Rosický


06D10 Complete distributivity
06B23 Complete lattices, completions
06D05 Structure and representation theory of distributive lattices