![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
Abstract
A commutative ring R is stable if every non-zero ideal I of R is projective over its ring of endomorphisms. Motivated by a paper of Bass in the 1960s, stable rings have received wide attention in the literature ever since then. Much is known on the algebraic structure of stable rings and on the relationship of stability with other algebraic properties such as divisoriality and the 2-generator property. In the present paper, we study the arithmetic of stable integral domains, with a focus on arithmetic properties of semigroups of ideals of stable orders in Dedekind domains.
1. Introduction
Motivated by a paper of Bass [Citation6], Lipman, Sally, and Vasconcelos [Citation36, Citation54] introduced the concept of stable ideals and stable rings, which has received wide attention in the literature ever since then. In the present paper, we restrict to integral domains. Let R be a commutative integral domain. A non-zero ideal is stable if it is projective over its ring of endomorphisms (equivalently, if it is invertible as an ideal of the overring
of R). The domain R is called (finitely) stable if every non-zero (finitely generated) ideal of R is stable. By definition, invertible ideals are stable and this implies that Dedekind domains are stable and Prüfer domains are finitely stable. On the other hand, stable domains need neither be noetherian, nor one-dimensional, nor integrally closed. For background on stable rings, their applications, and for results till 2000 we refer to the survey [Citation43] by Olberding. Since then stable rings and domains were studied in a series of papers by Bazzoni, Gabelli, Olberding, Roitman, Salce, and others [Citation13–15, Citation41, Citation44–47].
The goal of the present paper is to study the arithmetic of stable domains, by building on the existing algebraic results. Mori domains and Mori monoids play a central role in factorization theory of integral domains. Every Mori domain R is a BF-domain (this means that every non-zero non-unit element has a factorization into irreducible elements and the set
of all possible factorization lengths is finite). For every Mori domain R, the monoid
of v-invertible v-ideals is a Mori monoid. Our starting point is a recent result by Gabelli and Roitman [Citation14] stating that a domain is stable and Mori if and only if it is one-dimensional stable (Proposition 3.1). This implies that stable Mori domains with non-zero conductor to their complete integral closure are stable orders in Dedekind domains (Theorem 3.7), and these domains are in the center of our interest.
In Section 2 we put together some basics on monoids and domains. In Section 3 we first gather structural results on stable domains (Propositions 3.1–3.5). Then we apply them to domains that are of central interest in factorization theory, namely seminormal domains, weakly Krull domains, and Mori domains. In Section 4, we study semigroups of r-ideals in the setting of ideal systems of cancellative monoids. We derive structural algebraic results and use them to understand when such semigroups of r-ideals are half-factorial. Section 5 contains our main arithmetical results. The main purpose of Section 5 is to highlight the arithmetical advantages of stability in the context of orders in Dedekind domains. In particular, we show that a series of properties, valid in orders in quadratic number fields (which are stable), also hold true for general stable orders in Dedekind domains. The main result of Section 5 is Theorem 5.10. Among others, it states that the monoid of non-zero ideals and the monoid of invertible ideals of a stable order in a Dedekind domain are transfer Krull if and only if they are half-factorial (this means that they are transfer Krull only in the trivial case). This is in contrast to a recent result on Bass rings (which are stable). In [Citation5, Theorem 1.1], Baeth and Smertnig show that the monoid of isomorphism classes of finitely generated torsion-free modules over a Bass ring is always transfer Krull.
2. Background on monoids and domains
We denote by the set of positive integers and by
we denote the set of non-negative integers. For rational numbers
is the discrete interval between a and b. For subsets
denotes their sumset. The set of distances
is the set of all
for which there is
such that
If
then
is the elasticity of A, and we set
Let H be a multiplicatively written commutative semigroup with identity element. We denote by the group of invertible elements of H. We say that H is reduced if
and we denote by
the associated reduced semigroup of H. An element
is said to be cancellative if au = bu implies a = b for all
The semigroup H is said to be
cancellative if all elements of H are cancellative;
unit-cancellative if
and a = au implies that
Clearly, every cancellative monoid is unit-cancellative. We will study semigroups of ideals that are unit-cancellative but not necessarily cancellative.
Throughout, a monoid means a commutative unit-cancellative semigroup with identity element.
For a set P, we denote by the free abelian monoid with basis P. Elements
are written in the form
is the p-adic valuation. We denote by
the length of a and by
the support of a.
Let H be a monoid. A non-unit is said to be an atom (or irreducible) if a = bc with
implies that
or
We denote by
the set of atoms of H and we say that H is atomic if every non-unit is a finite product of atoms. Two elements
are called associated if a = bc for some
If
where
and
then k is a factorization length and the set
of all factorization lengths of a is called the set of lengths of a. For convenience, we set
for
Then
is the system of sets of lengths of H,
We say that the elasticity is accepted if for some
The monoid H is
half-factorial if it is atomic and
for all
an FF-monoid if it is atomic and each element of H is divisible by only finitely many non-associated atoms, and
a BF-monoid if it is atomic and all sets of lengths are finite.
By definition, an atomic monoid is half-factorial if and only if if and only if
FF-monoids are BF-monoids, BF-monoids satisfy the ACCP (ascending chain condition on principal ideals), and monoids satisfying the ACCP are atomic and Archimedean (i.e.
for all
). If H is atomic but not half-factorial, then we have
Suppose that H is cancellative, and let
be the quotient group of H. We denote by
the seminormal closure of H, and by
the complete integral closure of H.
Then and we say that H is seminormal (resp. completely integrally closed) if
(resp.
). Let
be subsets. We set
and
If
then A is a divisorial ideal (or a v-ideal) if
and A is an s-ideal if A = AH. If
is an s-ideal of H, then
is called a prime s-ideal of H if for all
with
it follows that
or
For an s-ideal I of H let
there is
such that
denote the radical of I. The monoid H is said to be
Mori if it satisfies the ascending chain condition on divisorial ideals,
Krull if it is a completely integrally closed Mori monoid,
a G-monoid if the intersection of all non-empty prime s-ideals is non-empty,
primary if
and for all
there is
such that
strongly primary if
and for every
there is
such that
(we denote by
the smallest
having this property), and
finitely primary (of rank s and exponent α) if H is a submonoid of a factorial monoid
such that
and
Finitely primary monoids and primary Mori monoids are strongly primary. (To see that the last statement is valid let H be a primary Mori monoid, and
Then
for some finite set
We infer that
for some
Therefore,
and thus H is strongly primary.) Mori monoids and strongly primary monoids are BF-monoids.
By a domain, we mean a commutative ring with non-zero identity element and without non-zero zero-divisors. Let R be a domain. We denote by the multiplicative monoid of non-zero elements, by
the group of units, by
the integral closure of R, by
the complete integral closure of R, by
the set of non-zero minimal prime ideals of R, and by
the quotient field of R. An ideal
is called 2-generated if there are some
such that
We say that R is atomic (a BF-domain, an FF-domain, a Mori domain, a Krull domain, a G-domain, Archimedean, (strongly) primary, seminormal, completely integrally closed) if its monoid
has the respective property. By [Citation21, Proposition 2.10.7], R is primary if and only if R is one-dimensional and local. The domain R
has finite character if every non-zero element is contained in only finitely many maximal ideals.
is divisorial if every non-zero ideal is divisorial.
is h-local if R has finite character and every non-zero prime ideal of R is contained in a unique maximal ideal of R.
One-dimensional Mori domains have finite character by [Citation14, Lemma 3.11].
Let S be an integral domain such that is a subring. Then R is an order in S if
and S is a finitely generated R-module. Moreover, the following statements are equivalent if R is not a field [Citation21, Theorem 2.10.6]:
R is an order in a Dedekind domain.
R is one-dimensional noetherian and the integral closure
of R is a finitely generated R-module.
The extension is quadratic if
for all
equivalently, every R-module between R and S is a ring. If
is quadratic, then, for every
we have
that is, every
is a root of a monic polynomial of degree at most 2 with coefficients in R. Thus every quadratic extension is an integral extension.
3. Stable domains
In this section, we first gather main properties of stable domains (Propositions 3.1–3.5). Then we analyze what consequences stability has on some key classes of domains studied in factorization theory, including seminormal domains, weakly Krull domains, G-domains, and Mori domains (Theorems 3.6 and 3.7).
Let R be a domain. A non-zero ideal is stable if it is invertible as an ideal of the overring
of R. The domain is called
finitely
stable if every non-zero (finitely generated) ideal of R is stable. Since invertible ideals are obviously stable, Dedekind domains are stable and Prüfer domains are finitely stable. Conversely, if R is completely integrally closed and stable, then
for every non-zero ideal
whence every non-zero ideal is invertible in R and R is a Dedekind domain. Recall that R is an almost Dedekind domain if
is a Dedekind domain for each
Every almost Dedekind domain is a completely integrally closed Prüfer domain, and thus it is finitely stable. Nevertheless, R is a Dedekind domain if and only if R is a stable almost Dedekind domain. In particular, every almost Dedekind domain that is not a Dedekind domain is not stable. For an example of an almost Dedekind domain that is not a Dedekind domain we refer to [Citation37, Example 35, page 290]. We recall that stable domains need neither be noetherian, nor integrally closed, nor one-dimensional [Citation43, Sections 3 and 4], and we use without further mention that overrings of stable domains are stable [Citation44, Theorem 5.1].
Proposition 3.1.
Let R be a domain that is not a field. Then the following statements are equivalent.
R is a one-dimensional stable domain.
R is a finitely stable Mori domain.
R is a stable Mori domain.
Proof.
This is due to Gabelli and Roitman. More precisely, the equivalence of (a) and (b) is proved in [Citation14, Theorem 4.8]. Clearly, (c) implies (b). If (a) and (b) hold, then (c) holds by [Citation14, Proposition 4.4]. □
Examples given by Olberding in [Citation41, Citation46] show that one-dimensional stable domains need not be noetherian. The ring of integer-valued polynomials is a two-dimensional completely integrally closed Prüfer domain and a BF-domain.
is finitely stable (as it is Prüfer) but not stable (as it is not Dedekind). Thus in Statement (b), the property “Mori” cannot be replaced by “BF”. In Example 3.9.3 we show that “Mori” cannot be replaced by “BF” in Statement (c) even if R is a Prüfer domain. Next we consider the local case.
Corollary 3.2.
Let R be a local domain that is not a field.
The following statements are equivalent.
R is a one-dimensional stable domain.
R is a primary stable domain.
R is a stable Mori domain.
R is a strongly primary stable domain.
If these conditions hold and (for example, see [Citation47, Theorem 2.13]), then
is a discrete valuation domain.
2. If R is one-dimensional, then the following statements are equivalent.
R is stable.
R is finitely stable with stable maximal ideal.
is a quadratic extension of R and
is a Dedekind domain with at most two maximal ideals.
3. If R is finitely stable with stable maximal ideal
, then the following statements are equivalent.
R is a BF-domain.
R satisfies the ACCP.
R is Archimedean.
Proof.
1. Since R is one-dimensional and local if and only if is primary, Conditions (a) and (b) are equivalent. Conditions (a) and (c) are equivalent by Proposition 3.1. Obviously, Condition (d) implies Condition (b). Since primary Mori monoids are strongly primary by [Citation23, Lemma 3.1], Conditions (b) and (c) imply Condition (d). If (a)–(d) hold and
then
is a discrete valuation domain by [Citation44, Corollary 4.17].
2. See [Citation47, Theorem 4.2].
3. (a) (b) This is an immediate consequence of [Citation21, Theorem 1.3.4].
(b) (c) This follows from [Citation21, Corollary 1.3.3].
(c) (d) This is clear (e.g. see page 2 of [Citation15]).
(d) (a) This follows from [Citation15, Proposition 2.12]. □
Let R be a domain. By Corollary 3.2.1, every strongly primary stable domain is Mori. This is not true for general strongly primary domains [Citation26, Section 3] and it is in strong contrast to other classes of strongly primary monoids [Citation19, Theorem 3.3]. By [Citation15, Example 5.17], there exists a stable two-dimensional Archimedean local integral domain. We infer by Corollary 3.2.3 that such a domain is a BF-domain. In particular, a local stable BF-domain need not satisfy the equivalent conditions of Corollary 3.2.1.
Note that if R is a local domain whose ideals are 2-generated, then R is finitely stable with stable maximal ideal (e.g. see Proposition 3.5.4) and the equivalent conditions in Corollary 3.2.3 are satisfied (since R is noetherian). Nevertheless, such a domain is (in general) neither half-factorial nor an FF-domain. In what follows, we present suitable counterexamples.
Let K be a quadratic number field with maximal order and p be a prime number such that p is split (i.e.
is the product of two distinct prime ideals of
(For instance, let
and p = 2.) Let
be the unique order in K with conductor
and let
be a maximal ideal of
that contains the conductor. Set
Then S is a local domain whose ideals are 2-generated and there are precisely two maximal ideals of
that are lying over the maximal ideal of S. It follows from [Citation21, Theorem 3.1.5.2] that S is not half-factorial. (Note that
is a finitely primary monoid of rank two, and thus it has infinite elasticity by [Citation21, Theorem 3.1.5.2]. Therefore, it cannot be half-factorial.)
Let Then T is a local domain with maximal ideal
and every ideal of T is 2-generated by Corollary 3.2.2 and Proposition 3.5.4. Observe that T is not an FF-domain, since
and
for each
We do not know whether a local atomic finitely stable domain with stable maximal ideal satisfies the equivalent conditions in Corollary 3.2.3.
Proposition 3.3.
Let R be a domain.
R is finitely stable if and only if
is a quadratic extension,
is Prüfer, and there are at most two maximal ideals of
lying over every maximal ideal of R.
A semilocal Prüfer domain is stable if and only if it is strongly discrete.
R is an integrally closed stable domain if and only if R is a strongly discrete Prüfer domain with finite character if and only if R is a generalized Dedekind domain with finite character.
An integrally closed one-dimensional domain is stable if and only if it is Dedekind.
Proof.
Recall that a Prüfer domain R is strongly discrete provided that no non-zero prime ideal P of R satisfies
[Citation45, Corollary 5.11].
See [Citation2, Proposition 2.10] and [Citation13, Proposition 2.5].
It is an immediate consequence of [Citation40, Theorem 4.6] that R is an integrally closed stable domain if and only if R is a strongly discrete Prüfer domain with finite character. Moreover, it follows from [Citation13, Corollary 2.13] that R is integrally closed and stable if and only if R is a generalized Dedekind domain with finite character.
Since a domain is Dedekind if and only if it is generalized Dedekind of dimension one [Citation12, Proposition 2.1], this follows from 3. □
Proposition 3.3.4 characterizes integrally closed stable domains, that are one-dimensional. However, there are, for every n-dimensional local stable valuation domains ([Citation15, Example 5.11], and recall that valuation domains are integrally closed).
Lemma 3.4.
Let R be a local domain with maximal ideal such that R is not a field.
If R is noetherian, then R is divisorial if and only if R is one-dimensional and
is a simple R-module.
If R is seminormal and one-dimensional, then
Proof.
1. This follows from [Citation7, Theorem A].
2. This is an immediate consequence of [Citation24, Lemma 3.3]. □
Proposition 3.5.
Let R be a domain.
R is divisorial if and only if R is h-local and
is divisorial for every
R is stable if and only if R is of finite character and
is stable for every
R is a divisorial Mori domain if and only if R is of finite character and
is a divisorial Mori domain for every
Every ideal of R is 2-generated if and only if R is a divisorial stable Mori domain. If R is a stable Mori domain with
, then R is divisorial and every ideal of R is 2-generated.
Every ideal of R is 2-generated if and only if R is of finite character and for all
, every ideal of
is 2-generated.
Proof.
1. This follows from [Citation8, Proposition 5.4].
2. This follows from [Citation44, Theorem 3.3].
3. Without restriction assume that R is not a field. First let R be a divisorial Mori domain. It follows by 1. that R is of finite character and is divisorial for all
Clearly,
is a Mori domain for every
Now let R be of finite character and let be a divisorial Mori domain for every
We infer by [Citation53, Théorème 1] that R is a Mori domain. If
then
is clearly noetherian, and hence
is one-dimensional by Lemma 3.4.1. Therefore, R is one-dimensional, and thus R is h-local. Therefore, R is divisorial by 1.
4. We infer by [Citation42, Theorems 3.1 and 3.12] that every ideal of R is 2-generated if and only if R is a noetherian stable divisorial domain. Clearly, R is noetherian and divisorial if and only if R is a divisorial Mori domain, and hence the first statement follows. If R is a stable Mori domain with then R is at most one-dimensional by Proposition 3.1, and thus every ideal of R is 2-generated by [Citation41, Proposition 4.5].
5. This is an immediate consequence of 2., 3. and 4. □
By Proposition 3.5.4, orders in quadratic number fields are stable because every ideal is 2-generated (for background on orders in quadratic number fields, we refer to [Citation33]). Much research was done to characterize domains, for which all ideals are 2-generated ([Citation8, Theorem 7.3], [Citation29, Theorem 17], [Citation39]). We continue with a characterization within the class of seminormal domains.
Theorem 3.6.
Let R be a seminormal domain. Then the following statements are equivalent.
Every ideal of R is 2-generated.
R is a divisorial Mori domain.
R is a finitely stable Mori domain.
Proof.
Without restriction assume that R is not a field. Note that if R is of finite character, then R is a Mori domain if and only if is a Mori domain for every
[Citation53, Théorème 1]. We obtain by Proposition 3.5.3 that R is a divisorial Mori domain if and only if R is of finite character and
is a divisorial Mori domain for every
Besides that we infer by Propositions 3.1 and 3.5.2 that R is a finitely stable Mori domain if and only if R is of finite character and
is a finitely stable Mori domain for every
By using Proposition 3.5.5 and the fact that
is seminormal for every
it suffices to prove the equivalence in the local case. Let R be local with maximal ideal
(a) (b) This follows from Proposition 3.5.4.
(b) (c) Observe that R is noetherian, and thus R is one-dimensional by Lemma 3.4.1. We infer that
is a semilocal principal ideal domain, and thus
is a finitely stable Mori domain. In particular, we can assume without restriction that R is not integrally closed. Since
it follows that
by Lemma 3.4.2. Since R is not integrally closed, we have that
is not invertible. Therefore,
Moreover,
and hence
We infer that
and thus
Consequently, is a simple R-module by Lemma 3.4.1. In particular,
is a quadratic extension. Observe that
Set
Then
Assume that
There are some distinct
Note that
and thus
a contradiction. We infer that
It follows from Corollary 3.2.2 that R is finitely stable.
(c) (a) Note that R is a one-dimensional stable domain by Proposition 3.1. It follows from Lemma 3.4.2 that
and thus every ideal of R is 2-generated by Proposition 3.5.4. □
A domain R is said to be weakly Krull if
which means that
is finite for all
Weakly Krull domains were introduced by Anderson, Anderson, Mott, and Zafrullah [Citation1, Citation3], and their multiplicative character was pointed out by Halter-Koch [Citation31, Chapter 22].
Theorem 3.7.
Let R be a domain with , and suppose that R is either weakly Krull or Mori. Then R is stable if and only if every ideal of R is 2-generated. If this holds, then R is an order in a Dedekind domain.
Proof.
If every ideal of R is 2-generated, then R is stable by Proposition 3.5.4. Conversely, let R be stable.
Let us first suppose that R is weakly Krull. Then, for every is one-dimensional and stable, whence Mori by Proposition 3.1. Since R is weakly Krull, this implies that R is Mori by [Citation24, Lemma 5.1].
Thus R is Mori in both cases. Using Proposition 3.1 again we infer that R is one-dimensional. Therefore, is one-dimensional integrally closed and stable, whence
is a Dedekind domain by Proposition 3.3.4. Since
Proposition 3.5.4 implies that every ideal of R is 2-generated. □
Corollary 3.8.
Let R be a seminormal G-domain and suppose that R is either Mori or one-dimensional. Then R is stable if and only if every ideal of R is 2-generated. If this holds, then R is an order in a Dedekind domain.
Proof.
Since R is a seminormal G-domain, by [Citation22, Proposition 4.8]. Thus the claim follows from Theorem 3.7. □
Example 3.9.
There exist integrally closed one-dimensional local Mori domains which are neither valuation domains nor finitely stable. Let K be a field, Y an indeterminate over K, and X an indeterminate over K(Y). Then
is an integrally closed one-dimensional local Mori domain which is not completely integrally closed. Thus, R is not a valuation domain. By Proposition 3.3.4, it is not stable because it is not a Dedekind domain, and hence it is not finitely stable by Proposition 3.1.
There exists a seminormal two-dimensional local stable domain. Let
be a prime and
Since
is a discrete valuation domain with maximal ideal
and also
is a discrete valuation domain with maximal ideal
R is a local two-dimensional domain with maximal ideal
(and
). Now R is stable as well by [Citation41, Theorem 2.6]. Thus R is not Mori by Proposition 3.1.
Moreover, R is seminormal. Indeed, we know
is integrally closed in
and
Let
with
Then
and hence
(since
is completely integrally closed). We infer that
and
If
then
If
then
that is
In any case, D is seminormal. Now clearly R is seminormal in D. Therefore, R is seminormal.
3. There exists a two-dimensional stable Prüfer domain R which is a BF-domain, whence R is a finitely stable BF-domain that is not Mori (cf. Proposition 3.1). To see this we analyze an example given by Gabelli and Roitman. Let K be a field and let X and Y be independent indeterminates over K. Set
and let
Set
It is shown in [Citation15, Example 5.13] that R is a two-dimensional stable Prüfer domain that satisfies the ACCP. In particular, R is Archimedean. Moreover, it is shown in [Citation15, Example 5.13] that Y and T are algebraically independent over K and
Next we prove that
Observe that
and hence T and
are elements of the quotient field of R. Since
and
for every
we infer that
Clearly,
and thus
Since
this implies that
Since Y and T are algebraically independent over K, it follows that
is factorial. Note that
is a quotient overring of
and hence
is factorial. We infer that
is factorial. Moreover, since
and
is completely integrally closed, we have that
This implies that
is factorial, and thus
is a BF-domain. Since R is Archimedean, it follows that
and hence R is a BF-domain by [Citation21, Corollary 1.3.3].
4. Monoids of ideals and half-factoriality
In this section, we study, for a finitary ideal system r of a cancellative monoid H, algebraic and arithmetic properties of the semigroup of r-ideals and of the semigroup
of r-invertible r-ideals. A focus is on the question when these monoids of r-ideals are half-factorial (other arithmetical properties of
such as radical factoriality, were recently studied in [Citation48]). In Section 5, we apply these results to monoids of divisorial ideals and to monoids of usual ring ideals of Mori domains.
Let H be a cancellative monoid and K a quotient group of H. An ideal system on H is a map such that the following conditions are satisfied for all subsets
and all
implies
•
•
We refer to [Citation31, Citation32] for background on ideal systems. Let r be an ideal system on H. A subset is called an r-ideal if Ir = I. Furthermore, a subset
is called a fractional r-ideal of H if there is some
such that cJ is an r-ideal of H. We denote by
the set of all non-empty r-ideals, and we define r-multiplication by setting
for all
Then
together with r-multiplication is a reduced semigroup with identity element H. Let
denote the semigroup of non-empty fractional r-ideals,
the group of r-invertible fractional r-ideals, and
the cancellative monoid of r-invertible r-ideals of H with r-multiplication. We denote by
the set of all non-empty minimal prime s-ideals of H, by r-
the set of all prime r-ideals of H, and by r-
the set of all maximal r-ideals of H. We say that r is finitary if
where the union is taken over all finite subsets
For a subset
we set
We will use the s-system, the v-system, and the t-system. For every ideal system r, we have and if r is finitary, then
for all
We say that H has finite r-character if each
is contained in only finitely many maximal r-ideals of H.
Let R be a domain with quotient field K and r an ideal system on R (clearly, is a monoid and r restricts to an ideal system
on
whence for every subset
we have
). We denote by
the semigroup of non-zero r-ideals of R and
is the subsemigroup of r-invertible r-ideals of R. The usual ring ideals form an ideal system, called the d-system, and for these ideals, we omit all suffices (i.e.
and
). For the following equivalent statements, let r be an ideal system on R such that every r-ideal of R is an ideal of R. We say that R is a Cohen-Kaplansky domain if one of the following equivalent statements hold [Citation4, Theorem 4.3] and [Citation25, Proposition 4.5].
R is atomic and has only finitely many atoms up to associates.
is a finitely generated semigroup for some ideal system r on R.
is a finitely generated semigroup for some ideal system r on R.
is a semilocal principal ideal domain,
is finite, and
Thus, Corollary 3.2.2 and Property (d) imply that a Cohen-Kaplansky domain R is stable if and only is a quadratic extension.
Lemma 4.1.
Let H be a cancellative monoid and let r be a finitary ideal system on H such that for every
-
. Then
is unit-cancellative and if H is of finite r-character, then
is a BF-monoid.
Proof.
Let be such that
Assume that J is proper. Then
for some
-
It follows by induction that
for all
and hence
Therefore,
a contradiction. Consequently,
is unit-cancellative.
Now let H be of finite r-character. We have to show that is a BF-monoid.
First we show that is atomic. Since
is unit-cancellative it remains to show by [Citation11, Lemma 3.1(1)] that
satisfies the ACCP. Assume that
does not satisfy the ACCP. Then there is a sequence
of elements of
such that
for all
Consequently, there is some sequence
of proper elements of
such that
for all
Note that
for all
Since
-
is finite, there is some
-
such that
is infinite. By restricting to a suitable subsequence of
we can therefore assume that
for all
Note that
for every
and thus
for every
This implies that
and thus
a contradiction.
Finally, we prove that is finite for each
Let
and set
-
Observe that
is finite. For each
set
It is sufficient to show that
for each
Let
Clearly, there is a finite sequence
of atoms of
such that
Since
we infer that
□
Let H be a cancellative monoid and r a finitary ideal system on H. Observe that if H is strictly r-noetherian (for the definition of strictly r-noetherian monoids, we refer to [Citation31, 8.4 Definition, page 87]), then it follows from [Citation31, 9.1 Theorem, page 94] that for every
-
Also note that if H is a Mori monoid and r-
then H is of finite r-character (this is an easy consequence of [Citation21, Theorem 2.2.5.1]).
Proposition 4.2.
Let H be a finitely primary monoid of rank one, , and let r be a finitary ideal system on H.
1. The following statements are equivalent.
(a) H is half-factorial.
(b)
for all
(c)
for all
2. The following statements are equivalent.
(a)
is half-factorial.
(b)
for all
(c)
for all
(d) If
and
for every
, then
(e) H is half-factorial and for every nonprincipal
it follows that
Proof.
Since H is finitely primary of rank one, there is some such that
1.(a) 1.(b) Let
There are some
such that
and
It follows that
and hence
for some
Moreover, there is some
Since
for every
there are some
such that
and
Set
and set
Then
and
There is some
such that
Note that
and hence
We infer that
and hence
1.(b) 1.(c) Since
there is some
such that
There is some
such that
for all
There are some
such that qm is a product of a atoms of H and
is a product of b atoms of H. We infer that
and
This implies that
and hence
and
1.(c) 1.(a) Let
let
for every
and let
for every
be such that
Then
Consequently,
2. Note that H is strongly primary and r- Therefore,
We infer by Lemma 4.1 that
is a unit-cancellative atomic monoid. Since H is r-local, we have that
Moreover,
is a divisor-closed submonoid of
Therefore,
Note that if I is a non-empty s-ideal of H, then
(since
for some
it follows that
).
2.(a) 2.(b) Let
There are some
such that
and
This implies that
and hence
Since
is a non-empty r-ideal of H, there is some
such that
Therefore,
and thus
We infer that
2.(b) 2.(c) Since
there is some
such that
There is some
such that
for all
Since
is atomic, there are some
such that qmH is an r-product of a atoms of
and
is an r-product of b atoms of
This implies that
and
Therefore,
and hence
and
2.(c) 2.(a) Let
let
for every
and let
for every
be such that
Then
Therefore,
2.(c) 2.(d) Let
and let
for every
Assume that
Note that
(since
is unit-cancellative). Therefore,
for all
and thus
a contradiction.
2.(d) 2.(e) It remains to show that H is half-factorial. Let
let
for every
and let
for every
be such that
Observe that
for all
and
We infer that
and
Therefore,
and
and hence
2.(e) 2.(c) Let
Case 1. A is principal. Then A = uH for some By 1. we have that
Case 2. A is not principal. Then and hence there is some
Observe that
It follows from 1. that
and thus
□
Observe that some of the semigroups (e.g. ) in the following result may not always be unit-cancellative. In that case, we apply the original definitions for being an atom or being half-factorial to commutative semigroups with identity (which are not necessarily unit-cancellative).
Proposition 4.3.
Let H be a cancellative monoid and r be a finitary ideal system on H such that H is of finite r-character and r-
and
is half-factorial if and only if
is half-factorial for every
and
is half-factorial if and only if
is half-factorial for every
If
, then
For every
we have that
Proof.
Claim: For every it follows that
Proof of the claim: Let Since H is of finite r-character, it follows that
for all but finitely many
Note that if
and
then
is a
-primary r-ideal of H, and
Therefore,
Consequently,
Let
be defined by
for every
Since H is of finite r-character it is clear that f is well-defined. It is straightforward to show that f is a monoid homomorphism. If
are such that
for all
then
Therefore, f is injective. It remains to show that f is surjective. Let
Set
Then
and
for every
Therefore, f is surjective. If
then
for every
and thus
is a monoid isomorphism.
It is an immediate consequence of 1. that
is half-factorial if and only if
is half-factorial for every
and
is half-factorial if and only if
is half-factorial for every
Note that if
then
is
-local, and hence
Clearly,
is half-factorial if and only if
is half-factorial.
Let
Then
for some
Set
We infer by the claim that
Since
is a proper r-ideal of H this implies that
Since
is
-primary, we have that
is
-primary, and thus
Let
First let
Set
Then A is a proper r-ideal of H and
It remains to show that
Let
be such that
Then
and hence
or
Without restriction let
Then
Since A is
-primary and
this implies that I = H.
Now let
be such that
Let
be such that
It is straightforward to check r-locally that
Note that
and hence
or
Without restriction let
Consequently,
□
Theorem 4.4.
Let H be a cancellative monoid and let r be a finitary ideal system on H such that H is of finite r-character and is finitely primary for every
-
. Then
is half-factorial if and only if
is half-factorial and for every
we have that
Proof.
First let be half-factorial. Since
is a divisor-closed submonoid of
we have that
is half-factorial. Let
-
It follows by Proposition 4.3.2 that
and
are half-factorial. Therefore,
is finitely primary of rank one by [Citation21, Theorem 3.1.5]. We infer by Proposition 4.2.2 that for every nonprincipal
we have that
We infer by Proposition 4.3.2 that
is half-factorial. Let
Then
-
by Proposition 4.3.3. Without restriction let
It follows by Proposition 4.3 that
If
is a principal ideal of
then A is r-locally principal, and since H is of finite r-character, A is r-invertible, a contradiction. Therefore,
is not a principal ideal of
and
Since A and
are
-primary this implies that
Now let be half-factorial and let for every
Let
-
It follows from Proposition 4.3.2 that
is half-factorial. Consequently,
is finitely primary of rank one. Let
be not principal. Then
for some
with
by Proposition 4.3.4. It follows from Proposition 4.3.3 that
Obviously, A is not r-invertible. Therefore,
Since A and
are
-primary we have that
We infer by Proposition 4.2.2 that
is half-factorial. □
Corollary 4.5.
Let H be a cancellative monoid and let r be a finitary ideal system on H such that H is of finite r-character and is finitely primary and
is contained in some proper r-invertible r-ideal of H for every
-
. Then
is half-factorial if and only if
is half-factorial.
Proof.
By Theorem 4.4 it is sufficient to show that for every we have that
Let
Assume that
There is some
-
such that
We infer that
for some proper
Since
it follows that
and thus
a contradiction. □
Lemma 4.6.
Let L be a finite field, let be a subfield, let X be an indeterminate over L and let
. Then R is a local Cohen-Kaplansky domain with maximal ideal
and R is divisorial if and only if
Proof.
It is an immediate consequence of [Citation4, Corollary 7.2] that R is a local Cohen-Kaplansky domain with maximal ideal Set
Without restriction let
Then
Since R is a local one-dimensional noetherian domain we have by [Citation38, Theorem 3.8] that R is divisorial if and only if
is a 2-generated R-module. For
let h0 denote the constant term of h.
If is a 2-generated R-module, then
whence
and so
Conversely, let
Then
for some
Observe that
□
Example 4.7.
Let L be a finite field, let be a subfield, let
and let
Then R is a local Cohen-Kaplansky domain with maximal ideal
R is not half-factorial and the square of the maximal ideal of R is contained in a proper principal ideal of R.
Proof.
By [Citation4, Corollary 7.2] we have that R is a local Cohen-Kaplansky domain with maximal ideal such that R is not half-factorial. Set
Then
and XnR is a proper principal ideal of R. □
5. Arithmetic of stable orders in Dedekind domains
In this section, we derive the main arithmetical results of the paper. For monoids of ideals of stable Mori domains, we study the catenary degree, the monotone catenary degree and we establish characterizations when these monoids are half-factorial and when they are transfer Krull. We demonstrate in remarks and examples that none of the main statements in Theorems 5.9 and 5.10 hold true without the stability assumption.
We need the concepts of catenary degrees, transfer homomorphisms, and transfer Krull monoids. Let H be an atomic monoid. The free abelian monoid denotes the factorization monoid of H and
the canonical epimorphism. For every element
is the set of factorizations of a. Note that
is the set of lengths of a. Suppose that H is atomic. If
are two factorizations, say
where
and all
such that
for all
and all
then
is the distance between z and
Let and
A finite sequence
is called a
monotone
N-chain of factorizations of a if
for all
(and
or
). We denote by
(or by
resp.) the smallest
such that any two factorizations
can be concatenated by an N-chain (or by a monotone N-chain resp.). Then
denote the catenary degree and the monotone catenary degree of H. By definition, we have
and H is factorial if and only if
If H is cancellative but not factorial, then, by [Citation21, Theorem 1.6.3],
(5.1)
(5.1)
whence
implies that H is half-factorial and that
Let
(5.2)
(5.2)
be a finitely primary monoid of rank
and exponent
Then, by [Citation21, Theorem 3.1.5], we have
(5.3)
(5.3)
(5.4)
(5.4)
A monoid homomorphism between monoids is said to be a transfer homomorphism if the following two properties are satisfied.
(T 1) and
(T 2) If
and
then there exist
such that u = vw,
and
A monoid H is said to be a transfer Krull monoid if it allows a transfer homomorphism θ to a Krull monoid B. Since the identity map is a transfer homomorphism, Krull monoids are transfer Krull, but transfer Krull monoids need neither be commutative (though here we restrict to the commutative setting), nor Mori, nor completely integrally closed. The arithmetic of Krull monoids is best understood (compared with various other classes of monoids and domains), and a transfer homomorphism allows to pull back arithmetical properties of the Krull monoid B to the original monoid H. We refer to the surveys [Citation18, Citation28] for examples and basic properties of transfer Krull monoids.
All Dedekind domains are transfer Krull and stable. However, there are orders in Dedekind domains that are transfer Krull but not stable (Remark 5.15) and there are orders that are stable but not transfer Krull (all orders in quadratic number fields are stable but not all of them are transfer Krull). Half-factorial monoids are trivial examples of transfer Krull monoids (if H is half-factorial, then defined by
for all
and
for all
is a transfer homomorphism). Thus a result (as given in Theorems 5.1 and 5.9), stating that monoids of a given type are transfer Krull if and only if they are half-factorial, means that their arithmetic is different from the arithmetic of Krull monoids and equal only in the trivial case. For recent work on the half-factoriality of transfer Krull monoids we refer to [Citation16].
We start with a result on the finiteness of the catenary degree of weakly Krull Mori domains.
Theorem 5.1.
Let R be a weakly Krull Mori domain.
For every
, and
if and only if
and
is local.
and
If
, then
is a Mori monoid and it is half-factorial if and only if it is transfer Krull.
Proof.
Since R is a weakly Krull Mori domain, we have t- by [Citation31, Theorem 24.5]. Thus all assumptions of Proposition 4.3 are satisfied.
Let
Since
is a one-dimensional local Mori domain, it is strongly primary and hence locally tame by [Citation26, Theorem 3.9]. Thus its catenary degree is finite by [Citation19, Theorem 4.1]. If
then
by [Citation26, Theorem 3.7]. Suppose that
Then
is finitely primary by [Citation21, Proposition 2.10.7], whence the claim on the elasticity follows from Equation(5.3)
(5.3)
(5.3) and Equation(5.4)
(5.4)
(5.4) .
Since the catenary degree of a coproduct equals the supremum of the individual catenary degrees [Citation21, Proposition 1.6.8], the assertion follows from Proposition 4.3.1.
Since
is a divisor-closed submonoid of
the inequality between their catenary degrees holds. If
then almost all
are discrete valuation domains whence their catenary degree is finite. Thus the claim follows from 2. and from Proposition 4.3.1.
See [Citation28, Proposition 7.3]. □
There are primary Mori monoids H with [Citation23, Proposition 3.7], in contrast to the domain case as given in Theorem 5.1.1.
Let H be a finitely primary monoid of rank such that there exist some exponent
of H and some system
of representatives of the prime elements of
with the following property: for all
and for all
with
we have
if and only if
Then H is said to be
strongly ring-like if
is finite and
has a smallest element with respect to the partial order.
The concept of strongly ring-like monoids was introduced by Hassler [Citation35], and the question which one-dimensional local domains are strongly ring-like was studied in [Citation25, Section 5].
A numerical monoid is a submonoid of with finite complement, whence numerical monoids are finitely primary of rank one. Conversely, if
is finitely primary of rank one, then its value monoid
is a numerical monoid.
Proposition 5.2.
Let R be a local stable Mori domain with . Then
is finitely primary of rank
and it is strongly ring-like. If s = 2, then
and if s = 1 and
, then the elasticity
is accepted with
Proof.
By Corollary 3.2.1, R is one-dimensional. By [Citation21, Proposition 2.10.7], one-dimensional local Mori domains with non-zero conductor are finitely primary of rank By Corollary 3.2.2,
is a Dedekind domain with at most two maximal ideals, whence
Since
every ideal of R is 2-generated by Proposition 3.5.4, whence R is noetherian. If
is the maximal ideal of R, then
and
whence
is strongly ring-like by [Citation25, Corollary 5.7]. If s = 2, then
by (5.4). Suppose that s = 1. Since
is strongly ring-like,
is finite and thus the elasticity is accepted and has the asserted value by [Citation27, Lemma 4.1]. □
Let R be a one-dimensional local Mori domain with If R is stable, then, by Proposition 5.2, we have
Example 5.5 shows that the converse does not hold in general. Example 5.4 and Proposition 5.7.1 show that also for stable domains the exponent of
can be arbitrarily large. We start with a lemma.
Lemma 5.3.
Let R be a Mori domain and a G-domain and let I be a divisorial stable ideal of R. Then for some
Proof.
Since every overring of a G-domain is a G-domain, is a G-domain. Since I is divisorial and R is a Mori domain, we have that
is a Mori domain. Therefore,
is finite by [Citation21, Theorem 2.7.9], and hence
is semilocal. Consequently,
for some
and thus
□
Example 5.4
(Stable orders in number fields). 1. Let be a quadratic number field, where
is squarefree, and let
Let where
is a prime number and
Since every ideal of R is 2-generated, R is a stable order in the Dedekind domain
Then
and
is a one-dimensional local stable domain with non-zero conductor. By Corollary 3.2,
is Mori, whence it is finitely primary of rank
Moreover, if
is the exponent of
then
and since
we obtain that
2. Let K be an algebraic number field, its ring of integers, and
an order. If the discriminant
is not divisible by the fourth power of a prime, then R is stable by a result of Greither [Citation30, Theorem 3.6]. In particular, if
is squarefree with
and
then
is not divisible by a fourth power of a prime (for more on R and
in the case of pure cubic fields, we refer to [Citation34, Theorem 3.1.9]).
Next we discuss the catenary degree of finitely primary monoids, which has received a lot of attention in the literature. Let be a finitely primary monoid of rank s and exponent α, with all notation as in Equation(5.2)
(5.2)
(5.2) . Then the catenary degree is bounded above by
in case s = 1 and by
otherwise. These bounds can be attained, but the catenary degree can also be much smaller. Indeed, as shown in Example 5.4.2, for every
there is an order R in a quadratic number field whose localization
at a maximal ideal
is finitely primary of exponent greater than or equal to the given n but the catenary degree
is bounded by 5 [Citation9, Theorem 1.1]. Let
be finitely primary of rank one, suppose that its value monoid
with
and
The catenary degree of numerical monoids has been studied a lot in recent literature (see [Citation17, Citation49–52], for a sample). By (5.1), we have
There are also results for
Indeed, by [Citation27, Lemma 4.1], we have
We continue with examples of numerical semigroup rings and numerical power series rings. Let K be a field and be a numerical monoid. Then
denote the numerical semigroup ring and the numerical power series ring. Since H is finitely generated,
is a one-dimensional noetherian domain with integral closure
The power series ring
is a one-dimensional local noetherian domain with integral closure
and its value monoid
is equal to H.
Example 5.5.
Let K be a field and be a numerical monoid distinct from
Then H is not half-factorial, whence Equation(5.1)
(5.1)
(5.1) implies that
If
then
whence
is not a quadratic extension and
is not stable by Corollary 3.2.2.
Let
with
and
By [Citation21, Special case 3.1, page 216], we have
Indeed, by [Citation53, Theorem 5.6], there is a transfer homomorphism
Let K be finite,
with
and
We set
and
Then, by [Citation21, Special Case 3.2, page 216], we have
and
where
is the monoid of zero-sum sequences over G. Since
by [Citation21, Theorem 6.4.2], the catenary degree of R grows with
Lemma 5.6.
Let R be an order in a Dedekind domain such that R is a maximal proper subring of . Then we have
Every maximal ideal of R is stable.
R is stable if and only if
is a simple R-module.
Proof.
1. Let Then
is an intermediate ring of R and
and hence
If
then
is clearly an invertible ideal of
since
is a Dedekind domain. Now let
Since
is divisorial, we have that
and thus
is v-invertible. Consequently,
is invertible.
2. First let R be stable. Then is a quadratic extension by Proposition 3.3.1. Let N be an R-submodule of
with
Then N is an intermediate ring of R and
Consequently,
and hence
is a simple R-module.
Conversely, let be a simple R-module. Obviously,
is a quadratic extension. Since
and
are isomorphic as R-modules, we have that
Let
If
then
is a discrete valuation domain, and hence there is precisely one maximal ideal of
lying over
Now let
and set
Assume that
Then there are some distinct
such that
Therefore,
and thus
On the other hand
a contradiction. Consequently,
and thus R is finitely stable by Proposition 3.3.1.. Since R is noetherian, we have that R is stable. □
In the next proposition, we study the catenary degree of finitely primary monoids stemming from one-dimensional local stable domains. We establish an upper bound for their catenary degree in case when is a maximal proper subring.
Let H be a finitely primary monoid of rank one. In general, the map
need not be a transfer homomorphism. (Example: If
with
for all
).
Let us consider the following example: let H be a reduced finitely primary monoid of rank one, say
Suppose that H is generated by the following k + 1 elements, where k is even:
where
is a minimal product-one sequence in the group
Then
is a minimal relation of atoms of H, whence
Proposition 5.7.
Let R be a local stable order in a Dedekind domain. Define
Suppose that
where
and
is local with maximal ideal
for all
, and
. Write
for some
. Then
, and
is a finitely primary monoid of rank at most two and exponent n.
If
is a maximal proper subring, then
Proof.
1. All domains are local with maximal ideals
such that
by [Citation44, Proposition 4.2] and also the Jacobson radical of Rn,
and for some k > 0,
by [Citation44, Corollary 4.4]. Therefore,
i.e.
and since
Also
and
Therefore,
and
is a finitely primary monoid of rank two and exponent n.
2. Let denote the maximal ideal of R. Since
by Proposition 3.3.1, we distinguish two cases.
First, suppose that is local with maximal ideal
Then by [Citation44, Proposition 4.2(i)],
which implies that
and hence
with
Thus
is finitely primary of rank one and exponent two, whence
by Equation(5.3)
(5.3)
(5.3) .
Second, suppose that Then 1. shows that
Thus
is finitely primary of rank two and exponent one, whence
by Equation(5.4)
(5.4)
(5.4) . □
For an atomic monoid H, we set
Then if and only if
for all
and
otherwise. If H is not half-factorial, then
(5.5)
(5.5)
The question of whether equality holds was studied a lot. Among others, equality holds for large classes of Krull domains [Citation20, Corollary 4.5], for numerical monoids H with but not for all finitely primary monoids.
Proposition 5.8.
Let R be a local domain with maximal ideal such that R is not a field and
, let
be such that
and let U = xR.
is a reduced atomic monoid, U is a cancellative atom of
and for every
there are
and
such that
2. and
Proof.
1. It follows from Lemma 4.1 that is an atomic monoid. Since R is not a field, we have that U is a non-zero proper ideal of R. If I and J are non-zero ideals of R such that UI = UJ, then xI = xJ, and hence I = J. Therefore, U is cancellative. Assume that U is not an atom of
Then there are some proper
such that U = AB. We infer that
Consequently, x = xu for some
and thus
a contradiction. This implies that U is an atom of
Now let I be a non-zero proper ideal of R. Then
and since
there is some
such that
and
We infer that
Set
Then
and there is some proper
such that
Assume that J is not an atom of
Then there are some non-zero proper ideals A and B of R with J = AB, and thus
Therefore,
a contradiction. It follows that
2. This follows from 1. and from [Citation9, Proposition 4.1]. □
Theorem 5.9.
Let R be a one-dimensional Mori domain such that for every is stable and
The following statements are equivalent.
is transfer Krull.
is transfer Krull.
is half-factorial.
is half-factorial.
If these conditions hold, then the map
defined by
is bijective.
2.
and
Proof.
1. Suppose that Condition (c) holds. By Proposition 4.3.2, is half-factorial if and only if
is half-factorial for every
Thus the map π is bijective by Theorem 5.1.1.
(a) (b)
is a divisor-closed submonoid, and divisor-closed submonoids of transfer Krull monoids are transfer Krull.
(b) (c) Since R is a one-dimensional Mori domain, we have that
and thus the assertion follows from Theorem 5.1.4.
(c) (d) Since R is a one-dimensional Mori domain, we have that R is of finite character. Furthermore, if
then
is a one-dimensional local Mori domain with non-zero conductor, and hence
is finitely primary. By Corollary 4.5 it remains to show that for every
is contained in a proper invertible ideal of R. Let
Since R is a Mori domain and
we infer that
i.e.
is a stable ideal of
Clearly,
is a divisorial ideal of
It follows from Lemma 5.3 that
for some
Observe that
Moreover,
is t-finitely generated and locally principal and
and thus
is a proper invertible ideal of R.
(d) (a) All half-factorial monoids are transfer Krull.
(d) (e) Let
By Proposition 4.3.2 we have that
is half-factorial. Note that
is a Mori domain and a G-domain. Since
is stable and R is a Mori domain, we have that
is a stable ideal of
Clearly,
is a divisorial ideal of
Therefore,
for some
by Lemma 5.3. Since
is a one-dimensional local Mori domain, it follows that
We infer by Proposition 5.8 and [Citation9, Proposition 4.1.4] that
Therefore,
by Theorem 5.1.
(e) (f) This is obvious, since
is a divisor-closed submonoid of
(f) (c) Since
is cancellative, this follows from (5.1).
2. If is a family of atomic monoids, then
Thus the claim follows from Propositions 4.3 and 5.8.2. □
Let R be as in Theorem 5.9. Clearly, we have but in general, we do not have equality.
By Theorem 3.7, stable domains with non-zero conductor, that are Mori or weakly Krull, are already orders in Dedekind domains. Thus our next result is formulated for stable orders in Dedekind domains. Its first part generalizes a result valid for orders in quadratic number fields [Citation9, Theorem 1.1]. Note, if R is a semilocal domain, then This means that every invertible ideal is principal, whence
If R is not semilocal, then the statements for
need not hold for R. If R is any order in an algebraic number field, then
[Citation21, Sections 3.4 and 3.7]. Moreover, R can be transfer Krull without being half-factorial [Citation24, Theorems 5.8 and 6.2].
Theorem 5.10.
Let R be a stable order in a Dedekind domain.
The following statements are equivalent.
is transfer Krull.
is transfer Krull.
is half-factorial.
is half-factorial.
.
has finite elasticity if and only if
is bijective. If this holds, then the elasticity is accepted.
Proof.
1. This is an immediate consequence of Theorem 5.9.
2. Since R is an order in a Dedekind domain, R is a weakly Krull Mori domain with non-zero conductor. By Proposition 5.2, the localizations are strongly ring-like of rank at most two. Thus
has finite monotone catenary degree by [Citation25, Theorem 5.13].
3. By [Citation21, Proposition 1.4.5] and by Proposition 4.3, we have
Thus the assertion follows from Proposition 5.2. □
In Remark 5.11 we briefly discuss further arithmetical properties, which follow from the ones given in Theorem 5.10. Then we work out, in a series of remarks, that none of the statements in Theorem 5.10 holds true in general without the stability assumption.
Remark 5.11
(Structure of sets of lengths and of their unions).
(Structure of sets of lengths) If R is an order in a Dedekind domain, then sets of lengths of
are well-structured. They are almost arithmetical multiprogressions with global bounds for all parameters [Citation21, Section 4.7]. This holds without the stability assumption.
(Structure of unions of sets of lengths) Let H be an atomic monoid. For every
Remark 5.12
(On catenary degrees). Example 5.5.2 offers examples of non-stable orders in Dedekind domains whose catenary degree is arbitrarily large. Furthermore, there are finitely primary monoids with arbitrarily large catenary degree (see the discussion after Lemma 5.6). Non-stable local orders in Dedekind domains may have infinite monotone catenary degree [Citation35, Examples 6.3 and 6.5].
Remark 5.13
(Seminormal orders). We compare the arithmetic of stable orders with the arithmetic of seminormal orders in Dedekind domains. Note that stable orders need not be seminormal (all orders in quadratic number fields are stable but not all are seminormal [Citation10]) and seminormal orders need not be stable (see the example given in Remark 5.15).
Let R be a seminormal order in a Dedekind domain and let be defined by
for all
If π is bijective, then
If π is not bijective, then
and
[Citation24, Theorem 5.8]. Furthermore,
is half-factorial if and only if π is bijective. For stable orders, only one implication is true (see Theorem 5.9).
Remark 5.14
(Half-factoriality of does not imply half-factoriality of
).
The Statements 1.(c) and 1.(d) of Theorem 5.10 need not be equivalent for divisorial orders in Dedekind domains. We construct a local divisorial order R in a Dedekind domain such that is half-factorial, and yet
is not half-factorial.
Let L be the field with 16 elements, let be the field with 2 elements, let
be such that
and let
Let X be an indeterminate over L and let
We assert that R is a local divisorial half-factorial Cohen-Kaplansky domain such that
is not half-factorial.
Proof.
By [Citation4, Example 6.7] we have that R is a half-factorial local Cohen-Kaplansky domain, is a K-basis of L and
Let
and let
Then
is the maximal ideal of R. Note that
and hence R is divisorial by [Citation38, Theorem 3.8]. By Proposition 4.2.2 it is sufficient to show that
and
Observe that
and
Therefore,
For every ideal E of R let
for some
and
for some
Note that S(E) is a K-subspace of V and T(E) is a K-subspace of L.
Claim: If A and B are proper ideals of R, then
Let A and B be proper ideals of R. First let Then
for some
Therefore,
for some
and
for every
Since
there are some
and
for every
such that
and
for every
Consequently,
and
for all
Moreover,
Since
this implies that
Now let Then
with
and
and
for every
There are some
for every
such that
and
for every
Therefore,
Since
we have that
This proves the claim.
Assume that Then there are proper ideals A and B of R such that I = AB. It follows by the claim that
Clearly,
If
then
a contradiction. Therefore,
or
Without restriction let
There are some non-zero
and some two-dimensional K-subspace W of S(A). We infer that
and
and thus
Clearly,
To obtain a contradiction it is sufficient to show that
Case 1: a = 1. Then
Case 2: a = y. Then
Case 3: Then
Case 4: Then
Case 5: Then
Case 6: Then
Case 7: Then
□
Remark 5.15
(Transfer Krull does not imply stability). If R is an order in a Dedekind domain with and
then
is transfer Krull by [Citation21, Proposition 3.7.5]. We provide an example showing that such an order need not be stable.
We construct a seminormal one-dimensional local noetherian domain R such that is local, and R has ideals which are not 2-generated. Thus, Corollary 3.8 implies that R is not stable.
Let be a field extension with
X be an indeterminate over L, and
Observe that
is a completely integrally closed one-dimensional noetherian domain. Let
be a K-basis of L. Then
and hence
is a finitely generated R-module. Since
is noetherian, it follows from the Theorem of Eakin-Nagata that R is noetherian, and hence
Since is one-dimensional local and
is an integral extension, we have that R itself is local and one-dimensional. Moreover,
and R is transfer Krull by [Citation24, Theorem 5.8].
Now if with
then
and hence
(since
is completely integrally closed), so
and
(whence x0 is the constant term of x), and thus if
then
and if
then
hence
Therefore, R is seminormal.
Note that and
It is clear that
Let
We have that
(where y0 is the constant term of y). If
then clearly
Now let
Then
and hence
Observe that
and
Therefore,
Assume to the contrary, that is 2-generated. Therefore, there exist
with
Let x1, y1 be the linear coefficients of x respectively y. Then
and hence
a contradiction.
Acknowledgment
We would like to thank the anonymous referee for many valuable suggestions and comments which improved the quality of this paper.
Additional information
Funding
References
- Anderson, D. D., Anderson, D. F., Zafrullah, M. (1992). Atomic domains in which almost all atoms are prime. Commun. Algebra 20(5):1447–1462. DOI: 10.1080/00927879208824413.
- Anderson, D. D., Huckaba, J. A., Papick, I. J. (1987). A note on stable domains. Houston J. Math. 13(1):13–17.
- Anderson, D. D., Mott, J., Zafrullah, M. (1992). Finite character representations for integral domains. Boll. Unione Mat. Ital. 6:613–630.
- Anderson, D. D., Mott, J. L. (1992). Cohen-Kaplansky domains: Integral domains with a finite number of irreducible elements. J. Algebra 148(1):17–41. DOI: 10.1016/0021-8693(92)90234-D.
- Baeth, N. R., Smertnig, D. Lattices over Bass rings and graph agglomerations. Algebr. Represent. Theory DOI: 10.1007/s10468-021-10040-2.
- Bass, H. (1963). On the ubiquity of Gorenstein rings. Math. Z. 82(1):8–28. DOI: 10.1007/BF01112819.
- Bazzoni, S. (2000). Divisorial domains. Forum Math. 12:397–419.
- Bazzoni, S., Salce, L. (1996). Warfield domains. J. Algebra 185(3):836–868. DOI: 10.1006/jabr.1996.0353.
- Brantner, J., Geroldinger, A., Reinhart, A. (2020). On monoids of ideals of orders in quadratic number fields. In: Facchini, A., Fontana, M., Geroldinger, A., Olberding, B. Advances in rings, modules, and factorizations, Vol. 321. Switzerland: Springer, pp. 11–54.
- Dobbs, D. E., Fontana, M. (1987). Seminormal rings generated by algebraic integers. Mathematika 34(2):141–154. DOI: 10.1112/S0025579300013395.
- Fan, Y., Geroldinger, A., Kainrath, F., Tringali, S. (2017). Arithmetic of commutative semigroups with a focus on semigroups of ideals and modules. J. Algebra Appl. 16(12):1750234–1750242. DOI: 10.1142/S0219498817502346.
- Gabelli, S. (2006). Generalized Dedekind domains. In: Brewer, J. W., Glaz, S., Heinzer, W., Olberding, B. Multiplicative Ideal Theory in Commutative Algebra. New York, NY: Springer, pp. 189–206.
- Gabelli, S. (2014). Ten problems on stability of domains. In: Fontana, M., Frisch, S., Glaz, S. Commutative Algebra. New York, NY: Springer, pp. 175–193.
- Gabelli, S., Roitman, M. (2019). On finitely stable domains, I. J. Commut. Algebra 11(1):49–67. DOI: 10.1216/JCA-2019-11-1-49.
- Gabelli, S., Roitman, M. (2020). On finitely stable domains II. J. Commut. Algebra 12:179–198.
- Gao, W., Liu, C., Tringali, S., Zhong, Q. (2021). On half-factoriality of transfer Krull monoids. Commun. Algebra 49(1):409–420. DOI: 10.1080/00927872.2020.1800720.
- García-Sánchez, P. A., O’Neill, C., Webb, G. (2019). The computation of factorization invariants for affine semigroups. J. Algebra Appl. 18(1):1950019–1950021. DOI: 10.1142/S0219498819500191.
- Geroldinger, A. (2016). Sets of lengths. Amer. Math. Monthly 123:960–988.
- Geroldinger, A., Gotti, F., Tringali, S. (2021). On strongly primary monoids, with a focus on Puiseux monoids. J. Algebra 567:310–345. DOI: 10.1016/j.jalgebra.2020.09.019.
- Geroldinger, A., Grynkiewicz, D. J., Schmid, W. A. (2011). The catenary degree of Krull monoids I. J. Théor. Nombres Bordeaux. 23(1):137–169. DOI: 10.5802/jtnb.754.
- Geroldinger, A., Halter-Koch, F. (2006). Non-Unique Factorizations. Algebraic, Combinatorial and Analytic Theory, Pure and Applied Mathematics. Vol. 278. Boca Raton, FL: Chapman & Hall/CRC Press.
- Geroldinger, A., Halter-Koch, F., Hassler, W., Kainrath, F. (2003). Finitary monoids. Semigroup Forum 67(1):1–21. DOI: 10.1007/s002330010141.
- Geroldinger, A., Hassler, W., Lettl, G. (2007). On the arithmetic of strongly primary monoids. Semigroup Forum 75(3):567–587. DOI: 10.1007/s00233-007-0721-y.
- Geroldinger, A., Kainrath, F., Reinhart, A. (2015). Arithmetic of seminormal weakly Krull monoids and domains. J. Algebra 444:201–245. DOI: 10.1016/j.jalgebra.2015.07.026.
- Geroldinger, A., Reinhart, A. (2019). The monotone catenary degree of monoids of ideals. Int. J. Algebra Comput. 29(3):419–457. DOI: 10.1142/S0218196719500097.
- Geroldinger, A., Roitman, M. (2020). On strongly primary monoids and domains. Commun. Algebra 48(9):4085–4099. DOI: 10.1080/00927872.2020.1755678.
- Geroldinger, A., Zhong, Q. (2018). Long sets of lengths with maximal elasticity. Can. J. Math. 70(6):1284–1318. DOI: 10.4153/CJM-2017-043-4.
- Geroldinger, A., Zhong, Q. (2020). Factorization theory in commutative monoids. Semigroup Forum 100:22–51.
- Goeters, H. P. (1998). Noetherian stable domains J. Algebra 202(1):343–356. DOI: 10.1006/jabr.1997.7305.
- Greither, C. (1982). On the two generator problem for the ideals of a one-dimensional ring. J. Pure Appl. Algebra 24(3):265–276. DOI: 10.1016/0022-4049(82)90044-5.
- Halter-Koch, F. (1998). Ideal Systems. An Introduction to Multiplicative Ideal Theory. New York, NY: Marcel Dekker.
- Halter-Koch, F. (2011). Multiplicative ideal theory in the context of commutative monoids. In: Fontana, M., Kabbaj, S.-E., Olberding, B., Swanson, I. Commutative Algebra: Noetherian and Non-Noetherian Perspectives. New York, NY: Springer, pp. 203–231.
- Halter-Koch, F. (2013). Quadratic Irrationals, Pure and Applied Mathematics. Vol. 306. Boca Raton, FL: Chapman & Hall/CRC Press.
- Halter-Koch, F. (2020). An Invitation to Algebraic Numbers and Algebraic Functions. Pure and Applied Mathematics. Boca Raton, FL: CRC Press.
- Hassler, W. (2009). Properties of factorizations with successive lengths in one-dimensional local domains. J. Commut. Algebra 1(2):237–268. DOI: 10.1216/JCA-2009-1-2-237.
- Lipman, J. (1971). Stable ideals and Arf rings. Amer. J. Math. 93(3):649–685. DOI: 10.2307/2373463.
- Loper, K. A. (2006). Almost Dedekind Domains Which Are Not Dedekind. In: Brewer, J. W., Glaz, S., Heinzer, W., Olberding, B. Multiplicative Ideal Theory in Commutative Algebra. Springer, pp. 279–292.
- Matlis, E. (1968). Reflexive domains. J. Algebra. 8(1):1–33. DOI: 10.1016/0021-8693(68)90031-8.
- Matlis, E. (1970). The two-generator problem for ideals. Michigan Math. J. 17:257–265.
- Olberding, B. (1998). Globalizing local properties of Prüfer domains. J. Algebra 205(2):480–504. DOI: 10.1006/jabr.1997.7406.
- Olberding, B. (2001). On the classification of stable domains. J. Algebra 243:177–197.
- Olberding, B. (2001a). Stability, duality, 2-generated ideals and a canonical decomposition of modules. Rend. Sem. Mat. Univ. Padova 106:261–290.
- Olberding, B. (2001b). Stability of ideals and its applications. In: Anderson, D. D., Papick, I. J., eds. Ideal Theoretic Methods in Commutative Algebra. Lecture Notes in Pure and Applied Mathematics (D.D. Anderson and I.J. Papick, eds.), Vol. 220. New York, NY: Marcel Dekker, pp. 319–341.
- Olberding, B. (2002). On the structure of stable domains. Commun. Algebra 30:877–895.
- Olberding, B. (2014). Finitely Stable Rings. Commutative Algebra. New York: Springer, pp. 269–291.
- Olberding, B. (2014). One-dimensional bad Noetherian domains. Trans. Amer. Math. Soc. 366(8):4067–4095.
- Olberding, B. (2016). One-dimensional stable rings. J. Algebra 456:93–122.
- Olberding, B., Reinhart, A. (2020). Radical factorization in finitary ideal systems. Commun. Algebra 48(1):228–253. DOI: 10.1080/00927872.2019.1640237.
- Omidali, M. (2012). The catenary and tame degree of numerical monoids generated by generalized arithmetic sequences. Forum Math. 24:627–640.
- O’Neill, C., Pelayo, R. (2017). Factorization invariants in numerical monoids. In: Harrington, H. A., Omar, M., Wright, M., eds. Algebraic and Geometric Methods in Discrete Mathematics, Contemporary Mathematics, Vol. 685. Providence, RI: American Mathematical Society, pp. 231–249.
- O’Neill, C., Pelayo, R. (2018). Realisable sets of catenary degrees of numerical monoids. Bull. Australian Math. Soc. 97:240–245.
- Philipp, A. (2015). A characterization of arithmetical invariants by the monoid of relations II: The monotone catenary degree and applications to semigroup rings. Semigroup Forum 90:220–250.
- Querré, J. (1976). Intersections d’anneaux intègres. J. Algebra 43(1):55–60.
- Sally, J. D., Vasconcelos, W. V. (1973). Stable rings and a problem of Bass. Bull. Amer. Math. Soc. 79(3):574–576. DOI: 10.1090/S0002-9904-1973-13209-4.
- Tringali, S. (2019). Structural properties of subadditive families with applications to factorization theory. Isr. J. Math. 234(1):1–35. DOI: 10.1007/s11856-019-1922-2.