Some homogeneity classes of posets of height 2 (Q2880477)

The property of homogeneity concerns the possibility of extending an isomorphism between subojects to an automorphism of the entire object. Let \(\mathcal C\) a class of subposets of a poset \(P\); the poset \(P\) will be called \(\mathcal C\)-homogeneous (respectively weakly \(\mathcal C\)-homogeneous) if every isomorphism between elements of \(\mathcal C\) (respectively every automorphism of an element of \(\mathcal C\)) can be extended to an automorphism of \(P\). In the case of finite posets, \textit{G. Behrendt} [Order 10, No. 1, 65--75 (1993; Zbl 0791.06003)] has given a characterization of homogeneous posets of height 2 (with the convention, adopted in the article under review, that a poset of height 2 is a poset whose chains of maximal cardinality have cardinality 2) for the class of ideals and for the class of towers. By definition of towers, every ideal is a tower; so, the set of tower-homogeneous posets is included in the set of ideal-homogeneous posets.NEWLINENEWLINEIn this paper, the authors introduce the class of quasi-complement-preserved poset (QCPP) (for posets \(P\) verifying that the existence of an isomorphism between ideals implies the existence of an isomorphism between their complements) and the class of complement-preserved posed (for posets \(P\) such that \(P\) and \(P^d\), the dual of \(P\), are QCPP). For posets of height 2, they prove that the set of CPP-posets in included in the set of tower-homogeneous posets and that the set of QCPP-posets contains the set of ideal-homogeneous posets.