The lattice of completions of an ordered set (Q1368659)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The lattice of completions of an ordered set
scientific article

    Statements

    The lattice of completions of an ordered set (English)
    0 references
    0 references
    0 references
    0 references
    13 May 1998
    0 references
    The join dense completions of an ordered set \(P\) form a complete lattice \(K(P)\). Its least element is \(\mathcal O(P)\), the lattice of all order ideals of \(P\), and its greatest element is \(\mathcal M(P)\), the Dedekind-MacNeille completion of \(P\). It is isomorphic to an ideal of the lattice of all closure operators on \(\mathcal O(P)\). Some local structural properties of lattices of closure operators on complete lattices are proved. These are inherited by \(K(P)\) as well. In particular, if \(K(P)\) is finite, then it is an upper semimodular lattice and an upper bounded homomorphic image of a free lattice, and hence meet semidistributive.
    0 references
    0 references
    join dense completion
    0 references
    closure operator
    0 references
    order ideal
    0 references
    0 references