Communicated by E.M. Friedlander MSC: 13A05; 13F05; 20M13 a
b s t r a c tLet H be an atomic monoid (e.g., the multiplicative monoid of a noetherian domain). For an element b ∈ H, let ω(H, b) be the smallest N ∈ N 0 ∪ {∞} having the following property: if n ∈ N and a 1 , . . . , a n ∈ H are such that b divides a 1 · . . . · a n , then b already divides a subproduct of a 1 · . . . · a n consisting of at most N factors. The monoid H is called tame if sup{ω(H, u) | u is an atom of H} < ∞. This is a well-studied property in factorization theory, and for various classes of domains there are explicit criteria for being tame. In the present paper, we show that, for a large class of Krull monoids (including all Krull domains), the monoid is tame if and only if the associated Davenport constant is finite. Furthermore, we show that tame monoids satisfy the Structure Theorem for Sets of Lengths. That is, we prove that in a tame monoid there is a constant M such that the set of lengths of any element is an almost arithmetical multiprogression with bound M.