arXiv++ Combinatorics

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor (for example, a ring of integers in an algebraic number field or a holomorphy ring in an algebraic function field). The catenary degree $\mathsf c (H)$ of $H$ is the smallest integer $N$ with the following property: for each $a \in H$ and each two factorizations $z, z'$ of $a$, there exist factorizations $z = z_0, ..., z_k = z'$ of $a$ such that, for each $i \in [1, k]$, $z_i$ arises from $z_{i-1}$ by replacing at most $N$ atoms from $z_{i-1}$ by at most $N$ new atoms. Under a very mild condition on the Davenport constant of $G$, we establish a new and simple characterization of the catenary degree. This characterization gives a new structural understanding of the catenary degree. In particular, it clarifies the relationship between $\mathsf c (H)$ and the set of distances of $H$ and opens the way towards obtaining more detailed results on the catenary degree. As first applications, we give a new upper bound on $\mathsf c(H)$ and characterize when $\mathsf c(H)\leq 4$.

Let $G$ be a finite abeilian group. A sequence $S$ with terms from $G$ is zero-sum if the sum of terms in $S$ equals zero. It is a minimal zero-sum sequence if no proper, nontrivial subsequence is zero-sum. The maximal length of a minimal zero-sum subsequence in $G$ is the Davenport constant, denoted $D(G)$. For a rank 2 group $G=C_n \oplus C_n$, it is known that $D(G)=2n-1$. However, the structure of all maximal length minimal zero-sum sequences remains open. If every such sequence contains a term with multiplicity $n-1$, then $C_n \oplus C_n$ is said to have Property B, and it is conjectured that this is true for all rank 2 groups $C_n \oplus C_n$. In this paper, we show that Property B is multiplicative, namely, if $G=C_n \oplus C_n$ and $G=C_m \oplus C_m$ both satisfy Property B, with $m, n\geq 3$ odd and $mn>9$, then $C_{mn}\oplus C_{mn}$ satisfies Property B also. Combined with previous work in the literature, this reduces the question of establishing Property B to the prime cases, and in such case the complete structural description of the sequence follows.