The lattice of strict completions of a finite poset. (Q1771910): Difference between revisions

A finite lattice \(\mathcal L\) is a strict completion of a (finite) poset \(\mathcal P\) if the poset \(\mathcal J\) of the join-irreducible elements of \(\mathcal L\) is isomorphic to \(\mathcal P\). For a given poset \(\mathcal P\), strict completions of \(\mathcal P\) are constructed. This family of lattices, \(\mathcal M_{\mathcal P}\), turns out to be itself a lattice, which is lower bounded and lower semimodular. The join-irreducible elements of this lattice are also determined. The properties of the lattice \(\mathcal M_{\mathcal P}\) are related to properties of the given poset \(\mathcal P\). In particular, the posets \(\mathcal P\) for which \(| \mathcal M_{\mathcal P} | \leq 2\) are characterized. Finally the case where \(\mathcal M_{\mathcal P}\) is distributive is studied.