作为收缩核的王冠图

我们研究有限偏序集作为收缩核的王冠图。我们定义了一类多重图 $\mathfrak{F}(P)$，反映 $P$ 的极值点中所含的所谓非真 4-王冠图的网络，并证明 $P$ 含有作为收缩核的 4-王冠图当且仅当存在从 $\mathfrak{F}(P)$ 到不依赖于 $P$ 的多重图 $\mathfrak{C}$ 的某类图同态。此外我们证明，$P$ 含有多于四个点的收缩核王冠图当且仅当由 $P$ 的极值点所诱导的偏序集含有这样的收缩核王冠图。作为实际结果，我们提出并应用了用于系统研究作为收缩核的王冠图的判据。我们的大部分结果对于无无限链的无限偏序集也成立。