Extending a partially ordered set: Links with its lattice of ideals (Q1583840)

Given a poset \(P\) on a set \(X\) it naturally defines a family \(E(P)\) of posets on \(X\) which extend \(P\), i.e., if \(x\leq y\) in \(P\) and if \(Q\in E(P)\), then \(x\leq y\) in \(Q\) also. There are many interesting connections between \(E(P)\) and \(I(P)\), the lattice of ideals of \(P\), e.g. (Bonnet, Pouzet) there is a bijection between the set of linear extensions \(L\) \((E(L)=\{L\})\) with the set of maximal chains of \(J(P)\). This one-one correspondence is here extended to \(E(P)\) and to the set of all sublattices of \(I(P)\) with the property that every chain which is maximal in the sublattice is also maximal in the lattice. Other such one-one correspondences also exist, one such established here connects the set of \(S\)-(convex)-free extensions of \(P\) and the set of \(I(S)\)-(convex)-free chain-maximal sublattices of \(I(P)\) which in the particular case of total orders (chains) provides another proof of the BP-theorem quoted above.