Abstract
This is a survey on factorization theory. We discuss finitely generated monoids (including affine monoids), primary monoids (including numerical monoids), power sets with set addition, Krull monoids and their various generalizations, and the multiplicative monoids of domains (including Krull domains, rings of integervalued polynomials, orders in algebraic number fields) and of their ideals. We offer examples for all these classes of monoids and discuss their main arithmetical finiteness properties. These describe the structure of their sets of lengths, of the unions of sets of lengths, and their catenary degrees. We also provide examples where these finiteness properties do not hold.
Introduction
Factorization theory emerged from algebraic number theory. The ring of integers of an algebraic number field is factorial if and only if it has class number one, and the class group was always considered as a measure for the nonuniqueness of factorizations. Factorization theory has turned this idea into concrete results. In 1960 Carlitz proved (and this is a starting point of the area) that the ring of integers is halffactorial (i.e., all sets of lengths are singletons) if and only if the class number is at most two. In the 1960s Narkiewicz started a systematic study of counting functions associated with arithmetical properties in rings of integers. Starting in the late 1980s, theoretical properties of factorizations were studied in commutative semigroups and in commutative integral domains, with a focus on Noetherian and Krull domains (see [40, 45, 62]; [3] is the first in a series of papers by Anderson, Anderson, Zafrullah, and [1] is a conference volume from the 1990s).
From these beginnings factorization theory branched out, step by step, into various subfields of algebra including commutative and noncommutative ring theory, module theory, and abstract semigroup theory and today is considered as a structure theory of the arithmetic of a broad variety of objects. In this survey, we discuss finitely generated monoids (including affine monoids), Krull monoids (including Krull and Dedekind domains), power monoids (including the set of finite nonempty subsets of the nonnegative integers with set addition as its operation), strongly primary monoids (including numerical monoids and local onedimensional Noetherian domains), and weakly Krull monoids (including orders in algebraic number fields). The main aim of factorization theory is to describe the various phenomena of nonuniqueness of factorizations by arithmetical invariants and to study the interdependence of these invariants and the classical algebraic invariants of the underlying algebraic structures. We discuss three longterm goals (Problem A, Problem B, and Problem C) of this area.
It turns out that abstract semigroup theory provides a most suitable frame for the formulation of arithmetic concepts, even for studying factorizations in domains. A reason for this lies in the use of one of its main conceptual tools, transfer homomorphisms. Objects of interest H are oftentimes studied via simpler objects B and associated transfer homomorphisms \(\theta :H \rightarrow B\), which allow one to pull back arithmetical properties from B to H (see Definition 4.4 and Proposition 4.5).
In Sect. 2 we present semigroups from ring theory (semigroups of ideals and of modules) and power monoids (stemming from additive combinatorics), and we introduce the arithmetical concepts discussed later in the paper (including sets of lengths and their unions, sets of distances, and catenary degrees). Theorem 3.1 in Sect. 3 gathers the main arithmetical finiteness results for finitely generated monoids. In the next sections, we present Krull monoids, transfer Krull monoids, and weakly Krull monoids. We offer examples of such monoids, discuss their arithmetical properties, show how some of them can be pulled back from finitely generated monoids (Theorem 5.5), and show that none of these arithmetical finiteness properties need to hold in general (Remark 5.7).
Various aspects of factorization theory could not be covered in this survey. These include factorizations in noncommutative rings and semigroups [87], factorizations in commutative rings with zerodivisors [5], the arithmetic of nonatomic, nonBF, and nonMori domains [8, 24, 25], and factorizations into distinguished elements that are not irreducible (e.g., factorizations into radical ideals and others [20, 33, 76, 77, 82]).
Background on monoids and their arithmetic
We denote by \({\mathbb {N}}\) the set of positive integers. For rational numbers \(a, b \in {\mathbb {Q}}\), \([a, b ] = \{ x \in {\mathbb {Z}}:a \le x \le b\}\) means the discrete interval between a and b. For subsets \(A, B \subset {\mathbb {Z}}\), \(A+B = \{a+b :a \in A, b \in B \}\) denotes their sumset and, for every \(k \in {\mathbb {N}}\), \(kA = A + \ldots + A\) is the kfold sumset of A. The set of distances \(\Delta (A)\) is the set of all \(d \in {\mathbb {N}}\) for which there is \(a \in A\) such that \(A \cap [a, a+d] = \{a, a+d\}\). If \(A \subset {\mathbb {N}}_0\), then \(\rho (A) = \sup (A \cap {\mathbb {N}})/\min (A \cap {\mathbb {N}}) \in {\mathbb {Q}}_{\ge 1} \cup \{\infty \}\) denotes the elasticity of A with the convention that \(\rho ( A)=1\) if \(A \cap {\mathbb {N}}= \emptyset\). If \(d \in {\mathbb {N}}\) and \(M \in {\mathbb {N}}_0\), then a subset \(L \subset {\mathbb {Z}}\) is called an almost arithmetical progression (AAP) with difference d and bound M if
where \(y \in {\mathbb {Z}}\) is a shift parameter, \(L^*\) is a nonempty arithmetical progression with difference d such that \(\min L^* = 0\), \(L' \subset [M,1]\), and \(L'' \subset \sup L^* + [1,M]\) (with the convention that \(L''=\emptyset\) if \(L^*\) is infinite).
Monoids
Let H be a multiplicatively written commutative semigroup. We denote by \(H^{\times }\) the group of invertible elements of H. We say that H is reduced if \(H^{\times }=\{1\}\) and we denote by \(H_{{\text { red}}}=\{aH^{\times }\mid a\in H\}\) the associated reduced semigroup of H. The semigroup H is said to be
cancellative if \(a,b,u \in H\) and \(au=bu\) implies that \(a=b\);
unitcancellative if \(a,u\in H\) and \(a=au\) implies that \(u\in H^{\times }\).
By definition, every cancellative semigroup is unitcancellative. If H is a unitcancellative semigroup, then we define, for two elements \(a, b \in H\), that \(a \sim b\) if there is \(c \in H\) such that \(ac=bc\). This is a congruence relation on H and the monoid \(H_{\text { canc}} = H/\!\!\sim\) is the associated cancellative monoid of H. If H is cancellative, then \({\mathsf {q}} (H)\) denotes the quotient group of H,
\({{\widehat{H}}} = \{ x \in {\mathsf {q}} (H) :\text {there is }c \in H\text { such that }cx^n \in H \text { for all }n \in {\mathbb {N}}\}\) is the complete integral closure of H, and
\({{\widetilde{H}}} = \{ x \in {\mathsf {q}} (H) :x^n \in H \ \text {for some} \ n \in {\mathbb {N}}\}\) is the root closure (also called the normalization) of H.
We say that H is completely integrally closed if \(H = {{\widehat{H}}}\) and that it is root closed (or normal) if \(H = {{\widetilde{H}}}\). For a set P, let \({\mathcal {F}} (P)\) denote the free abelian monoid with basis P. Every \(a \in {\mathcal {F}} (P)\) has a unique representation in the form
where \({\mathsf {v}}_p :H \rightarrow {\mathbb {N}}_0\) is the padic valuation of a. We call \(a = \sum _{p \in P} {\mathsf {v}}_p (a) \in {\mathbb {N}}_0\) the length of a and \({{\,\mathrm{supp}\,}}(a) = \{ p \in P :{\mathsf {v}}_p (a) > 0 \} \subset P\) the support of a.
Throughout this paper, a monoid means a
commutative unitcancellative semigroup with identity element.
Let H be a monoid. For two elements \(a, b \in H\) we say that a divides b (we write \(a \,  \, b\)) if \(b \in aH\) and if \(aH = bH\) (equivalently, \(aH^{\times } = b H^{\times }\)), then a and b are called associated (we write \(a \simeq b\)). The element a is called irreducible (or an atom) if \(a = bc\) with \(b,c \in H\) implies that \(b \in H^{\times }\) or \(c \in H^{\times }\). We denote by \({\mathcal {A}} (H)\) the set of atoms of H. A submonoid \(S \subset H\) is said to be divisorclosed if every divisor \(a \in H\) of some element \(b \in S\) lies in S. A monoid homomorphism \(\varphi :H \rightarrow D\) is a divisor homomorphism if \(a, b \in H\) and \(\varphi (a) \,  \, \varphi (b)\) (in S) implies that \(a \,  \, b\) (in H). If the inclusion \(H \hookrightarrow D\) is a divisor homomorphism, then H is called a saturated submonoid of D. For a subset \(E \subset H\) we denote by
\([E] \subset H\) the smallest submonoid of H containing E, and by
\(\,[\![E ]\!]\subset H\) the smallest divisorclosed submonoid of H containing E.
Clearly, \(\,[\![E ]\!]\) is the set of all \(a \in H\) dividing some element \(b \in [E]\). If \(E = \{a_1, \ldots , a_m\}\), then we write \([a_1, \ldots , a_m] = [E]\) and \(\,[\![a_1, \ldots , a_m ]\!]= \,[\![E ]\!]\).
A subset \({\mathfrak {a}} \subset H\) is an sideal if \({\mathfrak {a}} H = {\mathfrak {a}}\) and H is sNoetherian if H satisfies the ACC (ascending chain condition) on sideals. We denote by s\({{\,\mathrm{spec}\,}}(H)\) the set of prime sideals and by \({\mathfrak {X}} (H) \subset s\)\({{\,\mathrm{spec}\,}}(H)\) the set of minimal nonempty prime sideals. Suppose that H is cancellative. For subsets \(A, B \subset H\), \((A \negthinspace : \negthinspace B ) = \{ c \in {\mathsf {q}} (H) :cB \subset A \}\) and \(A_v = \big ( H :(H \negthinspace : \negthinspace A) \big )\) is the videal (or divisorial ideal) generated by A. If \(A_v = A\), then A is a divisorial ideal. The monoid H is a Mori monoid (or vNoetherian) if it satisfies the ACC for divisorial ideals. If \(A, B \subset H\) are divisorial ideals, then \(A \cdot _v B = (AB)_v\) is the vproduct of A and B. We denote by \({\mathcal {I}}_v (H)\) the semigroup of divisorial ideals of H (equipped with vmultiplication) and by \({\mathcal {I}}_v^* (H)\) the subsemigroup of vinvertible divisorial ideals. Clearly, \({\mathcal {I}}_v^* (H)\) is cancellative and if H is a Mori monoid, then \({\mathcal {I}}_v (H)\) is a monoid and \({\mathcal {I}}_v^* (H)\) is a Mori monoid. For any undefined concepts in ideal theory we refer to [64].
The monoid H is said to be finitely generated if there is a finite set \(E \subset H\) such that \(H = [E]\). Every finitely generated monoid is sNoetherian and the converse holds if H is cancellative [64, Theorem 3.6]. A monoid is called affine if it is finitely generated and isomorphic to a submonoid of a finitely generated free abelian group (equivalently, a commutative semigroup is affine if it is reduced, cancellative, finitely generated, and its quotient group is torsionfree).
If not stated otherwise, then a ring means a commutative ring with identity element. Let R be a ring. Then \(R^{\bullet }\) denotes the semigroup of regular elements, and \(R^{\bullet }\) is a cancellative monoid. Rings with the property that \(au=a\) implies that \(u \in R^{\times }\) or \(a=0\) are called présimplifiable in [2]. Ring theory gives rise to the following classes of monoids that are of central interest in factorization theory.
Example 2.1
(Monoids from ring theory) 1. (Semigroups of ideals) Let R be a commutative integral domain. We denote by \({{\overline{R}}}\) its integral closure and by \({{\widehat{R}}}\) its complete integral closure. Further, let \({\mathcal {H}} (R)\) be the semigroup of nonzero principal ideals, \({\mathcal {I}}^* (R)\) be the semigroup of invertible ideals, \({\mathcal {I}} (R)\) be the semigroup of all nonzero ideals, and \({\mathcal {F}} (R)\) be the semigroup of nonzero fractional ideals, all equipped with usual ideal multiplication. Then \({\mathcal {F}} (R)^{\times }\), the group of units of \({\mathcal {F}} (R)\), is the group of invertible fractional ideals and this is the quotient group of \({\mathcal {I}}^* (R)\). Furthermore, \({\mathcal {H}} (R) \cong (R^{\bullet })_{{\text { red}}}\), the inclusion \({\mathcal {H}} (R) \hookrightarrow {\mathcal {I}}^* (R)\) is a cofinal divisor homomorphism, \({\mathcal {I}}^* (R) \subset {\mathcal {I}} (R)\) is a divisorclosed submonoid, the prime elements of \({\mathcal {I}}^* (R)\) are precisely the invertible prime ideals, and \({{\,\mathrm{Pic}\,}}(R) = {\mathcal {F}} (R)^{\times }/{\mathsf {q}} ({\mathcal {H}} (R))\) is the Picard group of R. Suppose that R is Noetherian. If \(I, J \in {\mathcal {I}} (R)\) with \(IJ = I\), then \(IJ^n = I\) whence \(\{0\} \ne I \subset \cap _{n \ge 0}J^n\). Since R satisfies Krull’s Intersection Theorem, it follows that \(J=R\). Thus \({\mathcal {I}} (R)\) is unitcancellative whence a monoid in the present sense.
The above constructions generalize to monoids of rideals for general ideal systems r (the interested reader may want to consult [64, 65, 80]). In the present paper we restrict ourselves to usual ring ideals, to usual semigroup ideals (sideals), and to divisorial ideals of monoids and domains. We use that the semigroup \({\mathcal {I}}_v (R)\) of divisorial ideals of R (respectively the monoid \({\mathcal {I}}_v^* (R)\) of vinvertible divisorial ideals of R) are isomorphic to the semigroup \({\mathcal {I}}_v (R^{\bullet })\) of divisorial ideals of \(R^{\bullet }\) (respectively to the monoid \({\mathcal {I}}_v^* (R^{\bullet })\) of vinvertible divisorial ideals of \(R^{\bullet }\)). In particular, R is a Mori domain if and only if its monoid \(R^{\bullet }\) is a Mori monoid.
Atomic domains R having only finitely many nonassociated atoms are called CohenKaplansky domains and they are characterized by each of the following equivalent properties [7, Theorem 4.3]:
 (a)
\({\mathcal {H}} (R)\) is finitely generated.
 (b)
\({\mathcal {I}} (R)\) is finitely generated.
 (c)
\({\mathcal {I}}^* (R)\) is finitely generated.
 (d)
\({{\overline{R}}}\) is a semilocal principal ideal domain, \({{\overline{R}}}/(R \negthinspace : \negthinspace {{\overline{R}}})\) is finite, and \(\max (R)= \max ({{\overline{R}}})\).
2. (Semigroups of modules) Let R be a not necessarily commutative ring and let \({\mathcal {C}}\) be a class of right Rmodules that is closed under finite direct sums, direct summands, and isomorphisms. This means, whenever \(M, M_1, M_2\) are Rmodules with \(M \cong M_1 \oplus M_2\), then M lies in \({\mathcal {C}}\) if and only if \(M_1\) and \(M_2\) lies in \({\mathcal {C}}\). Let \({\mathcal {V}} ({\mathcal {C}})\) be the set of isomorphism classes of \({\mathcal {C}}\) (we tacitly assume that this is indeed a set) where the operation is induced by forming direct sums. Then \(({\mathcal {V}} ({\mathcal {C}}), +)\) is a reduced commutative semigroup. By a result of BergmanDicks [14, Theorems 6.2 and 6.4] and [15, page 315], every commutative reduced semigroup S with \(S = \,[\![a ]\!]\) for some \(a \in S\) is isomorphic to a semigroup of modules (indeed, one may take the class of finitely generated projective right Rmodules over a hereditary kalgebra).
If each module M in \({\mathcal {C}}\) is Noetherian (or artinian), then it is a finite direct sum of indecomposable modules and hence \({\mathcal {V}} ({\mathcal {C}})\) is atomic. If the endomorphism rings \({{\,\mathrm{End}\,}}_R (M)\) are local for all indecomposable modules in \({\mathcal {C}}\), then direct sum decomposition is unique whence \({\mathcal {V}} ( {\mathcal {C}})\) is free abelian (in other words, the KrullRemakSchmidtAzumaya Theorem holds). A module is said to be directly finite (or Dedekind finite) if it is not isomorphic to a proper direct summand of itself [58, 72]. Thus the semigroup \({\mathcal {V}} ({\mathcal {C}})\) is unitcancellative (whence a monoid in the present sense) if and only if all modules in \({\mathcal {C}}\) are directly finite. The idea, to look at directsum decomposition of modules, from the viewpoint of factorization theory was pushed forward by Facchini, Wiegand, et al (for a survey see [12]). We meet semigroups of modules again in Example 4.2(4).
We end this subsection with a class of monoids stemming from additive combinatorics.
Example 2.2
(Power monoids) Let H be an additively written torsionfree monoid. The power monoid\({\mathcal {P}}_{{\text { fin}}} (H)\) of H is the set of all finite nonempty subsets of H, endowed with set addition as operation (thus, if \(A, B \in {\mathcal {P}}_{{\text { fin}}} (H)\), then \(A+B = \{a+b :a \in A, b \in B \}\) is the sumset of A and B). Clearly, \({\mathcal {P}}_{{\text { fin}}} (H)\) is a commutative semigroup and if \(0_H \in H\) is the identity element of H, then \(\{0_H\}\) is the identity element of \({\mathcal {P}}_{{\text { fin}}} (H)\). The subset \({\mathcal {P}}_{{\text { fin}}, \times } (H) \subset {\mathcal {P}}_{{\text { fin}}} (H)\), which consists of those finite nonempty subsets \(A \subset H\) with \(A \cap H^{\times } \ne \emptyset\), is a divisorclosed submonoid of \({\mathcal {P}}_{{\text { fin}}} (H)\), called the restricted power monoid of H. Power monoids of monoids were introduced by Tringali et al. and studied in an abstract framework [9, 32, 90]. For simplicity of presentation, we restrict ourselves to \({\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\) and to \({\mathcal {P}}_{{\text { fin}}, 0} ({\mathbb {N}}_0)\) consisting of all finite nonempty subsets of \({\mathbb {N}}_0\) containing 0. Finite nonempty subsets of the (nonnegative) integers and their sumsets are the primary objects of study in arithmetic combinatorics [48, 61, 89].
Arithmetical concepts
Let H be a monoid. The free abelian monoid \({\mathsf {Z}} (H) = {\mathcal {F}} ( {\mathcal {A}} (H_{{\text { red}}}))\) is the factorization monoid of H and \(\pi :{\mathsf {Z}} (H) \rightarrow H_{{\text { red}}}\), defined by \(\pi (u) = u\) for all \(u \in {\mathcal {A}} (H_{{\text { red}}})\), is the factorization homomorphism of H. For an element \(a \in H\),
\({\mathsf {Z}}_H (a) = {\mathsf {Z}} (a) = \pi ^{1} (aH^{\times }) \subset {\mathsf {Z}} (H)\) is the set of factorizations of a, and
\({\mathsf {L}}_H (a) = {\mathsf {L}} (a) = \{ z :z \in {\mathsf {Z}} (a) \} \subset {\mathbb {N}}_0\) is the set of lengths of a.
Thus, \({\mathsf {L}} (a) = \{0\}\) if and only if \(a \in H^{\times }\) and \({\mathsf {L}} (a) = \{1\}\) if and only if \(a \in {\mathcal {A}} (H)\). Then
is the system of sets of lengths of H. The monoid H is said to be
atomic if \({\mathsf {Z}} (a) \ne \emptyset\) for all \(a \in H\) (equivalently, every noninvertible element of H can be written as a finite product of atoms of H);
factorial if \({\mathsf {Z}} (a)=1\) for all \(a \in H\);
halffactorial if \({\mathsf {L}} (a)=1\) for all \(a \in H\);
a BFmonoid (bounded factorization monoid) if \({\mathsf {L}} (a)\) is finite and nonempty for all \(a \in H\).
A monoid H is factorial if and only if \(H_{{\text { red}}}\) is free abelian. Every Mori monoid is a BFmonoid, every BFmonoid satisfies the ACC on principal ideals, and every monoid satisfying the ACC on principal ideals is atomic. The main focus of factorization theory is on BFmonoids and this will also be the case in the present paper. For any undefined notion we refer to [43].
Suppose that H is a BFmonoid. Then \({\mathcal {L}} (H) \subset {\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\) and for any subset \({\mathcal {L}} \subset {\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\) we define the following invariants describing the structure of \({\mathcal {L}}\). We denote by
and by
Then \(\rho ({\mathcal {L}}) = \sup {\mathcal {R}} ({\mathcal {L}})\) is called the elasticity of \({\mathcal {L}}\) and we say that the elasticity is accepted if there is an \(L \in {\mathcal {L}}\) with \(\rho (L)=\rho ({\mathcal {L}})\). For every \(k \in {\mathbb {N}}_0\),
and \(\rho _k ({\mathcal {L}}) = \sup {\mathcal {U}}_k ({\mathcal {L}})\) is the kth elasticity of \({\mathcal {L}}\). If \({\mathcal {L}} = {\mathcal {L}} (H)\), then we briefly set \(\Delta (H) = \Delta \bigl ( {\mathcal {L}} (H) \bigr )\) and similarly for the other invariants. Thus, by definition, H is halffactorial if and only if \(\Delta (H) = \emptyset\) if and only if \({\mathcal {R}} (H) = \{1\}\). Furthermore, if \(H \ne H^{\times }\), then \({\mathcal {U}}_0 (H) = \{0\}\) and \({\mathcal {U}}_1 (H) = \{1\}\).
In many settings unions of sets of lengths as well as sets of lengths have a welldefined structure. For their description we need the concept of an AAMP (almost arithmetical multiprogression). Let \(d \in {\mathbb {N}}\), \(M \in {\mathbb {N}}_0\) and \(\{0,d\} \subset {\mathcal {D}} \subset [0,d]\). A subset \(L \subset {\mathbb {Z}}\) is called an AAMP with differenced, period\({\mathcal {D}}\), and bound\({M}\), if
\(L^*\) is finite nonempty with \(\min L^* = 0\) and \(L^* = ({\mathcal {D}} + d {\mathbb {Z}}) \cap [0, \max L^*]\), and
\(L' \subset [M, 1]\), \(L'' \subset \max L^* + [1,M]\), and \(y \in {\mathbb {Z}}\).
Next we define a distance function on the set of factorizations \({\mathsf {Z}} (H)\). Two factorizations \(z, z' \in {\mathsf {Z}} (H)\) can be written in the form
where \(\ell , m, n \in {\mathbb {N}}_0\) and \(u_1, \ldots , u_{\ell }, v_1, \ldots , v_m, w_1, \ldots , w_n \in {\mathcal {A}} (H_{{\text { red}}})\) are such that \(\{v_1, \ldots , v_m\} \cap \{w_1, \ldots , w_n\} = \emptyset\). Then \({\mathsf {d}} (z,z') = \max \{m,n\} \in {\mathbb {N}}_0\) is the distance between z and \(z'\). If \(z \ne z'\) with \(\pi (z) = \pi (z')\), then
if H is cancellative. Let \(a \in H\) and \(N \in {\mathbb {N}}_0\). A finite sequence \(z_0, \ldots , z_k \in {\mathsf {Z}} (a)\) is called an Nchain of factorizations if \({\mathsf {d}} (z_{i1}, z_i) \le N\) for all \(i \in [1,k]\). Then \({\mathsf {c}}_H (a) = {\mathsf {c}} (a)\) is the smallest \(N \in {\mathbb {N}}_0 \cup \{\infty \}\) such that any two factorizations \(z, z' \in {\mathsf {Z}} (a)\) can be concatenated by an Nchain. The set
is the set of (positive) catenary degrees of H and \({\mathsf {c}} (H) = \sup {\mathsf {Ca}}(H) \in {\mathbb {N}}_0 \cup \{\infty \}\) is the catenary degree of H. If H is not halffactorial, then the inequalities of (2.1) imply that
if H is cancellative.
Finitely generated monoids
By Redei’s Theorem, every finitely generated commutative semigroup is finitely presented. The idea to describe arithmetical invariants in terms of relations was pushed forward by Chapman and GarcíaSánchez ([21, 22] are the first papers in this direction). This point of view laid the foundation for the development of algorithms computing arithmetical invariants in finitely generated monoids (we refer to [38] for a survey, and to [37, 79] for a sample of further work in this direction). In particular, for numerical monoids there is a wealth of papers providing algorithms for determining arithmetical invariants and in some cases there are even precise values (formulas) for arithmetical invariants (in terms of the atoms or of other algebraic invariants; [26, 39]). A further class of objects, for which precise formulas for arithmetical invariants are available, will be discussed in Sect. 6.
Our first result summarizes the main arithmetical finiteness properties of finitely generated monoids. Its proof is (implicitly) based on Dickson’s Lemma stating that a subset of \({\mathbb {N}}_0^s\) has only finitely minimal points.
Theorem 3.1
(Arithmetic of finitely generated monoids) LetHbe a monoid such that \(H_{{\text { red}}}\)is finitely generated.
 1.
The set of catenary degrees and the set of distances are finite and\(\rho (H) \in {\mathbb {Q}}\). IfHis cancellative, then the elasticity is accepted and there is some\(r \in {\mathbb {R}}_{\ge 1}\)such that\(\{ q \in {\mathbb {Q}}:r \le q \le \rho (H) \} \subset {\mathcal {R}} (H)\); moreover,\({r}\)is the only possible limit point of\(\{\rho (L) :L \in {\mathcal {L}} (H) \ \text {with} \ \rho (L) < r\}\).
 2.
There is \(M \in {\mathbb {N}}_0\)such that, for all \(k \in {\mathbb {N}}\), the unions \({\mathcal {U}}_k (H)\)are finite AAPs with difference\(\min \Delta (H)\)and bound M.
 3.
If\({H}\)is cancellative, then there is \(M \in {\mathbb {N}}_0\)such that every \(L \in {\mathcal {L}} (H)\)is an AAMP with difference \(d \in \Delta (H)\)and bound M.
Proof
1. Suppose that the set of catenary degrees is finite. Then (2.2) implies that the set of distances is finite. The elasticity \(\rho (H)\) is rational by [31, Proposition 3.4]. Now suppose in addition that H is cancellative. Then the elasticity \(\rho (H)\) is accepted by [43, Theorem 3.1.4] (this does not hold true in general if H is not cancellative). The claim on the structure of \({\mathcal {R}} (H)\) was proved in [95].
Now we show that the catenary degree \({\mathsf {c}} (H)\) is finite. We may assume that H is reduced and we denote by \(\pi :{\mathsf {Z}} (H) \rightarrow H\) the factorization homomorphism. We consider the submonoid
and start with the following assertion.
 A. :
The set
$$\begin{aligned} S^*=\{(x,y)\in S:&\text { there exists }z\in {\mathsf {Z}} (H) \text { such that }\pi (xz)=\pi (yz), \text { but for all } \\&(x_1,y_1)\in S\setminus \{(1,1),(x,y)\} \text { with } (x_1,y_1)\mid _S (x,y), \text { we have } \pi (x_1z)\ne \pi (y_1z) \} \end{aligned}$$is finite.
Proof of A
Assume to the contrary that \(S^*\subset {\mathsf {Z}} (H) \times {\mathsf {Z}} (H)\) is infinite. Then there exists a sequence \((x_i,y_i)_{i \ge 1}\) with terms from \(S^*\) such that \((x_i,y_i)\ne (x_j,y_j)\) and \((x_i,y_i)\mid _{{\mathsf {Z}} (H) \times {\mathsf {Z}} (H)} (x_j,y_j)\) for distinct \(i,j\in {\mathbb {N}}\) with \(i<j\). Since \(S\subset {\mathsf {Z}} (H) \times {\mathsf {Z}} (H)\) is saturated, we have \((x_i,y_i)\mid _S(x_j,y_j)\) for distinct \(i,j\in {\mathbb {N}}\) with \(i<j\). For every \(i\in {\mathbb {N}}\), we define
Then \(({\mathfrak {a}}_i)_{i \ge 1}\) is an ascending chain of sideals of \({\mathsf {Z}} (H)\). Since \({\mathsf {Z}} (H)\) is finitely generated, every ascending chain of sideals of \({\mathsf {Z}} (H)\) is stationary (this proof uses Dickson’s Lemma). Thus there exists \(N\in {\mathbb {N}}\) such that \({\mathfrak {a}}_N={\mathfrak {a}}_{N+1}\). Therefore for every \(z\in {\mathsf {Z}} (H)\) with \(\pi (x_{N+1}z)=\pi (y_{N+1}z)\) we have \(z \in {\mathfrak {a}}_{N+1}={\mathfrak {a}}_N\). By definition of \({\mathfrak {a}}_N\), there is \((x',y')\in S\setminus \{(1,1)\}\) with \((x',y')\mid _S(x_N,y_N)\) such that \(\pi (x'z)=\pi (y'z)\), a contradiction to \((x_{N+1},y_{N+1})\in S^*\). \(\square\)
We assert that
It suffices to prove that for all \((x,y)\in S\) and for all \(z\in {\mathsf {Z}} (H)\) with \(\pi (xz)=\pi (yz)\), there exists an Mchain concatenating xz and yz. Assume to the contrary that this does not hold and let \((x,y)\in S\) be a counter example for which \(x+y\) is minimal. Let \(z\in {\mathsf {Z}} (H)\) with \(\pi (xz)=\pi (yz)\). If \((x,y)\in S^*\), then \({\mathsf {d}}(xz,yz)={\mathsf {d}}(x,y)\le M\), a contradiction. Thus \((x,y)\not \in S^*\) and hence there exists \((x',y')\in S\setminus \{(1,1),(x,y)\}\) with \((x',y')\mid _S (x,y)\) such that \(\pi (x'z)=\pi (y'z)\). Then \(x'+y'<x+y\) and \(xx'^{1}+yy'^{1}<x+y\) imply that there exist an Mchain concatenating \(xz=x'(xx'^{1})z\) and \(y'(xx'^{1})z\) and an Mchain concatenating \(y'(xx'^{1})z\) and \(y'(yy'^{1})z=yz\), a contradiction.
2. We refer to [31, Theorem 3.6], and for 3. see [43, Theorem 4.4.11]. \(\square\)
These finiteness results for finitely generated monoids give rise to a core question in the area.
Problem A
Take a class \({\mathcal {C}}\) of distinguished objects (e.g., the class of Noetherian domains or the class of Krull monoids). Provide an algebraic characterization of the objects in \({\mathcal {C}}\) satisfying all resp. some of arithmetical finiteness properties of finitely generated monoids.
There are such algebraic characterizations of arithmetical finiteness properties in the literature (e.g., the finiteness of the elasticity is characterized within the class of finitely generated domains in [70]; see also [71]). But Problem A addresses a field of problems, many of which are wide open. In this survey, we show that transfer Krull monoids of finite type satisfy the same arithmetical finiteness properties as given in Theorem 3.1 (Theorem 5.5) and we characterize the finiteness of unions of sets of lengths in the setting of weakly Krull monoids (Theorems 7.2 and 7.4). It is no surprise that none of the statements of Theorem 3.1 needs to hold true for general BFmonoids and Remark 5.7 gathers some most striking examples.
Krull monoids
Definition 4.1
A monoid H is a Krull monoid if it is cancellative and satisfies one of the following equivalent conditions .
 (a)
H is a completely integrally closed Mori monoid.
 (b)
H has a divisor theory \(\partial :H \rightarrow {\mathcal {F}} (P)\); this means that \(\partial\) is a divisor homomorphism such that for every \(\alpha \in {\mathcal {F}} (P)\) there are \(a_1, \ldots , a_m \in H\) with \(\alpha = \gcd \bigl ( \partial (a_1), \ldots , \partial (a_m) \bigr )\).
 (c)
H has a divisor homomorphism into a free abelian monoid.
Let H be a Krull monoid. Then the monoid \({\mathcal {I}}_v^* (H)\) is free abelian, and there is a free abelian monoid \(F = {\mathcal {F}} (P)\) such that the inclusion \(H_{{\text { red}}} \hookrightarrow F\) is a divisor theory. Since divisor theories of a monoid are unique up to isomorphisms, the group
depends only on H and it is called the (divisor) class group of H. Every \(g \in {\mathcal {C}} (H)\) is a subset of \({\mathsf {q}} (F)\), \(P \cap g\) is the set of prime divisors lying in g, and \(G_0 = \{[p] = q {\mathsf {q}} (H_{{\text { red}}}) :p \in P \} \subset {\mathcal {C}} (H)\) is the set of classes containing prime divisors.
Example 4.2
(Examples of Krull monoids) 1. Domains. A Noetherian domain is Krull if and only if it is integrally closed and the integral closure of any Noetherian domain is Krull (Theorem of MoriNagata). The property of being a Krull domain is a purely multiplicative one. Indeed, a domain R is a Krull domain if and only if its multiplicative monoid of nonzero elements is a Krull monoid (this characterization generalizes to rings with zerodivisors, see [46, Theorem 3.5]). If R is a Krull domain, then \({\mathcal {C}} (R^{\bullet }) \cong {\mathcal {C}}_v (R)\), where \({\mathcal {C}}_v (R)\) is the usual vclass group of a Krull domain. If R is a Dedekind domain, then \({\mathcal {C}} (R^{\bullet }) \cong {{\,\mathrm{Pic}\,}}(R)\).
2. Submonoids of domains. Since the composition of divisor homomorphisms is a divisor homomorphism, every saturated submonoid \(H \subset R^{\bullet }\) of a Krull domain R is a Krull monoid. But also nonKrull domains may have submonoids that are Krull. We mention two classes of examples.
Let \({\mathcal {O}}\) be an order in an algebraic number field K with conductor \({\mathfrak {f}} = ({\mathcal {O}} \negthinspace : \negthinspace \widehat{{\mathcal {O}}})\). Then \(\widehat{{\mathcal {O}}} = {\mathcal {O}}_K\) is the ring of integers of K and \(H = \{ a \in {\mathcal {O}} :a{\mathcal {O}}+ {\mathfrak {f}} = {\mathcal {O}}_K \} \subset {\mathcal {O}}^{\bullet }\) is a submonoid. Moreover, H is Krull and it is an example of a regular congruence monoid [43, Section 2.11].
Let R be an integral domain with quotient field K. Then \({{\,\mathrm{Int}\,}}(R) = \{f \in K[X] :f (R) \subset R\} \subset K[X]\) is the ring of integervalued polynomials. If R is factorial, then the divisorclosed submonoid \(\,[\![f ]\!]\subset {{\,\mathrm{Int}\,}}(R)\) is a Krull monoid for every nonzero polynomial \(f \in {{\,\mathrm{Int}\,}}(R)\) [81].
3. Normal affine monoids. Let H be a reduced monoid. Then H is normal and affine if and only if H is a finitely generated Krull monoid, which holds if and only if it is isomorphic to the monoid of nonnegative solutions of a system of linear diophantine equations [43, Theorem 2.7.14]. Normal affine monoids and the associated monoid algebras play a crucial role in combinatorial commutative algebra [17].
4. Monoids of modules. Let R be a not necessarily commutative ring, \({\mathcal {C}}\) a class of Rmodules, and \({\mathcal {V}} ( {\mathcal {C}})\) the semigroup of modules as introduced in Example 2.1.2. By a path breaking result of Facchini [27, Theorem 3.4], \({\mathcal {V}} ( {\mathcal {C}})\) is a Krull monoid if the endomorphism rings \({{\,\mathrm{End}\,}}_R (M)\) are semilocal for all modules M of \({\mathcal {C}}\) (for modules having semilocal endomorphism rings see [28]). This result paved the way for studying directsum decomposition of modules with methods from the factorization theory of Krull monoids.
5. Monoids of zerosum sequences. Let G be an abelian group, \(G_0 \subset G\) a subset, and \({\mathcal {F}} (G_0)\) the free abelian monoid with basis \(G_0\). According to the tradition of additive combinatorics, elements of \({\mathcal {F}} (G_0)\) are called sequences over \(G_0\). If \(S = g_1 \cdot \ldots \cdot g_{\ell } \in {\mathcal {F}} (G_0)\), then \(\sigma (S) = g_1 + \ldots + g_{\ell } \in G\) is the sum of S and S is called a zerosum sequence if \(\sigma (S)=0\). The set \({\mathcal {B}} (G_0) = \{ S \in {\mathcal {F}} (G_0) :\sigma (S)=0 \} \subset {\mathcal {F}} (G_0)\) is a submonoid (called the monoid of zerosum sequences over \(G_0\)) and since the inclusion \({\mathcal {B}} (G_0) \hookrightarrow {\mathcal {F}} (G_0)\) is a divisor homomorphism, \({\mathcal {B}} (G_0)\) is a Krull monoid. Suppose that \(G_0\) is finite. Then \({\mathcal {B}} (G_0)\) is finitely generated and the converse holds if \(G = [G_0]\). Moreover, since \({\mathcal {B}} (G_0)\) is reduced and its quotient group is torsionfree, it is a normal affine monoid.
6. Analytic monoids. These are Krull monoids with finite class group and a suitable norm function that allows to establish a theory of Lfunctions. Analytic monoids serve as a general frame for a quantitative theory of factorizations. Let \(\partial :H \rightarrow {\mathcal {F}} (P)\) be a divisor theory of H and let \({\mathsf {N}} :{\mathcal {F}} (P) \rightarrow {\mathbb {N}}\) be a norm. The goal of quantitative factorization theory is to study, for a given arithmetical property \({\mathsf {P}}\), the asymptotic behavior, for \(x \rightarrow \infty\), of the associated counting function
A systematic study of counting functions (in the setting of algebraic number fields) was initiated by Narkiewicz in the 1960s (we refer to the presentations in the monographs [73, Chapter 9], [43, Chapter 9]), and for recent work to [68]). Among others, the property that ”\(\max {\mathsf {L}} (a) \le k\)” was studied for every \(k \in {\mathbb {N}}\). Note that \(\max {\mathsf {L}} (a) = 1\) if and only if a is irreducible whence \({\mathsf {P}}_1 (x)\) counts the number of irreducibles with norm \({\mathsf {N}} (a) \le x\). The property that ”\({\mathsf {L}} (a)\) is an interval” deserves special attention. It turned out that almost all sets of lengths are intervals. More precisely, for the ring of integers \({\mathcal {O}}_K\) in an algebraic number field K we have [43, Theorem 9.4.11]
This result is in contrast to Theorem 5.6.3 demonstrating the variety of sets of lengths in Krull monoids with class group G and should also be compared with Problem C in Sect. 6.
Let H be a Krull monoid, \(H_{{\text { red}}} \hookrightarrow F = {\mathcal {F}} (P)\) a divisor theory, G an abelian group, and \((m_g)_{g \in G}\) a family of cardinal numbers. We say that H has characteristic\((G, (m_g)_{g \in G})\) if there is a group isomorphism \(\phi :G \rightarrow {\mathcal {C}} (H)\) such that \({{\,\mathrm{card}\,}}(P \cap \phi (g) ) = m_g\) for all \(g \in G\).
Theorem 4.3
(Structure and Realization Results for Krull monoids)
 1.
If\({G}\)is an abelian group, \((m_g)_{g \in G}\)a family of cardinal numbers, \(G_0 = \{ g \in G :m_g \ne 0 \}\), and \(G_1 = \{g \in G :m_g=1 \}\), then the following statements are equivalent.
 (a)
There exists a Krull monoid with characteristic\((G, (m_g)_{g \in G})\).
 (b)
\(G = [G_0]\)and\(G = [G_0 \setminus \{g\}]\)for every\(g \in G_1\).
Moreover, two reduced Krull monoids are isomorphic if and only if they have the same characteristic.
 (a)
 2.
For every Krull monoidHthere is a reduced Krull monoid\(H_0\)with\(H_0 \cong H_{{\text { red}}}\)such that\(H = H^{\times } \negthinspace \times \negthinspace H_{0}\).
 3.
For every reduced Krull monoidHthere is an abelian group\({G}\)and a subset \(G_0 \subset G\)such that \(H \cong {\mathcal {B}} (G_0)\).
 4.
For every reduced Krull monoidHthere is a ring\({R}\)and a class of Rmodules\({\mathcal {C}}\)such that\(H \cong {\mathcal {V}} ({\mathcal {C}})\).
Proof
For 1.  3. see [43, Sections 2.4 and 2.5] and for 4. see [29, Theorem 2.1]. \(\square\)
Next we introduce transfer homomorphisms, a key tool in factorization theory (for transfer homomorphisms in more general settings see [11, 32]).
Definition 4.4
A monoid homomorphism \(\theta :H \rightarrow B\) between atomic monoids is said to be a transfer homomorphism if the following two properties are satisfied.
 (T 1) :
\(B = \theta (H) B^\times\) and \(\theta ^{1} (B^\times ) = H^\times\).
 (T 2) :
If \(u \in H\), \(b,\,c \in B\) and \(\theta (u) = bc\), then there exist \(v,\,w \in H\) such that \(u = vw\), \(\theta (v) \simeq b\) and \(\theta (w) \simeq c\).
Thus transfer homomorphisms are surjective up to units and they allow to lift factorizations. The next proposition shows that they allow one to pull back arithmetical information to the source monoid.
Proposition 4.5
Let \(\theta :H \rightarrow B\) be a transfer homomorphism between atomic monoids.

1.
For every\(a \in H\)we have \({\mathsf {L}}_H (a) = {\mathsf {L}}_{B} \big ( \theta (a) \big )\). In particular, we have\({\mathcal {L}} (H) = {\mathcal {L}} (B)\), \(\Delta (H) = \Delta (B)\), \({\mathcal {R}} (H) = {\mathcal {R}} (B)\), and \({\mathcal {U}}_k (H) = {\mathcal {U}}_k (B)\)for all\(k \in {\mathbb {N}}\).

2.
\({\mathsf {c}} (B) \le {\mathsf {c}} (H) \le \max \{{\mathsf {c}} (B), {\mathsf {c}} (H, \theta )\}\), where \({\mathsf {c}} (H, \theta )\)is the catenary degree in the fibres.
Proof
1. It follows easily from the definition that \({\mathsf {L}}_H (a) = {\mathsf {L}}_{B} \big ( \theta (a) \big )\) for every \(a \in H\) (for a proof in the cancellative setting see [43, Proposition 3.2.3]). The remaining statements are an immediate consequence.
2. The proof runs along the same lines as in the cancellative setting [43, Theorem 3.2.5]. \(\square\)
Proposition 4.6
LetHbe a reduced Krull monoid,\(F = {\mathcal {F}} (P)\)be a free abelian monoid such that the inclusion\(H \hookrightarrow F\)is a cofinal divisor homomorphism. Let\(G = {\mathsf {q}} (F)/{\mathsf {q}} (H)\)be the class group,\(G_0 = \{[p] = p {\mathsf {q}} (H) :p \in P\} \subset G\)denote the set of classes containing prime divisors, and let\(\widetilde{\varvec{\beta }} :F \rightarrow {\mathcal {F}} (G_0)\)be the unique homomorphism such that\(\widetilde{\varvec{\beta }} (p) = [p]\)for all\(p \in P\).
 1.
For every\(a \in F\), we have\(a \in H\)if and only if\(\widetilde{\varvec{\beta }} (a) \in {\mathcal {B}} (G_0)\).
 2.
The restriction\(\varvec{\beta }= \widetilde{\varvec{\beta }}H :H \rightarrow {\mathcal {B}} (G_0)\)is a transfer homomorphism with \({\mathsf {c}} (H, \varvec{\beta }) \le 2\).
Proof
1. Let \(a = p_1 \cdot \ldots \cdot p_{\ell } \in F\), where \(\ell \in {\mathbb {N}}_0\) and \(p_1, \ldots , p_{\ell } \in P\). Since the inclusion \(H \hookrightarrow F\) is a divisor homomorphism, we have \(H = {\mathsf {q}} (H) \cap F\), whence \(a \in H\) if and only if \(0 = [a] = [p_1] + \ldots + [p_{\ell }] = \sigma ( \widetilde{\varvec{\beta }} (a) )\).
2. By 1., we have \(\varvec{\beta }(H) = {\mathcal {B}} (G_0)\) whence \(\varvec{\beta }:H \rightarrow {\mathcal {B}} (G_0)\) is surjective and \(\varvec{\beta }^{1} (1) = \{1\}\). To verify (T2), let \(a = p_1 \cdot \ldots \cdot p_{\ell } \in H\) be given with \(\ell \in {\mathbb {N}}_0\) and \(p_1, \ldots , p_{\ell } \in P\). Suppose that \(\varvec{\beta }(a) = BC\) with \(B, C \in {\mathcal {B}} (G_0)\), say \(B = [p_1] \cdot \ldots \cdot [p_k]\) and \(C = [p_{k+1}] \cdot \ldots \cdot [p_{\ell }]\) with \(k \in [0, \ell ]\). Then 1. implies that \(b = p_1 \cdot \ldots \cdot p_k \in H\), \(c = p_{k+1} \cdot \ldots \cdot p_{\ell } \in H\), and clearly \(a=bc\). Thus \(\varvec{\beta }\) is a transfer homomorphism. The inequality \({\mathsf {c}} (H, \varvec{\beta }) \le 2\) follows from [43, Proposition 3.4.8]. \(\square\)
Transfer Krull monoids
Within the class of Mori monoids, Krull monoids are the ones whose arithmetic is best understood. Transfer Krull monoids need not be Krull but they have the same arithmetic as Krull monoids. They include all commutative Krull monoids, but also classes of not integrally closed Noetherian domains and of noncommutative Dedekind domains (see Example 5.4). We start with the definition, discuss some basic properties, and as a main structural result we show that for every cancellative transfer Krull monoid there is an overmonoid that is Krull such that the inclusion is a transfer homomorphism (Proposition 5.3(2)).
Definition 5.1
A monoid H is said to be a transfer Krull monoid if one of the following two equivalent properties is satisfied .
 (a)
There exist a Krull monoid B and a transfer homomorphism \(\theta :H \rightarrow B\).
 (b)
There exist an abelian group G, a subset \(G_0 \subset G\), and a transfer homomorphism \(\theta :H \rightarrow {\mathcal {B}} (G_0)\).
Since \({\mathcal {B}} (G_0)\) is a Krull monoid by Example 4.2(5), Property (b) implies Property (a). Conversely, since every Krull monoid has a transfer homomorphism to a monoid of zerosum sequences by Proposition 4.6 and since the composition of transfer homomorphisms is a transfer homomorphism, Property (a) implies Property (b). Thus Property (a) and Property (b) are equivalent. If H satisfies Property (b) with a finite set \(G_0\), then H is said to be transfer Krull of finite type. Since Krull monoids are BFmonoids, transfer Krull monoids are BFmonoids by Proposition 4.5(1), but they need neither be Mori nor be completely integrally closed.
Lemma 5.2
 1.
Coproducts of transfer Krull monoids are transfer Krull.
 2.
Divisorclosed submonoids of transfer Krull monoids are transfer Krull.
 3.
Let Hbe a cancellative monoid, \(\theta :H \rightarrow B\)be a transfer homomorphism to a reduced Krull monoid B, \(T \subset B\)be a submonoid, and \(S = \theta ^{1} (T)\). Then \(\Theta = {\mathsf {q}} (\theta ) S^{1} H :S^{1}H \rightarrow T^{1}B\)is a transfer homomorphism and\(S^{1}H\)is transfer Krull.
Proof
1. Let \((H_i)_{i \in I}\) be a family of transfer Krull monoids and
their coproduct. If \((\theta _i :H_i \rightarrow B_i)_{i \in I}\) is a family of transfer homomorphisms into the Krull monoids \(B_i\), then the homomorphism \(\theta = (\theta _i)_{i \in I} :H \rightarrow \coprod _{i \in I} B_i\) is a transfer homomorphism. Since the coproduct of Krull monoids is a Krull monoid, H is a transfer Krull monoid.
2. Let \(\theta :H \rightarrow B\) be a transfer homomorphism to a reduced Krull monoid B and let \(S \subset H\) be a divisorclosed submonoid. Then the restriction \(\theta  S :S \rightarrow \theta (S)\) is a transfer homomorphism, \(\theta (S) \subset B\) is a divisorclosed submonoid, and since divisorclosed submonoids of Krull monoids are Krull, the divisorclosed submonoid \(S \subset H\) is a transfer Krull monoid.
3. Since localizations of Krull monoids are Krull, \(T^{1}B\) is a Krull monoid and hence it suffices to verify that \(\Theta :S^{1}H \rightarrow T^{1}B\) is a transfer homomorphism. Since \(\theta\) is surjective, we infer that \(\Theta\) is surjective. An elementary calculation shows that \(\Theta ^{1} \bigl ( (T^{1}B)^{\times } \bigr ) = (S^{1}H)^{\times }\). Thus (T1) holds. In order to verify (T2), let \(u = \frac{h}{s} \in S^{1}H\), \(b = \frac{b_1}{t_1}, c = \frac{b_2}{t_2} \in T^{1}B\) be such that \(\Theta (u) = bc\), where \(h \in H\), \(s \in S\), \(b_1, b_2 \in B\), and \(t_1,t_2 \in T\). Let \(s_1,s_2 \in S\) be such that \(\theta (s_1)=t_1\) and \(\theta (s_2)=t_2\). Then
Since \(\theta :H \rightarrow B\) is a transfer homomorphism, there are \(x,y \in H\) such that \(\theta (x)=b_1\), \(\theta (y) = b_2 \theta (s)\), and \(hs_1s_2=xy\). Thus we obtain that
and hence (T2) holds. \(\square\)
Proposition 5.3
Let H be a monoid and \(H_{\text { canc}}\) be the associated cancellative monoid.

1.
His a transfer Krull monoid if and only if there is a Krull monoidDwith \(H_{\text { canc}} \subset D \subset {\mathsf {q}} (H_{\text { canc}})\)such that the canonical map\(\Theta :H \twoheadrightarrow H_{\text { canc}} \hookrightarrow D\)is a transfer homomorphism. If this holds, then\({\mathsf {q}} (H_{\text { canc}}) = {\mathsf {q}} (D)\), \(D = H_{\text { canc}}D^{\times }\), and\(H_{\text { canc}}^{\times } = D^{\times } \cap H_{\text { canc}}\).

2.
Suppose thatHis cancellative. ThenHis a transfer Krull monoid if and only if there is a Krull monoidDwith \(H \subset D \subset {\mathsf {q}} (H)\)such that the inclusion\(H \hookrightarrow D\)is a transfer homomorphism. If this holds, then \({\mathsf {q}} (H) = {\mathsf {q}} (D)\), \(D = HD^{\times }\), and\(H^{\times } = D^{\times } \cap H\).

3.
If\(R \subset S\)are integral domains with\({\mathsf {q}} (R)={\mathsf {q}} (S)\), \(S = RS^{\times }\), \(R^{\times } = S^{\times } \cap R\), and\((R :S) \in \max (R)\), then the inclusion\(R^{\bullet } \hookrightarrow S^{\bullet }\)is a transfer homomorphism. If, in addition, Sis a Krull domain, thenRis a transfer Krull domain.
Proof
1. Clearly, if D is a Krull monoid and \(\Theta :H \twoheadrightarrow H_{\text { canc}}\hookrightarrow D\) is a transfer homomorphism, then H is a transfer Krull monoid. Conversely, suppose that H is a transfer Krull monoid and let \(\theta :H\rightarrow B\) be a transfer homomorphism, where B is a reduced Krull monoid. For an element \(a \in H\), we denote by \([a] \in H_{\text { canc}}\) the congruence class of a. If \(a_1, a_2, c \in H\) such that \(a_1c=a_2c\), then \(\theta (a_1) \theta (c) = \theta (a_2) \theta (c)\) whence \(\theta (a_1)=\theta (a_2)\). Thus \(\theta\) induces a homomorphism \(\theta ^*:H_{\text { canc}}\rightarrow B\), defined by \(\theta ^*([a])=\theta (a)\) for all \(a\in H\). Since \(\theta\) is a transfer homomorphism, it is easy to see \(\theta ^*\) is a transfer homomorphism.
If \(D=\{[a]^{1}[b] :a,b\in H, \theta (a)\mid _{B} \theta (b)\} \subset {\mathsf {q}}(H_{\text { canc}})\), then the homomorphism \({\mathsf {q}} (\theta ^*)D :D \rightarrow B\) is a divisor homomorphism, whence D is a Krull monoid. By construction, we have \(H_{\text { canc}} \subset D\subset {\mathsf {q}}(H_{\text { canc}})\) and thus \({\mathsf {q}} (H_{\text { canc}})={\mathsf {q}} (D)\).
To verify that \(\Theta :H \twoheadrightarrow H_{\text { canc}} \hookrightarrow D\) is a transfer homomorphism, we first note that \(D^{\times } = \{[a]^{1}[b] :a,b \in H \ \text {with} \ \theta (a) = \theta (b)\}\). Now let \([a]^{1}[b] \in D\) where \(a,b\in H\) with \(\theta (a)\mid _{B} \theta (b)\). Then there exists \(c \in B\) such that \(\theta (b)=\theta (a)c\). Since \(\theta\) is a transfer homomorphism, there exist \(b_1,b_2\in H\) such that \(b=b_1b_2\) and \(\theta (b_1)=\theta (a)\), \(\theta (b_2)=c\). It follows that \([a]^{1}[b_1] \in D^{\times }\) and \([a]^{1}[b] =([b_1]^{1}[b_1b_2])([a]^{1}[b_1])=[b_2]([a]^{1}[b_1]) \in H_{\text { canc}}D^{\times }\), whence \(D=H_{\text { canc}}D^{\times } = \Theta (H)D^{\times }\). Similarly, we get \(H_{\text { canc}}^{\times } = D^{\times } \cap H_{\text { canc}}\) whence (T1) holds.
To verify (T2), let \(a\in H\) and \(d_1,d_2\in D\) be given such that \([a]=d_1d_2\). Then \(\theta (a)=\theta ^*(d_1)\theta ^*(d_2)\) and hence there exist \(a_1,a_2\in H\) such that \(a=a_1a_2\) and \(\theta ^*([a_1])=\theta ^*(d_1)\), \(\theta ^*([a_2])=\theta ^*(d_2)\). It follows that \([a_1]=d_1 (d_1^{1}[a_1]) \in d_1D^{\times }\) and \([a_2]=d_2 (d_2^{1}[a_2]) \in d_2D^{\times }\). Therefore \(\Theta\) is a transfer homomorphism.
2. is a special case of 1. and for 3. we refer to [43, Proposition 3.7.5]. \(\square\)
Example 5.4
(Examples of transfer Krull monoids) 1. Since the identity map is a transfer homomorphism, every Krull monoid is a transfer Krull monoid. This generalizes to not necessarily commutative, but normalizing Krull monoids as studied in the theory of Noetherian semigroup algebras [41, 67, 75].
2. Every halffactorial monoid is transfer Krull. Indeed, let H be halffactorial and let \(G = \{0\}\) be the trivial group. Then \(\theta :H \rightarrow {\mathcal {B}} (G)\), defined by \(\theta (u) = 0\) for every \(u \in {\mathcal {A}} (H)\) and \(\theta (\epsilon ) = 1\) for every \(\epsilon \in H^{\times }\), is a transfer homomorphism.
3. Main examples of transfer Krull monoids stem from noncommutative ring theory whence they are beyond the scope of this article. Nevertheless, we mention one example and refer the interested reader to [10, 11, 87, 88] for more. Let \({\mathcal {O}}_K\) be the ring of integers in an algebraic number field K, A a central simple Kalgebra, and R a classical maximal \({\mathcal {O}}_K\)order of A. Then \(R^{\bullet }\) is transfer Krull if and only if every stably free left Rideal is free, and if this holds then there is a transfer homomorphism \(\theta :R^{\bullet } \rightarrow {\mathcal {B}} (G)\) for some finite abelian group G [86].
4. The assumptions made in Proposition 5.3.3 hold true for \((K+{\mathfrak {m}})\)domains [43, Proposition 3.7.4]. Further applications in the setting of seminormal weakly Krull monoids and domains are given in [44, Proposition 4.6 and Theorem 5.8].
5. Module theory offers a wealth of noncancellative finitely generated transfer Krull monoids. We discuss a simple example. Let B be an additive Krull monoid with \({\mathcal {A}} (B) = \{u_1, u_2, v\}\) such that \(u_1+u_2=v+v+v\) is the only relation among the atoms. Let H be the free abelian monoid with basis \(\{M_1, M_2, M_2', Q\}\) modulo the relation generated by \(M_1+M_2=M_1+M_2'=Q+Q+Q\). By the Theorem of BergmanDicks (see Example 2.1.1), H is isomorphic to a monoid of modules \({\mathcal {V}} ( {\mathcal {C}})\), where \(\{M_1, M_2, M_2', Q\}\) is a set of representatives of indecomposable modules in \({\mathcal {C}}\). Clearly, \(\theta :H \rightarrow B\), defined by \(\theta (M_1)=u_1\), \(\theta (M_2)=\theta (M_2')=u_2\), and \(\theta (Q)=v\), is a transfer homomorphism.
Theorem 5.5
(Arithmetic of transfer Krull monoids) LetHbe a transfer Krull monoid of finite type. Then\({\mathcal {R}} (H) = \{ q \in {\mathbb {Q}}:1 \le q \le \rho (H)\}\)and all arithmetical finiteness results of Theorem 3.1hold.
Proof
Let \(\theta :H \rightarrow {\mathcal {B}} (G_0)\) be a transfer homomorphism where \(G_0\) is a finite subset of an abelian group. Since \(G_0\) is finite, \({\mathcal {B}} (G_0)\) is finitely generated, whence the finiteness results of Theorem 3.1 hold for \({\mathcal {B}} (G_0)\) and they can be pulled back to H by Proposition 4.5. The claim on \({\mathcal {R}} (H)\) follows from [55, Theorem 3.1]. \(\square\)
Our next theorem shows that, for the class of finitely generated Krull monoids, the finiteness result for the set of distances and for the set of catenary degrees, as well as the structural result for sets of lengths (given in Theorems 3.1 and 5.5), are best possible.
Theorem 5.6
(Realization Results)
 1.
For every finite nonempty subset \(C \subset {\mathbb {N}}_{\ge 2}\)there is a finitely generated Krull monoid Hwith finite class group such that \({\mathsf {Ca}}(H) = C\).
 2.
For every finite nonempty set \(\Delta \subset {\mathbb {N}}\) with\(\min \Delta = \gcd \Delta\) there is a finitely generated Krull monoid Hsuch that\(\Delta (H) = \Delta\).
 3.
For every \(M \in {\mathbb {N}}_0\)and every finite nonempty set\(\Delta\)there is a finitely generated Krull monoidHwith finite class group such that the following holds: for every AAMP L with difference \(d \in \Delta\)and boundMthere is some\(y^{}_L \in {\mathbb {N}}\)such that\(y+L \in {\mathcal {L}} (H)\)for all\(y \ge y^{}_L\).
Proof
For 1. we refer to [30, Proposition 3.2], for 2. to [52], and for 3. see [83]. \(\square\)
Remark 5.7
Each of the following monoids respectively domains has the property that every finite nonempty subset of \({\mathbb {N}}_{\ge 2}\) occurs as a set of lengths.
(Frisch) The ring \({{\,\mathrm{Int}\,}}({\mathbb {Z}})\) of integervalued polynomials over \({\mathbb {Z}}\) [34, 35].
(Kainrath) Krull monoids with infinite class group and prime divisors in all classes [69] and [43, Theorem 7.4.1].
The assumption, that every class contains a prime divisor, is crucial in Kainrath’s Theorem. Indeed, on the other side of the spectrum, there is the conjecture that every abelian group is the class group of a halffactorial Krull monoid (even of a halffactorial Dedekind domain; [56]). According to a conjecture of Tringali, the power monoid \({\mathcal {P}}_{{\text { fin}}, 0} ({\mathbb {N}}_0)\) (and hence the monoid \({\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\)) has the property that every finite nonempty subset of \({\mathbb {N}}_{\ge 2}\) occurs as a set of lengths. This conjecture is supported by a variety of results such as \({\mathsf {Ca}}\big ( {\mathcal {P}}_{{\text { fin}},0} ({\mathbb {N}}_0) \big ) = \Delta \big ( {\mathcal {P}}_{{\text { fin}}, 0} ({\mathbb {N}}_0) \big ) = {\mathbb {N}}\) [32, Theorem 4.11].
Thus both extremal families,
are systems of sets of lengths of BFmonoids. Clearly, every subset \({\mathcal {L}} \subset {\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\), that is the system of sets of lengths of a BFmonoid H (i.e., \({\mathcal {L}} = {\mathcal {L}} (H)\)) with \(H \ne H^{\times }\), has the following properties.
 (a)
\(\{0\}, \{1\} \in {\mathcal {L}}\) and all other sets of \({\mathcal {L}}\) lie in \({\mathbb {N}}_{\ge 2}\).
 (b)
For every \(k \in {\mathbb {N}}_0\) there is \(L \in {\mathcal {L}}\) with \(k \in L\).
 (c)
If \(L_1, L_2 \in {\mathcal {L}}\), then there is \(L \in {\mathcal {L}}\) with \(L_1+L_2 \subset L\).
This gives rise to the following realization problem.
Problem B
Which subsets \({\mathcal {L}} \subset {\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\) satisfying Properties (a)  (c) can be realized as systems of sets of lengths of a BFmonoid?
Note that every system \({\mathcal {L}}\) with (a)  (c) and with \(\Delta ({\mathcal {L}}) \ne \emptyset\) satisfies the property \(\min \Delta ( {\mathcal {L}}) = \gcd \Delta ( {\mathcal {L}})\) [31, Proposition 2.9], which holds for all systems stemming from BFmonoids.
We end this section with a list of monoids and domains that are not transfer Krull and we will discuss such monoids in Sect. 7.
Example 5.8
(Monoids and domains that are not transfer Krull)
 1.
According to Remark 5.7 a Krull monoid with infinite class group having prime divisors in all classes and \({{\,\mathrm{Int}\,}}({\mathbb {Z}})\) have the same system of sets of lengths. Nevertheless, \({{\,\mathrm{Int}\,}}({\mathbb {Z}})\) is not transfer Krull [35]. Similarly, the monoid of polynomials having nonnegative integer coefficients is not transfer Krull [18, Remark 5.4].
 2.
\({\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\) and \({\mathcal {P}}_{{\text { fin}}, 0} ({\mathbb {N}}_0)\) are reduced BFmonoids that have no transfer homomorphism to any cancellative monoid [32, Proposition 4.12].
 3.
Let G be a finite group and let \({\mathcal {B}} (G)\) be the monoid of productone sequences over G. If G is abelian, then \({\mathcal {B}} (G)\) is Krull by Example 4.2(5) and hence transfer Krull. Jun Seok Oh showed that \({\mathcal {B}} (G)\) is transfer Krull if and only if it is Krull if and only if G is abelian [74, Proposition 3.4].
 4.
An additive submonoid of the nonnegative rational numbers (distinct from \(\{0\}\)) is transfer Krull if and only if it is isomorphic to \(({\mathbb {N}}_0, +)\) [59, Theorem 6.6].
 5.
In Sect. 7 we show that strongly primary monoids and monoids of ideals of weakly Krull monoids are transfer Krull if and only if they are halffactorial (Lemma 7.1 and Proposition 7.3).
Transfer Krull monoids over finite abelian groups
In this section we discuss transfer Krull monoids H having a transfer homomorphism \(\theta :H \rightarrow {\mathcal {B}} (G)\), where G is a finite abelian group. By Proposition 4.6, this setting includes Krull monoids with finite class groups having prime divisors in all classes. Rings of integers of algebraic number fields [66, Corollary 4.4.3], monoid algebras that are Krull [19], and many other Krull domains have finite class group and prime divisors in all classes. This is the reason why this setting has received the closest attention in factorization theory.
Let H be a transfer Krull monoid over a finite abelian group G, say \(G \cong C_{n_1} \oplus \ldots \oplus C_{n_r}\) with \(1 \le n_1 \,  \, \ldots \,  \, n_r\). It is usual to write \(* (G)\) instead of \(* ( {\mathcal {B}} (G))\) for all invariants we had. In particular, we set
By Propositions 4.5 and 4.6, the arithmetical invariants of H and of \({\mathcal {B}} (G)\) coincide (apart from some trivial exceptions), whence \({\mathcal {L}} (H) = {\mathcal {L}} (G)\) and so on. The long term goal is to determine the precise value of these invariants in terms of the group invariants \((n_1, \ldots , n_r)\), which is done with methods from additive combinatorics. We refer to [48, Chapter 1] for a detailed discussion of the interplay of factorization theory in \({\mathcal {B}} (G)\) and additive combinatorics and to the survey [85] for the state of the art. We have a quick glance at this interplay, introduce a key combinatorial invariant, and present a main problem.
Since the group G is finite, \({\mathcal {B}} (G)\) is finitely generated whence \({\mathcal {A}} (G)\) is finite, and the Davenport constant\({\mathsf {D}} (G)\), defined as
is a positive integer. The Davenport constant and the structure of atoms \(U \in {\mathcal {A}} (G)\) with \(U={\mathsf {D}} (G)\) play an important role in all arithmetical investigations. So we have, for example, \(\rho (G) = {\mathsf {D}} (G)/2\) and \({\mathsf {c}} (G) \le {\mathsf {D}} (G)\). It needs just a few lines to verify that \(1 + \sum _{i=1}^r (n_i1) \le {\mathsf {D}} (G) \le G\), whence \({\mathsf {D}} (G)=G\) if G is cyclic. If G is a pgroup or has rank \(r \le 2\), then \({\mathsf {D}} (G) = 1 + \sum _{i=1}^r (n_i1)\) but this equality does not hold in general. The precise value of \({\mathsf {D}} (G)\) is unknown even for rank three groups and for groups of the form \(G=C_n^{r}\), where \(r, n \in {\mathbb {N}}\) (see [57]).
What do we know about \({\mathcal {L}} (H) = {\mathcal {L}} (G)\)? It is easy to verify that
The above four groups are precisely the groups G having Davenport constant \({\mathsf {D}} (G) \le 3\). Apart from them, the systems \({\mathcal {L}} (G)\) are also written down explicitly for all groups G with \({\mathsf {D}} (G) \in [4, 5]\) (see [53]). Full descriptions of systems \({\mathcal {L}} (G)\) are hard to get, whence the focus of research is to get a good understanding for parameters controlling sets of lengths. We cite one result and this is in sharp contrast to Theorem 5.6.
Theorem 6.1
Let G be a finite abelian group.

1.
(Carlitz \(1960)\,\,L=1\)for every\(L \in {\mathcal {L}} (G)\)if and only if\(G \le 2\).

2.
The unions \({\mathcal {U}}_k (G)\)are finite intervals for every\(k \in {\mathbb {N}}\).

3.
The set of distances \(\Delta (G)\) and the set of catenary degrees \({\mathsf {Ca}}(G)\) are finite intervals.
Proof
1. If \(G \le 2\), then \({\mathcal {B}} (G)\) is factorial whence halffactorial. Conversely, suppose that \(G\ge 3\). If \(g \in G\) with \({{\,\mathrm{ord}\,}}(g)=n \ge 3\), then \(U=g^n\), \(U = (g)^n\), and \(V = (g)g\) are atoms of \({\mathcal {B}} (G)\). Then \(U(U)=V^n\) and \({\mathsf {L}} (V^n)= \{2,n\}\). If \(e_1, e_2 \in G\) with \({{\,\mathrm{ord}\,}}(e_1)={{\,\mathrm{ord}\,}}(e_2)=2\), then \(e_0 = e_1+e_2 \in G\), \(V = e_0e_1e_2\in {\mathcal {A}}(G)\), and \(U_i = e_i^2 \in {\mathcal {A}} (G)\) for \(i \in [0,2]\). Then \(U_0U_1U_2=V^2\) and \({\mathsf {L}} (V^2) = [2,3]\).
2. and 3. The unions \({\mathcal {U}}_k (G)\) are intervals by [48, page 36] and 3. follows from [55, Theorem 4.1]. \(\square\)
Suppose that \({\mathsf {D}} (G) \ge 4\). The minima of the sets \({\mathcal {U}}_k (G)\) can be expressed in terms of their maxima, and for the maxima \(\rho _k (G) = \max {\mathcal {U}}_k (G)\) we have the following. For every \(k \in {\mathbb {N}}\), \(\rho _{2k}(G)=k {\mathsf {D}} (G)\), and \(k {\mathsf {D}} (G) + 1 \le \rho _{2k+1} (G) \le k {\mathsf {D}} (G) + {\mathsf {D}} (G)/2\) (for all this and for more on \(\rho _{2k+1}(G)\) see [85]). It is easy to see that \(\min \Delta (G)=1\) and that \(\min {\mathsf {Ca}}(G) = 2\). The maxima of \(\Delta (G)\) and of \({\mathsf {Ca}}(G)\) are known only for very special classes of groups which includes cyclic groups [85].
To sum up our discussion so far, given a transfer Krull monoid H over G, arithmetical invariants of H depend only on G (in particular, \({\mathcal {L}} (H) = {\mathcal {L}} (G)\)) and the goal is to describe them in terms of the group invariants. The associated inverse problem (known as the Characterization Problem) asks whether the system \({\mathcal {L}} (G)\) is characteristic for the group. More precisely, it reads as follows.
Problem C
Let Gbe a finite abelian group with Davenport constant\({\mathsf {D}} (G) \ge 4\), and let \(G'\)be an abelian group with \({\mathcal {L}} (G) = {\mathcal {L}} (G')\). AreGand \(G'\)isomorphic?
In spite of results stating that the typical set of lengths in \({\mathcal {L}} (G)\) is an interval (e.g., see (4.1)), the standing conjecture is that the exceptional sets of lengths in \({\mathcal {L}} (G)\) are characteristic for the group. In other words, the conjecture is that the above question has an affirmative answer and we refer to [49, 54, 93, 94] and to [84, Theorem 5.3] for recent progress. Clearly, all such studies require a detailed understanding of sets of lengths in terms of the group invariants \((n_1, \ldots , n_r)\) of G. We address one subproblem. For any BFmonoid H and two elements \(a, b \in H\) the sumset \({\mathsf {L}} (a) + {\mathsf {L}} (b)\) is contained in \({\mathsf {L}} (ab)\) but, in general, we do not have equality. This is the reason why, in general, the system \({\mathcal {L}} (H)\), considered as a subset of \({\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\), is not a submonoid. On the other hand, the explicit descriptions given in (6.1) and (6.2) show that \({\mathcal {L}} (C_1), {\mathcal {L}} (C_2), {\mathcal {L}} (C_3)\), and \({\mathcal {L}} (C_2 \oplus C_2)\) are submonoids of \({\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\). There is a characterization of all finite abelian groups G for which \({\mathcal {L}} (G)\) is a submonoid, and in the following result we show that all of them are finitely generated.
Theorem 6.2
LetGbe a finite abelian group. Then the following statements are equivalent :
 (a)
\({\mathcal {L}} (G)\)is a submonoid of\({\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\).
 (b)
All sets of lengths in\({\mathcal {L}} (G)\)are arithmetical progressions.
 (c)
Gis cyclic of order \(G \le 4\) or isomorphic to a subgroup of \(C_2^3\)or isomorphic to a subgroup of \(C_3^2\).
If these statements hold, then \({\mathcal {L}} (G)\)is a finitely generated submonoid of\({\mathcal {P}}_{{\text { fin}}} ({\mathbb {N}}_0)\). More precisely, we have
 1.
\({\mathcal {L}} (C_1) = {\mathcal {L}} (C_2) \cong ({\mathbb {N}}_0, +)\)and\(\{1\}\)is the unique prime element of \({\mathcal {L}} (C_1) = {\mathcal {L}} (C_2)\).
 2.
\({\mathcal {L}} (C_3) = {\mathcal {L}} (C_2 \oplus C_2) \cong ({\mathbb {N}}_0^2, +)\)and\(\{1\}, [2,3]\)are the two prime elements of\({\mathcal {L}} (C_3) = {\mathcal {L}} (C_2 \oplus C_2)\).
 3.
\({\mathcal {L}} (C_4)\)is a noncancellative nontransfer Krull monoid with \({\mathcal {A}}({\mathcal {L}}(C_4))=\big \{ \{1\}, [2,3], [3,5], \{2,4\} \big \}\).
 4.
\({\mathcal {L}} (C_2^3)\)is a noncancellative nontransfer Krull monoid containing \({\mathcal {L}} (C_4)\)and with\({\mathcal {A}}({\mathcal {L}}(C_2^3))=\{ \{1\}, [2,3], [3,5],[3,6], [4,8], \{2,4\}\}\).
 5.
\({\mathcal {L}} (C_3^2)\)is a cancellative nontransfer Krull monoid with\({\mathcal {A}}({\mathcal {L}}(C_3^2))=\{ \{1\}, [2,3],[2,4],[2,5],[3,7] \}\).
Proof
The equivalence of (a), (b), and (c) is proved in [50, Theorem 1.1], and we prove the Claims 1–5.
Claim 1 follows immediately from (6.1). To verify Claim 2, we observe that for \(y, k \in {\mathbb {N}}_0\) we have \(y + 2k + [0, k] = y \{1\} + k [2,3]\) whence (6.2) shows that \(\{1\}\) and [2, 3] generate \({\mathcal {L}} (C_3)\) and clearly both elements are atoms. To verify that they are primes, let \(y,y',k,k'\in {\mathbb {N}}_0\) such that \(y\{1\}+k[2,3]=y'\{1\}+k'[2,3]\). This implies that \(y=y'\) and \(k=k'\) whence \({\mathcal {L}} (C_3)\) is factorial and \(\{1\}\) and [2, 3] are primes.
In order to prove Claim 3 and Claim 4, we use the explicit description of \({\mathcal {L}} (C_4)\) and \({\mathcal {L}} (C_2^3)\) [43, Theorem 7.3.2]. We have
\(\begin{aligned} {\mathcal {L}} (C_4) = & \bigl \{ y + k+1 + [0,k] \, :\, y, \,k \in {\mathbb {N}}_0 \bigr \} \,\cup \, \\ & \bigl \{ y + 2k + \{2\nu :\nu \in [0,k]\} \, :\, y,\, k \in {\mathbb {N}}_0 \bigr \} \end{aligned}\).
\(\begin{aligned} {\mathcal{L}}(C_{2}^{3} ) = & \{ y + (k + 1) + [0,k]:y \in \mathbb{N}_{0} ,k \in [0,2]\} \ \cup \\ & \{ y + k + [0,k]:y \in \mathbb{N}_{0} ,k \ge 3\} \ \cup \\ & \{ y + 2k + \{ 2\nu :\nu \in [0,k]\} :y,k \in \mathbb{N}_{0} \}\,. \\ \end{aligned}\)
These descriptions show that \({\mathcal {L}} (C_4) \subset {\mathcal {L}} (C_2^3)\). Let \(y, k, t\in {\mathbb {N}}_0\). Then \(y+2k+\{2\nu :\nu \in [0,k]\}=y\{1\}+k\{2,4\}\). If \(k=2t+1\) is odd, then \(y+k+1+[0,k]=y\{1\}+[2,3]+t\{2,4\}\). If \(k=2t+2\) is even, then \(y+k+1+[0,k]=y\{1\}+[3,5]+t\{2,4\}\). If \(k=0\), then \(y+k+1+[0,k]=\{y+1\}=(y+1)\{1\}\). Thus \({\mathcal {L}}(C_4)\) is generated by \(\{1\}, [2,3],[3,5], \{2,4\}\) and all these elements are atoms. Since \([3,5]+[2,3]=\{1\}+\{2,4\}+[2,3]=[5,8]\), we obtain that \({\mathcal {L}}(C_4)\) is not cancellative. Since \(\{y+k+[0,k]\mid y\in {\mathbb {N}}_0, k\ge 3\}\) is generated by \(\{1\}, [3,6],[4,8], \{2,4\}\), we obtain \({\mathcal {L}}(C_2^3)\) is generated by \(\{1\}, [2,3], [3,5], [3,6], [4,8],\{2,4\}\). It is easy to see that all these elements are atoms and as before we infer that \({\mathcal {L}} (C_2^3)\) is not cancellative.
Assume to the contrary that there is a transfer homomorphism \(\theta :{\mathcal {L}}(C_4)\rightarrow H\), where H is a Krull monoid. Then \(\theta ([3,5]), \theta (\{1\}), \theta (\{2,4\})\) are atoms, \(\theta ([5,8])=\theta ([3,5])+\theta ([2,3])=\theta (\{1\})+\theta (\{2,4\})+\theta ([2,3])\) whence \(\theta ([3,5])= \theta (\{1\})+\theta (\{2,4\})\), a contradiction. The same argument shows that \({\mathcal {L}}(C_2^3)\) is not transfer Krull.
It remains to prove Claim 5. By [51, Proposition 3.12], we have
Let \(y,k\in {\mathbb {N}}_0\). Then
and if \(k\ge 1,\) then
Thus \({\mathcal {L}}(C_3^2)\) is generated by \(\{1\}, [2,3], [2,4], [2,5], [3,7]\) and all these elements are atoms. To verify cancellativity, we use that all sets of lengths are intervals. Let \(a,a',b,b',c,c'\in {\mathbb {N}}_0\) such that \([a,a'],[b,b'], [c,c']\in {\mathcal {L}}(C_3^2)\) and \([a,a']+[c,c']=[b,b']+[c,c']\). Then \(a+c=b+c\) and \(a'+c'=b'+c'\) which imply that \(a=b\) and \(a'=b'\). Therefore \([a,a']=[b,b']\) whence \({\mathcal {L}}(C_3^2)\) is cancellative.
Assume to the contrary that there is a transfer homomorphism \(\theta :{\mathcal {L}}(C_3^2)\rightarrow {\mathcal {B}}(G_0)\), where \(G_0\) is a subset of any abelian group. Since \(3[3,7]=\{1\}+4[2,5]\), we have that \({{\,\mathrm{supp}\,}}(\theta ([2,5]))\subset {{\,\mathrm{supp}\,}}(\theta ([3,7]))\) and \({\mathsf {v}}_g(\theta ([3,7]))\ge \frac{4}{3}{\mathsf {v}}_g(\theta ([2,5]))>{\mathsf {v}}_g(\theta ([2,5]))\) for all \(g\in {{\,\mathrm{supp}\,}}(\theta ([2,5]))\). Therefore \(\theta ([2,5])\mid _{{\mathcal {B}}(G_0)} \theta ([3,7])\), a contradiction as \(\theta ([3,7])\) and \(\theta ([2,5])\) are distinct atoms. \(\square\)
Weakly Krull monoids
In this section we study weakly Krull monoids and we start with primary monoids. Primary monoids are weakly Krull and localizations of weakly Krull monoids at minimal nonzero prime ideals are primary.
A monoid H is primary if it is cancellative with \(H \ne H^{\times }\) and for every \(a, b \in H \setminus H^{\times }\) there is \(n \in {\mathbb {N}}\) such that \(b^n \in aH\). The multiplicative monoid \(R^{\bullet }\) of a domain R is primary if and only if R is onedimensional and local [43, Proposition 2.10.7]. Additive submonoids of \(({\mathbb {Q}}_{\ge 0}, +)\), called Puiseux monoids, have found a welldeserved attention in recent literature and are primary (provided that they are different from \(\{0\})\). Since primary monoids need not be atomic, we restrict to a class of primary monoids (called strongly primary) which are BFmonoids. A monoid H is strongly primary if it is cancellative with \(H \ne H^{\times }\) and for every \(a \in H \setminus H^{\times }\) there is \(n \in {\mathbb {N}}\) such that \((H \setminus H^{\times })^n \subset aH\). We denote by \({\mathcal {M}} (a)\) the smallest \(n \in {\mathbb {N}}\) having this property. Every primary Mori monoid is strongly primary. Thus numerical monoids are strongly primary and the multiplicative monoids \(R^{\bullet }\) of onedimensional local Mori domains R are strongly primary. An additive submonoid \(H \subset ({\mathbb {N}}_0^s, +)\), with \(s \in {\mathbb {N}}\), is a BFmonoid and it is primary if and only if \(H = (H \cap {\mathbb {N}}^s) \cup \{{\varvec{0}}\}\).
Our first lemma unveils that primary monoids and Krull monoids are very different, both from the algebraic as well as from the arithmetic point of view.
Lemma 7.1
Let H be a primary monoid.

1.
His a Krull monoid if and only if\(H = H^{\times } \times H_0\)with\(H_0 \cong ({\mathbb {N}}_0, +)\).

2.
IfHis strongly primary, thenHis a BFmonoid.

3.
LetHbe strongly primary. IfHis not halffactorial, then there is a\(\beta \in {\mathbb {Q}}_{> 1}\)such that\(\rho (L) \ge \beta\)for all\(L \in {\mathcal {L}} (H)\)with \(\rho (L) \ne 1\). In particular,His transfer Krull if and only if it is halffactorial.
Proof
1. Suppose that H is a Krull monoid. Then there is a free abelian monoid \({\mathcal {F}} (P)\) such that the inclusion \(H_{{\text { red}}} \hookrightarrow {\mathcal {F}} (P)\) is a divisor theory. Since H is primary, it follows that \({{\,\mathrm{supp}\,}}(aH) = {{\,\mathrm{supp}\,}}(bH)\) for all \(a, b \in H \setminus H^{\times }\). Since every \(p \in P\) is a greatest common divisor of elements from \(H_{{\text { red}}}\), it follows that \(P=1\). Since \(H_{{\text { red}}}\) is completely integrally closed, it is equal to \({\mathcal {F}} (P)\). Thus Theorem 4.3(2) implies that H has the asserted form, and the converse implication is obvious.
2. We assert that every \(a \in H \setminus H^{\times }\) has a factorization into atoms and that \(\sup {\mathsf {L}} (a) \le {\mathcal {M}} (a)\). Let \(a \in H \setminus H^{\times }\) be given. If a is not an atom, then there are \(a_1, a_2 \in H \setminus H^{\times }\) such that \(a=a_1a_2\). Proceeding by induction, we obtain a product decomposition of a into n nonunits, say \(a = a_1 \cdot \ldots \cdot a_n\). If \(n > {\mathcal {M}} (a)\), then \(a_1 \cdot \ldots \cdot a_{n1} \subset (H \setminus H^{\times })^{{\mathcal {M}} (a)} \subset aH\) and hence a divides a proper subproduct of \(a_1 \cdot \ldots \cdot a_n = a\), a contradiction. Thus a has a product decomposition into atoms and the number of factors is bounded by \({\mathcal {M}} (a)\).
3. The first claim follows from [53, Theorem 5.5]. Thus Theorem 5.5 and Example 5.4.2 imply the second statement. \(\square\)
The arithmetic of various classes of strongly primary monoids, especially of numerical monoids, has found wide attention in the literature. We mention some striking recent results. O’Neill and Pelayo showed that for every finite nonempty subset \(C \subset {\mathbb {N}}_{\ge 2}\) there is a numerical monoid H such that \({\mathsf {Ca}}(H) = C\) [78]. It is an open problem whether there is a numerical monoid H with prescribed sets of distances (see [23]). F. Gotti proved that there is a primary BFsubmonoid H of \(({\mathbb {Q}}_{\ge 0}, +)\) such that every finite nonempty set \(L \subset {\mathbb {N}}_{\ge 2}\) occurs as a set of lengths of H (see [60, Theorem 3.6], and compare with Remark 5.7). Such an extreme phenomenon cannot happen if we impose a further finiteness condition, namely local tameness. Let H be a cancellative atomic monoid. For an atom \(u \in {\mathcal {A}} (H_{{\text { red}}})\), the local tame degree\({\mathsf {t}} (H,u)\) is the smallest \(N \in {\mathbb {N}}_0 \cup \{\infty \}\) with the following property:
If \(a \in H\) with \({\mathsf {Z}} (a) \cap u {\mathsf {Z}} (H) \ne \emptyset\), and \(z \in {\mathsf {Z}} (a)\), then there exists \(z' \in {\mathsf {Z}} (a) \cap u {\mathsf {Z}} (H)\) such that \({\mathsf {d}} (z,z') \le N\).
The monoid H is locally tame if \({\mathsf {t}} (H, u) < \infty\) for all \(u \in {\mathcal {A}} (H_{{\text { red}}})\). If H is finitely generated or a Krull monoid with finite class group, then H is locally tame. Strongly primary monoids with nonempty conductor and all strongly primary domains are locally tame [47].
Our next result should be compared with Theorem 3.1, which gathered arithmetical finiteness properties of finitely generated monoids. The main difference is that unions of sets of lengths can be infinite. To give a simple example for this phenomenon, consider the additive monoid \(H = {\mathbb {N}}^2 \cup \{(0,0)\} \subset ({\mathbb {N}}_0^2, +)\). Then H is a locally tame strongly primary monoid, that is not finitely generated and \({\mathcal {U}}_k (H) = {\mathbb {N}}_{\ge 2}\) for all \(k \ge 2\).
Theorem 7.2
(Arithmetic of strongly primary monoids) LetHbe a locally tame strongly primary monoid.
 1.
The set of catenary degrees and the set of distances are finite.
 2.
There is\(M \in {\mathbb {N}}_0\) such that, for all \(k \in {\mathbb {N}}\), the unions \({\mathcal {U}}_k (H)\) are AAPs with difference \(\min \Delta (H)\)and boundM. If\((H \negthinspace : \negthinspace {{\widehat{H}}}) \ne \emptyset\), then all sets\({\mathcal {U}}_k (H)\)are finite if and only if\({{\widehat{H}}}\)is a valuation monoid.
 3.
There is\(M \in {\mathbb {N}}_0\)such that every\(L \in {\mathcal {L}} (H)\)is a finite AAP with difference\(\min \Delta (H)\)and boundM.
Proof
1. and 3. follow from [43, Theorems 3.1.1 and 4.3.6] and for 2. see [42]. \(\square\)
Now we consider the global case. Weakly Krull domains were introduced by Anderson, Anderson, Mott, and Zafrullah [4, 6]. A pure multiplicative description and a divisor theoretic characterization are due to HalterKoch [63, 64]. A monoid H is weakly Krull if it is cancellative,
Note that \(H_{{\mathfrak {p}}}\) is a primary monoid for all \({\mathfrak {p}} \in {\mathfrak {X}} (H)\) and a weakly Krull monoid is Krull if and only if \(H_{{\mathfrak {p}}}\) is a discrete valuation monoid for all \({\mathfrak {p}} \in {\mathfrak {X}} (H)\). A domain R is weakly Krull if and only if \(R^{\bullet }\) is a weakly Krull monoid. The arithmetic of weakly Krull monoids is studied via transfer homomorphisms to Tblock monoids (see [43, Sections 3.4 and 4.5] for Tblock monoids and the structure of sets of lengths and [91, 92] for the structure of their unions). We cannot develop these concepts here whence we restrict to the monoid of their divisorial ideals whose arithmetic can be deduced easily from the local case.
For the remainder of this section we study the monoid \({\mathcal {I}}_v (H)\) of divisorial ideals of weakly Krull Mori monoids H and the submonoid \({\mathcal {I}}_v^* (H)\) of vinvertible divisorial ideals. Clearly, \({\mathcal {I}}_v^* (H) \subset {\mathcal {I}}_v (H)\) is a divisorclosed submonoid. Every onedimensional Noetherian domain R (in particular, every CohenKaplansky domain) is a weakly Krull Mori domain and in that case we have \({\mathcal {I}}_v^* (R) = {\mathcal {I}}^* (R)\). A domain R is called divisorial (see [13]) if each nonzero ideal is divisorial (i.e., \({\mathcal {I}}_v (R) = {\mathcal {I}} (R)\)). Note that onedimensional Noetherian domains need not be divisorial.
Proposition 7.3
Let H be a weakly Krull Mori monoid.

1.
\({\mathcal {I}}_v^* (H)\) is a Mori monoid and it is transfer Krull if and only if it is halffactorial.

2.
If \({\mathcal {I}}_v (H)\) is transfer Krull, then \({\mathcal {I}}_v^* (H)\) is halffactorial.

3.
If R is an order in a quadratic number field, then \({\mathcal {I}} (R)\) is transfer Krull if and only if it is halffactorial.
Proof
1. By [44, Proposition 5.3], \({\mathcal {I}}_v^* (H)\) is a Mori monoid and
Suppose that \({\mathcal {I}}_v^* (H)\) is transfer Krull. By Lemma 5.2, the divisorclosed submonoids \((H_{{\mathfrak {p}}})_{{\text { red}}}\), for all \({\mathfrak {p}} \in {\mathfrak {X}} (H)\), are transfer Krull and hence they are halffactorial by Lemma 7.1(3). This implies that \({\mathcal {I}}_v^* (H)\) is halffactorial. Since all halffactorial monoids are transfer Krull, the reverse implication is obvious.
2. Since \({\mathcal {I}}_v^* (H)\) is a divisorclosed submonoid of \({\mathcal {I}}_v (H)\), this follows from 1.
3. Let R be an order in a quadratic number field. Then \(H =R^{\bullet }\) is weakly Krull Mori, R is divisorial whence \({\mathcal {I}}_v (H) \cong {\mathcal {I}}_v (R) = {\mathcal {I}} (R)\), and \({\mathcal {I}} (R)\) is halffactorial if and only if \({\mathcal {I}}^* (R)\) is halffactorial [16, Theorem 1.1]. Thus the claim follows from 2. \(\square\)
Proposition 7.3(1) shows that \({\mathcal {I}}_v^* (H)\) is transfer Krull only in the trivial case when it is halffactorial. This need not be true for the monoid H itself. Indeed, there are weakly Krull Mori monoids H (including orders in number fields) that are transfer Krull but not halffactorial [44, Theorem 5.8].
Theorem 7.4
LetHbe a weakly Krull Mori monoid with\(\emptyset \ne {\mathfrak {f}} = (H \negthinspace : \negthinspace {{\widehat{H}}}) \subsetneq H\). We set\({\mathcal {P}}^* = \{{\mathfrak {p}} \in {\mathfrak {X}} (H) :{\mathfrak {p}} \supset {\mathfrak {f}} \}\)and\({\mathcal {P}} = {\mathfrak {X}} (H) \setminus {\mathcal {P}}^*\).
 1.
The set of catenary degrees and the set of distances of\({\mathcal {I}}_v^* (H)\)are finite.
 2.
If there is \(M' \in {\mathbb {N}}\)such that \(\rho _{k+1} (H_{{\mathfrak {p}}})  \rho _{k} (H_{{\mathfrak {p}}}) \le M'\)for all\(k \in {\mathbb {N}}_0\) and all \({\mathfrak {p}} \in {\mathcal {P}}^*\),then there are\(M, k^* \in {\mathbb {N}}_0\)such that, for all\(k \ge k^*\), the unions \({\mathcal {U}}_k \bigl ( {\mathcal {I}}_v^* (H) \bigr )\)are AAPs with difference\(\min \Delta \bigl ( {\mathcal {I}}_v^* (H) \bigr )\)and bound M. The sets \({\mathcal {U}}_k \bigl ( {\mathcal {I}}_v^* (H) \bigr )\)are finite for all\(k \in {\mathbb {N}}\)if and only if the map\({v}{\text{}}{{\mathrm{spec}\,}}({{\widehat{H}}}) \rightarrow v\)\({{\,\mathrm{spec}\,}}(H)\), defined by \({\mathfrak {p}} \mapsto {\mathfrak {p}} \cap H\), is bijective.
 3.
There is\(M \in {\mathbb {N}}_0\)such that every\(L \in {\mathcal {L}} \bigl ( {\mathcal {I}}_v^* (H) \bigr )\)is an AAMP with difference\(d \in \Delta \bigl ( {\mathcal {I}}_v^* (H) \bigr )\)and boundM.
Proof
Since the global conductor \((H \negthinspace : \negthinspace {{\widehat{H}}}) \ne \emptyset\), the local conductors \((H_{{\mathfrak {p}}} \negthinspace : \negthinspace \widehat{H_{{\mathfrak {p}}}}) \ne \emptyset\) whence \(H_{{\mathfrak {p}}}\) is a primary Mori monoid (whence strongly primary) with nonempty conductor (whence locally tame) for all \({\mathfrak {p}} \in {\mathfrak {X}} (H)\). Since H is a Mori monoid, the set \({\mathcal {P}}^*\) is finite and \(H_{{\mathfrak {p}}}\) is a discrete valuation monoid for all \({\mathfrak {p}} \in {\mathcal {P}}\). Thus, by (7.1), we infer that
 1.
This follows from Theorem 7.2(1) and from the structure of \({\mathcal {I}}_v^* (H)\) as given in (7.2).
 2.
We first note that if \(H_1\) and \(H_2\) are BFmonoids but not groups and \(k \in {\mathbb {N}}_0\), then
Let \(M' \in {\mathbb {N}}\) such that \(\rho _{k+1} (H_i)  \rho _k (H_i) \le M'\) for all \(k \ge k^*\) and all \(i \in [1,2]\). We assert that \(\rho _{k+1} (H_1 \times H_2)  \rho _k (H_1 \times H_2) \le M'\) for all \(k \ge k^*\). If \(\rho _{k+1} (H_1 \times H_2) = \rho _{k+1} (H_2)\), then \(\rho _{k+1} (H_1 \times H_2)  \rho _k (H_1 \times H_2) \le \rho _{k+1}(H_2)  \rho _k (H_2) \le M'\). Otherwise, there is \(\nu \in [0,k]\) such that \(\rho _{k+1}(H_1 \times H_2) = \rho _{k+1\nu }(H_1)+\rho _{\nu } (H_2)\) whence
By assumption, by (7.2), and by the argument above, we infer that \(\rho _{k+1} \bigl ( {\mathcal {I}}_v^* (H) \bigr )  \rho _{k} \bigl ( {\mathcal {I}}_v^* (H) \bigr ) \le M'\) for all \(k \ge k^*\). This property and the finiteness of the set of distances imply that the set \({\mathcal {U}}_k \bigl ( {\mathcal {I}}_v^* (H) \bigr )\) have the asserted structure by [36, Theorem 4.2].
Equation (7.3) shows that the sets \({\mathcal {U}}_k \bigl ( {\mathcal {I}}_v^* (H) \bigr )\) are finite for all \(k \in {\mathbb {N}}\) if and only if the sets \({\mathcal {U}}_k \bigl ( H_{{\mathfrak {p}}} \bigr )\) are finite for all \(k \in {\mathbb {N}}\) and all \({\mathfrak {p}} \in {\mathcal {P}}^*\). Let \({\mathfrak {p}} \in {\mathcal {P}}^*\). Then \(\widehat{H_{{\mathfrak {p}}}}\) is Krull and it is a valuation monoid if and only if it is a discrete valuation monoid. Thus, by Theorem 7.2.2, all sets \({\mathcal {U}}_k \bigl ( H_{{\mathfrak {p}}} \bigr )\) are finite if and only if all \(\widehat{H_{{\mathfrak {p}}}}\) are discrete valuation monoids if and only if the map v\({{\,\mathrm{spec}\,}}({{\widehat{H}}}) \rightarrow v\)\({{\,\mathrm{spec}\,}}(H)\) is bijective.
3. By (7.2),
Thus sets of lengths of \({\mathcal {I}}_v^* (H)\) are finite sumsets of sets of lengths of a free abelian monoid and of finitely many locally tame strongly primary monoids. Therefore, by Theorem 7.2.3, they are sumsets of AAPs and the claim follows by application of an addition theorem given in [43, Theorem 4.2.16]. The fact that the difference d lies in \(\Delta \bigl ( {\mathcal {I}}_v^* (H) \bigr )\) can be seen either from a direct argument or one uses [43, Theorem 4.5.4]. \(\square\)
References
 1.
Anderson, D.D. (ed.): Factorization in Integral Domains. Lecture Notes in Pure and Applied Mathematics, vol. 189. Marcel Dekker, New York (1997)
 2.
Anderson, D.D., AlMallah, O.A.: Commutative group rings that are présimplifiable or domainlike. J. Algebra Appl. 16, 9 (2017)
 3.
Anderson, D.D., Anderson, D.F., Zafrullah, M.: Factorization in integral domains. J. Pure Appl. Algebra 69, 1–19 (1990)
 4.
Anderson, D.D., Anderson, D.F., Zafrullah, M.: Atomic domains in which almost all atoms are prime. Commun. Algebra 20, 1447–1462 (1992)
 5.
Anderson, D.D.: Irreducible elements in commutative rings with zerodivisors. Houst. J. Math. 37, 741–744 (2011)
 6.
Anderson, D.D., Mott, J., Zafrullah, M.: Finite character representations for integral domains. Boll. Unione Mat. Ital. 6, 613–630 (1992)
 7.
Anderson, D.D., Mott, J.L.: CohenKaplansky domains: integral domains with a finite number of irreducible elements. J. Algebra 148, 17–41 (1992)
 8.
Ánh, P.N., Márki, L., Vámos, P.: Divisibility theory in commutative rings: Bezout monoids. Trans. Am. Math. Soc. 364, 3967–3992 (2012)
 9.
Antoniou, A., Tringali, S.: On the arithmetic of power monoids and sumsets in cyclic groups. arXiv:1804.10913
 10.
Bachman, D., Baeth, N., Gossell, J.: Factorizations of upper triangular matrices. Linear Algebra Appl. 450, 138–157 (2014)
 11.
Baeth, N.R., Smertnig, D.: Factorization theory: from commutative to noncommutative settings. J. Algebra 441, 475–551 (2015)
 12.
Baeth, N.R., Wiegand, R.: Factorization theory and decomposition of modules. Am. Math. Mon. 120, 3–34 (2013)
 13.
Bazzoni, S.: Divisorial domains. Forum Math. 12, 397–419 (2000)
 14.
Bergman, G.M.: Coproducts and some universal ring constructions. Trans. Am. Math. Soc. 200, 33–88 (1974)
 15.
Bergman, G.M., Dicks, W.: Universal derivations and universal ring constructions. Pac. J. Math. 79(2), 293–337 (1978)
 16.
Brantner, J., Geroldinger, A., Reinhart, A.: On monoids of ideals of orders in quadratic number fields. In: Facchini, A., Fontana, M., Geroldinger, A., Olberding, B. (eds.) Advances in Rings, Modules, and Factorizations. Springer (2019)
 17.
Bruns, W., Gubeladze, J.: Polytopes, Rings, and KTheory. Springer, Berlin (2009)
 18.
Campanini, F., Facchini, A.: Factorizations of polynomials with integral nonnegative coefficients. Semigroup Forum 99, 317–332 (2019)
 19.
Chang, Gyu Whan: Every divisor class of Krull monoid domains contains a prime ideal. J. Algebra 336, 370–377 (2011)
 20.
Chang, G.W., Reinhart, A.: Factorization properties of integral domains and monoids (submitted)
 21.
Chapman, S.T., GarcíaSánchez, P.A., Llena, D.: The catenary and tame degree of numerical monoids. Forum Math. 21, 117–129 (2009)
 22.
Chapman, S.T., GarcíaSánchez, P.A., Llena, D., Ponomarenko, V., Rosales, J.C.: The catenary and tame degree in finitely generated commutative cancellative monoids. Manuscr. Math. 120, 253–264 (2006)
 23.
Colton, S., Kaplan, N.: The realization problem for delta sets of numerical monoids. J. Commut. Algebra 9, 313–339 (2017)
 24.
Coykendall, J., Gotti, F.: On the atomicity of monoid algebras. J. Algebra 539, 138–151 (2019)
 25.
Coykendall, J., Hasenauer, R.E.: Factorization in Prüfer domains. Glasg. Math. J. 60(2), 401–409 (2018)
 26.
Delgado, M., GarcíaSánchez, P.A.: numericalsgps, a GAP package for numerical semigroups. ACM Commun. Comput. Algebra 50(1), 12–24 (2016)
 27.
Facchini, A.: Direct sum decomposition of modules, semilocal endomorphism rings, and Krull monoids. J. Algebra 256, 280–307 (2002)
 28.
Facchini, A.: Geometric regularity of directsum decompositions in some classes of modules. J. Math. Sci. 139, 6814–6822 (2006)
 29.
Facchini, A., Wiegand, R.: Directsum decomposition of modules with semilocal endomorphism rings. J. Algebra 274, 689–707 (2004)
 30.
Fan, Y., Geroldinger, A.: Minimal relations and catenary degrees in Krull monoids. J. Commut. Algebra 11, 29–47 (2019)
 31.
Fan, Y., Geroldinger, A., Kainrath, F., Tringali, S.: Arithmetic of commutative semigroups with a focus on semigroups of ideals and modules. J. Algebra Appl. 11, 1750234 (2017). (42 pages)
 32.
Fan, Y., Tringali, S.: Power monoids: a bridge between factorization theory and arithmetic combinatorics. J. Algebra 512, 252–294 (2018)
 33.
Fontana, M., Houston, E., Lucas, T.: Factoring Ideals in Integral Domains. Lecture Notes of the Unione Matematica Italiana, vol. 14. Springer, Berlin (2013)
 34.
Frisch, S.: A construction of integervalued polynomials with prescribed sets of lengths of factorizations. Monatshefte Math. 171, 341–350 (2013)
 35.
Frisch, S., Nakato, S., Rissner, R.: Sets of lengths of factorizations of integervalued polynomials on Dedekind domains with finite residue fields. J. Algebra 528, 231–249 (2019)
 36.
Gao, W., Geroldinger, A.: On products of \(k\) atoms. Monatshefte Math. 156, 141–157 (2009)
 37.
GarcíaGarcía, J.I., MorenoFrías, M.A., VigneronTenorio, A.: Computation of delta sets of numerical monoids. Monatshefte Math. 178, 457–472 (2015)
 38.
GarcíaSánchez, P.A.: An overview of the computational aspects of nonunique factorization invariants. In: Chapman, S.T., Fontana, M., Geroldinger, A., Olberding, B. (eds.) Multiplicative Ideal Theory and Factorization Theory, pp. 159–181. Springer, Berlin (2016)
 39.
GarcíaSánchez, P.A., O’Neill, Ch., Webb, G.: The computation of factorization invariants for affine semigroups. J. Algebra Appl. 18, 1950019 (2019)
 40.
Geroldinger, A.: Über nichteindeutige Zerlegungen in irreduzible Elemente. Math. Z. 197, 505–529 (1988)
 41.
Geroldinger, A.: Noncommutative Krull monoids: a divisor theoretic approach and their arithmetic. Osaka J. Math. 50, 503–539 (2013)
 42.
Geroldinger, A., Gotti, F., Tringali, S.: On strongly primary monoids with a focus on Puiseux monoids. arXiv:1910.10270
 43.
Geroldinger, A., HalterKoch, F.: Nonunique Factorizations. Algebraic, Combinatorial and Analytic Theory. Pure and Applied Mathematics, vol. 278. CRC, Boca Raton (2006)
 44.
Geroldinger, A., Kainrath, F., Reinhart, A.: Arithmetic of seminormal weakly Krull monoids and domains. J. Algebra 444, 201–245 (2015)
 45.
Geroldinger, A., Lettl, G.: Factorization problems in semigroups. Semigroup Forum 40, 23–38 (1990)
 46.
Geroldinger, A., Ramacher, S., Reinhart, A.: On \(v\)Marot Mori rings and \(\rm {C}\)rings. J. Korean Math. Soc. 52, 1–21 (2015)
 47.
Geroldinger, A., Roitman, M.: On strongly primary monoids and domains. arXiv:1807.10683
 48.
Geroldinger, A., Ruzsa, I.: Combinatorial Number Theory and Additive Group Theory. Advanced Courses in Mathematics. CRM Barcelona, Birkhäuser (2009)
 49.
Geroldinger, A., Schmid, W.A.: A characterization of class groups via sets of lengths. J. Korean Math. Soc. 56, 869–915 (2019)
 50.
Geroldinger, A., Schmid, W.A.: A characterization of Krull monoids for which sets of lengths are (almost) arithmetical progressions. Rev. Mat. Iberoam. (to appear)
 51.
Geroldinger, A., Schmid, W.A.: The system of sets of lengths in Krull monoids under set addition. Rev. Mat. Iberoam. 32, 571–588 (2016)
 52.
Geroldinger, A., Schmid, W.A.: A realization theorem for sets of distances. J. Algebra 481, 188–198 (2017)
 53.
Geroldinger, A., Schmid, W.A., Zhong, Q.: Systems of sets of lengths: transfer Krull monoids versus weakly Krull monoids. In: Fontana, M., Frisch, S., Glaz, S., Tartarone, F., Zanardo, P. (eds.) Rings, Polynomials, and Modules, pp. 191–235. Springer, Cham (2017)
 54.
Geroldinger, A., Zhong, Q.: A characterization of class groups via sets of lengths II. J. Théor. Nombres Bordx. 29, 327–346 (2017)
 55.
Geroldinger, A., Zhong, Q.: Sets of arithmetical invariants in transfer Krull monoids. J. Pure Appl. Algebra 223, 3889–3918 (2019)
 56.
Gilmer, R.: Some questions for further research. In: Brewer, J.W., Glaz, S., Heinzer, W., Olberding, B. (eds.) Multiplicative Ideal Theory in Commutative Algebra, pp. 405–415. Springer, Berlin (2006)
 57.
Girard, B.: An asymptotically tight bound for the Davenport constant. J. Ec. Polytech. Math. 5, 605–611 (2018)
 58.
Goodearl, K.R.: von Neumann Regular Rings. Monographs and Studies in Mathematics, vol. 4. Pitman (Advanced Publishing Program), Boston (1979)
 59.
Gotti, F.: Puiseux monoids and transfer homomorphisms. J. Algebra 516, 95–114 (2018)
 60.
Gotti, F.: Systems of sets of lengths of Puiseux monoids. J. Pure Appl. Algebra 223, 1856–1868 (2019)
 61.
Grynkiewicz, D.J.: Structural Additive Theory. Developments in Mathematics, vol. 30. Springer, Cham (2013)
 62.
HalterKoch, F.: Halbgruppen mit Divisorentheorie. Expo. Math. 8, 27–66 (1990)
 63.
HalterKoch, F.: Divisor theories with primary elements and weakly Krull domains. Boll. Un. Mat. Ital. B 9, 417–441 (1995)
 64.
HalterKoch, F.: Ideal Systems, An Introduction to Multiplicative Ideal Theory. Marcel Dekker, New York (1998)
 65.
HalterKoch, F.: Multiplicative ideal theory in the context of commutative monoids. In: Fontana, M., Kabbaj, S.E., Olberding, B., Swanson, I. (eds.) Commutative Algebra: Noetherian and NonNoetherian Perspectives, pp. 203–231. Springer, Berlin (2011)
 66.
HalterKoch, F.: An Invitation to Algebraic Numbers and Algebraic Functions. Pure and Applied Mathematics. CRC Press, Boca Raton (2020)
 67.
Jespers, E., Okniński, J.: Noetherian Semigroup Algebras. Algebra and Applications, vol. 7. Springer, Berlin (2007)
 68.
Kaczorowski, J.: Analytic monoids and factorization problems. Semigroup Forum 94, 532–555 (2017)
 69.
Kainrath, F.: Factorization in Krull monoids with infinite class group. Colloq. Math. 80, 23–30 (1999)
 70.
Kainrath, F.: Elasticity of finitely generated domains. Houst. J. Math. 31, 43–64 (2005)
 71.
Kainrath, F.: Arithmetic of Mori Domains and Monoids: The Global Case. Multiplicative Ideal Theory and Factorization Theory. In: Springer Proceedings in Mathematics & Statistics, vol. 170, pp. 183–218. Springer (2016)
 72.
Lam, T.Y.: Lectures on Modules and Rings. Graduate Texts in Mathematics, vol. 189. Springer, Berlin (1999)
 73.
Narkiewicz, W.: Elementary and Analytic Theory of Algebraic Numbers, 3rd edn. Springer, Berlin (2004)
 74.
Oh, J.S.: On the algebraic and arithmetic structure of the monoid of productone sequences II. Period. Math. Hung. 78, 203–230 (2019)
 75.
Okniński, J.: Noetherian semigroup algebras and beyond. In: Chapman, S.T., Fontana, M., Geroldinger, A., Olberding, B. (eds.) Multiplicative Ideal Theory and Factorization Theory, pp. 255–276. Springer, Berlin (2016)
 76.
Olberding, B., Reinhart, A.: Radical factorization in commutative rings, monoids, and multiplicative lattices. Algebra Univ. 80, 24 (2019)
 77.
Olberding, B., Reinhart, A.: Radical factorization in finitary ideal systems. arXiv:1903.09237
 78.
O’Neill, C., Pelayo, R.: Realisable sets of catenary degrees of numerical monoids. Bull. Aust. Math. Soc. 97, 240–245 (2018)
 79.
Philipp, A.: A characterization of arithmetical invariants by the monoid of relations II: the monotone catenary degree and applications to semigroup rings. Semigroup Forum 90, 220–250 (2015)
 80.
Reinhart, A.: Structure of general ideal semigroups of monoids and domains. J. Commut. Algebra 4, 413–444 (2012)
 81.
Reinhart, A.: On monoids and domains whose monadic submonoids are Krull. In: Fontana, M., Frisch, S., Glaz, S. (eds.) Commutative Algebra: Recent Advances in Commutative Rings, IntegerValued Polynomials, and Polynomial Functions, pp. 307–330. Springer, Berlin (2014)
 82.
Salce, L., Zanardo, P.: Products of elementary and idempotent matrices over integral domains. Linear Algebra Appl. 452, 130–152 (2014)
 83.
Schmid, W.A.: A realization theorem for sets of lengths. J. Number Theory 129, 990–999 (2009)
 84.
Schmid, W.A.: The inverse problem associated to the Davenport constant for \({C}_2 \oplus {C}_2 \oplus {C}_{2n}\), and applications to the arithmetical characterization of class groups. Electron. J. Comb. 18(1) Research Paper 33 (2011)
 85.
Schmid, W.A.: Some recent results and open problems on sets of lengths of Krull monoids with finite class group. In: Chapman, S.T., Fontana, M., Geroldinger, A., Olberding, B. (eds.) Multiplicative Ideal Theory and Factorization Theory, pp. 323–352. Springer, Berlin (2016)
 86.
Smertnig, D.: Sets of lengths in maximal orders in central simple algebras. J. Algebra 390, 1–43 (2013)
 87.
Smertnig, D.: Factorizations of elements in noncommutative rings: a survey. In: Chapman, S.T., Fontana, M., Geroldinger, A., Olberding, B. (eds.) Multiplicative Ideal Theory and Factorization Theory, pp. 353–402. Springer, Berlin (2016)
 88.
Smertnig, D.: Factorizations in bounded hereditary noetherian prime rings. Proc. Edinb. Math. Soc. 62, 395–442 (2019)
 89.
Tao, T., Van Vu, H.: Additive Combinatorics. Cambridge University Press, Cambridge (2006)
 90.
Tringali, S.: Acyclic and positive monoids, and the fundamental theorem of arithmetic (manuscript)
 91.
Tringali, S.: Structural properties of subadditive families with applications to factorization theory. Israel J. Math. 234, 1–35 (2019)
 92.
Zhong, Q.: On the arithmetic of Mori monoids and domains. Glasgow Math. J. (2018). https://doi.org/10.1017/S0017089519000132
 93.
Zhong, Q.: A characterization of finite abelian groups via sets of lengths in transfer Krull monoids. Commun. Algebra 46, 4021–4041 (2018)
 94.
Zhong, Q.: Sets of minimal distances and characterizations of class groups of Krull monoids. Ramanujan J. 45, 719–737 (2018)
 95.
Zhong, Q.: On elasticities of locally finitely generated monoids. J. Algebra 534, 145–167 (2019)
Acknowledgements
Open access funding provided by University of Graz. We would like to thank the reviewers for all their helpful comments. This work was supported by the Austrian Science Fund FWF, Project Number W1230.
Author information
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Communicated by Laszlo Marki.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Geroldinger, A., Zhong, Q. Factorization theory in commutative monoids. Semigroup Forum 100, 22–51 (2020). https://doi.org/10.1007/s00233019100790
Received:
Accepted:
Published:
Issue Date:
Keywords
 Commutative monoids
 Krull monoids
 Transfer Krull monoids
 Factorizations
 Sets of lengths
 Catenary degrees