Products of k atoms in Krull monoids
Let H be a Krull monoid with finite class group G such that every class contains a prime divisor. For k∈N, let Uk(H) denote the set of all m∈N with the following property: There exist atoms u1,…,uk,v1,…,vm∈H such that u1⋅…⋅uk=v1⋅…⋅vm. It is well-known that the sets Uk(H) are finite intervals whose maxima ρk(H)=maxUk(H) depend only on G. If ∣G∣≤2, then ρk(H)=k for every k∈N. Suppose that ∣G∣≥3. An elementary counting argument shows that ρ2k(H)=kD(G) and kD(G)+1≤ρ2k+1(H)≤kD(G)+⌊2D(G)⌋ where D(G) is the Davenport constant. In \cite{Ga-Ge09b} it was proved that for cyclic groups we have kD(G)+1=ρ2k+1(H) for every k∈N. In the present paper we show that (under a mild condition on the Davenport constant) for every noncyclic group there exists a k∗∈N such that ρ2k+1(H)=kD(G)+⌊2D(G)⌋ for every k≥k∗. This confirms a conjecture of A. Geroldinger, D. Grynkiewicz, and P. Yuan in \cite{Ge-Gr-Yu15}.