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
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
join dense completion
0 references
closure operator
0 references
order ideal
0 references