arXiv++ Combinatorics

The investigation and classification of non-unique factorization phenomena has attracted some interest in recent literature. For finitely generated monoids, S.T. Chapman and P.A. García-Sánchez, together with several co-authors, derived a method to calculate the catenary and tame degree from the monoid of relations. Then, in [1], the algebraic structure of this approach was investigated and the restriction to finitely generated monoids was removed. We now extend these ideas further to the monotone catenary degree and then apply all these results to the explicit computation of arithmetical invariants of semigroup rings. [1] A. Philipp. A characterization of arithmetical invariants by the monoid of relations. Semigroup Forum, 81:424-434, 2010.

Let $G = C_{n_1} \oplus ... \oplus C_{n_r}$ with $1 < n_1 \t ... \t n_r$ be a finite abelian group, $\mathsf d^* (G) = n_1 + ... + n_r - r$, and let $\mathsf d (G)$ denote the maximal length of a zero-sum free sequence over $G$. Then $\mathsf d (G) \ge \mathsf d^* (G)$, and the standing conjecture is that equality holds for $G = C_n^r$. We show that equality does not hold for $C_2 \oplus C_{2n}^r$, where $n \ge 3$ is odd and $r \ge 4$. This gives new information on the structure of extremal zero-sum free sequences over $C_{2n}^r$.

The investigation and classification of non-unique factorization phenomena have attracted some interest in recent literature. For finitely generated monoids, S.T. Chapman and P. Garcia-Sanchez, together with several co-authors, derived a method to calculate the catenary and tame degree from the monoid of relations, and they applied this method successfully in the case of numerical monoids. In this paper, we investigate the algebraic structure of this approach. Thereby, we dispense with the restriction to finitely generated monoids and give applications to other invariants of non-unique factorizations, such as the elasticity and the set of distances.