MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM
DECOMPOSITIONS

arXiv:1401.6553v1 [] 25 Jan 2014

NICHOLAS R. BAETH AND ALFRED GEROLDINGER
Abstract. Let R be a (possibly noncommutative) ring and let C be a class of finitely generated (right)
R-modules which is closed under finite direct sums, direct summands, and isomorphisms. Then the set
V(C) of isomorphism classes of modules is a commutative semigroup with operation induced by the direct
sum. This semigroup encodes all possible information about direct sum decompositions of modules in C.
If the endomorphism ring of each module in C is semilocal, then V(C) is a Krull monoid. Although this
fact was observed nearly a decade ago, the focus of study thus far has been on ring- and module-theoretic
conditions enforcing that V(C) is Krull. If V(C) is Krull, its arithmetic depends only on the class group
of V(C) and the set of classes containing prime divisors. In this paper we provide the first systematic
treatment to study the direct-sum decompositions of modules using methods from Factorization Theory
of Krull monoids. We do this when C is the class of finitely generated torsion-free modules over certain
one- and two-dimensional commutative Noetherian local rings.

1. Introduction
The study of direct-sum decompositions of finitely generated modules is a classical topic in Module
Theory dating back over a century. In the early 1900s, Wedderburn, Remak, Krull, and Schmidt proved
unique direct-sum decomposition results for various classes of groups (see [66], [59], [53], and [65]). In the
middle of the last century, Azumaya [2] proved uniqueness of (possibly infinite) direct-sum decomposition
of modules provided that each indecomposable module has a local endomorphism ring. In the commutative setting, Evans [20] gave an example due to Swan illustrating a non-unique direct-sum decomposition
of a finitely-generated module over a local ring. The past decade has seen a new semigroup-theoretical
approach. This approach was first introduced by Facchini and Wiegand [29] and has been used by several
authors (for example, see [3], [4], [7], [8], [19], [22], [25], [26], [27], [28], [29], [46], [49], and [57]). Let R be
a ring and let C be a class of right R-modules which is closed under finite direct sums, direct summands,
and isomorphisms. For a module M in C, let [M ] denote the isomorphism class of M . Let V(C) denote
the set of isomorphism classes of modules in C. (We assume here that V(C) is indeed a set, and note that
this hypothesis holds for all examples we study.) Then V(C) is a commutative semigroup with operation
defined by [M ] + [N ] = [M ⊕ N ] and all information about direct-sum decomposition of modules in C
can be studied in terms of factorization of elements in the semigroup V(C). In particular, the direct-sum
decompositions in C are (essentially) unique (in other words, the Krull-Remak-Schmidt-Azumaya Theorem — briefly, KRSA — holds) if and only if V(C) is a free abelian monoid. This semigroup-theoretical
point of view was justified by Facchini [22] who showed that V(C) is a reduced Krull monoid provided
that the endomorphism ring EndR (M ) is semilocal for all modules M in C. This result allows one to
describe the direct-sum decomposition of modules in terms of factorization of elements in Krull monoids,
a well-studied class of commutative monoids.
2010 Mathematics Subject Classification. 13C14, 16D70, 20M13.
Key words and phrases. Krull monoids, sets of lengths, direct-sum decompositions, indecomposable modules.
The first author was a Fulbright-NAWI Graz Visiting Professor in the Natural Sciences and supported by the AustrianAmerican Education Commission. The second author was supported by the Austrian Science Fund FWF, Project Number
P21576-N18.
1

2

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

However, thus far much of the focus in this direction has been on the study of module-theoretic
conditions which guarantee that all endomorphism rings are semilocal, as well as on trying to describe
the monoid V(C) in terms of various ring- and module-theoretic conditions. Although some factorizationtheoretic computations have been done in various settings (eg. the study of elasticity in [4], [7], and [8] and
the study of the ω-invariant in [19]), the general emphasis has not been on the arithmetic of the monoid
V(C). Our intent is to use known module-theoretic results along with factorization-theoretic techniques
in order to give detailed descriptions of the arithmetic of direct-sum decompositions of finitely generated
torsion-free modules over certain one- and two-dimensional local rings. We hope that this systematic
approach will not only serve to inspire others to consider more detailed and abstract factorizationtheoretic approaches to the study of direct-sum decompositions, but to provide new and interesting
examples for zero-sum theory over torsion-free groups. We refer to [23] and to the opening paragraph in
the recent monograph [56] for broad information on the Krull-Remak-Schmidt-Azumaya Theorem, and
to two recent surveys [26] and [9] promoting this semigroup-theoretical point of view. More details and
references will be given in Section 3.
Krull monoids, both their ideal theory and their arithmetic, are well-studied; see [37] for a thorough
treatment. A reduced Krull monoid is uniquely determined (up to isomorphism) by its class group G, the
set of classes GP ⊂ G containing prime divisors, and the number of prime divisors in each class. Let V(C)
be a monoid of modules and suppose V(C) is Krull with class group G and with set of classes containing
prime divisors GP . We are interested in determining what this information tells us about direct-sum
decompositions of modules. Let M be a module in C and let M = M1 ⊕ · · · ⊕ Mℓ where M1 , . . . , Mℓ
are indecomposable right R-modules. Then ℓ is called the length of this factorization (decomposition
into indecomposables), and the set of lengths L(M ) ⊂ N is defined as the set of all possible factorization
lengths. Then KRSA holds if and only if |G| = 1. Moreover, it is easy to check that |L(M )| = 1 for all M
in C provided that |G| ≤ 2. Clearly, sets of lengths are a measure how badly KRSA fails. Assuming that
V(C) is Krull, M has at least one direct-sum decomposition in terms of indecomposable right R-modules,
and, up to isomorphism, only finitely many distinct decompositions. In particular, all sets of lengths are
finite and nonempty. Without further information about the class group G and the subset GP ⊂ G, this
is all that can be said. Indeed, there is a standing conjecture that for every infinite abelian group G there
is a Krull monoid with class group G and set GP such that every set of lengths has cardinality one (see
[35]). On the other hand, if the class group of a Krull monoid is infinite and every class contains a prime
divisor, then every finite subset of N≥2 occurs as a set of lengths (see Proposition 6.2).
Thus an indispensable prerequisite for the study of sets of lengths (and other arithmetical invariants)
in Krull monoids is detailed information about not only the class group G, but also on the set GP ⊂ G
of classes containing prime divisors. For the monoid V(C), this is of course a module-theoretic task which
depends on both the ring R and the class C of R-modules. Early results gave only extremal sets GP
and thus no further arithmetical investigations were needed. In Sections 4 and 5 we determine, based
on deep module-theoretic results, the class group G of V(C). We then exhibit well-structured sets GP
providing a plethora of arithmetically interesting direct-sum decompositions. In particular, we study
the classes of finitely generated modules, finitely generated torsion-free modules, and maximal CohenMacaulay modules over one- and two-dimensional commutative Noetherian local rings. We restrict, if
necessary, to specific families of rings in order to obtain explicit results for GP , since it is possible that even
slightly different sets GP can induce completely different behavior in terms of the sets of lengths. Given
this information, we use transfer homomorphisms, a key tool in Factorization theory and introduced in
Section 3, which make it possible to study sets of lengths and other arithmetical invariants of general
Krull monoids instead in an associated monoid of zero-sum sequences (see Lemma 3.4). These monoids
can be studied using methods from Additive (Group and Number) Theory (see [34]).
Factorization Theory describes the non-uniqueness of factorizations of elements in rings and semigroups
into irreducible elements by arithmetical invariants such as sets of lengths, catenary, and tame degrees.
We will define each of these invariants in Section 2. The goal is to relate the arithmetical invariants

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

3

with algebraic parameters (such as class groups) of the objects under consideration. The study of sets of
lengths in Krull monoids is a central topic in Factorization Theory. However, since much of this theory
was motivated by examples in number theory (such as holomorphy rings in global fields), most of the
focus so far has been on Krull monoids with finite class group and with each class containing a prime
divisor. This is in contrast to Krull monoids stemming from Module Theory which often have infinite
class group (see Section 4). A key result in Section 6 shows that the arithmetic of these two types of
Krull monoids can have drastically different arithmetic.
In combination with the study of various arithmetical invariants of a given Krull monoid, the following
dual question has been asked since the beginning of Factorization Theory: Are arithmetical phenomena
characteristic for a given Krull monoid (inside a given class of Krull monoids)? Affirmative answers have
been given for the class of Krull monoids with finitely generated class groups where every class contains
a prime divisor. Since sets of lengths are the most investigated invariants in Factorization Theory, the
emphasis in the last decade has been on the following question: Within the class of Krull monoids having
finite class group and such that every class contains a prime divisor, does the system of sets of lengths of
a monoid H characterize the class group of H? A survey of these problems can be found in [37, Sections
7.1 and 7.2]. For recent progress, see [63], [62], and [10]. In Corollary 6.8 we exhibit that for many Krull
monoids stemming from the Module Theory of Sections 4 and 5, the system of sets of lengths and the
behavior of absolutely irreducible elements characterizes the class group of these monoids.
In Section 2 we introduce some of the main arithmetical invariants studied in Factorization Theory
as well as their relevance to the study of direct-sum decompositions. Our focus is on sets of lengths and
on parameters controlling their structure, but we will also need other invariants such as catenary and
tame degrees. Section 3 gives a brief introduction to Krull monoids, monoids of modules, and transfer
homomorphisms. Sections 4 and 5 provide explicit constructions stemming from Module Theory of class
groups and distribution of prime divisors in the classes. Finally, in Section 6, we present our results on
the arithmetic of direct-sum decomposition in the Krull monoids discussed in Sections 4 and 5.
We use standard notation from Commutative Algebra and Module Theory (see [56]) and we follow the
notation of [37] for Factorization Theory. All monoids of modules V(C) are written additively, while all
abstract Krull monoids are written multiplicatively. This follows the tradition in Factorization Theory,
and makes sense also here because our crucial tool, the monoid of zero-sum sequences, is written multiplicatively. In particular, our arithmetical results in Section 6 are written in a multiplicative setting but
they are derived for the additive monoids of modules discussed in Sections 4 and 5. Since we hope that
this article is readable both for those working in Ring and Module Theory as well as those working in
Additive Theory and Factorization Theory, we often recall concepts of both areas which are well known
to the specialists in the respective fields.

2. Arithmetical Preliminaries
In this section we gather together the concepts central to describing the arithmetic of non-factorial
monoids. In particular, we exhibit the arithmetical invariants which will be studied in Section 6 and which
will give a measure of non-unique direct sum decompositions of classes of modules studied in Sections 4
and 5. When possible, we recall previous work in the area of direct-sum decompositions for which certain
invariants have been studied. For more details on non-unique factorization, see [37]. First we record some
preliminary terminology.
Notation. We denote by N the set of positive integers and set N0 = N ∪ {0}. For every n ∈ N, Cn
denotes a cyclic group of order n. For real numbers a, b ∈ R we set [a, b] = {x ∈ Z : a ≤ x ≤ b}. We use
the convention that sup ∅ = max ∅ = min ∅ = 0.

4

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

Subsets of the integers. Let L, L′ ⊂ Z. We denote by L + L′ = {a + b : a ∈ L, b ∈ L′ } the sumset of
L and L′ . If ∅ 6= L ⊂ N, we call
o
nm
sup L
: m, n ∈ L =
∈ Q≥1 ∪ {∞}
ρ(L) = sup
n
min L
the elasticity of L. In addition, we set ρ({0}) = 1. Distinct elements k, l ∈ L are called adjacent if
L ∩ [min{k, l}, max{k, l}] = {k, l}. A positive integer d ∈ N is called a distance of L if there exist
adjacent elements k, l ∈ L with d = |k − l|. We denote by ∆(L) the set of distances of L. Note that
∆(L) = ∅ if and only if |L| ≤ 1, and that L is an arithmetical progression with difference d ∈ N if and
only if ∆(L) ⊂ {d}.
Monoids and Rings. By a monoid H we always mean a commutative semigroup with identity 1 which
satisfies the cancellation law; that is, if a, b, and c are elements of the H with ab = ac, then b = c.
Let H be a monoid. We denote by A(H) the set of atoms (irreducible elements) of H, by q(H) a
quotient group of H with H ⊂ q(H) = {a−1 b : a, b ∈ H}, and by H × the set of invertible elements of H.
We say that H is reduced if H × = {1}, and we denote by Hred = H/H × = {aH × : a ∈ H} the associated
reduced monoid. Let H ′ ⊂ H be a subset. We say that H ′ is divisor-closed if a ∈ H ′ and b ∈ H with
b | a implies that b ∈ H ′ . Denote by [H ′ ] ⊂ H the submonoid generated by H ′ .
A monoid F is called free abelian with basis P ⊂ F if every a ∈ F has a unique representation of the
form
Y
a=
pvp (a) with vp (a) ∈ N0 and vp (a) = 0 for almost all p ∈ P .
p∈P

If F is free abelian with basis P, we set F = F (P) and call
X
|a| =
vp (a) the length of a and supp(a) = {p ∈ P : vp (a) > 0} the support of a .
p∈P

(P)

The multiplicative monoid F (P) is, of course, isomorphic to the additive monoid (N0 , +).
Throughout this manuscript, all rings have a unit element and, apart from a a few motivating remarks
in Section 3, all rings are commutative. Let R be a ring. Then we let R• = R \ {0} denote the nonzero
elements of R and let R× denote its group of units. Note that if R is a domain, then R• is a monoid as
defined above. By the dimension of a ring we always mean its Krull dimension.
Abelian groups. Let G be an additive abelian group and let G0 ⊂ G a subset. Then −G0 = {−g : g ∈
G0 }, G•0 = G0 \ {0}, and hG0 i ⊂ G denotes the subgroup generated by G0 . A family (ei )i∈I of elements
of G is said to be independent if ei 6= 0 for all i ∈ I and, for every family (mi )i∈I ∈ Z(I) ,
X
mi e i = 0
implies
mi ei = 0 for all i ∈ I .
i∈I

L
rank r∗ (G) is the supremum of
The family (ei )i∈I is called a basis for G if G =
i∈I hei i. The total P
the cardinalities of independent subsets of G. Thus r∗ (G) = r0 (G) + p∈P rp (G), where r0 (G) is the
torsion-free rank of G and rp (G) is the p-rank of G for every prime p ∈ P.

Factorizations. Let H be a monoid. The free abelian monoid Z(H) = F A(Hred ) is called the
factorization monoid of H, and the unique homomorphism
π : Z(H) → Hred

satisfying π(u) = u

for each u ∈ A(Hred )

is called the factorization homomorphism of H. For a ∈ H and k ∈ N,
•
•
•
•

ZH (a) = Z(a) = π −1 (aH × ) ⊂ Z(H) is the set of factorizations of a,
Zk (a) = {z ∈ Z(a)
 : |z| = k} is the set of factorizations of a of length k,
LH (a) = L(a) = |z| : z ∈ Z(a) ⊂ N0 is the set of lengths of a, and
L(H) = {L(b) : b ∈ H} is the system of sets of lengths of H.

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

5

By definition, we have Z(a) = {1} and L(a) = {0} for all a ∈ H × . If H is assumed to be Krull, as
is the case in the monoids of modules we study, and a ∈ H, then the set of factorizations Z(a) is finite
and nonempty and hence L(a) is finite and nonempty.
Suppose that there is a ∈ H with |L(a)| > 1 with

distinct k, l ∈ L(a). Then for all N ∈ N, L aN ⊃ {(N − i)k + il : i ∈ [0, N ]} and hence |L aN | > N .
Thus, whenever there is an element a ∈ H that has at least two factorizations of distinct lengths, there
exist elements of H having arbitrarily many factorizations of distinct lengths. This motivates the need
for more refined measures of nonunique factorization.
Several invariants such as elasticity and the ∆-set measure non-uniqueness in terms of sets of lengths.
Other invariants such as the catenary degree provide an even more subtle measurement in terms of the
distinct factorizations of elements. However, these two approaches cannot easily be separated and it is
often the case that a factorization-theoretical invariant is closely related to an invariant of the set of
lengths. Thus the exposition that follows will introduce invariants as they are needed and so that the
relations between these invariants can be made as clear as possible.
The monoid H is called
• atomic if Z(a) 6= ∅ for all a ∈ H,
• factorial if |Z(a)| = 1 for all a ∈ H (equivalently, Hred is free abelian), and
• half-factorial if |L(a)| = 1 for all a ∈ H.
Let z, z ′ ∈ Z(H). Then we can write
z = u1 · . . . · ul v1 · . . . · vm

and z ′ = u1 · . . . · ul w1 · . . . · wn ,

where l, m, n ∈ N0 and u1 , . . . , ul , v1 , . . . , vm , w1 , . . . , wn ∈ A(Hred ) are such that
{v1 , . . . , vm } ∩ {w1 , . . . , wn } = ∅ .
′

Then gcd(z, z ) = u1 · . . . · ul , and we call
d(z, z ′ ) = max{m, n} = max{|z gcd(z, z ′ )−1 |, |z ′ gcd(z, z ′ )−1 |} ∈ N0
the distance between z and z ′ . If π(z) = π(z ′ ) and z 6= z ′ , then clearly
2 + |z| − |z ′ | ≤ d(z, z ′ ) .
For subsets X, Y ⊂ Z(H), we set
d(X, Y ) = min{d(x, y) : x ∈ X, y ∈ Y } ,
and thus d(X, Y ) = 0 if and only if (X ∩ Y 6= ∅, X = ∅, or Y = ∅).
From this point on, we will assume all monoids to be atomic. Since the the monoids described in Sections
4 and 5 are of the form V(C) for C a subclass of finitely generated modules over a commutative Noetherian
ring, they are Krull and hence atomic.
The set of distances and chains of factorizations. We now recall the ∆-set of a monoid H, an
invariant which describes the sets of lengths of elements in H, and illustrate its relationship with distances
between factorizations of elements in H. We denote by
[
∆(L) ⊂ N
∆(H) =
L∈L(H)

the set of distances of H. By definition, ∆(H) = ∅ if and only if H is half-factorial. For a more thorough
investigation of factorizations in H, we will need a distinguished subset of the set of distances. Let
∆∗ (H) denote the set of all d = min ∆(S) for some divisor-closed submonoid S ⊂ H with ∆(S) 6= ∅. By
definition, we have ∆∗ (H) ⊂ ∆(H).
Suppose that H is not factorial. Then there exists
an element a ∈ H with |Z(a)| > 1, and so there


exist distinct z, z ′ ∈ Z(a). Then for N ∈ N, Z aN ⊃ {z N −i (z ′ )i : i ∈ [0, N ]}. Although d z N , (z ′ )N =
N d(z, z ′ ) > N suggests that the factorizations z N and (z ′ )N of aN are very different,

d z N −i (z ′ )i , z N −i+1 (z ′ )i−1 = d(z, z ′ )

6

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

for each i ∈ [1, N ]. This illustrates that the distance alone is too coarse of an invariant, and motivates
the study of the catenary degree as a way of measuring how distinct two factorizations are. As will be
described below, there is a structure theorem for the set of lengths of a Krull monoid. However, except
in very simple situations, there is no known structure theorem for the set of factorizations of an element
in a Krull monoid. Thus we use the catenary degree, its many variations, the tame degree, and other
invariants help to measure the subtle distinctions between factorizations.
Let a ∈ H and N ∈ N0 ∪ {∞}. A finite sequence z0 , . . . , zk ∈ Z(a) is called a (monotone) N -chain
of factorizations if d(zi−1 , zi ) ≤ N for all i ∈ [1, k] and (|z0 | ≤ · · · ≤ |zk | or |z0 | ≥ · · · ≥ |zk | resp.).
We denote by c(a) (or by cmon (a) resp.) the smallest N ∈ N0 ∪ {∞} such that any two factorizations
z, z ′ ∈ Z(a) can be concatenated by an N -chain (or by a monotone N -chain resp.). Then
c(H) = sup{c(b) : b ∈ H} ∈ N0 ∪ {∞} and cmon (H) = sup{cmon(b) : b ∈ H} ∈ N0 ∪ {∞}
denote the catenary degree and the monotone catenary degree of H. The monotone catenary degree
is studied by using the two auxiliary notions of the equal and the adjacent catenary degrees. Let ceq (a)
denote the smallest N ∈ N0 ∪ {∞} such that any two factorizations z, z ′ ∈ Z(a) with |z| = |z ′ | can be
concatenated by a monotone N -chain. We call
ceq (H) = sup{ceq (b) : b ∈ H} ∈ N0 ∪ {∞}
the equal catenary degree of H. We set


cadj (a) = sup{d Zk (a), Zl (a) : k, l ∈ L(a) are adjacent} ,

and the adjacent catenary degree of H is defined as

cadj (H) = sup{cadj (b) : b ∈ H} ∈ N0 ∪ {∞} .
Obviously, we have
c(a) ≤ cmon (a) = sup{ceq (a), cadj (a)} ≤ sup L(a)

for all a ∈ H ,

and hence
c(H) ≤ cmon (H) = sup{ceq (H), cadj (H)} .
Note that cadj (H) = 0 if and only if H is half-factorial, and if H is not half-factorial, then 2 + sup ∆(H) ≤
c(H). Moreover, ceq (H) = 0 if and only if for all a ∈ H and all k ∈ L(a) we have |Zk (a)| = 1. A recent
result of Coykendall and Smith implies that if D is a domain, we have that ceq (D• ) = 0 if and only if D•
is factorial [18, Corollary 2.12].
We call

∼H,eq = (x, y) ∈ Z(H) × Z(H) : π(x) = π(y) and |x| = |y|
the monoid of equal-length relations of H. Let Z ⊂ Z(H) be a subset. We say that an element
 x ∈ Z is
minimal in Z if for all elements y ∈ Z with y | x it follows that x = y. We denote by Min Z the set of
minimal elements
 in Z. Let x ∈ Z. Since the number of elements y ∈ Z with y | x is finite, there exists
an x∗ ∈ Min Z with x∗ | x. We will need the following lemma.

Lemma 2.1. Let H be an atomic monoid.

(1) ceq (H) ≤ sup |x| : (x, y) ∈ A(∼H,eq ) for some y ∈ Z(H) \ {x} .


(2) For d ∈ ∆(H) let Ad = x ∈ Z(H) : |x| − d ∈ L(π(x) . Then
cadj (H) ≤ sup{|x| : x ∈ Min(Ad ), d ∈ ∆(H)}.
Proof. See [12, Proposition 4.4].



Unions of sets of lengths and the refined elasticities. We now return to studying sets of lengths.
We note that the elasticity of certain monoids of modules were studied in [7] and [8], but that in Section

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

7

6 we will provide results which generalize these results to larger classes of Krull monoids. In addition, we
will fine tune these results by also computing the refined elasticities. Let k, l ∈ N. If H 6= H × , then
[
L
Uk (H) =
k∈L,L∈L(H)

is the union of all sets of lengths containing k. In other words, Uk (H) is set of all m ∈ N for which there
exist u1 , . . . , uk , v1 , . . . , vm ∈ A(H) with u1 · . . . · uk = v1 · . . . · vm . When H × = H, we set Uk (H) = {k}.
In both cases, we define ρk (H) = sup Uk (H) ∈ N ∪ {∞} and λk (H) = min Uk (H) ∈ [1, k]. Clearly, we
have U1 (H) = {1}, k ∈ Uk (H), and since Uk (H) + Ul (H) ⊂ Uk+l (H), it follows that
λk+l (H) ≤ λk (H) + λl (H) ≤ k + l ≤ ρk (H) + ρl (H) ≤ ρk+l (H) .
The elasticity ρ(H) of H is defined as
ρ(H) = sup{ρ(L) : L ∈ L(H)} ∈ R≥1 ∪ {∞} ,
and it is not difficult to verify that
n ρ (H)
o
ρk (H)
k
ρ(H) = sup
: k ∈ N = lim
.
k→∞
k
k

The structure of sets of lengths. To describe the structure of sets of lengths and of their unions, we
need the concept of arithmetical progressions as well as various generalizations. Let l, M ∈ N0 , d ∈ N,
and {0, d} ⊂ D ⊂ [0, d]. We set
Pl (d) = dZ ∩ [0, ld] = {0, d, 2d, . . . , ld} .
Thus a subset L ⊂ Z is an arithmetical progression (with difference d ∈ N and length l ∈ N0 ) if
L = min L + Pl (d). A subset L ⊂ Z is called an almost arithmetical multiprogression (AAMP for short)
with difference d, period D, and bound M , if
L = y + (L′ ∪ L∗ ∪ L′′ ) ⊂ y + D + dZ
∗

∗

where

∗

• L is finite and nonempty with min L = 0 and L = (D + dZ) ∩ [0, max L∗ ],
• L′ ⊂ [−M, −1] and L′′ ⊂ max L∗ + [1, M ], and
• y ∈ Z.
Note that an AAMP is finite and nonempty, and that an AAMP with period {0, d} and bound M = 0 is
a (usual) arithmetical progression with difference d.
The ω-invariant and the tame degrees. We now study the ω-invariant as well as local and global
tame degrees. We note that these notions have been studied in specific noncommutative module-theoretic
situations in terms of the so-called semi-exchange property (see [19]). Moreover, when describing the sets
of lengths of elements within a Krull monoid H in terms of AAMPs (see Proposition 6.2), the bound M
(described above) is a tame degree related to the monoid H. We begin with the definition. For an atom
u ∈ H, let ω(H, u) denote the smallest N ∈ N ∪ {∞} having the following property :
For any multiple a of u and any factorization a = v1 · . . . · vn of a, there exists a subset Ω ⊂ [1, n]
such that |Ω| ≤ N and
Y
u
vν .
ν∈Ω

Furthermore, we set

ω(H) = sup{ω(H, u) : u ∈ A(H)} ∈ N ∪ {∞} .
An atom u ∈ H is prime if and only if ω(H, u) = 1, and thus H is factorial if and only if ω(H) = 1. If
H satisfies the ACC on divisorial ideals (in particular, H is a Krull monoid or a Noetherian domain),
then ω(H, u) < ∞ for all u ∈ A(H) [38, Theorem 4.2].QRoughly speaking, the tame degree t(H, u) is the
maximum of ω(H, u) and a factorization length of u−1 ν∈Ω vν in H. More precisely, for an atom u ∈ H,
the local tame degree t(H, u) is the smallest N ∈ N0 ∪ {∞} having the following property:

8

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

For any multiple a of u and any factorization a = v1 · . . . · vn of a which does not contain u, there is
a short subproduct which is a multiple of u, say v1 ·. . .·vm , and a refactorization of this subproduct
which contains u, say v1 · . . . · vm = uu2 · . . . · uℓ , such that max{ℓ, m} ≤ N .
Thus the local tame degree t(H, u) measures the distance between any factorization of a multiple a of u
and a factorization of a which contains u. As before, we set
t(H) = sup{t(H, u) : u ∈ A(H)} ∈ N0 ∪ {∞} .
We conclude this section with the following lemma (see [37, Chapter 1] and [39]) which illustrates how
the primary invariants measure the non-uniqueness of factorizations and show that all of these invariants
are trivial if the monoid is factorial.
Lemma 2.2. Let H be an atomic monoid.
(1) H is half-factorial if and only if ρ(H) = 1 if and only if ρk (H) = k for every k ∈ N.
(2) H is factorial if and only if c(H) = t(H) = 0 if and only if ω(H) = 1.
(3) c(H) = 0 or c(H) ≥ 2, and if c(H) ≤ 2, then H is half-factorial.
(4) c(H) ≤ ω(H) ≤ t(H) ≤ ω(H)2 , and if H is not factorial, then max{2, ρ(H)} ≤ ω(H).
(5) If c(H) = 3, then every L ∈ L(H) is an arithmetical progression with difference 1.

3. Krull monoids, monoids of modules, and transfer homomorphisms
The theory of Krull monoids is presented in detail in the monographs [44] and [37]. Here we gather the
terminology required for our treatment. We then present an introduction to monoids of modules — the
key objects of our study. Finally, we recall important terminology and results about monoids of zero-sum
sequences and transfer homomorphisms — the key tools in our arithmetical investigations.
Krull monoids. Let H and D be monoids. A monoid homomorphism ϕ : H → D is called
• a divisor homomorphism if ϕ(a) | ϕ(b) implies that a | b for all a, b ∈ H.
• cofinal if for every a ∈ D there exists some u ∈ H such that a | ϕ(u).
• a divisor theory (for H) if D = F (P) for some set P, ϕ is a divisor homomorphism,
 and for every
a ∈ F (P), there exists a finite nonempty subset X ⊂ H satisfying a = gcd ϕ(X) .
We call C(ϕ) = q(D)/q(ϕ(H)) the class group of ϕ, use additive notation for this group, and for a ∈ q(D),
we denote by [a] = a q(ϕ(H)) ∈ q(D)/q(ϕ(H)) the class containing a. Clearly D/H = {[a] : a ∈ D} ⊂
C(ϕ) is a submonoid with quotient group C(ϕ). The homomorphism ϕ is cofinal if and only if C(ϕ) = D/H
and, by definition, every divisor theory is cofinal. Let ϕ : H → D = F (P) be a divisor homomorphism.
Then ϕ(H) = {a ∈ D : [a] = [1]} and GP = {[p] = pq(ϕ(H)) : p ∈ P} ⊂ C(ϕ) is called the set of classes
containing prime divisors. Moreover, we have hGP i = C(ϕ) and [GP ] = {[a] : a ∈ D}.
The monoid H is called a Krull monoid if it satisfies one of the following equivalent conditions :
(a) H is completely integrally closed and satisfies the ACC on divisorial ideals.
(b) H has a divisor theory.
(c) H has a divisor homomorphism into a free abelian monoid.
If H is a Krull monoid, then a divisor theory is unique up to unique isomorphism, and the class group
associated to a divisor theory depends only on H. It is called the class group of H and will be denoted
by C(H). Moreover, a reduced Krull monoid H with divisor theory H ֒→ F (P) is uniquely determined
up to isomorphism by its characteristic (G, (mg )g∈G ) where G is an abelian group together with an
isomorphism Φ : G → C(H) and with family (mg )g∈G of cardinal numbers mg = |P ∩ Φ(g)| (see [37,
Theorem 2.5.4], and the forthcoming Lemma 3.4).
It is well-known that a domain R is a Krull domain if and only if its multiplicative monoid R• is a
Krull monoid, and we set the class group of R to be C(R) = C(R• ). Property (a) shows that a Noetherian

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

9

domain is Krull if and only if it is integrally closed. In addition, many well-studied classes of commutative
monoids such as regular congruence monoids in Krull domains and Diophantine monoids are Krull. The
focus of the present paper is on Krull monoids stemming from Module Theory.
Monoids of modules. Let R be a (not necessarily commutative) ring and C a class of (right) Rmodules. We say that C is closed under finite direct sums, direct summands, and isomorphisms provided
the following holds: Whenever M, M1 , and M2 are R-modules with M ∼
= M1 ⊕ M2 , we have M ∈ C if
and only if M1 , M2 ∈ C. We say that C satisfies the Krull-Remak-Schmidt-Azumaya Theorem (KRSA
for short) if the following holds:
If k, l ∈ N and M1 , . . . , Mk , N1 , . . . , Nl are indecomposable modules in C with M1 ⊕ · · · ⊕ Mk ∼
=
N1 ⊕ · · · ⊕ Nl , then l = k and, after a possible reordering of terms, Mi ∼
= Ni for all i ∈ [1, k].
Suppose that C is closed under finite direct sums, direct summands, and isomorphisms. For a module
M ∈ C, we denote by [M ] its isomorphism class, and by V(C) the set of isomorphism classes. (For our
purposes here, we tacitly assume that this is actually a set. For the classes of modules studied in Sections
4 and 5 this is indeed the case. For the involved set-theoretical problems in a more general context, see
[26, Section 2].) Then V(C) is a commutative semigroup with operation [M ] + [N ] = [M ⊕ N ] and all
information about direct-sum decompositions of modules in C can be studied in terms of factorizations in
the semigroup V(C). By definition, C satisfies KRSA if and only if V(C) is a free abelian monoid, which
holds if EndR (M ) is local for each indecomposable M in C (see [56, Theorem 1.3]).
If the endomorphism ring EndR (M ) is semilocal for all modules M in C, then V(C) is a Krull monoid
([22, Theorem 3.4]). There is an abundance of recent work which provides examples of rings and classes
of modules over these rings for which all endomorphism rings are semilocal (see [24], [25], and [26]. For
monoids of modules, a characterization of when the class group is a torsion group is given in [27]).
Suppose that V(C) is a Krull monoid. Then to understand the structure of direct-sum decompositions
of modules in C is to understand the arithmetic of the reduced Krull monoid V(C). Since any reduced
Krull monoid H is uniquely determined by its class group and by the distribution of prime divisors (that
is, the characteristic of H), one must study these parameters.
In the present paper we will focus on the following classes of modules over a commutative Noetherian
local ring S, each closed under finite direct sums, direct summands, and isomorphisms. For a commutative
Noetherian local ring S, we denote by
• M(S) the semigroup of isomorphism classes of finitely generated S-modules, by
• T (S) the semigroup of isomorphism classes of finitely generated torsion-free S-modules, and by
• C(S) the semigroup of isomorphism classes of maximal Cohen-Macaulay (MCM) S-modules.
Note that in order to make C(S) a semigroup, we insist that [0S ] ∈ C(S), even though the zero module
is not MCM. We say that a commutative Noetherian local ring S has finite representation type if there
are, up to isomorphism, only finitely many indecomposable MCM S-modules. Otherwise we say that S
has infinite representation type.
b m)
b
Throughout, let (R, m) be a commutative Noetherian local ring with maximal ideal m, and let (R,
b
denote its m-adic completion. Let V(R) and V(R) be any of the above three semigroups. If M is an
b is an R-module
b
c] ∈ V(R),
b and every
c ∼
with [M
R-module such that [M ] ∈ V(R), then M
= M ⊗R R
b
b has finite
such R-module is called extended. Note that R has finite representation type if and only if R
b
representation type (see [56, Chapter 10]), and that the dimension of R is equal to the dimension of R.
The following crucial result shows that the monoid V(R) is Krull.
b m)
b
Lemma 3.1. Let (R, m) be a commutative Noetherian local ring with maximal ideal m, and let (R,
denote its m-adic completion.
b
b
(1) For each indecomposable finitely generated R-module
M , EndRb (M ) is local, and therefore M(R),
b
b
T (R), and C(R) are free abelian monoids.

10

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

b is a divisor homomorphism. It is cofinal if and only if every finitely
(2) The embedding M(R) ֒→ M(R)
b
generated R-module is a direct summand of an extended module.
b and C(R) ֒→ C(R)
b are divisor homomorphisms.
(3) The embeddings T (R) ֒→ T (R)
In particular, M(R), T (R), and C(R) are reduced Krull monoids. Moreover, the embeddings in (2) and
b
(3) are injective and map R-modules onto the submonoid of extended R-modules.

Proof. Property (1) holds by the Theorem of Krull-Remak-Schmidt-Azumaya (see [56, Chapter 1]).
In [67], Wiegand proved that the given embedding is a divisor homomorphism (see also [9, Theorem
3.6]). The characterization of cofinality follows from the definition and thus (2) holds.
Let M, N be R-modules such that either [M ], [N ] ∈ V(R) where V(R) denotes either T (R) or C(R)
c] divides [N
b ] in V(R).
b Then we have divisibility in M(R),
b and hence in M(R) by
and suppose that [M
(2). Since V(R) ⊂ M(R) is divisor-closed, it follows that [M ] divides [N ] in V(R), proving (3).
Together, (2) and (3) show that M(R), T (R), and C(R) satisfy Property (c) in the definition of Krull
c] are injective.
monoids. Since each of these monoids is reduced, the maps induced by [M ] 7→ [M

b is not necessarily cofinal, as is shown in [47] and [30]. In
Note that the embedding M(R) ֒→ M(R)
Sections 4 and 5 we will study in detail the class group and the distribution of prime divisors of these
Krull monoids, in the case of one-dimensional and two-dimensional commutative Noetherian local rings.

Monoids of zero-sum sequences. We now introduce Krull monoids having a combinatorial flavor
which are used to model arbitrary Krull monoids. Let G be an additive abelian group and let G0 ⊂ G be
a subset. Following the tradition in Additive Group and Number Theory, we call the elements of F (G0 )
sequences over G0 . Thus a sequence S ∈ F (G0 ) will be written in the form
Y
S = g1 · . . . · gl =
g vg (S) .
g∈G0

We will use all notions (such as the length) as in general free abelian monoids. We set −S = (−g1 ) · . . . ·
(−gl ), and call σ(S) = g1 + · · · + gl ∈ G the sum of S. The monoid
B(G0 ) = {S ∈ F (G0 ) : σ(S) = 0}

is called the monoid of zero-sum sequences over G0 , and its elements are called zero-sum sequences
over G0 . Obviously, the inclusion B(G0 ) ֒→ F (G0 ) is a divisor homomorphism, and hence B(G0 ) is a
reduced Krull monoid by Property (c) in the definition of Krull monoids. By definition, the inclusion
B(G0 ) ֒→ F (G0 ) is cofinal if and only if for every g ∈ G0 there is an S ∈ B(G0 ) with g | S; equivalently,
there is no proper subset G′0 ( G0 such that B(G′0 ) = B(G0 ). If |G| 6= 2, then C(B(G)) ∼
= G, and every
class contains precisely one prime divisor.
For every arithmetical invariant ∗(H), as defined for a monoid H in Section 2, it is usual to write
∗(G0 ) instead of ∗(B(G0 )) (whenever the meaning is clear from the context). In particular, we set
A(G0 ) = A(B(G0 )), L(G0 ) = L(B(G0 )), cmon (G0 ) = cmon (B(G0 )), etc.
The study of sequences, subsequence sums, and zero-sums is a flourishing subfield of Additive Group
and Number Theory (see, for example, [31], [40], and [43]). The Davenport constant D(G0 ), defined as
D(G0 ) = sup{|U | : U ∈ A(G0 )} ∈ N0 ∪ {∞} ,
is among the most studied invariants in Additive Theory and will play a crucial role in the computations
of arithmetical invariants (see the discussion after Lemma 3.4). We will need the following two simple
lemmas which we present here so as to not clutter the exposition of Section 6.
Lemma 3.2. Suppose that the inclusion B(G0 ) ֒→ F (G0 ) is cofinal. The following are equivalent.
(a) There exist nontrivial submonoids H1 , H2 ⊂ B(G0 ) such that B(G0 ) = H1 × H2 .
(b) There exist nonempty subsets G1 , G2 ⊂ G0 such that G0 = G1 ⊎ G2 and B(G0 ) = B(G1 ) × B(G2 ).
(c) There exist nonempty subsets G1 , G2 ⊂ G0 such that G0 = G1 ⊎ G2 and A(G0 ) = A(G1 ) ⊎ A(G2 ).

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

11

Proof. Clearly (b) implies (a). The converse follows from [37, Proposition 2.5.6]. The implication (b)
implies (c) is obvious. We now show that (c) implies (b). Let B ∈ B(G0 ). Since B(G0 ) is a Krull
monoid, it is atomic and hence B = U1 · . . . · Ul with U1 , . . . , Ul ∈ A(G0 ). After renumbering (if
necessary), we can find k ∈ [0, l] such that U1 , . . . , Uk ∈ A(G1 ) and Uk+1 , . . . , Ul ∈ A(G2 ). Thus
B(G0 ) = B(G1 )B(G2 ). If B ∈ B(G1 ) ∩ B(G2 ), then B is a product of atoms from A(G1 ) and a product
of atoms from A(G2 ). Since their intersection is empty, both products are empty. Therefore B = 1 and
hence B(G0 ) = B(G1 ) × B(G2 ).

Lemma 3.2.(c) shows that B(G• ) is not a direct product of submonoids. Suppose that 0 ∈ G0 . Then
0 ∈ B(G0 ) is a prime element and B(G0 ) = B({0}) × B(G•0 ). But B({0}) = F ({0}) ∼
= (N0 , +), and thus
all the arithmetical invariants measuring the non-uniqueness of factorizations of B(G0 ) and of B(G•0 )
coincide. Therefore we can assume that 0 ∈
/ G0 whenever it is convenient.
Lemma 3.3. Let G be an abelian group and let G0 ⊂ G be a subset such that 1 < D(G0 ) < ∞.
(1) We have ρ(G0 ) ≤ D(G0 )/2, k ≤ ρk (G0 ) ≤ kρ(G0 ), and ρ(G0 )−1 k ≤ λk (G0 ) ≤ k for all k ∈ N.
(2) Suppose that ρ2 (G0 ) = D(G0 ). Then ρ(G0 ) = D(G0 )/2, and for all k ∈ N, we have
ρ2k (G0 ) = kD(G0 )

and

kD(G0 ) + 1 ≤ ρ2k+1 (G0 ) ≤ kD(G0 ) +

D(G0 )
.
2

Moreover, if j, l ∈ N0 such that lD(G0 ) + j ≥ 1, then
2j
≤ λlD(G0 )+j (G0 ) ≤ 2l + j .
2l +
D(G0 )
Proof. By definition, λk (G0 ) ≤ k ≤ ρk (G0 ). Since ρ(G0 ) = sup{ρk (G0 )/k : k ∈ N}, it follows that
ρk (G0 ) ≤ kρ(G0 ) and k ≤ ρ(G0 )λk (G0 ). Furthermore, 2ρk (G0 ) ≤ kD(G0 ) for all k ∈ N implies that
ρ(G0 ) ≤ D(G0 )/2. This gives (1).
We now prove (2). Since ρk (G0 ) + ρl (G0 ) ≤ ρk+l (G0 ) for every k, l ∈ N, (1) implies that
kD(G0 ) = kρ2 (G0 ) ≤ ρ2k (G0 ) ≤ (2k)

D(G0 )
= kD(G0 ) ,
2

and hence
D(G0 )
.
2
Let j, l ∈ N0 such that lD(G0 ) + j ≥ 1. For convenience, set ρ0 (G0 ) = λ0 (G0 ) = 0. Since
2
2l =
lD(G0 ) ≤ λlD(G0 ) (G0 ) and ρ2l (G0 ) = lD(G0 ) ,
D(G0 )
kD(G0 ) + 1 = ρ2k (G0 ) + ρ1 (G0 ) ≤ ρ2k+1 (G0 ) ≤ (2k + 1)ρ(G0 ) ≤ kD(G0 ) +

it follows that λlD(G0 ) (G0 ) = 2l, and hence
2l +



2
2j
=
lD(G0 ) + j = ρ(G0 )−1 lD(G0 ) + j
D(G0 )
D(G0 )
≤ λlD(G0 )+j (G0 ) ≤ λlD(G0 ) (G0 ) + λj (G0 ) ≤ 2l + j . 

Transfer homomorphisms. Transfer homomorphisms are a central tool in Factorization Theory. In
order to study a given monoid H, one constructs a transfer homomorphism θ : H → B to a simpler
monoid B, studies factorizations in B, and then lifts arithmetical results from B to H. In the case
of Krull monoids, transfer homomorphisms allow one to study nearly all of the arithmetical invariants
introduced in Section 2 in an associated monoid of zero-sum sequences. We now gather the basic tools
necessary for this approach.

12

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

A monoid homomorphism θ : H → B is called a transfer homomorphism if it has the following
properties:
(T 1) B = θ(H)B × and θ−1 (B × ) = H × .
(T 2) If u ∈ H, b, c ∈ B and θ(u) = bc, then there exist v, w ∈ H such that u = vw, θ(v) ≃ b
and θ(w) ≃ c.
The next result provides the link between the arithmetic of Krull monoids and Additive Group and
Number Theory. This interplay is highlighted in the survey [34].
Lemma 3.4. Let H be a Krull monoid, ϕ : H → D = F (P) a cofinal divisor homomorphism, G = C(ϕ)
e : D → F (GP ) denote the
its class group, and GP ⊂ G the set of classes containing prime divisors. Let β
e
unique homomorphism defined by β(p) = [p] for all p ∈ P.
e ◦ ϕ : H → B(GP ) is a
(1) The inclusion B(GP ) ֒→ F (GP ) is cofinal, and the homomorphism β = β
transfer homomorphism.
(2) For all a ∈ H, LH (a) = LB(GP ) (β(a)). In particular, L(H) = L(GP ), ∆(H) = ∆(GP ), Uk (H) =
Uk (GP ), ρk (H) = ρk (GP ), and λk (H) = λk (GP ) for each k ∈ N.
(3) Suppose that H is not factorial. Then c(H) = c(GP ), cadj (H) = cadj (GP ), cmon (H) = cmon (GP ),
∆∗ (H) = ∆∗ (GP ), and ω(H) ≤ D(GP ).
Proof. See [37, Section 3.4] for details pertaining to most of the invariants. For the statements on the
monotone catenary degree see [36]. Roughly speaking, all of the statements in (2) are straightforward,
but the statements in (3) are more subtle. Note that a statement corresponding to (3) does not hold true
for the tame degree (see [33]).

In summary, if the monoid of modules V(R) is Krull with class group G and set GP of classes containing
prime divisors, then the arithmetic of direct-sum decompositions can be studied in the monoid B(GP )
b as in Lemma 3.1 and all
of zero-sum sequences over GP . In particular, if H = M(R) and D = M(R)
notation is as in Lemma 3.4, then
c∼
D(GP ) = sup{l : M
= N1 ⊕ · · · ⊕ Nl such that [M ] ∈ A(H) and [Ni ] ∈ A(D) for each i ∈ [1, l]} .
4. Monoids of modules: Class groups and distribution of prime divisors I

Throughout this section we use the following setup:
(S) (R, m) denotes a one-dimensional analytically unramified commutative Noetherian local ring with
b its m-adic completion, and spl(R) =
unique maximal ideal m, k = R/m its residue field, R
b
| spec(R)| − | spec(R)| the splitting number of R.
In this section we investigate the characteristic of the Krull monoids M(R) and T (R) for certain
one-dimensional local rings. This study is based on deep module-theoretic work achieved over the past
several decades. We gather together module-theoretic information and proceed using a recent construction
(see 4.4) to obtain results on the class group and on the set GP of classes containing prime divisors.
The literature does not yet contain a systematic treatment along these lines. Indeed, early results (see
Theorem 4.2 below) indicated only the existence of extremal sets GP which imply either trivial direct-sum
decompositions or that all arithmetical invariants describing the direct-sum decompositions are infinite.
In either case there was no need for further arithmetical study. Here we reveal that finite and wellstructured sets GP occur in abundance. Thus, as we will see in Section 6, the arithmetical behavior of
direct-sum decompositions is well-structured.
b and R are both reduced
We first gather basic ring and module-theoretic properties. By definition, R
and the integral closure of R is a finitely generated R-module. Moreover, we have C(R) = T (R). Let
M be a finitely generated R-module. If p is a minimal prime ideal of R, then Rp is a field, Mp is a
finite-dimensional Rp -vector space, and we set rankp (M ) = dimRp (Mp ). If p1 , . . . , ps are the minimal

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

13

prime ideals of R, then rank(M ) = (r1 , . . . , rs ) where ri = rankpi (M ) for all i ∈ [1, s]. The module M is
said to have constant rank if r1 = · · · = rs .
We start with a beautiful result of Levy and Odenthall, which gives us a tool to determine which
b
finitely generated R-modules
are extended from R-modules.
b
Proposition 4.1. [57, Theorem 6.2] Let M be a finitely generated torsion-free R-module.
Then M is
b with
extended if and only if rankp (M ) = rankq (M ) whenever p and q are minimal prime ideals of R
p ∩ R = q ∩ R. In particular, if R is a domain, then M is extended if and only if its rank is constant.

We start our discussion with a result which completely determines the characteristic of the Krull
monoid M(R). The arithmetic of this monoid is studied in Proposition 6.2.2.

Theorem 4.2. [46, Theorem 6.3] Let G denote the class group of M(R) and let GP ⊂ G denote the set
of classes containing prime divisors.
(1) If R is not Dedekind-like, then G is free abelian of rank spl(R) and each class contains |k|ℵ0 prime
divisors.
(2) If R is a DVR, then G = 0.
(3) If R is Dedekind-like but not a DVR, then either
(a) spl(R) = 0 and G = 0, or
(b) spl(R) = 1, G is infinite cyclic with G = hei and GP = {−e, 0, e}. Each of the classes e and −e
contain ℵ0 prime divisors and the class 0 contains |k|ℵ0 prime divisors.
Thus, for the rest of this section, we focus our attention on T (R). To determine if the divisor homob is a divisor theory, we will require additional information. For now, we easily
morphism T (R) ֒→ T (R)
show that it is always cofinal.
b is a cofinal divisor homomorphism.
Proposition 4.3. The embedding T (R) ֒→ T (R)

Proof. By Lemma 3.1 the embedding is a divisor homomorphism. If M is a finitely generated torsion-free
b
R-module,
we can consider its rank, rank(M ) = (r1 , . . . , rt ), where t is the number of minimal primes
b If r1 = · · · = rt , then by Proposition 4.1 M is extended, say M = N
b for some finitely generated
of R.
torsion-free R-module N and the result is trivial. If the rank of M is not constant, set r = max{r1 , . . . , rt }
r−r1
r−rt


b
b 1
b t
and consider the R-module
L = R/q
⊕ · · · ⊕ R/q
, where q1 , . . . , qt denote the minimal
b Then rank(N ⊕ L) = (r, . . . , r) is constant and hence N ⊕ L is extended, say N ⊕ L ∼
primes of R.
= Pb
for some finitely generated torsion-free R-module P . Clearly M is isomorphic to a direct summand of Pb
and the result follows.

(P)

b is free abelian, we can identify it with the free abelian monoid N
Since T (R)
where P is an index
0
b
set for the isomorphism classes of indecomposable finitely generated torsion-free R-modules. We then
use Proposition 4.1 to give a detailed description of T (R). The following construction has been used
numerous times (see, for example, [7], [8], and [28]).
Construction 4.4.
• Let p1 , . . . , ps be the distinct minimal prime ideals of R. For each i ∈ [1, s], let qi,1 , . . . , qi,ti be the
b lying over pi . Note that spl(R) = Ps (ti − 1).
minimal primes of R
i=1
b
• Let P be the set of isomorphism classes of indecomposable finitely generated torsion-free R-modules.
• Let A(R) be the spl(R) × |P| matrix whose column indexed by the isomorphism class [M ] ∈ P is

T
r1,1 − r1,2 · · · r1,1 − r1,t1 · · · rs,1 − rs,2 · · · rs,1 − rs,ts
where ri,j = rankqi,j (M ).
(P)
Then T (R) ∼
= ker(A(R)) ∩ N(P) ⊂ N0 is a Diophantine monoid.

14

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

b lie over the minimal prime
If one has a complete description of how the minimal prime ideals of R
b
ideals of R together with the ranks of all indecomposable finitely generated torsion-free R-modules,
then
Construction 4.4 completely describes the monoid T (R). In certain cases (eg. Section 4.1) we are able to
obtain all of this information. Other times we know only some of the ranks that occur for indecomposable
b
R-modules
and thus have only a partial description for T (R). However, as was shown in [8], the ranks
b
of indecomposable cyclic R-modules
gives enough information about the columns of A(R) to prove that
b is nearly always a divisor theory. First we recall that if q1 , . . . , qt are the minimal primes
T (R) ֒→ T (R)
b and E ⊂ [1, t]. Then
of R,
!
(
b
1, i ∈ E
R
rank T
= (r1 , . . . , rt ), where ri =
0, i 6∈ E.
i∈E qi
Thus every nontrivial t-tuple of zeros and ones can be realized as the rank of a nonzero (necessarily
b
indecomposable) cyclic R-module.
Thus we have the following:
Construction 4.5. Let all notation be as in Construction 4.4. After renumbering if necessary,
P there is
p ∈ [0, s] such that t1 , . . . , tp ≥ 2 and such that ti = 1 for each i ∈ [p + 1, s]. Then spl(R) = pj=1 tj − p.
For each i ∈ [1, p], let Ai be the set of (ti − 1) × 1 column vectors all of whose entries are either 0 or 1,
and let Bi be the set of (ti − 1) × 1 column
Q vectors all of whose entries are either 0 or −1.
We now define T to be the spl(R) × pi=1 (2ti − 1) matrix, each of whose columns has the form


T1
 .. 
where Ti ∈ Ai ∪ Bi for each i ∈ [1, p].
 . ,
Tp
With the notation as in Constructions 4.4 and 4.5, we give a realization result which shows that the
matrix T occurs as a submatrix of A(R).
Proposition 4.6. [8, Proposition 3.7] For each column α of T , there exist nonnegative integers ri,j and
b
an indecomposable torsion-free R-module
Mα of rank
(r1,1 , . . . , r1,t1 , . . . , rp,1 , . . . , rp,tp , rp+1,1 , . . . , rs,1 )

such that


α = r1,1 − r1,2

···

···

r1,1 − r1,t1

rp,1 − rp,2

···

rp,1 − rp,tp

T

.

In particular, the matrix A(R) nearly always satisfies the hypotheses of the following lemma.
Lemma 4.7. [8, Lemma 4.1] Fix an integer q ≥ 1, and let Iq denote the q ×q identity matrix. Let

 P be an
index set, and let D be a q × |P| integer matrix whose columns are indexed by P. Assume D = D1 | D2 ,
where D1 is the q × (2q + 2) integer matrix


1 −1

..
..  ,
 I −I
.
. 
q

q

1 −1

and D2 is an arbitrary integer matrix with q rows (and possibly infinitely many columns). Let H =
(P)
ker(D) ∩ N0 .
(1)
(2)
(3)
(4)

The map D : Z(P) → Z(q) is surjective.
(P)
The natural inclusion H ֒→ N0 is a divisor theory.
ker(D) = q(H).
C(H) ∼
= Z(q) , and this isomorphism maps the set of classes containing prime divisors onto the set of
distinct columns of D.

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

15

In particular, we observe the following: Given a fixed column α of D, the cardinality of {β : β is a column of
D and β = α} is equal to the cardinality of prime divisors in the class corresponding to α. Therefore,
the characteristic of the Krull monoid H is completely given by the matrix D.
Based on the previous results, one easily obtains the following theorem which provides the framework
for our study of the characteristic of T (R).
Theorem 4.8.
b is free abelian.
(1) If spl(R) = 0, then T (R) ∼
= T (R)
b is a divisor theory. Moreover,
(2) If spl(R) ≥ 2 then the embedding T (R) ֒→ T (R)
(P)
∼
(a) T (R) = ker(A(R)) ∩ N0 ,
(b) C(T (R)) ∼
= Z(spl(R)) , and this isomorphism maps the set of classes containing prime divisors
onto the set of distinct columns of A(R).
b is a divisor theory if and only if the defining
Suppose that spl(R) = 1. The embedding T (R) ֒→ T (R)
matrix A(R) contains at least two positive and at least two negative entries (see Proposition 6.1.2).
b
In many cases, computing the ranks of indecomposable R-modules
and hence the columns of the
defining matrix A(R) is difficult. However, an additional hypotheses on R implies that the set of classes
containing prime divisors satisfies GP = −GP , a crucial property for all arithmetical investigations (see
Proposition 6.2 and the subsequent remarks).
∼ S/(f ) where (S, n) is a hypersurface i.e., a regular Noeb=
Corollary 4.9. Suppose in addition that R
b and
therian local ring of dimension two and where 0 6= f ∈ n. If G is the class group of T (R) ֒→ T (R)
GP is the set of classes containing prime divisors, then GP = −GP .

Proof. With the hypotheses given, we can apply [8, Proposition 6.2] to see that if M is any indecomposable
b
b
R-module
with rank (r1 , . . . , rt ), then there is an indecomposable R-module
N with rank
 (m − r1 , m −
r2 , . . . , m − rt ) for some m ≥ max{r1 , . . . , rt }. Using Construction 4.4 we see that if α = a1 · · · aq is
the column of A(R) indexed by M , then −α is the column indexed by N . Therefore, since GP corresponds
to the distinct columns of A(R), GP = −GP .

Remark 4.10. Although the system of equations developed in Construction 4.4 is somehow natural, it
is not the only system of equations which can be used to define T (R). Indeed, the matrix A(R) can be
adjusted by performing any set of elementary row operations. If J is an elementary matrix corresponding
(P)
(P)
to such a set of row operations, then T (R) ∼
= ker(JA(R)) ∩ N0 . Moreover, this
= ker(A(R)) ∩ N0 ∼
isomorphism gives rise to an automorphism of C(T (R)) mapping the set of classes containing prime
divisors to another set of classes containing prime divisors. Example 4.20 illustrates the usefulness of
considering an alternate defining matrix for T (R).
4.1. Finite Representation Type. Throughout this subsection, let R be as in Setup (S), and suppose
in addition that R has finite representation type.
Decades with of work going back to a paper of Green and Reiner [42] and including papers by R. and
S. Wiegand, Çimen, Arnuvut, Luckas, and Baeth (see [68], [16], [1], and [3]) culminated in a paper by
Baeth and Luckas [6] which classified precisely the tuples that can occur as the ranks of indecomposable
b have at most
torsion-free R-modules. We note that since R has finite representation type, both R and R
three minimal primes (see [17, Theorem 0.5]).
Proposition 4.11. [6, Main Theorem 1.2]
b is a domain, then every indecomposable finitely generated torsion-free R-module
b
(1) If R
has rank 1, 2
or 3.
b has exactly two minimal prime ideals, then every indecomposable finitely generated torsion-free
(2) If R
b
R-module has rank (0, 1), (1, 0), (1, 1), (1, 2), (2, 1) or (2, 2).

16

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

b has exactly two minimal prime ideals, then every indecomposable finitely generated torsion-free
(3) If R
b
R-module has rank (0, 0, 1), (0, 1, 0), (1, 0, 0), (0, 1, 1), (1, 0, 1), (1, 1, 0), (1, 1, 1) or (2, 1, 1).

b
Note the lack of symmetry in case (3): With a predetermined order on the minimal prime ideals of R,
there is an indecomposable module of rank (2, 1, 1), but not of rank (1, 2, 1) or (1, 1, 2). As is stated in [6,
Remark 5.2], even for a fixed number of minimal primes, not each of these tuples will occur as the rank
of an indecomposable module for each ring. However, since when applying Construction 4.4 we cannot
distinguish between an indecomposable of rank (2, 1) and one of rank (1, 0), and since all nontrivial tuples
of zeros and ones occur as ranks of indecomposable cyclic modules, we have [7, Proposition 3.3]:

(1) If spl(R) = 1, then A(R) = 1

· · · 1 −1 · · ·
0 −1 1 −1 1
(2) If spl(R) = 2, then A(R) =
−1 0 1 −1 0


−1 0 · · · 0 .

0 0 1 ···
.
1 0 1 ···

When spl(R) = 1, we are guaranteed at least one entry for each of 1, −1, and 0, coming from the
b
ranks of indecomposable cyclic R-modules.
If we have at most one 1 or at most one −1 in the defining
b has exactly two minimal primes p and q,
matrix A(R), then it must be the case that R is a domain, R
b is the only indecomposable torsion-free R-module
b
and up to isomorphism either R/p
of rank (r, s) with
b is the only indecomposable torsion-free R-module
b
r − s = 1 or the R/q
of rank (r, s) with r − s = −1.
If this is the situation, we say that R satisfies condition (†). In case spl(R) = 2, we are guaranteed that
each column listed appears at least once as a column of A(R).
We then have the following refinement of Theorem 4.8 when R has finite representation type. The
arithmetic of this monoid is studied in Proposition 6.2.2, Theorem 6.4, and Corollary 6.10.
Theorem 4.12. [7, Proposition 3.3]
b is not a divisor theory but T (R) is
(1) If spl(R) = 1 and R satisfies condition (†) then T (R) ֒→ T (R)
free abelian.
b is a divisor theory with
(2) If spl(R) = 1 and R does not satisfy condition (†), then T (R) ֒→ T (R)
infinite cyclic class group G = hei, and GP = {−e, 0, e}.
(2)
b is a divisor theory and C(T (R)) ∼
(3) If spl(R) = 2, then T (R) ֒→ T (R)
  = Z . Moreover,
   this
 isomor
1
−1
1
−1
0
0
phism maps the set of classes containing prime divisors onto
,
,
,
,
,
.
1
−1
0
0
1
−1
4.2. Infinite Representation Type. Throughout this subsection, let R be as in Setup (S), and suppose
in addition that R has infinite representation type.
Unfortunately, in this case, there is no known complete list of the tuples that can occur as ranks of
indecomposable finitely generated torsion-free R-modules. Thus we cannot give a full description of T (R)
b has infinite representation
using Construction 4.4. However, with the additional assumption that R/q
b we can produce a wide variety of interesting ranks and can
type for some minimal prime ideal q of R,
provide a partial description of T (R). This information is enough to show that, very much unlike the
finite representation type case of Section 4.1, all of the arithmetical invariants we study are infinite.
Proposition 4.13. [61, Theorem 3.4.1] Let S be a one-dimensional analytically unramified commutative
Noetherian local ring with residue field K, and with t minimal prime ideals q1 , . . . , qt such that S/q1 has
infinite representation type. Let (r1 , . . . , rt ) be a nonzero t-tuple of nonnegative integers with ri ≤ 2r1 for
all i ∈ [2, t].
(1) There exists an indecomposable torsion-free S-module of rank (r1 , . . . , rt ).
(2) If the residue field K is infinite, then the set of isomorphism classes of indecomposable torsion-free
S-modules of rank (r1 , . . . , rt ) has cardinality |K|.

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

17

b
By Proposition 4.13 the conditions of Lemma 4.7 are satisfied. Therefore the map T (R) ֒→ T (R)
is a divisor theory and the class group C(T (R)) is free abelian of rank spl(R). Our main result of this
subsection is a refinement of Theorem 4.8. Its arithmetical consequences are given in Proposition 6.2.1,
strongly improving the arithmetical characterizations given in [8].
b such
Theorem 4.14. Suppose that spl(R) ≥ 1 and that there is at least one minimal prime ideal q of R
b has infinite representation type. Then C(T (R)) is free abelian of rank spl(R) and the set of
that R/q
classes containing prime divisors contains an infinite cyclic subgroup.
Proof. Let p1 , . . . , ps denote the minimal primes of R and, for each i ∈ [1, s], let qi,1 , . . . , qi,ti denote the
b lying over pi . Without loss of generality, assume that R/q
b 1,1 has infinite
set of minimal primes of R
representation type. If t1 = 1, then without loss of generality, t2 > 1. From Proposition 4.13 there
b
is, for each pair (r, s) of nonnegative integers (not both zero), an indecomposable R-module
M with
rankq2,1 (M ) = r, rankq2,2 (M ) = s, and rankqi,j (M ) = 0 for all (i, j) 6∈ {(1, 1), (2, 1), (2, 2)}. Now suppose
that t1 > 1. Then we have, from Proposition 4.13, for each pair (r, s) of nonnegative integers (not both
b
zero) satisfying r − s ≥ −s, an indecomposable R-module
M with rankq1,1 (M ) = r, rankq1,2 (M ) = s,
andnrankqi,j (M ) = 0 for all (i,oj) 6∈ {(1, 1), (1, 2)}. In either case, using Construction 4.4 we see that the

T
set x 0 · · · 0 : x ∈ Z occurs as a set of columns for A(R) and hence occurs as a subset of the
set of classes containing prime divisors.


4.3. Divisor-closed submonoids of T (R). Suppose that R has infinite representation type but, in
b has finite representation type for each minimal prime q of
contrast to Theorem 4.14, suppose that R/q
b
R. Then there is no known classification of all ranks of indecomposable finitely generated torsion-free
R-modules. Specific rings have been studied in the literature, but even in these settings, a complete
solution has been unattainable. We now give such an example which we will return to in Section 4.4.
Example 4.15. Let K be an algebraically closed field of characteristic zero. Consider the ring S =
K[[x, y]]/(x4 − xy 7 ) which has exactly two minimal primes xS and (x3 − y 7 )S. Detailed constructions
in [51] and [61] show that S has indecomposable modules of ranks (m, m), (m + 1, m), and (m + 2, m)
for each positive integer m. Moreover, [8, Proposition 6.2] guarantees indecomposable modules of ranks
(s − (m + 1), s − m) and (t − (m + 2), t − m) where s ≥ m + 1 and t ≥ m + 2 are positive integers.
Determining what other tuples occur as ranks of indecomposable torsion-free S-modules appears to be
quite difficult.
Thus, since studying T (R) as a whole is out of reach at the present state of knowledge, we pick finitely
many R-modules M1 , . . . , Mn , and study the direct-sum relations among them. In more technical terms,
instead of studying the full Krull monoid T (R), we focus on divisor-closed submonoids. Suppose that H is
a Krull monoid and H ֒→ F (P) a cofinal divisor homomorphism. If H ′ ⊂ H is a divisor-closed submonoid,
then H ′ ֒→ H ֒→ F (P) is a divisor homomorphism. For each of the arithmetical invariants ∗(·) introduced
in Section 2, we have ∗(H ′ ) ≤ ∗(H ′ ) resp. ∗(H ′ ) ⊂ ∗(H); for example we have c(H ′ ) ≤ c(H), L(H ′ ) ⊂
L(H), and so on. Moreover, if H ′ is the smallest divisor-closed submonoid containing finitely many
elements a1 , . . . , ak ∈ H, it is also the smallest divisor-closed submonoid containing a1 · . . . · ak .
For the rest of Section 4, we study divisor-closed submonoids of T (R) generated by a single R-module
M , regardless of whether R has finite or infinite representation type. We denote this monoid by add(M ).
Before discussing specific examples in Section 4.4, we carefully recall the consequences of our main
Construction 4.4 for such submonoids.
b be as in Construction 4.4. Let M be a finitely generated torsion-free
Construction 4.16. Let R and R
R-module. Then add(M ) consists of all isomorphism classes [N ] ∈ T (R) such that N is isomorphic to a
direct summand of M (n) for some finite positive integer n.
c = L(n1 ) ⊕ · · · ⊕ L(nk ) where the Li are pairwise nonisomorphic indecomposable finitely genWrite M
1
k
b
b ] ∈ add(M
c) and
erated torsion-free R-modules
and the ni are positive integers. If [N ] ∈ add(M ), then [N

18

NICHOLAS R. BAETH AND ALFRED GEROLDINGER
(a )

(a )

b N
b ∼
thus, since direct-sum decomposition is essentially unique over R,
= L1 1 ⊕ · · · ⊕ Lk k with each ai
(k)
a nonnegative integer at most ni . Thus there is a divisor homomorphism Ψ : add(M ) → N0 given by
(k)
[N ] 7→ (a1 , . . . , ak ). We identify add(M ) with the saturated submonoid Γ(M ) = Ψ(add(M )) of N0 .
Moreover,
is the transpose of the
 if A(M ) is the spl(R)×k integer-valued matrix for which the lth column

row-vector r1,1 − r1,2 · · · r1,1 − r1,t1 · · · rs,1 − rs,2 · · · rs,1 − rs,ts where ri,j = rankqi,j (Vl ),
∼ Γ(M ) = ker(A(M )) ∩ N(k) .
then add(M ) =
0
We now state a corollary of Theorem 4.8 for add(M ).
Corollary 4.17. Let M be a finitely generated torsion-free R-module as in Construction 4.16.
c) is free abelian.
(1) If spl(R) = 0, then add(M ) ∼
= add(M

(k)

(2) If spl(R) ≥ 1 and A(M ) satisfies the conditions of Lemma 4.7, then the inclusion Γ(M ) ⊂ N0 is a
divisor theory. Moreover,
(k)
(a) add(M ) ∼
= ker(A(M )) ∩ N0 ,
(b) C(add(M )) ∼
= Z(spl(R)) , and this isomorphism maps the set of classes containing prime divisors
onto the set of distinct columns of A(M ).
Before considering explicit examples, we give a realization result (see also [56, Chapter 1]).
Proposition 4.18. Let H be a reduced Krull monoid with free abelian class group G of rank q and let
GP ⊂ G denote the set of classes containing prime divisors. Suppose that GP is finite and that G has a
basis (e1 , . . . , eq ) such that G0 = {e0 = e1 + · · · + eq , e1 , . . . , eq , −e0 , . . . , −eq } ⊂ GP . Then there exists
an analytically unramified commutative Noetherian local domain S and a finitely generated torsion-free
S-module M such that add(M ) ∼
= H.
Proof. Let Φ : G → Z(q) denote the isomorphism which maps (e1 , . . . , eq ) onto the standard basis of Z(q) .
b
Let S be an analytically unramified Noetherian local domain with completion
 S having q + 1 minimal
b 0 has infinite representation type. For s = s1 · · · sq ∈ Φ(GP ), set
primes Q0 , . . . , Qq such thatPS/Q
r0 = s1 + · · · + sq and ri = j6=i sj for each i ∈ [1, q]. By Theorem 4.13 there exists an indecomposable
L
b
finitely generated torsion-free S-module
Ns such that rank(Ns ) = (r0 , . . . , rq ). Set N =
s∈Φ(GP ) Ns
(a−ai )
Lq  b
and write rank(N ) = (a0 , . . . , aq ). Set a = max{a0 , . . . , aq } and L = i=0 S/Qi
. Then N ⊕ L
b
is a finitely generated torsion-free S-module
with constant rank and is thus extended from a finitely
generated torsion-free S-module M . By Construction 4.16 and Corollary 4.17 we see that add(M ) has
class group isomorphic to Z(q) and this isomorphism maps the set of prime divisors onto the elements of
the set Φ(GP ).


4.4. Examples. In this section we provide the constructions of naturally occurring monoids add(M )
where M is a finitely generated torsion-free R-module. In particular, we construct specific modules M ,
c is often a direct sum of indecomposable cyclic R-modules
b
whose completion M
and we determine the class
group G of add(M ) and the set of classes GP ⊂ G containing prime divisors. Note that the Krull monoids
M(R) of all finitely generated R-modules and T (R) of all finitely generated torsion-free R-modules have
class groups G′ ⊃ G and a set G′P of classes containing prime divisors such that G′P ⊃ GP . Since add(M )
is a divisor-closed submonoid of both M(R) and of T (R), a study of the arithmetic of add(M ) provides
a partial description of M(R) and T (R). Moreover, the values of arithmetical invariants of add(M ) give
lower bounds on the same arithmetical invariants of M(R) and T (R).
b
In each of the following examples we construct an R-module
L = Ln1 1 ⊕ · · · ⊕ Lnk k of constant rank,
b
where L1 , . . . , Lk are pairwise non-isomorphic indecomposable R-modules.
Then, by Corollary 4.17 with

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

19

c∼
M
= L for some R-module M ,


(k)
(k)
add(M ) ∼
= ker A(M ) ∩ N0 ⊂ N0 ∼
= add(L) .

In particular, we do so in such a way that the natural map add(M ) ֒→ add(L) is a divisor theory with
class group isomorphic to Z(spl(R)) and where the set of classes containing prime divisors maps onto the
distinct columns of A(M ).
Example 4.19. We now construct a monoid of modules whose arithmetic will be studied in Proposition
6.12. Let S be as in Example 4.15. Then there are indecomposable torsion-free S-modules M1 , M−1 , M2 ,
M−2 , N1 , N−1 , N2 , and N−2 with ranks (respectively) (2, 1), (1, 2), (3, 1), (1, 3), (3, 2), (3, 2), (2, 3), (4, 2),
and (2, 4). Set L to be the direct sum of these eight indecomposable S-modules. By Lech’s Theorem [54],
b∼
there exists a Noetherian local domain (R, m) with m-adic completion R
= S. Since L has constant rank,
(8)
∼
L is extended from some R-module M , and add(M ) ֒→ add(L) = N0 is a divisor theory with infinite
cyclic class group G and with GP = {−2e, −e, e, 2e} where G = hei.
Example 4.20. We now provide an example that illustrates the convenience of choosing an alternate
defining matrix for add(M ), as is described in Remark 4.10. Its arithmetic is given in Theorem 6.4.
b has five minimal prime ideals q(1,1) ,
Suppose that R has two minimal prime ideals p1 , p2 and that R
q(1,2) , q(1,3) , q(2,1) , and q(2,2) , with q(i,j) lying over pi for each i ∈ [1, 2] and for each j. Set
L =

b
R

b
R

⊕

⊕

b
R
⊕
q(1,2) ∩ q(2,1)

q(1,1) ∩ q(1,3) ∩ q(2,2)
q(1,1) ∩ q(1,2) ∩ q(2,1)
b
b
b
R
R
R
⊕
⊕
.
q(1,1)
q(1,3) ∩ q(2,2)
q(1,2) ∩ q(1,3) ∩ q(2,1) ∩ q(2,2)

(6)
c∼
Since L has constant rank 3, there is an R-module M such that M
= L. Then add(M ) ∼
= ker(A(M ))∩N0
where

 
 

1 0 −1 1 0 −1
1 0 −1 1 0 −1
1 0 −1 1 0 −1
A(M ) =  0 1 0 1 −1 −1 ∼ −1 1 1 0 −1 0  ∼ 0 1 0 1 −1 −1 = JA(M ).
−1 1 1 0 −1 0
0 0 0 0 0
0
0 0 0 0 0
0


1 0 −1 1 0 −1
(6)
(6)
Thus add(M ) ∼
∩ N0 . Since the matrix A(M ) has
= ker
= ker(JA(M )) ∩ N0 ∼
0 1 0 1 −1 −1
rank two, the representation of add(M ) as a Diophantine matrix defined by two equations more clearly
describes this monoid. Moreover, since the map from Z(6) to Z(2) is surjective (the map A(M ) : Z(6) →
Z(3) is not surjective), we immediately see that C(add(M )) ∼
= Z(2) , and this isomorphism maps the set of
classes containing prime divisors onto
           
1
0
−1
0
1
−1
,
,
,
,
,
.
0
1
0
−1
1
−1

Example 4.21. We now consider a monoid add(M ) which generalizes the monoid T (R) when R has
finite representation type, and its arithmetic is studied in Theorem 6.7 and Corollary 6.10. Suppose that
b has q + 1 minimal primes q1 , . . . , qq+1 , and set
R
L=

M

∅6=I⊂[1,q+1]

b
R

∩i∈I qi

.

b
R
b
From the symmetry of the set of ranks of the indecomposable cyclic R-modules
∩i∈I qi we immediately see
that L has constant rank (2q , . . . , 2q ) and is therefore extended from some R-module M . Then add(M ) ∼
=

20

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

T

(q)
ker(A(M ))∩N0 where A(M ) is an q × 2q+1 − 1 integer-valued matrix with columns ǫ1 · · · ǫq where
either ǫi ∈ {0, 1} for all i ∈ [1, q] or ǫi ∈ {0, −1} for all i ∈ [1, q].
(q)
Since the columns of A(M ) contain a basis for Z(q) , add(M ) ֒→ add(L) ∼
= N0 is a divisor theory with
(q)
∼
class group C(add(M )) = Z , and this isomorphism maps the set of classes containing prime divisors
onto
o 
o n
n
T

T
ǫ1 · · · ǫq
: ǫi ∈ {0, −1} \ 0 · · · 0 .
: ǫi ∈ {0, 1} ∪ ǫ1 · · · ǫq
Example 4.22. In this example we construct a monoid add(M ) which generalizes the monoid of Example
4.21 by including all vectors having entries in {−1, 0, 1} in the set GP . This larger set of classes containing
prime divisors adds much complexity to the arithmetic. Suppose that R has q minimal primes and that
b has 2q minimal primes
R
q(1,1) , q(1,2) , q(2,1) , . . . , q(q,2)
where q(i,j) ∩ R = q(i′ ,j ′ ) ∩ R if and only if i = i′ . As in the previous example, let
M

L=

∅6=I⊂{(1,1),...,(q,2)}

b
R

∩(i,j)∈I q(i,j)

.

b
From the symmetry of the set of ranks of the indecomposable cyclic R-modules
2q−1

b
R
∩{i,j}∈I qi,j

we immediately

2q−1

see that L has constant rank (2
,...,2
) and is therefore extended from some R-module M . Then
(q)
add(M ) ∼
= ker(A(M )) ∩ N0 where A(M ) is an q × 22q − 1 integer-valued matrix with columns of the

T
form r(1,1) − r(1,2) r(2,1) − r(2,2) · · · r(q,1) − r(q,2) where (r(1,1) , r(1,2) , . . . , r(q,2) ) is the rank of one
b
of the 22q − 1 indecomposable cyclic R-modules
— that is, any one of the q-tuples of 1s and 0s (not all
T

0). In other words, the columns of A(M ) are exactly the 3q columns ǫ1 · · · ǫq where ǫi ∈ {−1, 0, 1}
for all i ∈ [1, q], repeated with some multiplicity. For example, the column of all zeros occurs for each of
b
R
b
the indecomposable cyclic R-modules
∩(i,j)∈I q(i,j) where (i, 1) ∈ I if and only if (i, 2) ∈ I.
(22q −1)

is a divisor theory
Since the columns of A(M ) contain a basis for Z(q) , add(M ) ֒→ add(L) ∼
= N0
(q)
Z
,
and
this
isomorphism
maps
the
set
of
classes
containing
prime
divisors onto
whose class group G ∼
=
n
o
T
ǫ1 · · · ǫq
: ǫi ∈ {−1, 0, 1} .

Example 4.23. In this example we consider add(M ) when the completion of M is isomorphic to a
b
direct sum of some (but not all) of the indecomposable cyclic R-modules.
In this case, the example is
constructed in such a way that B(GP ) is a direct product of non-trivial submonoids (see Lemma 3.2).
b has 3q minimal primes
Suppose that R has q minimal primes and that R

q(i,j) : i ∈ [1, q], j ∈ [1, 3]
b
where q(i,j) ∩ R = q(i′ ,j ′ ) ∩ R if and only if i = i′ . Let L be the R-module
q 
M



b (i,1) ⊕ R/q
b (i,2) ⊕ R/q
b (i,3) ⊕ R/
b q(i,1) ∩ q(i,2) ⊕ R/
b q(i,1) ∩ q(i,3) ⊕ R/
b q(i,2) ∩ q(i,3) .
R/q
i=1

We see immediately that L has constant rank (3, . . . , 3) and thus L is extended from some R-module M .
(2q)
Then add(M ) ∼
= ker(A(M )) ∩ N0 where A(M ) is an 2q × 6q integer-valued matrix with columns
{e2k−1 , e2k , e2k−1 + e2k , −e2k−1 , −e2k , −e2k−1 − e2k : k ∈ [1, q]}
where (e1 , . . . , e2q ) denotes the canonical basis of Z(2q) .
For k ∈ [1, q], we set Gk = {e2k−1 , e2k , e2k−1 +e2k , −e2k−1 , −e2k , −e2k−1 −e2k }. Then GP = ⊎k∈[1,q] Gk
is the set of classes containing prime divisors and B(GP ) = B(G1 ) × · · · × B(Gq ). From Proposition 6.1

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

21

we will see that B(Gk ) ֒→ F (Gk ) is a divisor theory, whence B(GP ) ֒→ F (GP ) and add(M ) ֒→ add(L)
are divisor theories. The arithmetic of this monoid is studied in Proposition 6.12 and Corollary 6.15.
Example 4.24. As in Example 4.23, suppose that R has q minimal primes and suppose that the comb of R has 3q minimal primes
pletion R

q(i,j) : i ∈ [1, q], j ∈ [1, 3]

b = S/(f ) where (S, n) is
where q(i,j) ∩ R = q(i′ ,j ′ ) ∩ R if and only if i = i′ . Further suppose that R
b (i,j) has infinite
a regular Noetherian local ring of dimension two and where 0 6= f ∈ n and that R/q
representation type for all pairs (i, j). By Proposition 4.13, for each k ∈ [1, q] there are indecomposable
b
finitely generated torsion-free R-modules
Mk and Nk of ranks (r1,1 , . . . , rq,3 ) and (s1,1 , . . . , sq,3 ) where


0, i 6= k




0, i 6= k
3, i = k, j = 1
ri,j = 2, i = k, j ∈ [1, 2]
and si,j =
.


2, i = k, j = 2



0, i = k, j = 3

0, i = k, j = 3
Moreover, by Corollary 4.9, for each k ∈ [1, q] there are constant tk ≥ 2 and t′k ≥ 3 and indecomposable
′
′
b
finitely generated torsion-free R-modules
Mk′ and Nk′ having ranks (r1,1
, . . . , rq,3
) and (s′1,1 , . . . , s′q,3 )
where
′

tk , i 6= k




t′ − 3, i = k, j = 1
tk , i 6= k
′
k
and s′i,j =
ri,j
= tk − 2, i = k, j ∈ [1, 2]
.
′


t
i = k, j = 2


k − 2,

tk , i = k, j = 3
′
tk , i = k, j = 3
Let
!
q
M
′
′
b
b
b
b
b
L=R⊕
(Mk ⊕ Nk ⊕ Mk ⊕ Nk ) ⊕ R/(q(i,1) ∩ q(i,3) ) ⊕ R/(q(i,1) ∩ q(i,2) ) ⊕ R/q(i,2) ⊕ R/q(i,3) .
k=1

(2q)
Since L has constant rank, L is extended from an R-module M . Then add(M ) ∼
= ker(A(M )) ∩ N0
where A(M ) is an 2q × (8q + 1) integer-valued matrix with columns 0 and

{e2k−1 , e2k , 2e2k , e2k−1 + 2e2k , −e2k−1 , −e2k , −2e2k , −e2k−1 − 2e2k : k ∈ [1, q]}
where (e1 , . . . , e2q ) denotes the canonical basis of Z(2q) .
For k ∈ [1, q], we set Gk = {e2k−1 , e2k , 2e2k , e2k−1 + 2e2k , −e2k−1 , −e2k , −2e2k , −e2k−1 − 2e2k }. Then
GP = ⊎k∈[1,q] Gk is the set of classes containing prime divisors and B(GP ) = B(G1 ) × · · · × B(Gq ). From
Proposition 6.1 we will see that B(Gk ) ֒→ F (Gk ) is a divisor theory, whence B(GP ) ֒→ F (GP ) and
add(M ) ֒→ add(N ) are divisor theories. The arithmetic of this monoid is studied in Proposition 6.13 and
Corollary 6.15.
Example 4.25. In our final example we construct a tuple (G, GP ) which generalizes the monoid T (R)
when R has finite representation type (see Theorem 4.12). The arithmetic of such Krull monoids is
b has q + 1 minimal primes q1 , . . . , qq+1 , and
studied in Theorem 6.4 and Corollary 6.10. Suppose that R
set
q+1 

 
M
b j
b ∩i6=j qi ⊕ R/q
.
R/
L=
j=1

Note that L has constant rank (q, . . . , q) and is hence extended from some R-module M . Then add(M ) ∼
=
(q)
ker(A(M )) ∩ N0 where A(M ) is an q × 2q integer-valued matrix with columns
e1 , . . . , eq , e0 = e1 + e2 + · · · + eq , −e1 , . . . , −eq , −e0 .

22

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

(2q)
By Proposition 6.1, add(M ) ֒→ add(L) ∼
= Z(q) ,
= N0 is a divisor theory with class group C(add(M )) ∼
and this isomorphism maps the set of classes containing prime divisors onto

{e0 = e1 + · · · + eq , e1 , . . . , eq , −e0 , . . . , −eq }.

5. Monoids of modules: Class groups and distribution of prime divisors II
In this section we investigate the characteristic of the Krull monoids T (R) and C(R) for two-dimensional
Noetherian local Krull domains (see Theorem 5.4). We will show that, apart from a well-described exb
ceptional case, their class groups are both isomorphic to the factor group C(R)/ι(C(R)),
where ι : C(R) →
b
b
C(R) is the natural homomorphism between the class groups of R and R. In a well-studied special case
b is a hypersurface with finite representation type, this factor group is a finite
where R is factorial and R
cyclic group (see Theorem 5.5). This is in strong contrast to the results on one-dimensional rings in the
previous section where all class groups are torsion-free.
Let S be a Krull domain and let Iv∗ (S) denote the monoid of nonzero divisorial ideals. Then ϕ : S →
∗
Iv (S), defined by a 7→ aS, is a divisor theory. In this section we view C(S) as the class group of this
specific divisor theory. First we give a classical result (see [13, Chapter VII, Section 4.7]).
Lemma 5.1. Let S be a Noetherian Krull domain. One can associate to each finitely generated S-module
M a class c(M ) ∈ C(S) in such a way that
(1) If 0 → M ′ → M → M ′′ → 0 is an exact sequence of finitely generated S-modules, then c(M ) =
c(M ′ ) + c(M ′′ ).
(2) If I is a fractional ideal of S and Iv the divisorial ideal generated by I, then c(I) = c(Iv ).
Note that if S is any Noetherian domain, every ideal of S is obviously an indecomposable finitely
generated torsion-free S-module. If, in addition, the ring has dimension two, then we have the following
stronger result.
Lemma 5.2. Let S be a Noetherian local Krull domain of dimension two.
(1) [21, Lemma 1.1 and Theorem 3.6] Every divisorial ideal of S is an indecomposable MCM S-module.
(2) [60, Proposition 3] In addition, assume that the m-adic completion Sb of S is a Krull domain. Then
b
a finitely generated torsion-free S-module
N is extended from an S-module if and only if c(N ) is in
b
the image of the natural homomorphism ι : C(S) → C(S).

We now give a result on abstract Krull monoids which encapsulates the structure of the monoids of
modules described in Theorem 5.4.

Lemma 5.3. Let D = F (P) be a free abelian monoid, G an additive abelian group, ψ : D → G a
homomorphism, and H = ψ −1 (0) ⊂ D.
(1) If H ⊂ D is cofinal, then the inclusion H ֒→ D is a divisor homomorphism and ψ : D/H → ψ(D) ⊂ G
given by ψ ([a]) = ψ(a) is an isomorphism.
(2) The inclusion H ֒→ D is a divisor theory if and only if hψ(P)i = [ψ(P\{q})] for every q ∈ P. If this
is the case, then ψ : D/H → ψ(D) is an isomorphism and, for every g ∈ ψ(D), the set P ∩ ψ −1 (g)
−1
is the set of prime divisors in the class ψ (g).
(3) If the restriction ψ |P : P → G of ψ to P is an epimorphism, then H ֒→ D is cofinal. Moreover, it
is a divisor theory apart from the following exception:
G = {0, g}

and

|P ∩ ψ −1 (g)| = 1 .

If H ֒→ D is not a divisor theory, then H is factorial.

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

23

Proof. For the proofs of (1) and (2), see [37, Proposition 2.5.1]. We now consider the proof of (3).
Let a ∈ D. Since ψ |P : P → G is an epimorphism, there exists p ∈ P ⊂ D such that ψ(p) = −ψ(a).
Therefore ap ∈ H and the inclusion H ֒→ D is cofinal. In order to show that H ֒→ D is a divisor theory
we distinguish three cases. First suppose that |G| = 1. Then |D/H| = 1, and hence H = D. Next
suppose that |G| > 2. By (2) we must verify that
ψ(q) ∈ [ψ(P\{q})] for every q ∈ P .
Let q ∈ P. Since |G| > 2, there exist g1 , g2 ∈ G \ {0, ψ(q)} with ψ(q) = g1 + g2 . Since the restriction
ψ |P : P → G is an epimorphism, there exist p1 , p2 ∈ P \ {q} with ψ(pi ) = gi for i ∈ [1, 2]. Therefore
ψ(q) = g = g1 + g2 = ψ(p1 ) + ψ(p2 ) ∈ [ψ(P\{q})] .
Finally, suppose that |G| = 2. Then H ֒→ D is a divisor theory if and only if hψ(P)i = [ψ(P\{q})]
for every q ∈ P if and only if there exist distinct q1 , q2 ∈ P such that ψ(qi ) 6= 0 for i ∈ [1, 2]. Clearly, if
q ∈ P is the unique element of P with ψ(q) 6= 0, then H is free abelian with basis P \ {q} ∪ {q 2 }.

We are now able to determine both the class group and the set of classes containing prime divisors for
the monoids T (R) and C(R). This generalizes and refines the results of [4]. Since each divisorial ideal
over a two-dimensional local ring is MCM and thus finitely generated and torsion-free, Theorem 5.4 can
be stated in parallel both for T (R) and C(R).
Theorem 5.4. Let (R, m) be a Noetherian local Krull domain of dimension two whose m-adic completion
b is also a Krull domain. Let V(R) (respectively V(R))
b denote either T (R) (resp. T (R))
b or C(R) (resp.
R
b
b
C(R)), and let ι : C(R) → C(R) be the natural map.
b is a cofinal divisor homomorphism. The class group of this divisor ho(1) The embedding V(R) ֒→ V(R)
b
momorphism is isomorphic to G = C(R)/ι(C(R))
and every class contains a prime divisor. Moreover
b satisfies the following condition:
the embedding is a divisor theory except if R
b
(E) |G| = 2 and, up to isomorphism, there is precisely one non-extended indecomposable R-module
b
M with [M ] ∈ V(R).
b satisfies (E).
In particular, V(R) satisfies KRSA if and only if either |G| = 1 or R
b
b
(2) Suppose that the embeddings T (R) ֒→ T (R) and C(R) ֒→ C(R) are both divisor theories. Then their
class groups are isomorphic. If (G, (mg )g∈G ) is the characteristic
P of T (R) and (G, (ng )g∈G ) is the
characteristic of C(R), then mg ≥ ng for all g ∈ G. Moreover, g∈G mg infinite.

b By (1) of Lemma 5.1 there is a homomorphism
Proof. We set D = F (P) = V(R).
b → C(R)/ι(C(R))
b
ψ : V(R)
=G

given by [M ] 7→ c(M ) + ι(C(R)) .

b is an indecomposable MCM R-module.
b
By (1) of Lemma 5.2, every divisorial ideal of R
That is, the class
b
b
b
of each divisorial ideal of R in C(R) is the image of some [M ] ∈ V(R), where M is an indecomposable MCM
b
b
R-module.
In other words, ψ restricted to P = A(D) is an epimorphism and ψ(A(D)) = C(R)/ι(C(R)).
−1
By Lemma 5.3, the inclusion H = ψ (0) ⊂ D is a cofinal divisor homomorphism. By (2) of Lemma
b and thus the embedding V(R) ֒→ V(R)
b is a divisor
5.2, H is the image of the embedding V(R) ֒→ V(R),
theory if and only if the inclusion H ֒→ D is a divisor theory. By Lemma 5.3 this always holds apart from
the described Exception (E). A Krull monoid is factorial if and only if its class group is trivial. Thus, if
b is a divisor theory then KRSA holds for V(R) if and only if |G| = 0. If V(R) ֒→ V(R)
b is
V(R) ֒→ V(R)
not a divisor theory, then the inclusion H ֒→ D is not a divisor theory. By Lemma 5.3, H is factorial,
whence V(R) is factorial.
Since each MCM R-module is finitely generated and torsion-free, it is clear that mg ≥ ng for each
g ∈ G. From [11] we know that there infinitely many nonisomorphic indecomposable finitely generated
P
b

torsion-free R-modules,
and therefore g∈G mg infinite.

24

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

Let
•
•

R be as in the above theorem and assume in addition that
R contains a field and k = R/m is algebraically closed with characteristic zero.
b is a hypersurface i.e., R
b is isomorphic to a three-dimensional regular Noetherian local ring
R
modulo a regular element.
• R has finite representation type.
Such rings were classified in [15] and [52] and are given, up to isomorphism, in Table 1. Note that since
b has finite representation type and each divisorial ideal of R
b is and indecomposable MCM R-module,
b
R
b
C(R) and hence C(R) is finite.
Table 1: Two-dimensional Rings with Finite Representation Type
(An )
(Dn )
(E6 )
(E7 )
(E8 )

k[[x, y, z]]/(x2 + y 2 + z n+1 )
n≥1
k[[x, y, z]]/(x2 z + y 2 + z n−1 ) n ≥ 4
k[[x, y, z]]/(x3 + y 2 + z 4 )
k[[x, y, z]]/(x3 + xz 3 + y 2 )
k[[x, y, z]]/(x2 + y 3 + z 5 )

An amazing theorem of Heitmann [48] gives the existence of a local factorial domain whose completion
is a ring as in Table 1. In this situation we can determine the characteristic of C(R).
b isomorphic
Theorem 5.5. Let (R, m) be a Noetherian local factorial domain with m-adic completion R
to a ring in Table 1.
b is a ring of type (An ), then C(C(R)) is cyclic of order n + 1 and each class contains exactly one
(1) If R
prime divisor.
b is a ring of type (Dn ).
(2) Suppose R
(a) If n is even, then C(C(R)) ∼
= C2 ⊕ C2 . The trivial class contains n2 prime divisors. Two nontrivial classes each contain a single prime divisor and their sum contains n−2
2 prime divisors.
(b) If n is odd, then C(C(R)) is cyclic of order four. The classes of order four each contain a single
prime. The remaining classes each contain n−1
2 prime divisors.
b is a ring of type (E6 ), then C(C(R)) is cyclic of order three. The trivial class contains three
(3) If R
prime divisors, while each remaining class contains two prime divisors.
b is a ring of type (E7 ), then C(C(R)) is cyclic of order two. The trivial class contains five prime
(4) If R
divisors and the non-trivial class contains three prime divisors.
b is a ring of type (E8 ), then C(C(R)) is trivial, with the trivial class containing all nine prime
(5) If R
divisors.

b for R
b a ring listed in Table 1 were given in [14]. Since R is factorial,
Proof. The class groups C(R)
b
Following the proof of [4, Theorem 4.3] one can
C(R) = 0 and by Theorem 5.4, C(C(R)) ∼
= C(R).
b
b by using the Auslander-Reiten sequence for
compute the class of each indecomposable R-module in C(R)
b The result follows by considering the map ψ defined in the proof of Theorem 5.4.
R.

The above theorem completely determines the characteristic of the monoid C(R). With this information, in addition to being able to completely describe the arithmetic of C(R) as we do in Theorem 6.8, we
can easily enumerate the atoms of C(R) (the nonisomorphic indecomposable MCM modules). We now
illustrate this ability with an example. If β : C(R) → B(GP ) is the transfer homomorphism of Lemma
b is a ring of type (Dn ) with n even. Then R
b has
3.4, then A(C(R)) = β −1 (A(B(GP )). Suppose that R
exactly n + 1 nonisomorphic indecomposable MCM modules. If C2 ⊕ C2 = {0, e1 , e2 , e1 + e2 }, then
A(C2 ⊕ C2 ) = {0, e21 , e22 , (e1 + e2 )2 , e1 e2 (e1 + e2 )} ,

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

25

and hence R has exactly
n
n−2 n−2
n−2
n2 + 8
+1·1+1·1+
·
+1·1·
=
2
2
2
2
4
nonisomorphic indecomposable MCM modules.
|A(C(R))| =

We conclude this section by noting that a two-dimensional local Krull domain (R, m) having completion
isomorphic to a ring in Table 1 may not be factorial. However, Theorem 5.4 implies that C(C(R)) is a
factor group of a group given in Theorem 5.5. In particular, C(C(R)) is a finite cyclic group such that
every class contains a prime divisor, and thus the arithmetic of C(R) is described in Theorem 6.8.

6. The arithmetic of monoids of modules
In this section we study the arithmetic of the Krull monoids that have been discussed in Sections 4
and 5. Thus, using the transfer properties presented in Section 2, we describe the arithmetic of directsum decompositions of modules. Suppose that H is a Krull monoid having a divisor homomorphism
ϕ : H → F (P) and let GP ⊂ C(ϕ) be the set of classes containing prime divisors. The first subsection deals
with quite general sets GP and provides results on the finiteness or non-finiteness of various arithmetical
parameters. The second subsection studies three specific sets GP , provides explicit results on arithmetical
parameters, and establishes a characterization result (Theorems 6.4, 6.7, 6.8, and Corollary 6.10) . The
third subsection completely determines the system of sets of lengths in case of small subsets GP . It
shows that small subsets in torsion groups and in torsion-free groups can have the same systems of sets
of lengths, and it reveals natural limits for arithmetical characterization results (Corollary 6.15).
6.1. General sets GP of classes containing prime divisors. In this subsection we consider the
algebraic and arithmetic structure of Krull monoids with respect to GP . We will often assume that
GP = −GP , a property which has a strong influence on the arithmetic of H. Recall that GP = −GP
holds in many of the (finite and infinite representation type) module-theoretic contexts described in
Sections 4 and 5. More generally, all configurations (G, GP ) occur for certain monoids of modules (see
Proposition 4.18, [49], and [56, Chapter 1]) and, by Claborn’s Realization Theorem, all configurations
(G, GP ) occur for Dedekind domains (see [37, Theorem 3.7.8]). In addition, every abelian group can
be realized as the class group of a Dedekind domain which is a quadratic extension of a principal ideal
domain, and in this case we have GP = −GP (see [55]).
Proposition 6.1. Let H be a Krull monoid, ϕ : H → F (P) a divisor homomorphism with class group
G = C(ϕ), and let GP ⊂ G denote the set of classes containing prime divisors.
(1) If GP is finite, then A(GP ) is finite and hence D(GP ) < ∞. If G has finite total rank, then GP is
finite if and only if A(GP ) is finite if and only if D(GP ) < ∞.
(2) If GP = −GP , then [GP ] = G. Moreover, the map ϕ : H → D and the inclusion B(GP ) ֒→ F (GP )
are both cofinal.
(3) Suppose that G is infinite cyclic, say G = hei, and that {−e, e} ⊂ GP . Then B(GP ) ֒→ F (GP ) is a
divisor theory if and only if there exist k, l ∈ N≥2 such that −ke, le ∈ GP .
(4) Let r, α ∈ N with r + α > 2. Let (e1 , . . . , er ) ∈ GrP be independent and let e0 ∈ GP such that
αe0 = e1 + · · · + er , {−e0 , . . . , −er } ⊂ GP , and he0 , . . . , er i = G.
(a) The map ϕ : H → F (P) and the inclusion B(GP ) ֒→ F (GP ) are divisor theories with class group
isomorphic to G.
(b) If 0 ∈
/ GP , then B(GP ) is not a direct product of nontrivial submonoids.

26

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

Proof. (1) follows from [37, Theorem 3.4.2].
If GP = −GP , then [GP ] = hGP i = G. By Lemma 3.4, (2) follows once we verify that ϕ is cofinal. If
p ∈ P, then there is a q ∈ P with q ∈ −[p], whence there is an a ∈ H with ϕ(a) = pq, and so ϕ is cofinal.
If {−ke : k ∈ N} ∩ GP = {−e} or {ke : k ∈ N} ∩ GP = {e}, then B(GP ) is factorial. Since F (GP ) 6=
B(GP ), the inclusion B(GP ) ֒→ F (GP ) is not a divisor theory. Conversely, suppose that there exist

m
k
m
k, l ∈ N≥2 such that −ke, le ∈ GP . Let m ∈ N. If me ∈ GP , then
me
=
gcd
(me)(−e)
,
(me)
(−ke)
,

m
l
m
and if −me ∈ GP , then −me = gcd (−me)e , (−me) (le) . Thus every element of GP is a greatest
common divisor of a finite set of elements from B(GP ) and hence B(GP ) ֒→ F (GP ) is a divisor theory.
We now suppose that G and GP are as in (4). To prove (a) it is sufficient to show that B(GP ) ֒→
F (GP ) is a divisor theory. By [37, Proposition 2.5.6] we need only verify that hGP i = [GP \ {g}]
for every g ∈ GP . Let g ∈ G. We will show that [GP \ {g}] = [GP ] = [e0 , . . . , er , −e0 , . . . , −er ]. If
g∈
/ {e0 , . . . , er , −e0 , . . . , −er }, the assertion is clear. By symmetry it suffices to consider the case where
g ∈ {e0 , . . . , er }. If g = ei for some i ∈ [1, r], then ei = αe0 +(−e1 )+· · ·+(−ei−1 )+(−ei+1 )+· · ·+(−er ) ∈
[{±eν : ν ∈ [0, r] \ {i}], and hence [GP \ {g}] ⊃ [{±eν : ν ∈ [0, r] \ {i}}] = [±e0 , . . . , ±er ] = G. If g = e0 ,
then e0 = e1 + · · · + er + (α − 1)(−e0 ) ∈ [GP \ {e0 }], and hence [GP \ {g}] = [GP ] = G.
To prove (b) we use Lemma 3.2 and suppose that 0 ∈
/ GP with GP = G1 ⊎ G2 such that A(GP ) =
A(G1 ) ⊎ A(G2 ). We must show that either G1 or G2 is empty. Suppose that V = e1 · . . . · er (−e0 )α ∈
A(G1 ). Since (−e0 )e0 , . . . , (−er )er ∈ A(GP ), it follows that {±e0 , . . . , ±er } ⊂ G1 . Let g ∈ GP . Since
GP ⊂ G = [±e0 , . . . , ±er ], there exists U ∈ A(GP ) such that g ∈ supp(U ) ⊂ {g, ±e0 , . . . , ±er }, and
hence g ∈ G1 . Thus G1 = GP and G2 = ∅.

For our characterization results, we need to recall the concept of an absolutely irreducible element, a
classical notion in algebraic number theory. An element u in an atomic monoid H is called absolutely
irreducible if u ∈ A(H) and |Z(un )| = 1 for all n ∈ N; equivalently, the divisor-closed submonoid of H
generated by u is factorial. Suppose that H ֒→ F (P) is a divisor theory with class group G and that
u = pk11 · . . . · pkmm where m, k1 , . . . , km ∈ N and where p1 , . . . , pm ∈ P are pairwise distinct. Then u is
absolutely irreducible. if and only if (k1 , . . . , km ) is a minimal element of the set
Γ = {(s1 , . . . , sm ) ∈ Nl0 : ps11 · . . . · psmm ∈ H} \ {0}
with respect to the usual product ordering, and the torsion-free rank of h[p1 ], . . . , [pm ]i in G is m − 1 (see
ord([p1 ])
is absolutely irreducible,
[37, Proposition 7.1.4]). In particular, if [p1 ] ∈ G has finite order, then p1
and if [p1 ] ∈ G has infinite order, then p1 q1 is absolutely irreducible for all q1 ∈ P ∩ (−[p1 ]).
Proposition 6.2. Let H be a Krull monoid, ϕ : H → F (P) a cofinal divisor homomorphism with class
group G, and let GP ⊂ G denote the set of classes containing prime divisors.
(1) Suppose that GP is infinite.
(a) If GP has an infinite subset G0 such that G0 ∪ (−G0 ) ⊂ GP and hG0 i has finite total rank, then
Uk (H) is infinite for each k ≥ 2. Moreover, D(GP ) = ρk (H) = ω(H) = t(H) = ∞.
(b) If there exists e ∈ G such that both GP ∩ {ke : k ∈ N} and GP ∩ {−ke : k ∈ N} are infinite,
then ∆(H) is infinite and c(H) = cmon (H) = ∞.
(c) If GP contains an infinite group, then every finite subset L ⊂ N≥2 occurs as a set of lengths.
(2) Suppose that GP is finite and that H is not factorial.
(a) The set ∆(H) is finite and there is a constant M1 ∈ N such that every set of lengths is an
AAMP with difference d ∈ ∆∗ (H) and bound M1 .
(b) There is a constant M2 ∈ N such that, for every k ≥ 2, the set Uk (H) is an AAMP with period
{0, min ∆(H)} and bound M2 .
(c) c(H) ≤ ω(H) ≤ t(H) ≤ 1 +
cmon (H) <

|G•P |
2

D(GP )(D(GP )−1)
2

+2

and

|G• |+1
(2|G•P | + 2)(|G•P | + 2)(D(GP ) + 1) P
.

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

27

(d) Suppose that GP = −GP . Then ω(H) = D(GP ), ρ(H) = D(GP )/2, ρ2k (H) = kD(GP ) < ∞,
and λkD(GP )+j (H) = 2k + j for all k ∈ N and j ∈ [0, 1]. If G is torsion-free, then D(GP ) is the
maximal number s of absolutely irreducible atoms u1 , . . . , us such that 2 ∈ L(u1 · . . . · us ).
(e) If, in particular, GP = −GP and D(GP ) = 2, then Uk (H) = {k} for all k ∈ N and cmon (H) =
c(H) = ω(H) = t(H) = 2.
Proof. Throughout the proof we implicitly assume the results of Lemma 2.2 and of Lemma 3.4. In
particular, we have ρ(H) ≤ ω(H) and c(H) ≤ ω(H) ≤ D(GP ).
For (1), suppose that GP is infinite. We first prove (a). Theorem 3.4.2 in [37] implies that A(G0 ) and

D(G0 ) are infinite. Thus, for every k ∈ N, there is Uk ∈ A(G0 ) with |Uk | ≥ k and hence L Uk (−Uk ) ⊃
{2, |Uk |}. This implies that U2 (G0 ) is infinite and thus Uk (G0 ) is infinite for all k ≥ 2. Therefore
ρk (H) = ρk (GP ) = ∞ for all k ≥ 2 and, since ρ(H) ≤ ω(H) ≤ t(H), each of these invariants is infinite.
(b) follows from [36, Theorem 4.2].
(c) is a realization result is due to Kainrath. See [50] or [37, Theorem 7.4.1].
Now, in order to prove (2), we suppose that GP is finite and that H is not factorial. Then D(GP ) > 1
and 2 ≤ c(H) ≤ ω(H) ≤ t(H). By Proposition 6.1, B(GP ) is finitely generated and D(GP ) < ∞. The
respective upper bounds given in (c) for cmon (H) and t(H) can be found in [41, Theorem 3.4] and [37,
Theorem 3.4.10].
We now consider (a). Since 2 + sup ∆(H) ≤ c(H) < ∞, (c) implies that ∆(H) is finite. Since B(GP )
is finitely generated, the assertion on the structure of sets of lengths follows from [37, Theorem 4.4.11].
Since t(H) < ∞ and ∆(H) is finite, [32, Theorems 3.5 and 4.2] imply the assertion in (b) on the
structure of the unions of sets of lengths.
In order to prove (d), we suppose that GP = −GP . The statements about ρ2k (H), ρ(H), and
λkD(GP )+j (H) follow from Lemma 3.3, and it remains to show that ω(H) = D(GP ). We have ω(H) ≤
D(GP ) < ∞. If D(GP ) = 2, then ω(H) = D(GP ). Suppose that D(GP ) ≥ 3. If V = g1 · . . . · gl ∈ A(GP )
with |V | = l = D(GP ) and Ui = (−gi )gi for all i ∈ [1, l], then V | U1 · . . . · Ul but yet V divides no proper
subproduct of U1 · . . . · Ul . Thus D(GP ) ≤ ω(GP ) ≤ ω(H).
Let t denote the maximal number of absolutely irreducible atoms with the required property. Since
ρ(H) = D(GP )/2, it follows that t ≤ D(GP ). Let V = g1 · . . . · gl ∈ A(GP ) with |V | = l = D(GP ). For
i ∈ [1, l] choose an element pi ∈ P ∩ gi and an element qi ∈ P ∩ (−gi ). Since G is torsion-free, the element
ui = pi qi ∈ H is absolutely irreducible for each i ∈ [1, l] and, by construction, we have 2 ∈ L(u1 · . . . · ul ).
The statement in (e) follows immediately from (c) and (d).

Let all notation be as in Proposition 6.2. We note that if GP is infinite but without a subset G0 as in
(1a), then none of the conclusions of (1a) need hold. A careful analysis of the case where G is an infinite
cyclic groups is handled in [36]. We also note that the description of the structure of sets of lengths given
in (2a) is best possible (see [64]).
By Lemma 3.4, many arithmetical phenomena of a Krull monoid H are determined by the tuple
(G, GP ). We now provide a first result indicating that conversely arithmetical phenomena give us back
information on the class group. Indeed, our next corollary characterizes arithmetically whether the class
group of a Krull monoid is torsion-free or not. To do so we must study the arithmetical behavior of
elements similar to absolutely irreducible elements. Note that such a result cannot be accomplished via
sets of lengths alone (see Propositions 6.12 and 6.13 and (1c) of Proposition 6.2; in fact, there is an open
conjecture that every abelian group is the class group of a half-factorial Krull monoid [35]).
Proposition 6.3. Let H be a Krull monoid with class group G. Then G has an element of infinite order
if and only if there exists an irreducible element u ∈ H having the following two arithmetical properties.
(a) Whenever there are v ∈ H \ H × and m ∈ N with v | um , then u | v n for some n ∈ N.
N
for each
(b) There exist l ≥ 2 and a1 , . . . , al ∈ H such that u | a1 · . . . · al but yet u ∤ a−1
ν (a1 · . . . · al )
ν ∈ [1, l] and for every N ∈ N.

28

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

Proof. We may assume that H is reduced. Consider a divisor theory H ֒→ F (P) and denote by GP ⊂ G
the set of classes containing prime divisors.
First suppose that G is a torsion group and let u ∈ A(H) have Property (a). Then u = pk11 · . . . · pkmm
for some m, k1 , . . . , km ∈ N and pairwise distinct elements p1 , . . . , pm ∈ P. Then (a) implies that k = 1
and hence u is absolutely irreducible. Thus Property (b) cannot hold for any l ≥ 2.
Conversely, suppose that G is not a torsion group. Since [GP ] = G there exists a p ∈ P such that [p] ∈ G
has infinite order, and there is an element u′ ∈ A(H) with p | u′ . Suppose that u′ = p1 · . . . · pn · q1 · . . . · qr ,
where p = p1 , p2 , . . . , pn , q1 , . . . , qr ∈ P, [p1 ], . . . , [pn ] have infinite order, and [q1 ], . . . , [qr ] have finite order
each of which divides some integer N . Then (q1 · . . . · qr )N ∈ H, whence (p1 · . . . · pn )N ∈ H. After a
possible reordering there is an atom u = pk11 · . . . · pkmm ∈ A(H) dividing a power of (p1 · . . . · pn )N such
that there is no atom v ∈ A(H) with suppP (v) ( {p1 , . . . , pm }. Thus u satisfies Property (a). Since
km−1
H ֒→ F (P) is a divisor theory, there exist b1 , . . . , bs ∈ H such that pk11 · . . . · pm−1
= gcd(b1 , . . . , bs ).
Hence there is an i ∈ [1, s], say i = 1, such that pm ∤ b1 . Similarly, there are c1 , . . . , ct ∈ H such that
pkmm = gcd(c1 , . . . , ct ). Without loss of generality, there exists i ∈ [1, m − 1] such that pi ∤ c1 . Therefore
N
u | b1 c1 , but yet u ∤ bN

1 and u ∤ c1 for any N ∈ N, and so Property (b) is satisfied.
Propositions 6.1, 6.2, and 6.3 provide abstract finiteness and non-finiteness results. To obtain more
precise information on the arithmetical invariants, we require specific information on GP . In the next
subsection we will use such specific information to give more concrete results.

6.2. Specific sets GP of classes containing prime divisors and arithmetical characterizations.
We now provide an in-depth study of the arithmetic of three classes of Krull monoids studied in Sections
4 and 5. Theorem 6.4 describes the arithmetic of the monoids discussed in Examples 4.12, 4.20, 4.25 and
in Theorem 4.12. Its arithmetic is simple enough that we can more or less give a complete description.
Theorem 6.4. Let H be a Krull monoid with class group G and suppose that
GP = {e0 , . . . , er , −e0 , . . . , −er } ⊂ G
is the set of classes containing prime divisors, where r, α ∈ N with r + α > 2 and (e1 , . . . , er ) is an
independent family of elements each having infinite order such that e1 + · · · + er = αe0 . Then:
(1) A(GP ) = {V, −V, Uν : ν ∈ [0, r]}, where V = (−e0 )α e1 · . . . · er and Uν = (−eν )eν for all ν ∈ [0, r].
In particular, D(GP ) = r + α.
(2) Suppose that
r
Y
eki i (−ei )li ∈ F (GP ) ,
S=
i=0

where k0 , l0 , . . . , kr , lr ∈ N0 . Then S ∈ B(GP ) if and only if li = α−1 (k0 − l0 ) + ki for all i ∈ [1, r].
If S ∈ B(GP ) with k0 ≥ l0 and k ∗ = min{k1 , . . . , kr }, then
r
o
n
Y
−1
Uiki −ν : ν ∈ [0, min{α−1 l0 , k ∗ }]
Z(S) = V ν (−V )α (k0 −l0 )+ν U0l0 −αν
i=1

and

L(S) = {α−1 (k0 − l0 ) + l0 + k1 + · · · + kr − (r + α − 2)ν : ν ∈ [0, min{α−1 l0 , k ∗ }] } .
(3) The system of sets of lengths of H can be described as follows.
(a) ∆(H) = {r + α − 2}.
(b) ρ(H) = D(GP )/2.
(c) For each k ∈ N, the set Uk (H) is an arithmetical progression with difference r + α − 2.

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

29

(d) For each k ∈ N and each j ∈ [0, 1], ρ2k+j (H) = kD(GP ) + j.
(e) For each l ∈ N0 , λlD(GP )+j (H) = 2l + j whenever j ∈ [0, D(GP ) − 1] and lD(GP ) + j ≥ 1.
(f ) Finally,
o
n
L(H) = m + {2k ∗ + (r + α − 2)λ : λ ∈ [0, k ∗ ]} : m, k ∗ ∈ N0 .

(4) c(H) = cmon (H) = ω(H) = t(H) = D(GP ) = r + α.

Proof. By Lemma 3.4, all assertions on lengths of factorizations and on catenary degrees can be proved
working in B(GP ) instead of H.
Obviously, {Uν : ν ∈ [0, r]} ⊂ A(GP ) and to prove (1) it remains to verify that if W ∈ A(GP ) with
W 6= Uν , then W = V . Note that e0 ∈ he1 , . . . , er i but that he0 i ∩ hei : i ∈ Ii = {0} for any proper subset
I ( [1, r]. Thus, if
Y
W =
eki i (−e0 )k0 ∈ A(GP ) \ {Uν : ν ∈ [0, r]} ,
i∈I

P
where ∅ 6= I ⊂ [1, r] and k0 , ki ∈ N for all i ∈ I, then k0 e0 = i∈I ki ei ∈ hei : i ∈ Ii and hence I = [1, r].
Assume to the contrary that there is i ∈ [1, r] such that ki > 1. Since V ∈ B(GP ) and W ∈ A(GP ), it
follows that k0 ∈ [1, α − 1]. Then
0 6= (k1 − 1)e1 + · · · + (kr − 1)er = (k0 − α)e0 ∈ [e1 , . . . , er ] ∩ [−e1 , . . . , −er ] = {0} ,
a contradiction. Thus k1 = · · · = kr = 1 and we obtain that k0 = α, whence W = V ∈ A(GP ).
To prove (2), suppose that S ∈ B(GP ) and that l0 ≥ k0 . Then
S ′ = (−e0 )l0 −k0

r
Y

eki i (−ei )li ∈ B(GP ) ,

i=1

whence l0 − k0 = αm0 ∈ αN0 , S ′′ =

Qr

ki −m0
(−ei )li
i=1 ei

∈ B(GP ), and

l0 − k0
k0 − l0
=
+ ki for each i ∈ [1, r] .
α
α
The same holds true if l0 ≤ k0 . Conversely, if l1 , . . . , lr satisfy the asserted equations, then obviously
σ(S) = 0.
Suppose that S ∈ B(GP ) and that k0 ≥ l0 . Then
li = ki − m0 = ki −

S = ek00 (−e0 )l0

r
Y

−1

eki i (−ei )ki +α

(k0 −l0 )

i=1

= (−e0 )e0
= (−e0 )e0

l0

r
ki
α−1 (k0 −l0 ) Y
(−ei )ei
e0 α (−e1 ) · . . . · (−er )
i=1

l0 −αν

−1

= U0l0 −αν (−V )α

α
e0 α (−e1 ) · . . . · (−er )

−1

(k0 −l0 )+ν

Vν

r
Y

(k0 −l0 )+ν

(−e0 )α e1 · . . . · er

r
ν Y

(−ei )ei

i=1

ki −ν

Uiki −ν

i=1
−1

for each ν ∈ [0, min{α

∗

l0 , k }]. Therefore Z(S) and hence L(S) have the given forms.

We now consider the statements of (3). The assertion on ∆(GP ) follows immediately from (2). Since
∆(GP ) = {r + α − 2}, all sets Uk (GP ) are arithmetical progressions with difference r + α − 2. The
assertion on each ρ2k (GP ) and each ρ(GP ) follow from Proposition 6.2.

30

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

In order to determine L(GP ), let S ∈ B(GP ) be given with all parameters as in (2). First suppose
that l0 ≥ αk ∗ . Then
L(S) = (α−1 (k0 − l0 ) + l0 + k1 + · · · + kr ) − (r + α)k ∗ + {(r + α)k ∗ − (r + α − 2)ν : ν ∈ [0, k ∗ ]}
= (α−1 (k0 − l0 ) + l0 + k1 + · · · + kr ) − (r + α)k ∗ + {2k ∗ + (r + α − 2)λ : λ ∈ [0, k ∗ ]} .
Thus L(S) has the form
L(S) = m + {2k ∗ + (r + α − 2)λ : λ ∈ [0, k ∗ ]}
for some m, k ∗ ∈ N0 . Conversely, for every choice of m, k ∗ ∈ N0 , there is an S ∈ B(GP ) such that L(S)
has the given form.
Now suppose that l0 ≤ αk ∗ − 1 and set m0 = ⌊ lα0 ⌋. Then
L(S) = (α−1 (k0 − l0 ) + l0 + k1 + · · · + kr ) − (r + α)m0 + {(r + α)m0 − (r + α − 2)ν : ν ∈ [0, m0 ]}
= (α−1 (k0 − l0 ) + l0 + k1 + · · · + kr ) − (r + α)m0 + {2m0 + (r + α − 2)λ : λ ∈ [0, m0 ]} ,
and hence L(S) has the form
L(S) = m + {2m0 + (r + α − 2)λ : λ ∈ [0, m0 ]}
for some m ∈ N and m0 ∈ N0 .
Next we verify that, for every k ∈ N, ρ2k+1 (GP ) ≤ kD(GP ) + 1. By [37, Proposition 1.4.2], for all
k ∈ N, ρk (GP ) = sup{sup L : L ∈ L(GP ), k = min L}. Thus we may choose k ∈ N and L ∈ L(GP ) with
min L = 2k + 1. Then, there exist l, m, k ∗ ∈ N0 such that
L = m + {2k ∗ + (r + α − 2)λ : λ ∈ [0, k ∗ ]}
with m = 2l + 1 and 2k + 1 = min L = 2(k ∗ + l) + 1. Now
max L = m + (r + α)k ∗ = 2l + 1 + (r + α)(k − l) = (r + α)k + 1 − (r + α − 2)l ≤ kD(GP ) + 1 ,
and thus ρ2k+1 (GP ) ≤ kD(GP ) + 1.
It remains to verify the assertions on the λlD(GP )+j (GP ). Let l ∈ N0 and j ∈ [0, D(GP ) − 1]. Then
Lemma 3.3 implies λlD(Gp )+j (GP ) ≤ 2l + j, and that equality holds if j ∈ [0, 1]. It remains to verify that
λlD(Gp )+j (GP ) ≥ 2l + j when j ∈ [2, D(GP ) − 1]. Let L ∈ L(GP ) with lD(GP ) + j ∈ L. Then there exist
m, k ∗ ∈ N0 such that
L = m + {2k ∗ + (r + α − 2)λ : λ ∈ [0, k ∗ ]} = m + k ∗ D(GP ) − {(D(GP ) − 2)ν : ν ∈ [0, k ∗ ]} .
Suppose lD(GP ) + j = max L − ν(D(GP ) − 2) = m + k ∗ D(GP ) − ν(D(GP ) − 2) for some ν ∈ [0, k ∗ ]. Then
j ≡ m + 2ν mod D(GP ) and hence m + 2ν ≥ j. This implies
(k ∗ − ν)D(GP ) + j ≤ m + k ∗ D(GP ) − ν(D(GP ) − 2) = lD(GP ) + j ,
and hence l ≥ k ∗ − ν. Therefore we obtain
min L = lD(GP ) + j − (k ∗ − ν)(D(GP ) − 2) = (l − k ∗ + ν)D(GP ) + j + 2(k ∗ − ν) ≥ 2l + j ,
and thus λlD(Gp )+j (GP ) ≥ 2l + j.
Finally we consider the catenary degrees of H and prove the statements given in (4). Using Proposition
6.2 we infer
D(GP ) = r + α = 2 + max ∆(GP ) ≤ c(GP ) = c(H) ≤ ω(H) ≤ t(H) .
Since c(GP ) ≤ cmon (GP ), it remains to show that cmon (GP ) ≤ D(GP ) and that t(H) ≤ D(GP ).
We proceed in two steps. First we verify that cmon (GP ) = max{ceq (GP ), cadj (GP )} ≤ r + α. Since
A(∼B(GP ),eq ) = {(−V, −V ), (V, V ), (Uν , Uν ), (−Uν , −Uν ) : ν ∈ [0, r]} ,
it follows that ceq (GP ) = 0. If Ar+α−2 = {x ∈ Z(GP ) : |x| − (r + α − 2) ∈ L(π(x))}, then Min(Ar+α−2 ) =
{U0α U1 · . . . · Ur }, and hence cadj (GP ) ≤ r + α by Lemma 2.1.
In order to show that t(H) ≤ D(GP ), we must verify the following assertion (see [38, Theorem 3.6]).

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

31

(A) Let j ∈ N and w, w1 , . . . , wj ∈ A(H) such that w divides the product w1 · . . . · wj but yet w divides
no proper subproduct of w1 · . . . · wj . Then min L(w−1 w1 · . . . · wj ) ≤ D(GP ) − 1.
Proof of (A). We use the transfer homomorphism β : H → B(GP ) as defined in Lemma 3.4. Set
W = β(w) and Wi = β(wi ) for each i ∈ [1, j]. Then j ≤ |W | and W, W1 , . . . , Wj ∈ A(GP ). Clearly
min L(w−1 w1 · . . . · wj ) ≤ max L(W −1 W1 · . . . · Wj ) ≤

|W1 · . . . · Wj | − |W |
.
2

Thus, if |W | = 2, then
|W1 | + |W2 | − |W |
≤ D(GP ) − 1 .
2
It remains to consider the case W ∈ {−V, V }, and by symmetry we may suppose that W = V . If
|W1 | = · · · = |Wj | = 2, then j = |V | and w−1 w1 · . . . · wj ∈ A(H). Suppose there is ν ∈ [1, j], say ν = 1,
such that β(w1 ) ∈ {−V, V }. Since w does not divide a subproduct of w1 · . . . · wj and gcd(V, −V ) = 1, it
follows that β(w1 ) = V . Then L(w−1 w1 · . . . · wj ) = L(W −1 W1 · . . . · Wj ) = L(W2 · . . . · Wj ) and hence
min L(w−1 w1 · . . . · wj ) ≤

min L(w−1 w1 · . . . · wj ) ≤ j − 1 ≤ |V | − 1 = D(GP ) − 1 .



The next corollary again reveals that certain arithmetical phenomena characterize certain algebraic
properties of the class group.
Corollary 6.5. Let H be a Krull monoid as in Theorem 6.4 with class group G and set GP of classes
containing prime divisors. Then r + 1 is the minimum of all s ∈ N having the following property :
(P) There are absolutely irreducible elements w1 , . . . , ws ∈ A(H) such that 2, D(GP ) ∈ L(w1k1 · . . . · wsks )
for some (k1 , . . . , ks ) ∈ Ns0 .
Proof. First we verify that r + 1 satisfies property (P). For i ∈ [0, s], let pi ∈ P ∩ ei and qi ∈ P ∩ (−ei )
and set wi = pi qi . Then w0 , . . . , ws are absolutely irreducible elements and, by Theorem 6.4, it follows
that 2, D(GP ) ∈ L(w0α w1 · . . . · wr ).
Conversely, let s ∈ N, and let w1 , . . . , ws and k1 , . . . , ks be as above. For i ∈ [1, s], we set Wi = β(wi ).
Ps
Since ρ(GP ) = D(GP )/2 and 2, D(GP ) ∈ L(W1k1 · . . . · Wsks ), it follows that
i=1 ki |Wi | = D(GP ),
k1
|W1 | = · · · = |Ws | = 2, Wi = (−gi )gi for i ∈ [1, s], and that S = g1 · . . . · gsks ∈ A(GP ). Now
Theorem 6.4 implies S = (−e0 )α e1 · . . . · er , whence {W1 , . . . , Ws } = {(−e0 )e0 , . . . , (−er )er }. Thus
|{w1 , . . . , ws }| ≥ |{W1 , . . . , Ws }| = r + 1 and so r + 1 is minimal with property (P).

We now begin collecting information in order to study the arithmetic of the Krull monoid presented
in Example 4.21. In spite of the simple geometric structure of GP (the set consists of the vertices of the
unit cube and their negatives), the arithmetic of this Krull monoid is highly complex. We get only very
limited information. Nevertheless, this will be sufficient to give an arithmetical characterization.
Lemma 6.6. Let G be an abelian group and let (en )n≥1 be a family of independent elements each having
infinite order. For r ∈ N, set
−
+
G+
r = {a1 e1 + · · · + ar er : a1 , . . . , ar ∈ [0, 1]}, Gr = −Gr ,

and

−
Gr = G+
r ∪ Gr .

(1) Let s ∈ [2, r], f0 = e1 + · · · + es , and fi = f0 − ei for all i ∈ [1, s]. Then (f1 , . . . , fs ) is independent,
f1 + · · · + fs = (s − 1)f0 , and ∆({f0 , . . . , fs , −f0 , . . . , −fs }) = {2s − 3}.
(2) Let s ∈ [3, r], f0 = e1 + · · · + es , fi = f0 − ei for each i ∈ [1, s − 1], and set fs′ = −es . Then
(f1 , . . . , fs−1 , fs′ ) is independent, f1 + · · · + fs−1 + fs′ = (s − 2)f0 , and
∆({f0 , . . . , fs−1 , fs′ , −f0 , . . . , −fs−1 , −fs′ }) = {2s − 4}.
(3) If s ≤ [1, r − 1], then D(Gr ) ≥ D(Gs ) + D(Gr−s ) − 1. In particular, D(G1 ) = 2 and D(Gr ) > D(Gr−1 )
for r ≥ 2.

32

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

Proof. Since (e1 , . . . , es ) is a basis, there is a matrix As with (f1 , . . . , fs ) = (e1 , . . . , es )As . Since det(As ) 6=
0, it follows that (f1 , . . . , fs ) is independent. By definition, we have f1 +· · ·+fs = (s−1)f0 . The assertion
on the set of distances then follows from Theorem 6.4 and we have proved (1).
We now consider (2). Note that fs′ = fs − f0 . Using (1) we infer that
0 = (f1 + · · · + fs ) − (s − 1)f0 = (f1 + · · · + fs−1 ) + (fs − f0 ) − (s − 2)f0
and hence f1 + · · · + fs−1 + fs′ = (s − 2)f0 . Since (f1 , . . . , fs−1 , −es ) = (e1 , . . . , es )Bs for some matrix Bs
with det(Bs ) = (−1)2s det(As−1 ) 6= 0, it follows that (f1 , . . . , fs−1 , fs′ ) is independent. The assertion on
the set of distances follows from Theorem 6.4.
It is clear that D(G1 ) = 2 and that D(Gr ) > D(Gr−1 ) whenever r ≥ 2. To prove the remaining
statements of (3), suppose that s ∈ [1, r − 1]. After a change of notation, we may suppose that Gr−s ⊂
hes+1 , . . . , er i such that hGr i = hGs i ⊕ hGr−s i. If U = a1 · . . . · ak ∈ A(Gs ) with k = D(Gs ) and
V = b1 · . . . · bl ∈ A(Gr−s ) with l = D(Gr−s ), then W = (a1 + b1 ) · a2 · . . . · ak b2 · . . . · bl ∈ A(Gr ), and
hence D(Gr ) ≥ |W | = k + l − 1 = D(Gs ) + D(Gr−s ) − 1.

In Theorem 6.7 we restrict to class groups of rank r ≥ 3 because when r ≤ 2 we are in the setting of
Theorem 6.4 where we have precise information about arithmetical invariants. For r ∈ N0 , we denote by
Fr the rth Fibonacci number. That is, F0 = 0, F1 = 1, and Fr = Fr−1 + Fr−2 for all r ≥ 2.
Theorem 6.7. Let H be a Krull monoid with free abelian class group G of rank r ≥ 3 and let GP ⊂ G
denote the set of classes containing prime divisors. Suppose that there is a basis (e1 , . . . , er ) of G such
−
+
−
+
that G•P = G+
P ∪ GP , where GP = {ǫ1 e1 + · · · + ǫr er : ǫ1 , . . . , ǫr ∈ [0, 1]} and GP = −GP .
(1) Fr+2 ≤ D(GP ).
(2) c(H) ≤ ω(H) = D(GP ), ρ(H) = D(GP )/2, and ρ2k (H) = kD(GP ) for each k ∈ N.
(3) [1, 2r − 3] ⊂ ∆∗ (H) ⊂ ∆(H) ⊂ [1, c(H) − 2].
Proof. See [5] for the proof of (1). (2) follows from Proposition 6.2.
Note that for every s ∈ [2, r] we have 2s − 3 ∈ ∆∗ (H) and, by Lemma 6.6, for all s ∈ [3, r] we have
2s − 4 ∈ ∆∗ (H). This implies that the interval [1, 2r − 3] is contained in ∆∗ (H), giving (3).

The third class of Krull monoids studied in this subsection are Krull monoids with finite cyclic class
group having prime divisors in each class. Thus Theorem 6.8 describes the arithmetic of the monoids
constructed in Theorem 5.5. Holomorphy rings in global fields are Krull monoids with finite class group
and prime divisors in all classes. For this reason this class of Krull monoids has received a great deal of
attention.
Theorem 6.8. Let H be a Krull monoid with finite cyclic class group G of order |G| = n ≥ 3, and
suppose that every class contains a prime divisor. Then:
(1) c(H) = ω(H) = D(G) = n and ∆(H) = [1, n − 2].
(2) For every k ∈ N the set Uk (H) is a finite interval, whence Uk (H) = [λk (H), ρk (H)]. Moreover, for
all l ∈ N0 with ln + j ≥ 1,
(
2l + j
for j ∈ [0, 1]
ρ2k+j (H) = kn + j for j ∈ [0, 1] and λln+j (H) =
2l + 2
for j ∈ [2, n − 1].
(3)
max ∆∗ (H) = n − 2

and

 jnk
max ∆∗ (H) \ {n − 2} =
− 1.
2

Proof. The proof of (1) can be found in [37, Theorem 6.7.1] and the proof of (3) can be found in [37,
Theorem 6.8.12]. For (2) see [34, Corollary 5.3.2].


MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

33

Much recent research is devoted to the arithmetic of Krull monoids discussed in Theorem 6.8. We
briefly address some open questions. Let H be as above and suppose that n ≥ 5. The precise values of
t(H) and of cmon (H) are unknown. It is easy to check that D(G) = n < t(H) (in contrast to what we have
in Theorem 6.4). For recent results on lower and upper bounds of the tame degree, see [33]. We remark
that there is a standing conjecture that the monotone catenary degree is that n = c(H) = cmon (H) (this
coincides what we have in Theorem 6.4; see [41]). For recent progress on ∆∗ (H) we refer to [58].
Having at least a partial description of the arithmetic of the three monoids described in Theorems 6.4,
6.7, and 6.8, we now work to show that except for in a small number of exceptions, these monoids have
vastly different arithmetic. After some preliminary work this distinction is made clear in Corollary 6.10.
Lemma 6.9. Let G be an abelian group with finite total rank and let G0 ⊂ G be a subset with G0 = −G0 .
Suppose that L(G0 ) = L(Cn ) for some n ≥ 5. Then there exists an absolutely irreducible element
U ∈ A(G0 ) with |U | = D(G0 ).
Proof. First observe that D(G0 ) = ρ2 (G0 ) = ρ2 (Cn ) = D(Cn ) = n and, by [37, Theorem 3.4.2], A(G0 ) is
finite, say A(G0 ) = {U1 , −U1 , . . . , Uq , −Uq }. If g ∈ Cn with ord(g) = n, then for all k ∈ N we have

Lk = {2k + ν(n − 2) : ν ∈ [0, k]} = L g nk (−g)nk ∈ L(Cn ) = L(G0 ) .

(q)

Since ρ(Lk ) = ρ(G0 ) = D(G0 )/2, there exists, for every k ∈ N, a tuple (k1 , . . . , kq ) ∈ N0 such that
k1 + · · · + kq = k and

Lk = L (−U1 )k1 U1k1 · . . . · (−Uq )kq Uqkq .

Therefore there exists λ ∈ [1, q] such that L (−Uλ )k Uλk = Lk for every k ∈ N. Set U = Uλ and note
that for every V ∈ A(G0 ) with V | (−U )k U k for some k ∈ N, it follows that |V | ∈ {2, n}. After changing
notation if necessary, we may suppose that there is no V ∈ A(G0 ) such that |V | = n, supp(V ) ( supp(U ),
and V | U k (−U )k for some k ∈ N.
In order to show that U is absolutely irreducible, it remains to verify that the torsion-free rank
of hsupp(U )i is | supp(U )| − 1. Assume to the contrary that there exist t ∈ [2, | supp(U )| − 1] and
g1 , . . . , gt ∈ supp(U ) which are linearly dependent. Then there are s ∈ [1, t], m1 , . . . , ms ∈ N, and
ms+1 , . . . , mt ∈ −N such that
m1 g1 + · · · + ms gs + (−ms+1 )(−gs+1 ) + · · · + (−mt )(−gt ) = 0 .
Then
V = g1m1 · . . . · gsms (−gs+1 )−ms+1 · . . . · (−gt )−mt ∈ B(G0 ) .
Without restriction we may suppose that the above equation is minimal and that V ∈ A(G0 ). Since
V | U k (−U )k for some k ∈ N and |V | > 2, we obtain a contradiction to the minimality of supp(U ).

The following corollary highlights that the observed arithmetical phenomena in our case studies —
Theorems 6.4, 6.7, and 6.8 — are characteristic for the respective Krull monoids. In particular, this
illustrates that the structure of direct-sum decompositions over the one-dimensional Noetherian local rings
with finite representation type studied in Section 4 can be quite different from the structure of direct-sum
decompositions over the two-dimensional Noetherian local Krull domains with finite representation type
studied in Section 5. As characterizing tools we use the system of sets of lengths along with the behavior
of absolutely irreducible elements.
Corollary 6.10. For i ∈ [1, 3], let Hi and Hi′ be Krull monoids with class groups Gi and G′i . Further
suppose that
• G1 and G′1 are finitely generated and torsion-free of rank r1 and r1′ with sets of classes containing
prime divisors as in Theorem 6.4 (with parameters α, α′ ∈ N such that α + r1 ≥ α′ + r1′ > 2).
• G2 and G′2 are finitely generated and torsion-free of rank r2 ≥ r2′ ≥ 3 with sets of classes containing
prime divisors as in Theorem 6.7.

34

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

• G3 and G′3 are finite cyclic of order |G3 | ≥ |G′3 | ≥ 5 such that every class contains a prime divisor.
Then:
(1) L(H1 ) = L(H1′ ) if and only if r1 + α = r1′ + α′ . If this holds, then the arithmetic behavior of the
absolutely irreducible elements of H1 and H1′ coincide in the sense of Corollary 6.5 if and only if
r1 = r1′ .
(2) L(H2 ) = L(H2′ ) if and only if r2 = r2′ .
(3) L(H3 ) = L(H3′ ) if and only if |G3 | = |G′3 |.
(4) L(H1 ) 6= L(H2 ) and L(H1 ) 6= L(H3 ).
(5) For i ∈ [2, 3], let si denote the maximal number of absolutely irreducible elements u1 , . . . , usi ∈ Hi
such that 2 ∈ L(u1 · . . . · usi ). Then either L(H2 ) 6= L(H3 ) or s2 6= s3 .
Proof. The if and only if statement in (1) follows immediately from Theorem 6.4. Suppose that L(H1 ) =
L(H1′ ). Then the assertion in (1) on the arithmetic behavior of absolutely irreducible elements follows
from Corollary 6.5.
To prove (2), first note that one implication is clear, both for H2 and H3 . Suppose that L(H2 ) = L(H2′ ),
and let GP ⊂ G2 and G′P ⊂ G′2 denote the set of classes containing prime divisors. Theorem 6.7 implies
that
D(GP ) = ρ2 (H) = ρ2 (H ′ ) = D(G′P ) ,
and thus Lemma 6.6 implies r2 = r2′ . Now consider (3). If L(H3 ) = L(H3′ ), then Theorem 6.8 implies
that
|G3 | − 2 = max ∆(H3 ) = max ∆(H3′ ) = |G′3 | − 2 .
For (4), note that L(H1 ) is distinct from both L(H2 ) and L(H3 ) since |∆(H1 )| = 1, |∆(H2 )| > 1, and
|∆(H3 )| > 1.
For (5) we assume that L(H2 ) = L(H3 ) and let GP ⊂ G2 denote the set of classes containing prime
divisors. Theorems 6.7 and 6.8 imply that
D(GP ) = ρ2 (H2 ) = ρ2 (H3 ) = |G3 | .
By Proposition 6.3 we obtain that D(GP ) = s2 . Now assume to the contrary that s2 = s3 . If |G3 | = n,
then there are absolutely irreducible elements u1 , . . . , un and atoms v1 , v2 ∈ A(H3 ) such that v1 v2 =
u1 · . . . · un . Without restriction, we suppose H3 is reduced and we consider a divisor theory H ֒→ F (P).
Since a minimal zero-sum sequence of length n over G3 consists of one element of order n repeated n times,
the factorization of the atoms v1 , v2 , u1 , . . . , un in F (P) must have the following form: v1 = p1 · . . . · pn ,
v2 = q1 · . . . · qn , and ui = pi qi for all i ∈ [1, n], where p1 , . . . , pn , q1 , . . . , qn ∈ P, [p1 ] = · · · = [pn ] ∈ G3 ,
and [q1 ] = · · · = [qn ] = [−p1 ]. But [37, Proposition 7.1.5] implies that the elements u1 , . . . , un are not
absolutely irreducible, a contradiction.

Remark 6.11. Let H2 and H3 be as in Corollary 6.10. We set n = |G3 |, r = r2 , and let GP,r ⊂ G2
denote the set of classes containing prime divisors. Assume that L(H2 ) = L(H3 ). Then
Fr+2 ≤ D(GP,r ) = ρ2 (H2 ) = ρ2 (H3 ) = n .
That is, the orders of the cyclic groups for which L(H2 ) = L(H3 ) grow faster than the sequence of
Fibonacci numbers. We conjecture that L(H2 ) and L(H3 ) are always distinct but have not further investigated this (rather delicate combinatorial) problem which would require a more detailed investigation of
D(GP,r ).
Now suppose that H is a Krull monoid with class group G such that every class contains a prime
divisor. If L(H) = L(H3 ), then following Theorem 6.8, one can show that G is isomorphic to the finite
cyclic group G3 (see [34, Corollary 5.3.3]). Therefore sets of lengths characterize Krull monoids with
finite cyclic class group having the property that every class contains a prime divisor.

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

35

6.3. Small sets GP of classes containing prime divisors and limits of arithmetical characterizations. In this final subsection we study the arithmetic of Krull monoids having small sets of classes
containing prime divisors. This study pertains to the monoids of Theorem 4.12, Example 4.19, Example
4.20, and Theorem 5.5. The most striking phenomenon here is that these systems of sets of lengths
are additively closed (see Proposition 6.14). As a consequence, if L(H) is such a system and H ′ is a
monoid with L(H ′ ) ⊂ L(H), then L(H × H ′ ) = L(H) (see Example 4.23, Example 4.24, and Corollary
6.15). These phenomena are in strong contrast to the results in the previous subsection, and they show
up natural limits for obtaining arithmetical characterization results. Recall that, for l ∈ N0 and d ∈ N,
Pl (d) = {0, d, . . . , ld}.
Proposition 6.12. Let H be a Krull monoid with infinite cyclic class group G and suppose that
GP = {−2e, −e, 0, e, 2e} ⊂ G = hei
is the set of classes containing prime divisors. Then there is a transfer homomorphism θ : H → B(C3 ),
and hence

L(H) = L(C3 ) = L(C2 ⊕ C2 ) = y + 2k + Pk (1) : y, k ∈ N0 .
Moreover, L(H) coincides with the system of sets of lengths of the Krull monoid studied in Theorem 6.4
with parameters r = 2 and α = 1.
Proof. By Lemma 3.4 there is a transfer homomorphism β : H → B(GP ). Since the composition of two
transfer homomorphisms is a transfer homomorphism, it is sufficient to show that there is a transfer
homomorphism θ′ : B(GP ) → B(C3 ). Write C3 = {0, g, −g}. Since B(GP ) = F ({0}) × B(G•P ) and
B(C3 ) = F ({0}) × B({−g, g}), it suffices to show that there is a transfer homomorphism θ : B(G•P ) →
B({−g, g}). In this case, L(H) = L(GP ) = L(C3 ). Moreover, L(C3 ) = L(C2 ⊕ C2 ) has the form given
in [37, Theorem 7.3.2] and this coincides with the system of sets of lengths in Theorem 6.4, provided
(r, α) = (2, 1).
Note that A(G•P ) = {V, −V, U1 , U2 }, where V = e2 (−2e), U1 = (−e)e, and U2 = (−2e)(2e), and
A({−g, g}) = {V , −V , U }, where V = g 3 and U = (−g)g. Then there is a monoid epimorphism
e = θ(−2e)
e
e
e
θe: F (G•P ) → F ({−g, g}) satisfying θ(e)
= g and θ(−e)
= θ(2e)
= −g. If
′

′

A = ek1 (−e)k1 (2e)k2 (−2e)k2 ∈ F (G•P ) with

k1 , k1′ , k2 , k2′ ∈ N0 ,

then A ∈ B(G•P ) if and only if k1 − k1′ + 2(k2 − k2′ ) = 0. If this holds, then k1 + k2′ − (k1′ + k2 ) ≡ 0 mod 3
and hence
′
′
e
θ(A)
= g k1 +k2 (−g)k1 +k2 ∈ B({−g, g}) .
Thus θ = θe |B(G•P ) : B(G•P ) → B({−g, g}) is a monoid epimorphism satisfying θ(V ) = V , θ(−V ) = −V ,
θ(U1 ) = θ(U2 ) = U , and θ−1 (1) = {1} = B(G•P )× .
Thus in order to show that θ is a transfer homomorphism, it remains to verify Property (T2). Let
A ∈ B(G•P ) be as above and suppose that
eC
e
θ(A) = B
′
e C
e ∈ B({−g, g}) and B
e = g m (−g)m such that m ∈ [0, k1 + k ′ ], m′ ∈ [0, k ′ + k2 ] and m ≡ m′
with B,
2
1
e and θ(C) = C.
e Clearly it is
mod 3. Our goal is to find B, C ∈ B(G•P ) such that A = BC, θ(B) = B,
•
e that is, to find parameters
sufficient to find B ∈ B(G ) with B | A and θ(B) = B,
P

m1 ∈ [0, k1 ], m′1 ∈ [0, k1′ ], m2 ∈ [0, k2 ], and m′2 ∈ [0, k2′ ]

such that
(C1)

m1 + m′2 = m, m′1 + m2 = m′ ,

and m1 − m′1 + 2(m2 − m′2 ) = 0 .

e If |B|
e = |A|, then k1 + k ′ + k2 + k ′ = |A| = |B|
e = m + m′ and
To do so we proceed by induction on |B|.
1
2
′
′
′
hence m = k1 + k1 and m = k1 + k2 . Thus we set
m1 = k1 , m′1 = k1′ , m2 = k2 , and m′2 = k2′ ,

36

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

and the assertion is satisfied with B = A. Suppose now that the quadruple (m1 , m′1 , m2 , m′2 ) satisfies
e by an atom of B({−g, g}) (if possible) shows that we
(C1) with respect to the pair (m, m′ ). Dividing B
must verify that there are solutions to (C1) with respect to each of the pairs
(m − 1, m′ − 1), (m − 3, m′ ), and (m, m′ − 3)

(2)

in N0 .

One checks respectively that at least one of the following quadruples satisfy (C1).
• (m1 − 1, m′1 − 1, m2 , m′2 ) or (m1 , m′1 , m2 − 1, m′2 − 1)
• (m1 − 2, m′1 , m2 , m′2 − 1) or (m1 − 3, m′1 − 1, m2 + 1, m′2 )
• (m1 , m′1 − 2, m2 − 1, m′2 ) or (m1 − 1, m′1 − 3, m2 , m′2 + 1)
Now the assertion follows by the induction hypothesis.



Proposition 6.13. Let H be a Krull monoid with free abelian class group G of rank 2. Let (e1 , e2 ) be a
basis of G and suppose that
GP = {0, e1 , e2 , 2e2 , e1 + 2e2 , −e1 , −e2 , −2e2, −e1 − 2e2 }
is the set of classes containing prime divisors. Then there is a transfer homomorphism θ : H → B(C4 )
and hence


L(H) = L(C4 ) = y + k + 1 + Pk (1) : y, k ∈ N0 ∪ y + 2k + Pk (2) : y, k ∈ N0 ⊃ L(C3 ) .

Proof. As in Proposition 6.12, it suffices to show that there is a transfer homomorphism θ : B(G•P ) →
B(C4• ). Then L(H) = L(GP ) = L(C4 ) and L(C4 ) has the form given in [37, Theorem 7.3.2]. Proposition
6.12 shows that L(C3 ) ⊂ L(C4 ).
We note that A(G•P ) = {W, −W, V1 , −V1 , V2 , −V2 , U1 , U2 , U3 , U4 }, where
W = e1 e2 e2 (−e1 − 2e2 ), V1 = e1 (2e2 )(−e1 − 2e2 ), V2 = e2 e2 (−2e2 ),
U1 = (−e1 )e1 , U2 = (−e2 )e2 ), U3 = (−e1 − 2e2 )(e1 + 2e2 ), and U4 = (−2e2 )(2e2 ) .

We set C4 = {0, g, 2g, −g} and observe that A(C4• ) = {W , −W , V , −V , U1 , U2 }, where
W = g 4 , V = g 2 (2g), U1 = (−g)g,

and U2 = (2g)(2g) .

There is a monoid epimorphism θe: F (G•P ) → F (C4• ) satisfying

e 1 ) = θ(e
e 2 ) = θ(−e
e
e
e
e
e
e
θ(e
1 − 2e2 ) = g, θ(−e1 ) = θ(−e2 ) = θ(e1 + 2e2 ) = −g, and θ(2e2 ) = θ(−2e2 ) = 2g .

If

′

′

′

′

A = ek11 (−e1 )k1 ek22 (−e2 )k2 (2e2 )k3 (−2e2 )k3 (e1 + 2e2 )k4 (−e1 − 2e2 )k4 ∈ F (G•P ) ,
with k1 , k1′ , . . . , k4 , k4′ ∈ N0 , then A ∈ B(G•P ) if and only if
k1 − k1′ + k4 − k4′ = 0

and k2 − k2′ + 2k3 − 2k3′ + 2k4 − 2k4′ = 0 .

If this holds, then
k1 − k1′ + k2 − k2′ − (k4 − k4′ ) + 2k3 + 2k3′ ≡ 0 mod 4
and hence

′
′
′
′
e
θ(A)
= g k1 +k2 +k4 (−g)k1 +k2 +k4 (2g)k3 +k3 ∈ B(C4• ) .

Thus θ = θe |B(G•P ) : B(G•P ) → B(C4• ) is a monoid epimorphism satisfying θ(W ) = W , θ(−W ) = −W ,
θ(V1 ) = θ(V2 ) = V , θ(−V1 ) = θ(−V2 ) = −V , θ(U1 ) = θ(U2 ) = θ(U3 ) = U1 , θ(U4 ) = U2 , and θ−1 (1) =
{1} = B(G•P )× .
Thus in order to show that θ is a transfer homomorphism, it remains to verify Property (T2). Let
A ∈ B(G•P ) be as above and suppose that
eC
e
θ(A) = B
′
′′
e C
e ∈ B(C • ) and B
e = g m (−g)m (2g)m such that
with B,
4

m ∈ [0, k1 + k2 + k4′ ], m′ ∈ [0, k1′ + k2′ + k4 ], m′′ ∈ [0, k3 + k3′ ], and m − m′ + 2m′′ ≡ 0

mod 4 .

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

37

e and θ(C) = C.
e It will suffice to find
Our goal is to find B, C ∈ B(G•P ) such that A = BC, θ(B) = B,
•
e
B ∈ B(GP ) with B | A and θ(B) = B. Thus we must find parameters
mν ∈ [0, kν ] and m′ν ∈ [0, kν′ ] for ν ∈ [1, 4]

such that

m1 + m2 + m′4 = m, m′1 + m′2 + m4 = m′ , m3 + m′3 = m′′ ,
m1 − m′1 + m4 − m′4 = 0 and m2 − m′2 + 2m3 − 2m′3 + 2m4 − 2m′4 = 0 .

(C2)

e = m + m′ + m′′ . If |B|
e = |A|, then we set mν = kν and m′ = k ′ for all
We proceed by induction on |B|
ν
ν
ν ∈ [1, 4], and the assertion is satisfied with B = A. Suppose now that the octuplet (m1 , m′1 , . . . , m4 , m′4 )
e by an element of A(C • ) (if possible)
satisfies (C2) with respect to the triple (m, m′ , m′′ ). Dividing B
4
shows that we must verify that there are solutions to (C2) with respect to each of the triples

(m−1, m′ −1, m′′ ), (m−2, m′ , m′′ −1), (m, m′ −2, m′′ −1), (m, m′ , m′′ −2), (m−4, m′ , m′′ ), and (m, m′ −4, m′′ )
(8)

provided that they lie in N0 . As in proof of the previous proposition, one finds the required solutions
and hence the assertion follows by the induction hypothesis.

Let L be a family of subsets of Z. We say that L is additively closed if the sumset L + L′ ∈ L for all
L, L′ ∈ L.
Proposition 6.14. Let G be a finite cyclic group. Then L(G) is additively closed if and only if |G| ≤ 4.
Proof. We suppose that |G| = n and distinguish four cases.
First assume that n ≤ 2. Since B(G) is factorial, it follows that L(G) = {{m} : m ∈ N0 } which is
obviously additively closed.

Next assume that n = 3. By Proposition 6.12 we have L(C3 ) = y + 2k + Pk (1) : y, k ∈ N0 . If
y1 , y2 , k1 , k2 ∈ N0 . Then


y1 + 2k1 + Pk1 (1) + y2 + 2k2 + Pk2 (1) = (y1 + y2 ) + 2(k1 + k2 ) + Pk1 +k2 (1) ∈ L(C3 ) ,
and hence L(C3 ) is additively closed.
Now assume that n = 4. By Proposition 6.13 we have


L(C4 ) = y + k + 1 + Pk (1) : y, k ∈ N0 ∪ y + 2k + Pk (2) : y, k ∈ N0 .

Clearly, the sumset of two sets of the first form is of the first form again, and the sumset of two sets of
the second form again the second form. Thus it remains to consider the sumset L1 + L2 where L1 has
the first form, L2 has the second form, and both L1 and L2 have more than one element. If y1 , y2 ∈ N0
and k1 , k2 ∈ N, then


y1 + k1 + 1 + Pk1 (1) + y2 + 2k2 + Pk2 (2) = (y1 + y2 ) + (k1 + 2k2 ) + 1 + Pk1 +2k2 (1) ∈ L(C4 ) .

Finally, assume that n ≥ 5 and assume to the contrary that L(G) is additively closed. Let d ∈ [1, n−2].
Then {2, d + 2} ∈ L(G) by [37, Theorem 6.6.2], and hence the k-fold sumset
{2, d + 2} + · · · + {2, d + 2} = 2k + Pk (d)
lies in L(G) for all k ∈ N. Then [37, Corollary 4.3.16] implies that n − 3 divides some d ∈ ∆∗ (G). By
Theorem 6.8 we have
 jnk
max ∆∗ (G) = n − 2 and max ∆∗ (G) \ {n − 2} =
−1,
2
a contradiction to n ≥ 5.

Corollary 6.15.
(1) Let H be an atomic monoid such that L(H) is additively closed, and let H ′ be an atomic monoid
with L(H ′ ) ⊂ L(H). Then L(H × H ′ ) = L(H).

38

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

(2) Let H be an atomic monoid with L(H) = L(Cn ) for n ∈ [3, 4]. For k ∈ N and i ∈ [1, k], let Hi be an
atomic monoid with L(Hi ) ⊂ L(Cn ). Then L(H × H1 × · · · × Hk ) = L(Cn ).
Proof. Since L(H × H ′ ) = {L + L′ : L ∈ L(H), L′ ∈ L(H ′ )}, (1) follows.
For (2), we set H ′ = H1 × · · ·× Hk . Since L(Cn ) is additively closed by Proposition 6.14, it follows that
L(H ′ ) = {L1 + · · · + Lk : Li ∈ L(Hi ), i ∈ [1, k]} ⊂ L(Cn ). Finally 1. implies that L(H × H ′ ) = L(H). 

We conclude this manuscript by suggesting a rich program for further study. Any progress in these
directions will lead to a better understanding of direct-sum decompositions of classes of modules where
each module has a semilocal endomorphism ring. Moreover, this program could stimulate new studies
in combinatorial Factorization Theory where much of the focus has been on Krull monoids having finite
class group.
Program for Further Study.
A. Module-Theoretic Aspect. Let R be a ring and let C be a class of right R-modules which is closed
under finite direct sums, direct summands, and isomorphisms, and such that the endomorphism ring
EndR (M ) is semilocal for each module M in C (such classes of modules are presented in a systematical
way in [24]). Then V(C), the monoid of isomorphism classes of modules in C is a reduced Krull monoid
with class group G and set GP ⊂ G of classes containing prime divisors.
Since the long-term goal — to determine the characteristic of V(C) — is out of reach in most cases, the
focus of study should be on those properties of GP which have most crucial influence on the arithmetic
of direct-sum decompositions. In particular,
• Is GP finite or infinite ?
• Is GP well-structured in the sense of Proposition 6.2 ?
B. Arithmetical Aspect of Direct-Sum Decompositions. Let H be a Krull monoid with finitely
generated class group G and let GP ⊂ G denote the set of classes containing prime divisors.
1. Finiteness conditions.
(a) Characterize the finiteness of arithmetical invariants (as introduced in Section 2) and the validity
of structural finiteness results (as given in Proposition 6.2, 2.(a) and 2.(b)).
For infinite cyclic groups much work in this direction can be found done in [36].
(b) If GP contains an infinite group, then every finite subset L ⊂ N≥2 occurs as a set of lengths in
H (see Proposition 6.2) and hence ∆(H) = N, and Uk (H) = N≥2 for all k ≥ 2. Weaken the
assumption on GP to obtain similar results.
A weak condition on GP enforcing that ∆(H) = N can be found in [45].
2. Upper bounds and precise formulas. Suppose that G is torsion-free, say GP ⊂ G = Z(q) ⊂ (R(q) , | · |),
where | · | : R(q) → R≥0 is a Euclidean norm.
(a) If GP ⊂ {x ∈ R : |x| ≤ M } for some M ∈ N, then derive upper bounds for the arithmetical
invariants in terms of M .
(b) If GP has a simple geometric structure (e.g., the set of vertices in a cube; see Examples 4.21 and
4.22), derive precise formulas for the arithmetical invariants, starting with the Davenport constant.
A first result in this direction can be found in [5].
(c) Determine the extent to which the arithmetic of a Krull monoid with GP as in (b) is characteristic
for GP . In particular, determine how this compares with the arithmetic of a Krull monoid H ′ where
G′P has the same geometric structure as GP with different parameters and how this compares with
the arithmetic of a Krull monoid having finite class group and prime divisors in all classes.

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS

39

References
[1] M. Arnavut, M. Luckas, and S. Wiegand, Indecomposable modules over one-dimensional Noetherian rings, J. Pure
Appl. Algebra 208 (2007), 739 – 760.
[2] G. Azumaya, Corrections and supplementaries to my paper concerning Krull-Remak-Schmidt’s theorem, Nagoya Math.
J. 1 (1950), 117 – 124.
[3] N.R. Baeth, A Krull-Schmidt theorem for one-dimensional rings with finite Cohen-Macaulay type, J. Pure Appl.
Algebra 208 (2007), 923 – 940.
[4]
, Direct sum decompositions over two-dimensional local domains, Commun. Algebra 37 (2009), 1469 – 1480.
[5] N.R. Baeth, A. Geroldinger, D.J. Grynkiewicz, and D. Smertnig, A semigroup-theoretical view of direct-sum decompositions and associated combinatorial problems, manuscript.
[6] N.R. Baeth and M. Luckas, Bounds for indecomposable torsion-free modules, J. Pure Appl. Algebra 213 (2009), 1254
– 1263.
, Monoids of torsion-free modules over rings with finite representation type, J. Commut. Algebra 3 (2011), 439
[7]
– 458.
[8] N.R. Baeth and S. Saccon, Monoids of modules over rings of infinite Cohen-Macaulay type, J. Commut. Algebra 4
(2012), 297 – 326.
[9] N.R. Baeth and R. Wiegand, Factorization theory and decomposition of modules, Am. Math. Mon. 120 (2013), 3 – 34.
[10] P. Baginski, A. Geroldinger, D.J. Grynkiewicz, and A. Philipp, Products of two atoms in Krull monoids and arithmetical characterizations of class groups, Eur. J. Comb. 34 (2013), 1244 – 1268.
[11] H. Bass, Torsion free and projective modules, Trans. Am. Math. Soc. 102 (1962), 319 – 327.
[12] 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.
[13] N. Bourbaki, Commutative Algebra, Springer, 1988.
[14] E. Brieskorn, Rationale Singularitäten komplexer Flächen, Invent. Math. 4 (1968), 336 – 358.
[15] R.-O. Buchweitz, G. M. Greuel, and F.-O. Schreyer, Cohen-Macaulay modules on hypersurface singularities II, Invent.
Math. 88 (1987), 165 – 182.
[16] N. Çimen, One-dimensional rings of finite Cohen-Macaulay type, J. Pure Appl. Algebra 132 (1998), 275 – 308.
[17] N. Çimen, R. Wiegand, and S. Wiegand, One-dimensional rings of finite representation type, Abelian Groups and
Modules (A. Facchini and C. Menini, eds.), vol. 343, Kluwer Academic, 1995, pp. 95 – 121.
[18] J. Coykendall and W.W. Smith, On unique factorization domains, J. Algebra 332 (2011), 62 – 70.
[19] L. Diracca, On a generalization of the exchange property to modules with semilocal endomorphism rings, J. Algebra
313 (2007), 972 – 987.
[20] E.G. Evans, Krull-Schmidt and cancellation over local rings, Pacific J. Math. 46 (1973), 115 – 121.
[21] E.G. Evans and P. Griffith, Syzygies, London Math. Soc. Lecture Note Ser., vol. 106, Cambridge University Press,
1985.
[22] A. Facchini, Direct sum decomposition of modules, semilocal endomorphism rings, and Krull monoids, J. Algebra 256
(2002), 280 – 307.
, The Krull-Schmidt Theorem, Handbook of Algebra, vol. 3, North-Holland, Amsterdam, 2003, pp. 357 – 397.
[23]
, Geometric regularity of direct-sum decompositions in some classes of modules, Fundam. Prikl. Mat. 10 (2004),
[24]
231 – 244.
[25]
, 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.
[26]
, Direct-sum decompositions of modules with semilocal endomorphism rings, Bull. Math. Sci. 2 (2012), 225 –
279.
[27] A. Facchini and F. Halter-Koch, Projective modules and divisor homomorphisms, J. Algebra Appl. 2 (2003), 435 –
449.
[28] A. Facchini, W. Hassler, L. Klingler, and R. Wiegand, Direct-sum decompositions over one-dimensional CohenMacaulay local rings, Multiplicative Ideal Theory in Commutative Algebra (J.W. Brewer, S. Glaz, W. Heinzer, and
B. Olberding, eds.), Springer, 2006, pp. 153 – 168.
[29] A. Facchini and R. Wiegand, Direct-sum decomposition of modules with semilocal endomorphism rings, J. Algebra
274 (2004), 689 – 707.
[30] A. Frankhild, S. Sather-Wagstaff, and R. Wiegand, Ascent of module structures, vanishing of Ext, and extended
modules, Michigan Math. J. 57 (2008), 321 – 337.
[31] W. Gao and A. Geroldinger, Zero-sum problems in finite abelian groups : a survey, Expo. Math. 24 (2006), 337 – 369.
[32]
, On products of k atoms, Monatsh. Math. 156 (2009), 141 – 157.
[33] W. Gao, A. Geroldinger, and W. A. Schmid, Local and global tameness in Krull monoids, Commun. Algebra, to appear.
[34] 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.

40

NICHOLAS R. BAETH AND ALFRED GEROLDINGER

[35] A. Geroldinger and R. Göbel, Half-factorial subsets in infinite abelian groups, Houston J. Math. 29 (2003), 841 – 858.
[36] A. Geroldinger, D.J. Grynkiewicz, G.J. Schaeffer, and W.A. Schmid, On the arithmetic of Krull monoids with infinite
cyclic class group, J. Pure Appl. Algebra 214 (2010), 2219 – 2250.
[37] A. Geroldinger and F. Halter-Koch, Non-Unique Factorizations. Algebraic, Combinatorial and Analytic Theory, Pure
and Applied Mathematics, vol. 278, Chapman & Hall/CRC, 2006.
[38] A. Geroldinger and W. Hassler, Local tameness of v-noetherian monoids, J. Pure Appl. Algebra 212 (2008), 1509 –
1524.
[39] A. Geroldinger and F. Kainrath, On the arithmetic of tame monoids with applications to Krull monoids and Mori
domains, J. Pure Appl. Algebra 214 (2010), 2199 – 2218.
[40] A. Geroldinger and I. Ruzsa, Combinatorial Number Theory and Additive Group Theory, Advanced Courses in Mathematics - CRM Barcelona, Birkhäuser, 2009.
[41] A. Geroldinger and P. Yuan, The monotone catenary degree of Krull monoids, Result. Math. 63 (2013), 999 – 1031.
[42] E. Green and I. Reiner, Integral representations and diagrams, Michigan Math. J. 25 (1978), 53 – 84.
[43] D.J. Grynkiewicz, Structural Additive Theory, Developments in Mathematics, Springer, 2013.
[44] F. Halter-Koch, Ideal Systems. An Introduction to Multiplicative Ideal Theory, Marcel Dekker, 1998.
[45] W. Hassler, Factorization properties of Krull monoids with infinite class group, Colloq. Math. 92 (2002), 229 – 242.
[46] W. Hassler, R. Karr, L. Klingler, and R. Wiegand, Big indecomposable modules and direct-sum relations, Ill. J. Math.
51 (2007), 99 – 122.
[47] W. Hassler and R. Wiegand, Extended modules, J. Commut. Algebra 1 (2009), 481 – 506.
[48] R. Heitmann, Characterization of completions of unique factorization domains, Trans. Am. Math. Soc. 337 (1993),
379 – 387.
[49] D. Herbera and P. Přı́hoda, Big projective modules over noetherian semilocal rings, J. Reine Angew. Math. 648 (2010),
111 – 148.
[50] F. Kainrath, Factorization in Krull monoids with infinite class group, Colloq. Math. 80 (1999), 23 – 30.
[51] R. Karr and R. Wiegand, Direct-sum behavior of modules over one-dimensional rings, Commutative Algebra: Noetherian and Non-Noetherian Perspectives (M. Fontana, S.-E. Kabbaj, B. Olberding, and I. Swanson, eds.), Springer,
2011, pp. 251 – 275.
[52] H. Knörrer, Cohen-Macaulay modules on hypersurface singularities I, Invent. Math. 88 (1987), 153 – 164.
[53] W. Krull, Über verallgemeinerte endliche Abelsche Gruppen, Math. Z. 23 (1925), 161 – 196.
[54] C. Lech, A method for constructing bad Noetherian local rings, Algebra, Algebraic Topology and their Interactions,
Lecture Notes in Mathematics, vol. 1183, Springer, 1986, pp. 241 – 247.
[55] C.R. Leedham-Green, The class group of Dedekind domains, Trans. Am. Math. Soc. 163 (1972), 493 – 500.
[56] G.J. Leuschke and R. Wiegand, Cohen-Macaulay representations, Mathematical Surveys and Monographs, vol. 181,
American Mathematical Society, Providence, RI, 2012.
[57] L. Levy and C. Odenthal, Krull-Schmidt theorems in dimension 1, Trans. Am. Math. Soc. 348 (1996), 3391 – 3455.
[58] A. Plagne and W.A. Schmid, On congruence half-factorial Krull monoids with cyclic class group, submitted.
[59] R. Remak, Über die Zerlegung der endlichen Gruppen in direkte unzerlegbare Faktoren, J. Reine Angew. Math. 139
(1911), 293 – 308.
[60] C. Rotthaus, D. Weston, and R. Wiegand, Indecomposable Gorenstein modules of odd rank, J. Algebra 214 (1999),
122 – 127.
[61] S. Saccon, One-dimensional local rings of infinite Cohen-Macaulay type, Ph.D. thesis, University of Nebraska–Lincoln,
Department of Mathematics (2010).
[62] W.A. Schmid, Arithmetical characterization of class groups of the form Z/nZ ⊕ Z/nZ via the system of sets of lengths,
Abh. Math. Semin. Univ. Hamb. 79 (2009), 25 – 35.
, Characterization of class groups of Krull monoids via their systems of sets of lengths : a status report, Number
[63]
Theory and Applications : Proceedings of the International Conferences on Number Theory and Cryptography (S.D.
Adhikari and B. Ramakrishnan, eds.), Hindustan Book Agency, 2009, pp. 189 – 212.
[64]
, A realization theorem for sets of lengths, J. Number Theory 129 (2009), 990 – 999.
[65] O. Schmidt, Über unendliche Gruppen mit endlicher Kette, Math. Z. 29 (1929), 34 – 41.
[66] J. Wedderburn, On the direct product in the theory of finite groups, Ann. Math. 10 (1909), 173 – 176.
[67] R. Wiegand, Direct-sum decompositions over local rings, J. Algebra 240 (2001), 83 – 97.
[68] R. Wiegand and S. Wiegand, Bounds for one-dimensional rings of finite Cohen-Macaulay type, J. Pure Appl. Algebra
93 (1994), 311 – 342.
Department of Mathematics and Computer Science, University of Central Missouri, Warrensburg, MO
64093, USA; baeth@ucmo.edu
Institut für Mathematik und Wissenschaftliches Rechnen, Karl-Franzens-Universität Graz, Heinrichstraße
36, 8010 Graz, Austria; alfred.geroldinger@uni-graz.at

