PRODUCTS OF k ATOMS IN KRULL MONOIDS

arXiv:1508.03500v1 [math.AC] 14 Aug 2015

YUSHUANG FAN AND QINGHAI ZHONG
Abstract. 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) = max Uk (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) + ⌊ D(G)
⌋ where D(G) is the Davenport constant. In [11] it was
2
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) + ⌊ D(G)
⌋ for every k ≥ k ∗ . This confirms a conjecture of A.
2
Geroldinger, D. Grynkiewicz, and P. Yuan in [13].

1. Introduction
Let H be an atomic monoid. If an element a ∈ H has a factorization a = u1 · . . . · uk into atoms
u1 , . . . , uk ∈ H, then k is called the length of the factorization, and the set L(a) of all possible lengths
is called the set of lengths of a. 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 . Thus Uk (H) is
the union of all sets of lengths containing k. The sets Uk (H) are one of the most investigated invariants
in factorization theory which were introduced by S.T. Chapman and W.W. Smith in Dedekind domains
([7]). Their suprema ρk (H) = sup Uk (H) were first studied in the 1980s for rings of integers in algebraic
number fields ([8, 19]). Since then these invariants have been studied in a variety of settings, including
numerical monoids, monoids of modules, noetherian and Krull domains (for a sample out of many we
refer to [10, 4, 3, 15, 1]).
In the present paper we focus on Krull monoids with class group G such that every class contains
a prime divisor. If |G| ≤ 2, then Uk (H) = {k} and if G is infinite, then Uk (H) = N≥2 for all k ∈ N.
Suppose that G is finite with |G| ≥ 3. This setting includes holomorphy rings in global fields. For more
examples we refer to [13], and a detailed exposition of Krull monoids can be found in [18, 14].
The unions Uk (H) ⊂ N are finite intervals, say Uk (H) = [λk (H), ρk (H)], whose minima λk (H) can be
expressed in terms of ρk (H) ([12, Chapter 3]). Elementary counting arguments (e.g. [14, Section 6.3])
show that, for every k ∈ N, we have ρ2k (H) = kD(G) and that


D(G)
.
(1.1)
kD(G) + 1 ≤ ρ2k+1 (H) ≤ kD(G) +
2
Based on the Savchev-Chen Structure Theorem [17, Section 11.3] (resp. on a related result on the index
of sequences) Gao and Geroldinger [11] showed that for every cyclic group G and every k ∈ N we have
2010 Mathematics Subject Classification. 11B30, 11R27, 13A05, 13F05, 20M13.
Key words and phrases. non-unique factorizations, sets of lengths, Krull monoids, zero-sum sequences.
Main part of this manuscript was written while the first author visited University of Graz. She would like to gratefully
acknowledge the kind hospitality from the host institute and the authors would like to thank Professor Alfred Geroldinger
for his many helpful suggestions. This work was supported by the Austrian Science Fund FWF (Project No. M1641-N26),
NSFC (grant no. 11401542), and the Fundamental Research Funds for the Central Universities (grant no. 2652014033).
1

2

YUSHUANG FAN AND QINGHAI ZHONG

ρ2k+1 (H) = kD(G) + 1. In [13, Conjecture 3.3], the authors conjectured that for every noncyclic group
G there exists a k ∗ ∈ N such that


D(G)
ρ2k+1 (H) = kD(G) +
for every k ≥ k ∗ .
2
We confirm this conjecture for wide classes of groups. For a precise formulation of our main result we
need one more definition. Suppose that G ∼
= Cn1 ⊕ . . .⊕ Cnr where r, n1 , . . . , nr ∈ N with 1 < n1 | . . . | nr ,
and set
r
X
(ni − 1) .
D∗ (G) = 1 +
i=1

It is well-known that D∗ (G) ≤ D(G). Equality holds for p-groups, groups of rank at most two, and others
(see [12, Corollary 4.2.13], [5] for recent progress), but it does not hold in general ([16]). Here is our main
result.
Theorem 1.1. Let H be a Krull monoid with finite noncyclic class group G such that every class contains
a prime divisor. Then there exists a k ∗ ∈ N such that
 ∗

D (G)
∗
∗ ∗
ρ2k+1 (H) ≥ (k − k )D(G) + k D (G) +
for every k ≥ k ∗ .
2
In particular, if D(G) = D∗ (G), then


D(G)
ρ2k+1 (H) = kD(G) +
2



for every k ≥ k ∗ .

In [13], Geroldinger, Grynkiewicz, and Yuan gave a list of groups for which the above result holds with
k ∗ = 1. Furthermore, they showed that if G ∼
= Cm ⊕ Cmn with n ≥ 1 and m ≥ 2, then the result holds
with k ∗ = 1 if and only if n = 1 or m = n = 2. It remains a challenging task to determine, for a given
group G, the smallest possible k ∗ ∈ N for which the above statement holds.
It is well-known that the invariants ρk (H) can be studied in an associated monoid of zero-sum sequences
and this allows to use methods from Additive Combinatorics (see Lemma 2.1). In Section 2 we fix our
notation and terminology. At the beginning of Section 3 we introduce our main concept in Definition 3.1
and after that we discuss the strategy of the proof.

2. Preliminaries
Let N denote the set of positive integers and N0 = N ∪ {0}. For real numbers a, b ∈ R, we denote
by [a, b] = {x ∈ Z | a ≤ x ≤ b} the discrete interval. For n ∈ N we denote by Cn a cyclic group of
order n. Let G be a finite abelian group. Then G ∼
= Cn1 ⊕ . . . ⊕ Cnr where r ∈ N0 , n1 , . . . , nr ∈ N with
1 < n1 | . . . | nr . We call r = r(G) the rank of G (thus r(G) is the maximum of the p-ranks of G), and a
tuple (e1 , . . . , es ) of nonzero elements of G is said to be a basis of G if G = he1 i ⊕ . . . ⊕ hes i. We start with
a couple of remarks on abstract monoids, continue with the monoid of zero-sum sequences, and then we
deal with Krull monoids.
By a monoid, we mean a commutative semigroup with identity which satisfies the cancellation law
(that is, if a, b, c are elements of the monoid with ab = ac, then b = c follows). The multiplicative
semigroup of non-zero elements of an integral domain is a monoid. Let H be a monoid. We denote by
H × the group of invertible elements of H and by A(H) the set of atoms (irreducible elements) of H. If
a = u1 · . . . · uk , where k ∈ N and u1 , . . . , uk ∈ A(H), then k is called the length of the factorization and
L(a) = {k ∈ N | a has a factorization of length k} ⊆ N is the set of lengths of a. For convenience, we set
L(a) = {0} if a ∈ H × . Furthermore, we denote by
L(H) = {L(a) | a ∈ H} the system of sets of lengths of H .

PRODUCTS OF k ATOMS IN KRULL MONOIDS

3

Let k ∈ N and suppose that H 6= H × . Then
Uk (H) =

[

L(a)

a∈H, k∈L(a)

is the union of all sets of lengths containing k. Thus, Uk (H) is the set of all m ∈ N such that there are
atoms u1 , . . . , uk , v1 , . . . , vm with u1 · . . . · uk = v1 · . . . · vm , and we define ρk (H) = sup Uk (H). Sets of
lengths are the best investigated invariants in Factorization Theory (for an overview we refer to [14, 6]).
Let G be an additively written finite abelian group. By a sequence over G, we mean a finite sequence
of terms from G where repetition is allowed and the order is disregarded. As usual (see [14, 17]), we
consider sequences as elements of the free abelian monoid F (G) with basis G. A sequence S over G will
be written in the form
Y
S = g1 · . . . · gl =
g vg (S) ∈ F (G),
g∈G

and we call
P
|S| = l = g∈G vg (S) ∈ N0 the length of S,
supp(S) = {g ∈ G | vg (S) > 0} ⊆ G the support of S, and
P
P
σ(S) = li=1 gi = g∈G vg (S)g ∈ G the sum of S.

We say that S is a zero-sum sequence if σ(S) = 0, and clearly the set of zero-sum sequences
B(G) = {S ∈ F (G) | σ(S) = 0} ⊂ F (G)
is a submonoid of F (G), called the monoid of zero-sum sequences over G. Clearly, an element A ∈ B(G)

is irreducible if and only if it is a minimal zero-sum sequence, and we denote by A(G) := A B(G) the
set of atoms of B(G). This set is finite, and the Davenport constant D(G) of G is the maximal length of
a minimal zero-sum sequence over G, thus

D(G) = max |U | U ∈ A(G) ∈ N .
In other words, D(G) is the smallest integer ℓ such that every sequence S over G of length |S| ≥ ℓ has a
nontrivial zero-sum subsequence.
A monoid H is a Krull monoid if one of the following equivalent conditions is satisfied:
(a) H is completely integrally closed and satisfies the ascending chain condition on divisorial ideals.
(b) There is a free abelian monoid F and a homomorphism ϕ : H → F with the following property: if
a, b ∈ H and ϕ(a) divides ϕ(b) in F , then a divides b in H.
We refer to the monographs [18, 14] for a detailed exposition of Krull monoids and to the already
mentioned paper [13]. We just mention that a domain R is a Krull domain if and only if its monoid of
nonzero elements is a Krull monoid, and for monoids of modules which are Krull we refer to [2, 1, 9].
Property (a) easily shows that every integrally closed noetherian domain is a Krull domain. Since the
embedding B(G) ֒→ F (G) satisfies Property (b), we infer that B(G) is a Krull monoid. It is easy to
verify that the class group of B(G) is isomorphic to G and that every class contains a prime divisor.
Furthermore, B(G) plays a universal role in the study of the arithmetic of general Krull monoids. In
particular, the system of sets of lengths of a Krull monoid H with class group G, where each class contains
a prime divisor, coincides with the system of sets of lengths of B(G). We give a precise formulation of
this well-known fact (for progress in this directions see [13, Proposition 2.2]).
Proposition 2.1 ([14], Theorem 3.4.10). Let H be a Krull monoid with class group G such that every
class contains a prime divisor. Then there is a transfer homomorphism β : H → B(G) which implies
that, for every k ∈ N,
Uk (H) = Uk (B(G)) and ρk (H) = ρk (B(G)) .

4

YUSHUANG FAN AND QINGHAI ZHONG

Thus the invariants ρk (H) can be studied in the monoid of zero-sum sequences B(G). As usual, we
set Uk (G) = Uk (B(G)) and ρk (G) = ρk (B(G)).
3. Proof of Theorem 1.1
Throughout this section, let G be a finite abelian group. If |G| ≤ 2, then B(G) is factorial whence
ρk (G) = k for every k ∈ N. Clearly, D∗ (G) = 3 if and only if G is cyclic of order three or isomorphic to
C2 ⊕ C2 . In this case, Inequality (1.1) is an equality, and in particular Theorem 1.1 holds with k ∗ = 1.
Thus for the remainder of this section we suppose that D∗ (G) ≥ 4, and this implies that |G| ≥ 4.
We introduce the main concept of the present paper.
Definition 3.1. Let A ∈ B(G).
1. We say that A is pair-nice (with respect to G) if there is a factorization A = U1 · . . . · U2k , k ∈ N
with the following properties
(a) U1 , . . . , U2k ∈ A(G) with |U1 | = . . . = |U2k | = D∗ (G);
(b) For all i ∈ [1, 2k], there is a gi ∈ supp(Ui ) such that g1 · . . . · g2k is a product of length 2 atoms.
2. We say that A is nice (with respect to G) if there is a factorization A = U1 · . . . · U2k+1 , k ∈ N
with the following properties
(a) U1 , . . . , U2k+1 ∈ A(G) with |U1 | = . . . = |U2k+1 | = D∗ (G);
(b) For all i ∈ [1, 2k + 1], there is a gi ∈ supp(Ui ) such that one of the following holds:
(i) D∗ (G) is odd, A(g1 · . . . · g2k+1 )−1 is a product of length 2 atoms, and g1 · . . . · g2k+1 =
W0 ·W1 ·. . .·Wk−1 , where |W0 | = 3, |W1 | = . . . = |Wk−1 | = 2, and W0 , . . . , Wk−1 ∈ A(G).
(ii) D∗ (G) is even and there exists a g2k+2 ∈ supp (A(g1 · . . . · g2k+1 )−1 ) such that A(g1 ·
. . . · g2k+2 )−1 and g1 · . . . · g2k+2 are both products of length 2 atoms.
Suppose there exists a nice A ∈ B(G), and let all notation be as in the above definition. Then
D∗ (G)
D∗ (G)
⌋} ⊆ L(A) and hence ρ2k+1 (G) ≥ kD∗ (G) + ⌊
⌋.
2
2
Thus, up to a small calculation (which will be done in the actual proof of Theorem 1.1), the assertion
of the theorem follows. Therefore the main task of the paper is to find nice elements. We do this for
groups of rank two (Lemma 3.3), for groups of rank three (Lemma 3.4), and then we put all together in
Lemma 3.5. Note, if G is cyclic of order greater than or equal to four, then there are no nice elements.
Furthermore, if A is nice or pair-nice, then 0 ∈
/ supp(A).
Our first lemma gathers some basic facts which we will use without further mention.
{2k + 1, kD∗ (G) + ⌊

Lemma 3.2. Let E, E1 be pair-nice zero-sum sequences (with respect to G). Suppose that X1 , X2 , X3 ∈
A(G) are of length D∗ (G). Then
1. E · E1 is pair-nice (with respect to G);
2. If D∗ (G) is even and E · X1 is a product of length 2 atoms, then E · X1 is nice (with respect to G);
3. If D∗ (G) is odd and there exists ai ∈ supp(Xi ) for each i ∈ [1, 3] such that a1 a2 a3 ∈ A(G) and
EX1 X2 X3 (a1 a2 a3 )−1 is a product of length 2 atoms, then EX1 X2 X3 is nice (with respect to G).
Proof. Since E is pair-nice, we assume that E = U1 · . . . · U2k , where k ∈ N and U1 , . . . , U2k ∈ A(G) are
of length D∗ (G), and there exists gi ∈ supp(Ui ) for each i ∈ [1, 2k] such that g1 · . . . · g2k is a product of
length 2 atoms.
1. It is obvious by definition.
2. Since E ·X1 and g1 ·. . .·g2k are both products of length 2 atoms, we obtain that E(g1 ·. . .·g2k )−1 X1
is a product of length 2 atoms. Therefore there exist x ∈ supp(X1 ) and y ∈ supp(E(g1 ·. . .·g2k )−1 )
such that xy ∈ A(G). It follows that g1 · . . . · g2k · xy and EX1 (g1 · . . . · g2k · xy)−1 are both products
of length 2 atoms which implies that E · X1 is nice by D∗ (G) is even.

PRODUCTS OF k ATOMS IN KRULL MONOIDS

5

3. Since EX1 X2 X3 (a1 a2 a3 )−1 and g1 ·. . .·g2k are product of length 2 atoms, we have that EX1 X2 X3 (g1 ·
. . . · g2k a1 a2 a3 )−1 is a product of length 2 atoms. Moreover, a1 a2 a3 is an atom implies that
EX1 X2 X3 is nice by D∗ (G) is odd.

Lemma 3.3. Let G = Cn ⊕ Cmn with n > 1 and m ∈ N. Then there exist a k ∗ ∈ N and atoms
W1 , . . . , W2k∗ +1 ∈ A(G) of length D∗ (G) such that W1 · . . . · W2k∗ +1 is nice.
Proof. Let (e1 , e2 ) be a basis of G with ord(e1 ) = n and ord(e2 ) = mn. Then D∗ (G) = mn + n − 1.
Now set


mn−2
Ui = e1n−1 (−1)i+1 e2 + (i + 1)e1 (−1)i+1 e2 − ie1 (−1)i+1 e2
,



n−2
Vj = emn−1
(−1)j+1 e1 + (j + 1)e2 (−1)j+1 e1 − je2 (−1)j+1 e1
,
2
n−2


,
Wj = (e1 + e2 )mn−1 (−1)j+1 e1 + (j + 1)(e1 + e2 ) (−1)j+1 e1 − j(e1 + e2 ) (−1)j+1 e1

where i ∈ [0, n − 1] and j ∈ [0, mn − 1]. Then |Ui | = |Vj | = |Wj | = D∗ (G) and Ui , Vj , Wj ∈ A(G) for all
i ∈ [0, n − 1], j ∈ [0, mn − 1].

We distinguish the following three cases.
Case 1: n is odd and m is even.
Let n = 2α + 1 with α ≥ 1. Then m ≥ 2 and D∗ (G) is even.
Since mn is even, let E2 = V0 · . . . · Vmn−1 and hence E2 is pair-nice. By calculation, we obtain that
−(mn−1)mn
E2 e2
is a product of length 2 atoms.
Let E3 = V0 · . . . · V(m−1)n−1 W(m−1)n · . . . · Wmn−1 and hence E3 is pair-nice. By calculation, we obtain
−1

(mn−1)(m−1)n
(e1 + e2 )(mn−1)n
is a product of length 2 atoms.
that E3 e2
Replacing the basis (e1 , e2 ) with (−e1 , e2 ), we can construct a zero-sum sequence E3′ similar with E3
−1

(mn−1)(m−1)n
such that E3′ is pair-nice and E3′ e2
(−e1 + e2 )(mn−1)n
is a product of length 2 atoms.

Let X = emn−1
(e1 + e2 )α+1 (e1 − e2 )α and Y = emn−1
(e2 − e1 )(−e1 )n−1 . Then X and Y are atoms of
2
2
∗
length D (G). Since XY and X(−Y ) are pair-nice, we obtain that
E ′ = E22α E3α+1 (−E3′ )α ((−X)Y )

(mn−1)n−1
2

((−X)(−Y ))

(mn−1)n−1
2

is pair-nice .

By calculation we have that (−X)E ′ is a product of length 2 atoms. It follows that (−X)E ′ is nice
by Lemma 3.2.2.
Case 2: n is odd and m is odd.
Then D∗ (G) is odd. Since n is odd, let O1 = U0 · . . . · Un−1 and hence by calculation, we can obtain
−1

n(n−1)
(−e2 )mn
is a product of length 2 atoms.
that O1 e1

−1
(mn−1)mn
Since mn is odd, let O2 = V0 · . . . · Vmn−1 and hence by calculation, O2 e2
(−e1 )n
is a
product of length 2 atoms.
Replacing the basis (e1 , e2 ) with (−e1 , e2 ), we can construct a zero-sum sequence O1′ similarly with
−1
O1 such that O1′ (−e1 )n(n−1) (−e2 )mn
is a product of length 2 atoms. By the constructions of O1
′
′
and O1 , we can obtain that O1 O1 is pair-nice and O1 O1′ (−e2 )−2mn is a product of length 2 atoms. We
denote O1 O1′ by E.
Let X = (−e1 )n−1 emn−1
(e2 − e1 ) and hence X is an atom of length D∗ (G). Therefore we let O =
2
(mn−1)(n−2)
−1
n−2
2
and hence O ((e2 − e1 )e1 (−e2 )) is a product of length 2 atoms.
O2 O1 XE
Since O2 Ui is pair-nice for each i ∈ [0, n − 1], we obtain that O2n−2 O1 (U0 U1 )−1 is pair-nice and hence
O(U0 U1 X)−1 is pair-nice.
By (e2 − e1 ) ∈ supp(X), −e2 ∈ supp(U0 ), and e1 ∈ supp(U1 ), Lemma 3.2.3 implies that O is nice.

6

YUSHUANG FAN AND QINGHAI ZHONG

Case 3: n is even.
−n(n−1)
Then D∗ (G) is odd. Since n is even, let E1 = U0 · . . . · Un−1 and hence E1 is pair-nice and E1 e1
−(mn−1)mn
is a product of length 2 atoms. Let E2 = V0 · . . . · Vmn−1 and hence E2 is pair-nice and E2 e2
is
a product of length 2 atoms.
Let
X1 =e1n−1 emn−1
(e1 + e2 ) ,
2
X2 =emn−1
e1 (e1 + e2 ) 2 (e1 − e2 ) 2 −1 ,
2
n

n

Y =e1n−1 (−e2 )mn−1 (e1 − e2 ) .
Then X1 , X2 , and Y are atoms of length D∗ (G). Since X1 Y and X1 (−Y ) are both pair-nice, we obtain
mn
mn
that (X1 Y ) 2 (X1 (−Y )) 2 (−E1 )m (−E2 ) is pair-nice and
(X1 Y )

mn
2

(X1 (−Y ))

mn
2

(−E1 )m (−E2 )(e1 + e2 )−mn is product of length 2 atoms .

Replacing the basis (e1 , e2 ) with (e1 , e2 − e1 ), we can construct a zero-sum sequence E similarly such
that E is pair-nice and Ee−mn
is a product of length 2 atoms.
2
n
n
Then let E ′ = (X1 Y ) 2 (X1 (−Y )) 2 (−E1 )(−E)n and hence E ′ is pair-nice and
E ′ ((e1 + e2 )n (−e2 )n )

−1

is a product of length 2 atoms .

′

Similarly with E , if we replace the basis (e1 , e2 ) with (e1 , −e2 ), we can construct a zero-sum sequence
E ′′ such that E ′′ is pair-nice and
E ′′ ((e1 − e2 )n en2 )−1 is a product of length 2 atoms .
n

n

n

n

Since X2 Y and X2 (−Y ) are both pair-nice, we let E ′′′ = (X2 Y ) 2 (X2 (−Y )) 2 (−E)n (−E ′ ) 2 (−E ′′ ) 2 −1
and hence E ′′′ is pair-nice and E ′′′ e−n
is a product of length 2 atoms. It follows that (−E)(−E ′′′ ) is
1
pair-nice, (e1 + e2 ) ∈ supp(X1 ), −e2 ∈ supp(Y ), −e1 ∈ supp(−Y ), and
X1 Y (−Y )(−E)(−E ′′′ ) ((−e2 )(−e1 )(e1 + e2 ))

−1

is a product of length 2 atoms

′′′

which implies that X1 Y (−Y )(−E)(−E ) is nice by Lemma 3.2.3.



Lemma 3.4. Let G = Cn1 ⊕ Cn2 ⊕ Cn3 with 1 < n1 | n2 | n3 . Then there exist a k ∗ ∈ N and atoms
W1 , . . . , W2k∗ +1 ∈ A(G) of length D∗ (G) such that W1 · . . . · W2k∗ +1 is nice.
Proof. Let (e1 , e2 , e3 ) be a basis of G with ord(e1 ) = n1 , ord(e2 ) = n2 , and ord(e3 ) = n3 . Then
D∗ (G) = n1 + n2 + n3 − 2. Denote
X1 = e1n1 −1 e2n2 −1 (−e3 )n3 −2 (e1 − e3 )(e2 − e3 ),
X2 = e1n1 −1 (−e2 )n2 −2 e3n3 −1 (e1 − e2 )(e3 − e2 ),
X3 = (−e1 )n1 −2 e2n2 −1 e3n3 −1 (−e1 + e2 )(−e1 + e3 ).
It is easy to see that Xi is an atom of length D∗ (G) for each i ∈ [1, 3]. Thus
X1 X2 X3 (en1 1 en2 2 en3 3 )

−1

is a product of length 2 atoms .

If n1 = n2 = n3 = 2, we have X1 X2 X3 is a product of length 2 atoms and hence X1 X2 X3 is nice. Thus
we can assume n3 ≥ 4.
Denote
X1′ = e1n1 −1 (−e2 )n2 −1 e3n3 −2 (e1 + e3 )(−e2 + e3 ),
X2′ = e1n1 −1 e2n2 −2 (−e3 )n3 −1 (e1 + e2 )(−e3 + e2 ),
X3′ = (−e1 )n1 −2 (−e2 )n2 −1 (−e3 )n3 −1 (−e1 − e2 )(−e1 − e3 ).

PRODUCTS OF k ATOMS IN KRULL MONOIDS

7

1
Thus E1 = X1 X1′ X2 X2′ X3 X3′ is pair-nice and E1 e−2n
is a product of length 2 atoms. Similarly, we can
1
2
3
construct pair-nice zero-sum sequences E2 and E3 such that E2 e−2n
and E3 e−2n
are both products of
2
3
length 2 atoms.
Set
n2 −1
n3 −3



,
(−1)i+1 (e2 + e3 ) (−1)i+1 e2
Ui =e1n1 −1 (−1)i+1 e3 + (i + 1)e1 (−1)i+1 e3 − ie1 (−1)i+1 e3


n3 −3

n1 −1
n2 −1
j+1
j+1
j+1
j+1
j+1
Vj =e2
(−1) e3 + (j + 1)e2 (−1) e3 − je2 (−1) e3
(−1) (e1 + e3 ) (−1) e1
,






n2 −3
n1 −1
n3 −1

(−1)l+1 e2 + (l + 1)e3 (−1)l+1 e2 − le3 (−1)l+1 e2
(−1)l+1 (e1 + e2 ) (−1)l+1 e1
,

 e3
Wl =
if n2 ≥ 3 ,


 en3 −1 (e + le + (l + 1)e ) (e + (l + 1)e − le ) e ,
if n = n = 2 ,

3

1

2

3

1

2

3

2

1

2

where i ∈ [0, n1 − 1], j ∈ [0, n2 − 1], and l ∈ [0, n3 − 1]. It is easy to see that, Vi , Uj , Wl are all atoms of
length D∗ (G), where i ∈ [0, n1 − 1], j ∈ [0, n2 − 1], and l ∈ [0, n3 − 1].

Now we distinguish the following four cases.
Case 1: n1 is even.
Then D∗ (G) is even since 1 < n1 | n2 | n3 .
Since n1 is even, we let E1′ = U0 · . . . · Un1 −1 , E2′ = V0 · . . . · Vn2 −1 , and E3′ = W0 · . . . · Wn3 −1 and hence
−n (n −1)
−n (n −1)
−n (n −1)
E1′ , E2′ , and E3′ are pair-nice. Moreover E1′ e1 1 1 , E2′ e2 2 2 , and E3′ e3 3 3
are products of
length 2 atoms.
n2
n3
n1
Therefore let E4 = E1′ (−E1 ) 2 −1 , E5 = E2′ (−E2 ) 2 −1 , and E6 = E3′ (−E3 ) 2 −1 , and hence E4 , E5 , E6
are pair-nice and E4 e1−n1 , E5 e2−n2 , and E6 e3−n3 are products of length 2 atoms.
It follows that O = E4 E5 E6 (−X1 )(−X2 )(−X3 ) is a product of length 2 atoms and E4 E5 E6 (−X1 )(−X2 )
is pair-nice. Then O is nice by Lemma 3.2.2.
Case 2: n1 is odd, n2 is even.
Then D∗ (G) is odd. Since n1 is odd, we let O1 = U0 · . . . · Un1 −1 and hence O1 U0−1 is pair-nice and
−1

(n −1)n1
is a product of length 2 atoms .
(−e3 )n3 −1 (−e2 − e3 )(−e2 )n2 −1
O1 e1 1
Since n2 is even, we let E2′ = V0 · . . . · Vn2 −1 and E3′ = W0 · . . . · Wn3 −1 and hence E2′ and E3′ are
−n (n −1)
−n (n −1)
pair-nice. Moreover E2′ e2 2 2
and E3′ e3 3 3
are both products of length 2 atoms.
n3
n2
Therefore let E5 = E2′ (−E2 ) 2 −1 and E6 = E3′ (−E3 ) 2 −1 , and hence E5 , E6 are pair-nice and E5 e2−n2
and E6 e3−n3 are both products of length 2 atoms.
n1 −1
−1
Let O = (−E1 ) 2 E5 E6 O1 X1 (−X1 ) and hence O (e2 e3 (−e2 − e3 )) is a product of length 2 atoms.
Since (−e2 − e3 ) ∈ supp(U0 ), e2 ∈ supp(X1 ), e3 ∈ supp(−X1 ), and O (U0 X1 (−X1 ))−1 is pair-nice, we
obtain that O is nice by Lemma 3.2.3.
Case 3: n1 is odd, n2 is odd, and n3 is even.
Then D∗ (G) is even. Since n1 is odd, we let O1 = U0 · . . . · Un1 −1 and hence O1 U0−1 is pair-nice and
−1

(n −1)n1
is a product of length 2 atoms .
(−e3 )n3 −1 (−e2 − e3 )(−e2 )n2 −1
O1 e1 1
−(n −1)n

3
is a product
Since n3 is even, we let E3′ = W0 · . . . · Wn3 −1 and hence E3′ is pair-nice and E3′ e3 3
n3
−n3
−1
′
2
is pair-nice and E6 e3 is a product of length 2 atoms.
of length 2 atoms. Therefore E6 = E3 (−E3 )
Since n2 ≥ 3, we let
n2 −3


·
Wl′ =(e2 + e3 )n3 −1 (−1)l+1 e2 + (l + 1)(e2 + e3 ) (−1)l+1 e2 − l(e2 + e3 ) (−1)l+1 e2


n1 −1
(−1)l+1 (e1 + e2 ) (−1)l+1 e1
,

where l ∈ [0, n3 − 1]. Thus Wl′ is an atom of length D∗ (G) for each l ∈ [0, n3 − 1].

8

YUSHUANG FAN AND QINGHAI ZHONG

Let E7 = (W0 W1 ) · . . . · (Wn3 −n2 −1 Wn′ 3 −n2 ) · . . . · (Wn′ 3 −2 Wn′ 3 −1 ) and hence E7 is pair-nice and
−1

(n −1)(n3 −n2 )
is a product of length 2 atoms .
(e2 + e3 )(n3 −1)n2
E7 e3 3
(n −1)n

(n3 −1)n2 (n2 −1)

(n3 −1)n2 (n1 −1)n1

(n3 −1)n3 (n2 −1)

2n2
n3
2
2n1
E7 (−E1 )
Therefore let O′ = O1 3
E2
E6
and hence O′ is a
product of length 2 atoms and O′ (U0 )−(n3 −1)n2 is pair-nice.
Let Y = en1 1 −1 e2n2 −1 e3n3 −1 (e1 +e2 +e3 ) and hence Y is an atom of length D∗ (G). Since Y U0 and (−Y )U0
(n3 −1)n2 −1
(n3 −1)n2 −1
(n3 −1)n2 −1
(n −1)n2 −1
2
2
2
are both pair-nice, we obtain that U0 3
(Y (−Y ))
= (U0 Y )
(U0 (−Y ))
is pair-nice.
(n3 −1)n2 −1
2
It follows that O = O′ (Y (−Y ))
is a product of length 2 atoms and

(n3 −1)n2 −1

OU0−1 = O′ (U0 )−(n3 −1)n2 · U0

(Y (−Y ))

(n3 −1)n2 −1
2

is pair-nice.

Then O is nice by Lemma 3.2.2.
Case 4: n1 is odd, n2 is odd, and n3 is odd.
Then D∗ (G) is odd. Since n3 is odd, we let O3 = W0 · . . . · Wn3 −1 and hence O3 W0−1 is pair-nice and
−1

(n −1)n3
is a product of length 2 atoms ,
(−e2 )n2 −1 (−e1 − e2 )(−e1 )n1 −1
O3 e3 3
and hence
O3 (−E3 )

n3 −1
2

−1
is a product of length 2 atoms .
X1 X2 X3 en3 3 e1 e2 (−e1 − e2 )
n3 −1

By (W0 X1 )(X2 X3 ) is pair-nice, we have that O3 (−E3 ) 2 X1 X2 X3 is pair-nice.
Similarly, if we replace the basis (e1 , e2 , e3 ) with (−e1 , −e2 , e1 + e2 + e3 ), we can construct a zero-sum
sequence E such that E is pair-nice and
E ((e1 + e2 + e3 )n3 (−e1 )(−e2 )(e1 + e2 ))−1 is a product of length 2 atoms .
Let
Y =e1n1 −1 e2n2 −1 e3n3 −1 (e1 + e2 + e3 ) ,
Y1 =e1n1 −1 (−e1 − e2 )n2 −1 (−e3 )n3 −1 (−e2 − e3 ) ,
and hence Y and Y1 are atoms of length D∗ (G).
Therefore let
O4 =Y n3 (−E1 )

(n1 −1)n3
2n1

O =O4 (Y1 (−Y1 ))

n3 −1
2

(−E2 )

(n2 −1)n3
2n2

(−E3 )

(n3 −1)
2

,

(−E) .

Then O4 (e1 + e2 + e3 )−n3 is a product of length 2 atoms and hence O (e1 e2 (−e1 − e2 ))−1 is a product of
length 2 atoms. By calculation, we obtain that
O(Y 2 Y1 )−1 = O4 (Y )−n3 · (Y Y1 )

n3 −3
2

· (Y (−Y1 ))

n3 −1
2

· (−E) is pair-nice,

Therefore e1 ∈ supp(Y ), e2 ∈ supp(Y ), and −e1 − e2 ∈ supp(Y1 ) imply that O is nice by Lemma 3.2.3.

Lemma 3.5. Let G = G1 ⊕ G2 , where G1 , G2 ⊂ G are noncyclic subgroups of G satisfying r(G) =
r(G1 ) + r(G2 ). Suppose that there exist k ∈ N and atoms U1 , . . . , U2k+1 ∈ A(G1 ) of length D∗ (G1 ) and
atoms V1 , . . . , V2k+1 ∈ A(G2 ) of length D∗ (G2 ) such that U1 · . . . · U2k+1 is nice (with respect to G1 ) and
V1 ·. . .·V2k+1 is nice (with respect to G2 ). Then there exist atoms W1 , . . . , W2k+1 ∈ A(G) of length D∗ (G)
such that W1 · . . . · W2k+1 is nice (with respect to G).

PRODUCTS OF k ATOMS IN KRULL MONOIDS

9

Proof. Without loss of generality, we can distinguish the following three cases.
Case 1. D∗ (G1 ) and D∗ (G2 ) are odd.
Since U1 · . . . · U2k+1 is nice (with respect to G1 ), without loss of generality, we can assume that there
exist gi ∈ supp(Ui ) for each i ∈ [1, 2k + 1] such that σ(g1 g2 g3 ) = 0, g2j = −g2j+1 for each j ∈ [2, k], and
U1 · . . . · U2k+1 (g1 · . . . · g2k+1 )−1 is a product of length 2 atoms.
With the same reason, we can assume that there exist hi ∈ supp(Vi ) for each i ∈ [1, 2k + 1] such that
σ(h1 h2 h3 ) = 0, h2j = −h2j+1 for each j ∈ [2, k], and V1 · . . . · V2k+1 (h1 · . . . · h2k+1 )−1 is a product of
length 2 atoms.
Let Wi = Ui gi−1 · Vi h−1
· (gi + hi ) for all i ∈ [1, 2k + 1]. Then Wi is an atom over G of length
i
∗
D (G1 ) + D∗ (G2 ) − 1 = D∗ (G), and
(g1 + h1 ) · . . . · (g2k+1 + h2k+1 ) = Z0 · Z1 · . . . · Zk−1
where Z0 = (g1 + h1 )(g2 + h2 )(g3 + h3 ) ∈ A(G) and Zi = (g2i+2 + h2i+2 )(g2i+3 + h2i+3 ) ∈ A(G) for each
i ∈ [1, k − 1],
−1
= U1 ·. . .·U2k+1 (g1 ·. . .·g2k+1 )−1 ·V1 ·. . .·V2k+1 (h1 ·. . .·h2k+1 )−1
W1 ·. . .·W2k+1 (g1 +h1 )·. . .·(g2k+1 +h2k+1 )
is a product of atoms of length 2.
It follows that W1 · . . . · W2k+1 is nice (with respect to G) by D∗ (G) is odd.

Case 2. D∗ (G1 ) and D∗ (G2 ) are even.
Since U1 · . . . · U2k+1 is nice (with respect to G1 ), without loss of generality, we can assume that there
exist gi ∈ supp(Ui ) for each i ∈ [1, 2k + 1] and g2k+2 ∈ supp(U1 g1−1 ) such that g1 = −g2 , g2k+2 = −g3 ,
and g2j = −g2j+1 for each j ∈ [2, k] and U1 · . . . · U2k+1 (g1 · . . . · g2k+2 )−1 is a product of length 2 atoms.
With the same reason, we can assume that there exist hi ∈ supp(Vi ) for each i ∈ [1, 2k + 1] and
h2k+2 ∈ supp(V1 h−1
1 ) such that h1 = −h2 , h2k+2 = −h3 , and h2j = −h2j+1 for each j ∈ [2, k] and
V1 · . . . · V2k+1 (h1 · . . . · h2k+2 )−1 is a product of atoms of length 2.
Let Wi = Ui gi−1 · Vi h−1
i · (gi + hi ) for all i ∈ [4, 2k + 1] and
W1 = U1 (g1 g2k+2 )−1 · V2 h−1
2 · (g1 + h2 ) · g2k+2 ,
W2 = U2 g2−1 · V1 (h1 h2k+2 )−1 · (g2 + h1 ) · h2k+2 ,
W3 = U3 g3−1 · V3 h−1
3 · (g3 + h3 ) .
Then Wi is an atom over G of length D∗ (G1 ) + D∗ (G2 ) − 1 = D∗ (G) for all i ∈ [1, 2k + 1]. It follows
that
g2k+2 · h2k+2 · (g3 + h3 ) · (g4 + h4 ) . . . · (g2k+1 + h2k+1 ) = Z0 · Z1 · . . . · Zk−1 ,
where Z0 = g2k+2 h2k+2 (g3 + h3 ) ∈ A(G) and Zi = (g2i+2 + h2i+2 )(g2i+3 + h2i+3 ) ∈ A(G) for each
i ∈ [1, k − 1].
Moreover
−1
W1 · . . . · W2k+1 g2k+2 · h2k+2 · (g3 + h3 ) · (g4 + h4 ) · . . . · (g2k+1 + h2k+1 )
=U1 · . . . · U2k+1 (g1 · . . . · g2k+2 )−1 · V1 · . . . · V2k+1 (h1 · . . . · h2k+2 )−1 · (g1 + h2 )(g2 + h1 )

is a product of atoms of length 2.
Thus W1 · . . . · W2k+1 is nice (with respect to G) by D∗ (G) is odd.
Case 3. D∗ (G1 ) is even and D∗ (G2 ) is odd.
Since U1 · . . . · U2k+1 is nice (with respect to G1 ) and D∗ (G1 ) is even, without loss of generality, we
can assume that there exist gi ∈ supp(Ui ) for each i ∈ [1, 2k + 1] and g2k+2 ∈ supp(U1 g1−1 ) such that
g1 = −g2 , g2k+2 = −g3 , and g2j = −g2j+1 for each j ∈ [2, k] and U1 · . . . · U2k+1 (g1 · . . . · g2k+2 )−1 is a
product of length 2 atoms.

10

YUSHUANG FAN AND QINGHAI ZHONG

Since V1 · . . . · V2k+1 is nice (with respect to G2 ) and D∗ (G2 ) is odd, without loss of generality, we can
assume that there exist hi ∈ supp(Vi ) for each i ∈ [1, 2k + 1] such that σ(h1 h2 h3 ) = 0 and h2j = −h2j+1
for each j ∈ [2, k] and V1 · . . . · V2k+1 (h1 · . . . · h2k+1 )−1 is a product of length 2 atoms.
Let Wi = Ui gi−1 · Vi h−1
i · (gi + hi ) for all i ∈ [4, 2k + 1] and
W1 = U1 (g1 g2k+2 )−1 · V1 h−1
1 · (g1 − h2 ) · (g2k+2 + h1 + h2 ) ,
W2 = U2 g2−1 · V2 h−1
2 · (g2 + h2 ) ,
W3 = U3 g3−1 · V3 h−1
3 · (g3 + h3 ) .
Then Wi is an atom over G of length D∗ (G1 ) + D∗ (G2 ) − 1 = D∗ (G) for all i ∈ [1, 2k + 1]. It follows
that
(g1 − h2 ) · (g2k+2 + h1 + h2 ) · (g2 + h2 ) · (g3 + h3 ) · (g4 + h4 ) · . . . · (g2k+1 + h2k+1 )
is a product of length 2 atoms and

−1
W1 · . . . · W2k+1 (g1 − h2 ) · (g2k+2 + h1 + h2 ) · (g2 + h2 ) · (g3 + h3 ) · (g4 + h4 ) · . . . · (g2k+1 + h2k+1 )

=U1 · . . . · U2k+1 (g1 · . . . · g2k+2 )−1 · V1 · . . . · V2k+1 (h1 · . . . · h2k+1 )−1

is a product of length 2 atoms.
Thus W1 · . . . · W2k+1 is nice (with respect to G) by D∗ (G) is even.

Proof of Theorem 1.1. Let H be a Krull monoid with finite noncyclic class group G such that every
class contains a prime divisor. By Proposition 2.1 we have ρk (H) = ρk (G) for every k ∈ N. If G ∼
= C2 ⊕C2 ,
then D∗ (G) = 3 and the assertion of the theorem follows from Inequality 1.1 with k ∗ = 1. Suppose that
D∗ (G) ≥ 4. We start with the following assertion.
Assertion. There exist a k ∗ ∈ N and atoms W1 , . . . , W2k∗ +1 over G of length D∗ (G) such that W1 · . . . ·
W2k∗ +1 is nice (with respect to G).
Proof of Assertion. We proceed by induction on r(G).
If r(G) = 2 or 3, then the Assertion follows by Lemma 3.3 and 3.4. Assume that r(G) ≥ 4 and suppose
that the Assertion is true for all groups of smaller rank. Let G = G1 ⊕ G2 with r(G1 ) = r − 2 and
r(G2 ) = 2. Then by our assumption, there exist a k1 ∈ N and atoms U1 , . . . , U2k1 +1 over G1 of length
D∗ (G1 ) such that U1 · . . . · U2k1 +1 is nice (with respect to G1 ). By Lemma 3.3, there exist a k2 ∈ N and
atoms V1 , . . . , V2k2 +1 over G2 of length D∗ (G2 ) such that V1 · . . . · V2k2 +1 is nice (with respect to G2 ).
Let k ∗ = max(k1 , k2 ). Without loss of generality, we can assume that k1 = k ∗ ≥ k2 . Thus k1 − k2
is even and hence V1 · . . . · V2k2 +1 · (V1 (−V1 ))k1 −k2 is nice (with respect to G2 ). Therefore the Assertion
follows by Lemma 3.5.
(Proof of Assertion)
By the very definition of nice elements (and outlined in detail after Definition 3.1), it follows that
 ∗

D (G)
(3.1)
ρ2k∗ +1 (G) ≥ k ∗ D∗ (G) +
.
2
Let k ≥ k ∗ . Since ρ2(k−k∗ ) (G) = (k − k ∗ )D(G) and U2(k−k∗ ) (G) + U2k∗ +1 (G) ⊆ U2k+1 (G), it follows that
 ∗

D (G)
ρ2k+1 (G) ≥ ρ2(k−k∗ ) (G) + ρ2k∗ +1 (G) ≥ (k − k ∗ )D(G) + k ∗ D∗ (G) +
.
2
If D(G) = D∗ (G), then the assertion follows from Inequality 1.1.



PRODUCTS OF k ATOMS IN KRULL MONOIDS

11

References
1. N.R. Baeth and A. Geroldinger, Monoids of modules and arithmetic of direct-sum decompositions, Pacific J. Math. 271
(2014), 257 – 319.
2. N.R. Baeth and R. Wiegand, Factorization theory and decomposition of modules, Am. Math. Mon. 120 (2013), 3 – 34.
3. P. Baginski, S.T. Chapman, N. Hine, and J. Paixao, On the asymptotic behavior of unions of sets of lengths in atomic
monoids, Involve, a journal of mathematics 1 (2008), 101 – 110.
4. V. Blanco, P. A. Garcı́a-Sánchez, and A. Geroldinger, Semigroup-theoretical characterizations of arithmetical invariants
with applications to numerical monoids and Krull monoids, Illinois J. Math. 55 (2011), 1385 – 1414.
5. G. Bhowmik and J.-C. Schlage-Puchta, Davenport’s constant for groups of the form Z3 ⊕ Z3 ⊕ Z3d , in Additive Combinatorics, CRM Proceedings and Lecture Notes 43, 307 – 326, American Mathematical Society (2007).
6. S.T. Chapman and M. Fontana and A. Geroldinger and B. Olberding, Multiplicative Ideal Theory and Factorization
Theory, Springer, to appear.
7. S.T. Chapman and W.W. Smith, Factorization in Dedekind domains with finite class group, Isr. J. Math. 71 (1990),
65 – 95.
8. A. Czogala, Arithmetic characterization of algebraic number fields with small class number, Math. Z. 176 (1981), 247
– 253.
9. A. Facchini, Krull monoids and their application in module theory, Algebras, Rings and their Representations (A. Facchini, K. Fuller, C. M. Ringel, and C. Santa-Clara, eds.), World Scientific, 2006, pp. 53 – 71.
10. M. Freeze and A. Geroldinger, Unions of sets of lengths, Funct. Approximatio, Comment. Math. 39 (2008), 149 – 162.
11. W. Gao and A. Geroldinger, On products of k atoms, Monatsh. Math. 156 (2009), 141 – 157.
12. A. Geroldinger, Additive group theory and non-unique factorizations, Combinatorial Number Theory and Additive
Group Theory (A. Geroldinger and I. Ruzsa, eds.), Advanced Courses in Mathematics CRM Barcelona, Birkhäuser,
2009, pp. 1 – 86.
13. A. Geroldinger, D.J. Grynkiewicz, and P. Yuan, On products of k atoms II, Mosc. J. Comb. Number Theory, to appear,
arXiv:1503.06164.
14. A. Geroldinger and F. Halter-Koch, Non-Unique Factorizations. Algebraic, Combinatorial and Analytic Theory, Pure
and Applied Mathematics, vol. 278, Chapman & Hall/CRC, 2006.
15. A. Geroldinger, F. Kainrath, and A. Reinhart, Arithmetic of seminormal weakly Krull monoids and domains, J.
Algebra, to appear.
16. A. Geroldinger, M. Liebmann, and A. Philipp, On the Davenport constant and on the structure of extremal sequences,
Period. Math. Hung. 64 (2012), 213 – 225.
17. D.J. Grynkiewicz, Structural Additive Theory, Springer (2013).
18. F. Halter-Koch, Ideal Systems. An Introduction to Multiplicative Ideal Theory, Marcel Dekker, 1998.
19. L. Salce and P. Zanardo, Arithmetical characterization of rings of algebraic integers with cyclic ideal class group, Boll.
Unione. Mat. Ital., VI. Ser., D, Algebra Geom. 1 (1982), 117 – 122.
Mathematical College, China University of Geosciences (Beijing), Haidian District, Beijing, the People’s
Republic of China
E-mail address: fys@cugb.edu.cn
Institute for Mathematics and Scientific Computing, University of Graz, NAWI Graz, Heinrichstraße 36,
8010 Graz, Austria
E-mail address: qinghai.zhong@uni-graz.at

