Chains, Antichains, and Complements in Infinite Partition Lattices

We consider the partition lattice $\Pi_\kappa$ on any set of transfinite cardinality $\kappa$ and properties of $\Pi_\kappa$ whose analogues do not hold for finite cardinalities. Assuming the Axiom of Choice we prove: (I) the cardinality of any maximal well-ordered chain is always exactly $\kappa$; (II) there are maximal chains in $\Pi_\kappa$ of cardinality $> \kappa$; (III) if, for every cardinal $\lambda < \kappa$, we have $2^{\lambda} < 2^\kappa$, there exists a maximal chain of cardinality $< 2^{\kappa}$ (but $\ge \kappa$) in $\Pi_{2^\kappa}$; (IV) every non-trivial maximal antichain in $\Pi_\kappa$ has cardinality between $\kappa$ and $2^{\kappa}$, and these bounds are realized. Moreover we can construct maximal antichains of cardinality $\max(\kappa, 2^{\lambda})$ for any $\lambda \le \kappa$; (V) all cardinals of the form $\kappa^\lambda$ with $0 \le \lambda \le \kappa$ occur as the number of complements to some partition $\mathcal{P} \in \Pi_\kappa$, and only these cardinalities appear. Moreover, we give a direct formula for the number of complements to a given partition; (VI) Under the Generalized Continuum Hypothesis, the cardinalities of maximal chains, maximal antichains, and numbers of complements are fully determined, and we provide a complete characterization.Comment: 24 pages, 2 figures. Submitted to Algebra Universalis on 27/11/201

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders

We investigate the ordinal invariants height, length, and width of well quasi orders (WQO), with particular emphasis on width, an invariant of interest for the larger class of orders with finite antichain condition (FAC). We show that the width in the class of FAC orders is completely determined by the width in the class of WQOs, in the sense that if we know how to calculate the width of any WQO then we have a procedure to calculate the width of any given FAC order. We show how the width of WQO orders obtained via some classical constructions can sometimes be computed in a compositional way. In particular, this allows proving that every ordinal can be obtained as the width of some WQO poset. One of the difficult questions is to give a complete formula for the width of Cartesian products of WQOs. Even the width of the product of two ordinals is only known through a complex recursive formula. Although we have not given a complete answer to this question we have advanced the state of knowledge by considering some more complex special cases and in particular by calculating the width of certain products containing three factors. In the course of writing the paper we have discovered that some of the relevant literature was written on cross-purposes and some of the notions re-discovered several times. Therefore we also use the occasion to give a unified presentation of the known results

Multigraphs without large bonds are wqo by contraction

We show that the class of multigraphs with at most $p$ connected components and bonds of size at most $k$ is well-quasi-ordered by edge contraction for all positive integers $p,k$. (A bond is a minimal non-empty edge cut.) We also characterize canonical antichains for this relation and show that they are fundamental