Combinatoire

The chain covering number of a poset with no infinite antichains

[Le nombre de chaînes recouvrant un ensemble ordonné sans antichaînes infinies]

Abraham, Uri¹  ; Pouzet, Maurice^2, 3

¹ Math & CS Dept., Ben-Gurion University, Beer-Sheva, 84105 Israel
² ICJ, Mathématiques, Université Claude-Bernard Lyon1, 43 bd. 11 Novembre 1918, 69622 Villeurbanne Cedex, France
³ Mathematics & Statistics Department, University of Calgary, Calgary, Alberta, Canada T2N 1N4

Comptes Rendus. Mathématique, Tome 361 (2023) no. G8, pp. 1383-1399

Abstract (VO)

The chain covering number $Cov\left(P\right)$ of a poset $P$ is the least number of chains needed to cover $P$. For an uncountable cardinal $\nu$, we give a list of posets of cardinality and covering number $\nu$ such that for every poset $P$ with no infinite antichain, $Cov\left(P\right)\ge \nu$ if and only if $P$ embeds a member of the list. This list has two elements if $\nu$ is a successor cardinal, namely ${\left[\nu \right]}^2$ and its dual, and four elements if $\nu$ is a limit cardinal with $cf\left(\nu \right)$ weakly compact. For $\nu ={\aleph }_1$, a list was given by the first author; his construction was extended by F. Dorais to every infinite successor cardinal $\nu$.

Résumé

Le nombre de recouvrement par chaînes d’un ensemble ordonné $P$ (poset), noté $Cov\left(P\right)$, est le plus petit nombre de chaînes nécessaires pour recouvrir $P$. Pour un cardinal donné $\nu$, on donne une liste de posets $Q$ de nombre de recouvrement par chaînes $\nu$ telle que pour tout poset $P$ sans antichaîne infinie, $Cov\left(P\right)\ge \nu$ si et seulement si $P$ contient une copie d’un membre de la liste. Cette liste est constituée de posets de cardinal $\nu$, elle a deux éléments si $\nu$ est un cardinal successeur, à savoir ${\left[\nu \right]}^2$ et son dual, et quatre éléments si $\nu$ est un cardinal limite avec $cf\left(\nu \right)$ faiblement compact. Pour $\nu ={\aleph }_1$, une liste a été donnée par le premier auteur ; sa construction a été étendue par F. Dorais à tout cardinal successeur infini $\nu$.

Détail

Reçu le : 2023-04-03
Révisé le : 2023-06-08
Accepté le : 2023-06-09
Publié le : 2023-10-31

DOI : 10.5802/crmath.511

Classification : 03E05, 06A07

Licence : CC-BY 4.0

Droits d'auteur : Les auteurs conservent leurs droits