Collection of finite lattices generated by a poset (Q1590177)

For a finite poset \(P\), let \(L_P\) be the unique distributive lattice such that \(P\) is the poset of all meet-irreducible elements of \(L_P\). For every lattice \(L\) such that \(P\) is the poset of all meet-irreducible elements of \(L\), define a mapping \(\phi_L:L\to L_P\) such that \(\phi_L(x)=\bigwedge \{y\in P\mid y\geq x\text{ \;in }L\}\) for all \( x\in L\). Then \(\phi_L\) is injective and order preserving. It is proved that the set of all lattices \(L\) such that \(P\) is the poset of all meet-irreducible elements of \(L\) ordered by the inclusion of \(\operatorname {Im}(\phi_L)\) is a lattice -- denote it \(\mathcal L_P\). Characterizations of finite posets \(P\) such that \(\mathcal L_P\) is a Boolean lattice or a distributive lattice or a modular lattice (in fact, any modular lattice \(\mathcal L_P\) is distributive) are given.