Abstract
If D is a one-dimensional, Noetherian, local domain, it is well known that D is analytically irreducible if and only if D is unibranched and the integral closure D ′ of D is finitely generated as D-module. However, the proof of this result is split into pieces and spread over the literature. This paper collects the pieces and assembles them to a complete proof. Next to several results on integral extensions and completions of modules, we use Cohen’s structure theorem for complete, Noetherian, local domains to prove the main result. The purpose of this survey is to make this characterization of analytically irreducible domains more accessible.
Access provided by CONRICYT-eBooks. Download chapter PDF
Similar content being viewed by others
Keywords
MSC 2010
1 Introduction
Let (D, m) be a Noetherian, one-dimensional, local domain. It is well known that the question of whether \(\widehat{D}\) has zero-divisors or nilpotents is strongly connected to certain properties of the integral closure D ′ of D.
Definition 1.1
Let (D, m) be a Noetherian, local domain with integral closure D ′ and m-adic completion \(\widehat{D}\). We say D is
-
1.
unibranched, if D ′ is local,
-
2.
analytically unramified, if \(\widehat{D}\) is a reduced ring and
-
3.
analytically irreducible, if \(\widehat{D}\) is a domain.
The aim of this paper is to give a complete proof of the following well-known theorem.
Theorem 1
Let (D, m) be a one-dimensional, Noetherian, local domain with integral closure D ′ . Then the following assertions are equivalent:
-
1.
D is analytically irreducible.
-
2.
D is unibranched and analytically unramified.
-
3.
D is unibranched and D ′ is finitely generated as D-module.
-
4.
D is unibranched and if m ′ denotes the maximal ideal of the integral closure, then the m -adic topology on D coincides with subspace topology induced by m ′.
Assume that D is unibranched and let m ′ be the unique maximal ideal of the integral closure D ′. It follows from the Krull-Akizuki theorem that D ′ is a discrete valuation domain (see Corollary 2.5 below). In particular, D ′ is Noetherian and can be embedded into the m ′-adic completion \(\widehat{(D^{{\prime}})}\) of D ′. Moreover, the valuation on D ′ can be extended to a valuation on \(\widehat{(D^{{\prime}})}\) which implies that \(\widehat{(D^{{\prime}})}\) is a domain (see Example 3.1). Since the completion \(\overline{D}\) of D considered as a topological subspace of D ′ is the topological closure of D in \(\widehat{(D^{{\prime}})}\), it follows that \(\overline{D} \subseteq \widehat{ (D^{{\prime}})}\) is a domain too.
On the other hand, D can be embedded into the m-adic completion \(\widehat{D}\) of D. Figure 1 above demonstrates the relationship between D, D ′ and the completions with respect to the different topologies. As usual, the solid lines represent inclusions. However, the dotted arrow deserves some additional explanation. Since m n ⊆ m ′n ∩ D it follows that the m-adic topology is finer than the m ′-adic subspace topology on D. This further implies that the inclusion \(D\longrightarrow \overline{D}\) is a uniformly continuous homomorphism (where D is equipped with the m-adic topology). Since \(\overline{D}\) is complete, the inclusion can be uniquely extended to a uniformly continuous map \(\varphi:\widehat{ D}\longrightarrow \overline{D}\). Theorem 1 implies that D is analytically irreducible if and only if φ is an isomorphism. However, if \(\widehat{D}\) is not a domain φ is not even injective.
Theorem 1 is well known but its proof is split into pieces and has to be assembled from several sources. This survey collects known results from different references in order to present a complete proof. We follow the approach of Nagata’s textbook [7, (32.2)] for the implication (2) ⇒ (3). For the remaining implications, we pursue the suggestions of [3, Theorem III.5.2]. One can also refer to [8, Theorem 8] for the implication (4) ⇒ (1).
In order to make this survey more self-contained, we give a short introduction to integral ring extensions and completions in Sects. 2 and 3, respectively. Then, in Sect. 4 we discuss Cohen’s structure theorem which allows us to prove that the integral closure of a complete, Noetherian, local, reduced ring R is a finitely generated R-module in Sect. 5. Finally, we give a proof of Theorem 1 in Sect. 6. It is worth mentioning that Sects. 4 and 5 are only needed for the implication (2) ⇒ (3) whereas the remaining implications can be shown using the results in Sects. 2 and 3.
2 Integral Ring Extensions
In this section we recall some facts on integral ring extensions which we use throughout this paper.
Fact 2.1 (cf. [1, Proposition 5.1, Corollaries 5.3, 5.4])
Let R ⊆ S be a ring extension. We call s ∈ S integral over R if the following equivalent assertions are satisfied:
-
1.
There exists a monic polynomial f ∈ R[X] such that f(s) = 0.
-
2.
R[s] is finitely generated as R-module.
-
3.
There exists a ring T containing R[s] which is finitely generated as R-module.
Let R S ′ = {s ∈ S∣s integral over R} denote the set of elements of S which are integral over R. Then R ⊆ R S ′ is a ring extension.
We call R S ′ the integral closure of R in S and if R = R S ′ we say R is integrally closed in S. If S = R S ′ , we say R ⊆ S is an integral extension.
If R ⊆ T ⊆ S is an intermediate ring such that both R ⊆ T and T ⊆ S are integral extensions, then R ⊆ S is an integral extension. In particular, R S ′ = (R T ′) S ′ .
In case S is the total ring of quotients of R, we simplify and say R ′: = R S ′ is the integral closure of R and R is integrally closed if R = R ′ .
Fact 2.2 (Cohen-Seidenberg, cf. [1, Corollary 5.9, Theorem 5.11])
Let R ⊆ S be an integral extension. Then the following assertions hold:
-
1.
If Q 1 ⊆ Q 2 are prime ideals of S such that Q 1 ∩ R = Q 2 ∩ R, then Q 1 = Q 2 .
-
2.
If P 1 , \(P_{2} \in \mathop{\mathsf{spec}}\nolimits (R)\) with P 1 ⊆ P 2 and \(Q_{1} \in \mathop{\mathsf{spec}}\nolimits (S)\) with Q 1 ∩ R = P 1 , then there exists \(Q_{2} \in \mathop{\mathsf{spec}}\nolimits (S)\) such that Q 1 ⊆ Q 2 and Q 2 ∩ R = P 2 .
-
3.
\(\mathop{\mathsf{dim}}\nolimits (R) =\mathop{ \mathsf{dim}}\nolimits (S)\) and \(\mathop{\mathsf{max}}\nolimits (S) =\{ P \in \mathop{\mathsf{spec}}\nolimits (S)\mid P \cap R \in \mathop{\mathsf{max}}\nolimits (R)\}\) .
As a first result we prove the so-called Krull-Akizuki theorem which is central to the remainder of this paper.
Proposition 2.3 (Krull-Akizuki, cf. [6, Theorem 11.7], [4, Theorem 4.9.2])
Let D be a one-dimensional, Noetherian domain with quotient field K and L a finite field extension of K.
Then the integral closure D L ′ of D in L is a Dedekind domain. Moreover, if I is a nonzero ideal of D ′ , then D ′∕I is a finitely generated D-module.
Proof
We can reduce the proof to the case L = K with the following argument. Let b 1, …, b n form a K-basis of L. Without restriction we can assume that b i ∈ D L ′. Then the domain R = D[b 1, …, b n ] is finitely generated as D-module and therefore D ⊆ R is an integral extension according to Fact 2.1. Further, R is Noetherian and since L = K[b 1, …, b n ] is the quotient field of R it follows that R ′ = D L ′ is the integral closure of R. Moreover, if I is a nonzero ideal of R ′ and R ′∕I is finitely generated as R-module, then R ′∕I = D L ′∕I is a finitely generated D-module.
Hence from this point on we assume that L = K and D = R. Since \(1 =\mathop{ \mathsf{dim}}\nolimits (D) =\mathop{ \mathsf{dim}}\nolimits (D^{{\prime}})\) by Fact 2.2 and D ′ is integrally closed, we only need to prove that D ′ is Noetherian to conclude that D ′ is a Dedekind domain.
Let I be a nonzero ideal of D ′ and \(s = \frac{a} {t} \in I\) be a nonzero element. Then a = ts ∈ I ∩ D is a nonzero element which implies that D∕aD is a zero-dimensional, Noetherian ring and thus Artinian. Since I n = (a n D ′) ∩ D + aD for \(n \in \mathbb{N}\) form a descending chain of ideals of D∕aD, there exists an \(m \in \mathbb{N}\) such that I m = I n for all n ≥ m.
If a m D ′ ⊆ a m+1 D ′ + D, then
holds. This further implies that D ′∕aD ′ is a submodule of the Noetherian module D∕(D ∩ a m+1 D ′) and hence a finitely generated D-module. Hence D ′∕aD ′ is Noetherian and the submodule I∕aD ′ is finitely generated. Consequently I is a finitely generated ideal of D ′. In addition, D ′∕I ≃ (D ′∕aD ′)∕(I∕aD ′) is a quotient of the finitely generated D-module D ′∕aD ′ and therefore finitely generated.
It remains to prove that a m D ′ ⊆ a m+1 D ′ + D. We can localize at each maximal ideal of D and prove the inclusion locally. So assume that D is local with maximal ideal m.
If a ∉ m, then a is a unit in D and therefore a m D ′ = D ′ = a m+1 D ′ + D. Now assume a ∈ m and let \(x = \frac{b} {c} \in D^{{\prime}}\setminus D\) where b ∈ D and c ∈ m. The radical of the nonzero ideal cD is then m and therefore there exists n ≥ m with m n+1 ⊆ cD. It follows that
and hence a n x ∈ a n+1 D ′ + D. If n > m, then
and therefore a n−1 x ∈ a n D ′ + D. Repeating this argument completes the proof.
Corollary 2.4
Let D be a one-dimensional, Noetherian, local domain with quotient field K and L a finite field extension of K.
If m is a maximal ideal of D and m ′ a maximal ideal of the integral closure D L ′ of D in L with m ′∩ D = m , then the field extension D∕m ⊆ D L ′∕m ′ is finite.
Proof
It follows from Proposition 2.3, that D L ′∕m ′ is a finitely generated D-module. Therefore D L ′∕m ′ is finitely generated as D∕m-vector space as well.
Corollary 2.5
Let D be a one-dimensional, Noetherian, local domain.
If D is unibranched, then the integral closure D ′ is a discrete valuation domain.
Remark
If D is a local, one-dimensional, Noetherian domain with maximal ideal m, then Fact 2.2 implies that the maximal ideals of D ′ are the minimal primes of m D and therefore D ′ is always a semilocal Dedekind domain.
3 Completions
In this section we recall the necessary facts on topologies on rings and modules which are induced by ideals. Let R be a Noetherian ring, I an ideal of R and M an R-module. Then the submodules \((I^{n}M)_{n\in \mathbb{N}}\) form a filtration on M which induces a linear topology on M, that is, the sets m + I n M for m ∈ M and \(n \in \mathbb{N}\) form a basis of this topology. We call this the I-adic topology on M.
Addition, subtraction and scalar multiplication are continuous with respect to this topology. If M is a ring extension of R, then multiplication in M is continuous too.
Moreover, \(M\setminus m + I^{n}M =\bigcup _{y}y + I^{n}M\) where the union runs over all y ∈ M with m − y ∉ I n M and hence each m + I n M is both open and closed.
The completion \(\widehat{M}\) of M is the inverse limit of the inverse system M∕I n M together with the canonical projections M∕I n M ⟶ M∕I m M for n ≥ m, that is,
A sequence (x k ) k in M is an I-adic Cauchy sequence, if for each n there exists k n such that \(x_{k_{n}} - x_{k_{n}+m} \in I^{n}M\) for all \(m \in \mathbb{N}\). As usual, we say two Cauchy sequences (x k ) k , (y k ) k are equivalent if (x k − y k ) k converges to 0. In particular, (x k ) is equivalent to \((x_{k_{n}})_{n}\). Hence each equivalence class of Cauchy sequences in M contains the so-called coherent sequence (a n ) n which satisfies \(a_{n+1} \equiv a_{n}\pmod I^{n}M\) for all n. Thus \(\widehat{M}\) is isomorphic to the set of equivalence classes of Cauchy sequences.
If \(\overline{\mathbf{0}} =\bigcap _{n\in \mathbb{N}}I^{n}M = \mathbf{0}\), then M is I-adically separated and we can embed M into \(\widehat{M}\) via m ↦ (m) n . We say that M is complete if \(M \simeq \widehat{ M}\).
Example 3.1
Let V be a discrete valuation domain with maximal ideal (t) and valuation v. By \(\widehat{V }\) we denote the (t)-adic completion of V.
Moreover, let (a n ) n be a (t)-adic Cauchy sequence with limit \(a \in \widehat{ V }\). If a = 0, then for each \(k \in \mathbb{N}\) there exists \(n_{0} \in \mathbb{N}\) such that a n ∈ (t k) for all n ≥ n 0 and hence limv(a n ) = ∞.
If a ≠ 0, then there exist \(k,m_{0} \in \mathbb{N}\) such that a n ∉ (t k) for n ≥ m 0. However, the sequence (a n+1 − a n ) n converges to 0 and hence there exists \(m_{1} \in \mathbb{N}\) such that a n+1 − a n ∈ (t k) for all n ≥ m 1. If m = max{m 0, m 1}, then for all n ≥ m,
holds and the sequence (v(a n )) n stabilizes at v(a m ).
For \(a \in \widehat{ V }\), we set v(a) = limv(a n ) = v(a m ). This extends v to a discrete valuation on \(\widehat{V }\).
Next, we present some basic results on the completion of finitely generated modules over a Noetherian ring R.
Fact 3.2 (Artin-Rees, cf. [6, Theorem 8.5])
Let R be a Noetherian ring, I an ideal of R and M a finitely generated R-module.
If N is an R-submodule of M, then there exists an integer r such that for all k ≥ 0
Corollary 3.3 (cf. [6, Theorem 8.9, Theorem 8.10])
Let R be a Noetherian ring, I an ideal of R and M a finitely generated R-module.
-
1.
If \(N =\bigcap _{n\in \mathbb{N}}I^{n}M\), then there exists an a ∈ R with aN = 0 and 1 − a ∈ I.
-
2.
If \(I \subseteq \mathop{\mathsf{Jac}}\nolimits (R)\), then M is I-adically separated and every submodule of M is I-adically closed.
Proof
(1): According to Fact 3.2, there exists \(r \in \mathbb{N}\) such that (I r+1 M) ∩ N = I(I r M ∩ N) ⊆ IN and hence
Consequently, N = IN and it follows from Nakayama’s lemma that there exists an a ∈ R with 1 − a ∈ I and aN = 0. (2): Since \(I \subseteq \mathop{\mathsf{Jac}}\nolimits (R)\), the element a from (1) is a unit of R. Therefore \(\bigcap _{n\in \mathbb{N}}I^{n}M = \mathbf{0}\) and M is separated. Consequently, if P is a submodule of M, it follows that \(\bigcap _{n\in \mathbb{N}}I^{n}(M/P) = \mathbf{0} = PM/P\) and therefore \(\bigcap _{n\in \mathbb{N}}(P + I^{n}M) = P\).
Fact 3.4 (cf. [6, Theorem 8.7])
Let R be a Noetherian ring, I an ideal and M a finitely generated module. Further, let \(\widehat{R}\) , \(\widehat{M}\) be the I-adic completions of R and M, respectively.
Then \(\widehat{R} \otimes _{R}M \simeq \widehat{ M}\) via (limr n , m) ↦ limr n m. In particular, if R is I-adically complete, then M is I-adically complete.
Proposition 3.5 (cf. [6, Theorem 8.4])
Let R be a complete ring with respect to an ideal I of R and M an I-adically separated R-module.
If M∕IM is a finitely generated R∕I-module, then M is a finitely generated R-module.
Proof
Let m 1, …, m t ∈ M be elements such that their projections modulo IM generate M∕IM as R∕I-module. Then M = ∑ i = 1 t Rm i + IM and for x ∈ M, there exist r 0,i ∈ R, i 1 ∈ I and x 1 ∈ M such that x = ∑ i = 1 t r 0,i m i + i 1 x 1. Then again, for x 1 ∈ M, there exist r 1,i ∈ R, i 2 ∈ I and x 2 ∈ M such that x 1 = ∑ i = 1 t r 1,i m i + i 2 x 2. For j > 2, we successively choose r j−1, i ∈ R, i j ∈ I and x j ∈ M such that x j−1 = ∑ i = 1 t r j−1, i m i + i j x j . Then \(\left (\sum _{j=0}^{n}\left (\prod _{t=1}^{j}i_{t}\right )r_{j,i}\right )_{n\in \mathbb{N}}\) is a Cauchy sequence in R which has a limit r i ∈ R. Moreover,
and therefore M is generated by m 1, …, m t .
Zero-Divisors in the Completion of R
Let V be a discrete valuation domain with valuation v and \(\widehat{V }\) its completion. If \(a,b \in \widehat{ V }\) are nonzero elements, then v(a), v(b) < ∞ according to Example 3.1. Consequently, v(ab) = v(a) + v(b) < ∞ which implies that \(\widehat{V }\) is a domain.
However, in general the completion of a domain may not be a domain.
Proposition 3.6 (cf. [3, Lemma III.3.4])
Let R be a Noetherian domain and I an ideal of R.
If there exist ideals J 1 and J 2 of R such that I = J 1 ∩ J 2 and R = J 1 + J 2 , then the I-adic completion \(\widehat{R}\) of R is not a domain.
Proof
Since J 1 and J 2 are coprime it follows that J 1 k and J 2 k are coprime as well. Hence there exist b k , c k ∈ R such that
for all \(k \in \mathbb{N}\). Since \(b_{k+1} - b_{k} \equiv c_{k+1} - c_{k} \equiv 0\bmod J_{1}^{k} \cap J_{2}^{k} = J_{1}^{k}J_{2}^{k} = I^{k}\), the sequences (b k ) k and (c k ) k converge I-adically. Let \(b =\lim b_{k} \in \widehat{ R}\) and \(c =\lim c_{k} \in \widehat{ R}\) their I-adic limits. By construction, b ≠ 0 and c ≠ 0. However, since \(b_{k}c_{k} \equiv 0\bmod J_{1}^{k} \cap J_{2}^{k} = I^{k}\) for all k, it follows that bc = 0. Hence b and c are nonzero zero-divisors.
It follows from Proposition 3.6 that the completion of a domain may contain zero-divisors (see also Proposition 3.8). However, constant sequences behave well as the next lemma states.
Lemma 3.7
Let R be a Noetherian ring, I a proper ideal of R and \(\widehat{R}\) the I-adic completion of R. If d ∈ R is not a zero-divisor in R, then d is not a zero-divisor in \(\widehat{R}\) .
Proof
By Fact 3.2, there exists \(r \in \mathbb{N}\) such that for all \(n \in \mathbb{N}\)
Let \(x =\lim _{n}x_{n} \in \widehat{ R}\) such that dx = 0. Then (dx n ) n is an I-adic Cauchy sequence with limit 0. Hence for each \(n \in \mathbb{N}\) there exists \(t_{0} \in \mathbb{N}\) such that dx t ∈ I n+r for all t ≥ t 0. Then dx t ∈ dI n by Equation (1) and therefore x t ∈ I n which implies 0 = lim n x n = x.
Proposition 3.8
Let (D, m) be a Noetherian, local domain with quotient field K and D ⊂ R ⊂ K be an intermediate ring such that R is finitely generated as D-module.
Then the following assertions hold:
-
1.
R is semilocal,
-
2.
the m -adic topology on D coincides with subspace topology induced by the \(\mathop{\mathsf{Jac}}\nolimits (R)\) -adic topology on R.
-
3.
If R is not local, then the m -adic completion \(\widehat{D}\) of D is not a domain.
Proof
R is finitely generated as module over the Noetherian domain D and hence a Noetherian domain. Moreover, the ring extension D ⊆ R is integral by Fact 2.1. Therefore, according to Fact 2.2, all prime ideals of R which lie over m are maximal and thus minimal prime ideals of m R. Hence there are only finitely many maximal ideals N 1, …, N n in R which proves (1).
(2): Since \(\sqrt{\mathbf{m} R} =\bigcap _{ i=1}^{n}N_{i} =\mathop{ \mathsf{Jac}}\nolimits (R)\), there exists \(\ell\in \mathbb{N}\) such that \(\mathop{\mathsf{Jac}}\nolimits (R)^{\ell} \subseteq \mathbf{m}R\). Then
and hence the \(\mathop{\mathsf{Jac}}\nolimits (R)\)-adic and the m R-adic topology coincide on R. Thus it suffices to prove that the m-adic topology on D coincides with subspace topology induced by the m R-adic topology on R. Clearly, m k ⊆ m k R ∩ D holds for all k. On the other hand, Fact 3.2 implies that there exists an integer r such that
for all k ≥ 0 and hence the topologies coincide.
(3): Let M 1, …, M n be the maximal ideals of R with n > 1. We set J 1 = M 1⋯M n−1 = M 1 ∩⋯ ∩ M n−1 and J 2 = M n . Then \(J_{1} \cap J_{2} =\mathop{ \mathsf{Jac}}\nolimits (R)\) and J 1 + J 2 = R. By Proposition 3.6, the \(\mathop{\mathsf{Jac}}\nolimits (R)\)-adic completion \(\widehat{R}\) of R is not a domain.
By (2), \(\widehat{D}\) is a topological subspace of \(\widehat{R}\). Since \(\widehat{R}\) is not a domain, there exist nonzero \(b,c \in \widehat{ R}\) with bc = 0. However, R is a finitely generated D-module and therefore there exists a nonzero element d ∈ D with \(d\widehat{R} \subseteq \widehat{ D}\). Hence (db)(dc) = 0 with \(db,dc \in \widehat{ D}\). By Lemma 3.7, d is not a zero-divisor in \(\widehat{D}\) and therefore db ≠ 0 is a zero-divisor in \(\widehat{D}\).
4 Structure Theorem for One-Dimensional Complete Local Domains
In this section we discuss the structure theorem for complete, Noetherian, local domains. We restrict our study to the one-dimensional case, since this is what we need later on. Nevertheless, it is worth mentioning that the results can be extended to higher dimensions but the proofs become more technical.
As Proposition 4.3 states, a complete, Noetherian, one-dimensional local domain (D, m) contains a subring S such that D is finitely generated as S-module. Moreover, S is a certain complete discrete valuation domain whose residue field is isomorphic to D∕m. This result allows us in the next section to reduce the investigation to domains of this form.
Definition 4.1
Let (D, m) be a complete, Noetherian, local domain. We say
-
1.
D is of equal characteristic, if \(\mathop{\mathsf{char}}\nolimits (D) =\mathop{ \mathsf{char}}\nolimits (D/\mathbf{m})\) and
-
2.
D is of unequal characteristic, if \(\mathop{\mathsf{char}}\nolimits (D)\neq \mathop{\mathsf{char}}\nolimits (D/\mathbf{m})\).
If \(\mathop{\mathsf{char}}\nolimits (D/\mathbf{m}) = 0\), it follows that \(\mathop{\mathsf{char}}\nolimits (D) = 0\) and therefore \(\mathbb{Z} \subseteq D\). However, \(\mathbb{Z} \cap \mathbf{m} = \mathbf{0}\) which implies that every integer is invertible in D and thus \(\mathbb{Q} \subseteq D\). Similarly, if \(\mathop{\mathsf{char}}\nolimits (D) = p > 0\), then \(\mathop{\mathsf{char}}\nolimits (D/\mathbf{m}) = p\) and \(\mathbb{Z}/p\mathbb{Z}\) is contained in D. Hence, a domain of equal characteristic contains a field. On the other hand, if D contains a field k, then \(\mathop{\mathsf{char}}\nolimits (k) =\mathop{ \mathsf{char}}\nolimits (D)\). Let π: D ⟶ D∕m denote the canonical projection. Then π(k) is a subfield of D∕m and since \(\mathop{\mathsf{char}}\nolimits (\pi (k)) =\mathop{ \mathsf{char}}\nolimits (k)\) it follows that D is of equal characteristic. Indeed, it is possible to show that a domain D of equal characteristic contains a field k with π(k) = D∕m, cf. Fact 4.2.
If D is a domain of unequal characteristic, then \(\mathop{\mathsf{char}}\nolimits (D) = 0\) and \(\mathop{\mathsf{char}}\nolimits (D/\mathbf{m}) = p > 0\). In this case it is possible to show that D contains a complete discrete valuation domain (R, pR) such that the residue fields of R and D are isomorphic. We summarize these results in Fact 4.2. However, the proof goes beyond the scope of this paper. We refer to Matsumura’s textbook [6] for details.
Fact 4.2 (cf. [6, Theorem 28.3, Theorem 29.3])
Let (D, m) be a complete, Noetherian, local domain.
-
1.
If D is of equal characteristic, then D contains a field k which is isomorphic to D∕m via d ↦ d + m . We say k is a coefficient field of D.
-
2.
If D is of unequal characteristic and \(\mathop{\mathsf{char}}\nolimits (D/\mathbf{m}) = p\) , then D contains a complete discrete valuation domain (R, pR) such that R∕pR is isomorphic to D∕m via r + pR ↦ r + m . We say R is a coefficient ring of D.
The existence of a coefficient field or coefficient ring, respectively, is crucial for the proof of the structure theorem which we state in the next proposition.
Proposition 4.3 (cf. [6, Theorem 29.4.(iii)])
Let (D, m) be a complete, Noetherian, one-dimensional, local domain.
Then D contains a complete discrete valuation domain S such that D is finitely generated over S and
-
1.
in equal characteristic \(S \simeq k[\![X]\!]\) where k is a coefficient field of D.
-
2.
in unequal characteristic S is a coefficient ring of D.
Proof
Let m be the maximal ideal of D. First, we consider the case where D is of unequal characteristic and let \(p =\mathop{ \mathsf{char}}\nolimits (D/\mathbf{m}) > 0\). According to Fact 4.2, D contains a coefficient ring S which is a complete discrete valuation domain with maximal ideal pS such that S∕pS ≃ D∕m via π.
Further, D∕pD is a zero-dimensional, Noetherian ring and hence Artinian. Therefore D∕pD has finite length as (D∕pD)-module and hence as D-module. However, this is equivalent to the existence of a composition series \(0 = N_{0} \subsetneq N_{1} \subsetneq \cdots \subsetneq N_{r} = D/pD\) of the D-module D∕pD. Since N i+1∕N i is simple for all 0 ≤ i ≤ r − 1 it follows that N i+1∕N i ≃ D∕m ≃ S∕pS which implies that (N i ) i = 0 r is a composition series of D∕pD as S-module. Thus D∕pD has finite length as S-module and is therefore a finite dimensional (S∕pS)-vector space. Further, D is p-adically separated since D is Noetherian and we can conclude that D is a finitely generated S-module by Proposition 3.5.
If D is of equal characteristic, then D contains a coefficient field k which is a subfield of D such that k ≃ D∕m via π according to Fact 4.2.
Let \(T = k[\![X]\!]\) be the power series ring in the variable X and let y ∈ D be a nonzero non-unit. We define the k-homomorphism φ: T ⟶ D by φ(X) = y and set \(S = k[\![y]\!]\) to be the image of T under φ.
With the same argument as above we can conclude that D∕yD is a finitely generated (S∕yS)-module. Moreover, S is complete and D is separated with respect to the ideal yS. Hence D is finitely generated as S-module by Proposition 3.5. Furthermore, this implies dim(S) = dim(D) = 1 by Fact 2.2. However, since \(S \simeq k[\![X]\!]/\ker (\varphi )\) and \(\dim (k[\![X]\!]) = 1\) it follows that ker(φ) = 0 and \(S \simeq k[\![X]\!]\).
Remark
The domain S is the so-called regular local ring, that is, a local, Noetherian domain S such that its maximal ideal is generated by \(\mathop{\mathsf{dim}}\nolimits (S)\) elements. Proposition 4.3 is a special case of Cohen’s structure theorem which states that every complete Noetherian local domain D contains a regular local subring S such that D is finitely generated as S-module. Moreover, \(S = R[\![X_{1},\ldots,X_{n}]\!]\) is a power series ring where in equal characteristic R is a coefficient field and \(n =\mathop{ \mathsf{dim}}\nolimits (D)\) and in unequal characteristic R is a coefficient ring and \(n =\mathop{ \mathsf{dim}}\nolimits (D) - 1\). For details, we refer Matsumura’s textbook [6, §28, §29].
5 Finiteness of the Integral Closure
Let D be a complete, one-dimensional, Noetherian, local domain with quotient field K and let K ⊆ L be a finite field extension. The goal of this section is to prove that the integral closure D L ′ of D in L is finitely generated as D-module (see Proposition 5.3). This allows us to conclude in Corollary 5.4 that the integral closure R ′ of a complete, one-dimensional, Noetherian, local, reduced ring R is finitely generated as R-module. The latter result is essential in the proof of Theorem 1 in the next section.
Following Nagata’s textbook [7], we exploit the structure of complete, Noetherian, local domains. According to Proposition 4.3, D contains a subring S such that D is finitely generated as S-module (see Figure 2). If F is the quotient field of S, then the extension F ⊆ L is finite. Moreover, by Fact 2.1, the extension S ⊆ D is integral and hence D L ′ = S L ′ is the integral closure of S in L.
If we show that S L ′ is finitely generated as S-module, then it follows that D L ′ is a finitely generated D-module. Therefore, Proposition 4.3 allows us to reduce the investigation to the case where S is a certain complete discrete valuation domain.
To prove that the integral closure of S in L is finitely generated, we distinguish between two cases, either the field extension F ⊂ L is separable or it is inseparable.
Proposition 5.1 (cf. [2, Ch. V, 1.6, Corollary 1 of Proposition 18])
Let S be an integrally closed, Noetherian domain with quotient field F and F ⊆ L a finite field extension.
If F ⊆ L is separable, then the integral closure S L ′ of S in L is finitely generated as S-module.
Proof
Let w 1, …, w n ∈ L be a K-basis of L. Without restriction we can assume that w j ∈ S L ′ for 1 ≤ j ≤ n. Further, let L ⋆ = Hom K (L, K) be the dual space of L and w i ′ ∈ L ⋆ be the K-basis of L ⋆ which is defined by w i ′(w j ) = δ ij (Kronecker-delta) for 1 ≤ i, j ≤ n.
Since L is a finite separable extension of K, L is isomorphic to its dual space L ⋆ via the K-linear map
where \(\mathop{\mathsf{tr}}\nolimits _{L/K}: L\longrightarrow K\) is the field trace with respect to the extension K ⊆ L (cf. [5, Theorem 5.2]).
For 1 ≤ i ≤ n, set w i ⋆ = T −1(w i ′). Then w 1 ⋆, …, w n ⋆ form a K-basis of L and \(\mathop{\mathsf{tr}}\nolimits _{L/K}(w_{i}^{\star }w_{j}) =\delta _{ij}\) holds for all 1 ≤ i, j ≤ n. Hence, for a ∈ S L ′ there exist a i ∈ K such that a = ∑ i = 1 n a i w i ⋆. Moreover,
holds for 1 ≤ j ≤ n.
If g j ∈ K[X] is the minimal polynomial of aw j and z 1, …, z m are all roots of g j in some field extension \(\tilde{L}\) of K, then \(\mathop{\mathsf{tr}}\nolimits _{L/K}(aw_{j}) =\sum _{ i=1}^{m}z_{i} \in K\) holds (cf. [5, p. 284]). Moreover, since aw j is integral over S it follows that g j ∈ S[X] and z 1, …, \(z_{m} \in S_{\tilde{L}}^{{\prime}}\) are integral over S as well. Therefore
where the last equality holds since S is integrally closed. It follows that S L ′ is an S-submodule of the Noetherian module ∑ i = 1 n Sw i ⋆ and therefore finitely generated.
Proposition 5.2 (cf. [6, p. 263])
Let \(S = k[\![X]\!]\) be a power series ring over a field k with quotient field F and L a finite purely inseparable field extension of F.
Then the integral closure S L ′ of S in L is finitely generated as S-module.
Proof
Let p > 0 be the characteristic of the field F and q = p e = [L: F] < ∞ be the degree of the field extension F ⊆ L. Since the extension is purely inseparable, every element a ∈ L is a q-th root of an element in F.
Let \(\overline{F}\) be an algebraically closed extension of F that contains L. Then \(\overline{F}\) contains an element Y such that X = Y q and \(\tilde{L} = L(Y )\) is a finite, purely inseparable field extension of K. Moreover, S L ′ is an S-submodule of \(S_{\tilde{L}}^{{\prime}}\) and it therefore suffices to show that \(S_{\tilde{L}}^{{\prime}}\) is a finitely generated S-module. This allows us to assume that \(L =\tilde{ L}\) and Y ∈ L from this point on.
If a ∈ S L ′ is an integral element, then a q ∈ S L ′∩ F. However, S is a discrete valuation domain, so it is integrally closed and therefore S L ′ = {a ∈ L∣a q ∈ S}.
If M is a maximal ideal of S L ′, then M ∩ S = XS by Fact 2.2. Hence M = {a ∈ L∣a q ∈ XS} which implies that M = Y S L ′ is the unique maximal ideal of S L ′. In addition, it follows from Corollary 2.4 that the field extension k ≃ S∕XS ⊆ S L ′∕Y S L ′ is finite. Further, Corollary 3.3 implies that S L ′ is X-adically separated. Finally, S is X-adically complete and we can conclude that S L ′ is a finitely generated S-module by Proposition 3.5.
Proposition 5.3
Let D be a complete, local, one-dimensional, Noetherian domain with quotient field K and K ⊆ L a finite field extension.
Then the integral closure D L ′ of D in L is finitely generated as D-module.
Proof
According to Proposition 4.3, D contains a complete discrete valuation domain S such that D is a finitely generated S-module. Let F denote the quotient field of S. Hence F ⊆ L is a finite field extension, S ⊆ D is integral and S L ′ = D L ′ (see Fact 2.1), cf. Figure 2. Therefore, it suffices to show that S L ′ is a finitely generated S-module. Moreover, S is a complete, discrete valuation domain and in the equicharacteristic case \(S \simeq k[\![X]\!]\) where k is a field by Proposition 4.3 and dim(S) = 1.
In particular, S is integrally closed. Consequently, if the field extension F ⊆ L is separable, then the assertion follows from Proposition 5.1.
Let us assume that F ⊆ L is inseparable. Then \(\mathop{\mathsf{char}}\nolimits (F) = p > 0\) and hence \(\mathop{\mathsf{char}}\nolimits (S) =\mathop{ \mathsf{char}}\nolimits (D) = p\) which implies that D is of equal characteristic. Therefore \(S \simeq k[\![X]\!]\) where k is a field and k ≃ D∕m.
Let N be the normal hull of L and E be the fixed field of the automorphism group \(\mathop{\mathsf{Aut}}\nolimits _{F}(N)\) of F ⊆ N. Then F ⊆ E is a purely inseparable extension and E ⊆ N is a separable extension, cf. [5, Proposition V.6.11], see Figure 3.
Moreover, since F ⊆ L is a finite extension, it follows that F ⊆ N is finite which in turn implies that F ⊆ E is a finite extension too.
Hence E ⊆ LE is a finite separable extension and it follows from Proposition 5.1 that S LE ′ = (S E ′) LE ′ is finitely generated as S E ′-module. In addition, S E ′ is finitely generated as S-module according to Proposition 5.2.
Consequently, S LE ′ is finitely generated as S-module and therefore a Noetherian S-module. However, S L ′ is an S-submodule of S LE ′ and thus finitely generated.
We conclude this section with the analogous assertion for complete, Noetherian, local, reduced rings.
Corollary 5.4
Let R be a complete, Noetherian, one-dimensional, local ring.
If R is reduced, then the integral closure R ′ of R is finitely generated as R-module.
Proof
Let P 1, …, P n be the minimal prime ideals of R. For 1 ≤ i ≤ n, let Q i be the quotient field of the Noetherian, one-dimensional, local domain R∕P i . Then Q = Q 1 ×⋯ × Q n is the total ring of quotients of R∕P 1 ×⋯ × R∕P n . Moreover,
The Noetherian, local domain R∕P i is a finitely generated R-module and hence m-adically complete by Fact 3.4. As the m-adic topology coincides with the m∕P i -adic topology on R∕P i , it follows that \((R/P_{i})_{Q_{i}}^{{\prime}}\) is a finitely generated (R∕P i )-module according to Proposition 5.3. Together with Equation (2), it now follows that (∏ i = 1 n R∕P i ) Q ′ is a finitely generated \(\left (\prod _{i=1}^{n}R/P_{i}\right )\)-module.
Since ∏ i = 1 n R∕P i is a finitely generated R-module, it follows that (∏ i = 1 n R∕P i ) Q ′ is finitely generated as R-module too and therefore Noetherian. Let
Then \(\ker (\varepsilon ) =\bigcap _{ i=1}^{n}P_{i} =\mathop{ \mathsf{nil}}\nolimits (R) = \mathbf{0}\) since R is reduced by hypothesis. Hence we can embed R into ∏ i = 1 n R∕P i via ɛ. Similarly, we can embed R ′ into (∏ i = 1 n R∕P i ) Q ′ since ɛ can be canonically extended to the total ring of quotients T of R, see Figure 4.
Thus R ′ is isomorphic to a submodule of the Noetherian R-module (∏ i = 1 n R∕P i ) Q ′ and hence finitely generated.
6 Proof of the Theorem
Finally, we are ready to give a proof of Theorem 1. For the reader’s convenience we restate it here. Recall that a Noetherian, local domain (D, m) with m-adic completion \(\widehat{D}\) and integral closure D ′ is called
-
unibranched, if D ′ is local,
-
analytically unramified, if \(\widehat{D}\) is a reduced ring and
-
analytically irreducible, if \(\widehat{D}\) is a domain
(cf. Definition 1.1).
Theorem 1
Let (D, m) be a one-dimensional, Noetherian, local domain with integral closure D ′ . Then the following assertions are equivalent:
-
1.
D is analytically irreducible.
-
2.
D is unibranched and analytically unramified.
-
3.
D is unibranched and D ′ is finitely generated as D-module.
-
4.
D is unibranched and if m ′ denotes the maximal ideal of the integral closure, then the m -adic topology on D coincides with subspace topology induced by m ′.
Proof
(1) ⇒ (2): By assumption, \(\widehat{D}\) is a domain and therefore is a reduced ring.
Assume that D is not unibranched and let M 1 ≠ M 2 be two different maximal ideals of the integral closure D ′ of D. Let a 1 ∈ M 1 ∖M 2 and a 2 ∈ M 2 ∖M 1. Then R = D[a 1, a 2] ⊆ D ′ is an integral extension of D and therefore finitely generated as D-module by Fact 2.1. Hence, according to Proposition 3.8, R is a semilocal domain. However, the extension R ⊆ D ′ is integral and therefore N i = M i ∩ R are maximal ideals of R for i = 1, 2 according to Fact 2.2. Due to the choice of a 1 and a 2, N 1 ≠ N 2 and R is semilocal but not local. It follows from Proposition 3.8 that \(\widehat{D}\) is not a domain.
(2) ⇒ (3): If D ′ is not finitely generated as D-module, then there exists an infinite strictly ascending chain of intermediate rings D ⊆ D i ⊆ D ′ which are finitely generated as D-modules.
Let K be the quotient field of D and D i for all i and \(\widehat{D_{i}}\) denote the m-adic completion of D i . If \(\frac{a} {b} \in \widehat{ D_{i}} \cap K\), then \(a \in b\widehat{D_{i}} \cap K\). However, by Corollary 3.3, \(b\widehat{D_{i}} \cap K = bD_{i}\) and hence \(\frac{a} {b} \in D_{i}\). Hence \(\widehat{D_{i}} \cap K = D_{i} \subsetneq D_{i+1} =\widehat{ D_{i+1}} \cap K\) which implies that \(\widehat{D_{i}} \subsetneq \widehat{ D_{i+1}}\) for all i.
Moreover, according to Fact 3.4, \(\widehat{D_{i}} \simeq D_{i} \otimes _{D}\widehat{D}\) is a finitely generated \(\widehat{D}\)-module. Hence \(\widehat{D_{i}}\) is contained in the integral closure \((\widehat{D})^{{\prime}}\) of \(\widehat{D}\) in its total ring of quotients. Consequently, the extension \(\widehat{D} \subseteq (\widehat{D})^{{\prime}}\) contains the infinite strictly ascending chain of intermediate rings \(\widehat{D_{i}}\). Thus \((\widehat{D})^{{\prime}}\) is not finitely generated as \(\widehat{D}\)-module which implies that \(\widehat{D}\) is not reduced by Corollary 5.4.
(3) ⇒ (4): The assertion immediately follows from Proposition 3.8.
(4) ⇒ (1): Let \(\widehat{(D^{{\prime}})}\) be the m ′-adic completion of D ′. Since the m ′-adic topology induces the m-adic topology on D, it follows that D is a topological subspace of \(\widehat{(D^{{\prime}})}\) and \(\widehat{D}\) is the topological closure of D in \(\widehat{(D^{{\prime}})}\).
By assumption D ′ is local, so D ′ is a discrete valuation domain according to Corollary 2.5. As shown in Example 3.1, the m ′-adic completion \(\widehat{(D^{{\prime}})}\) of D ′ is also a discrete valuation domain.
Hence \(\widehat{D}\) is a subring of the domain \(\widehat{(D^{{\prime}})}\) and thus it is a domain itself.
Remark
There are examples of one-dimensional, Noetherian, local domains which are unibranched but not analytically irreducible, cf. [9].
References
Atiyah, M.F., Macdonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley, Reading, MA (1969)
Bourbaki, N.: Commutative Algebra, Chapters 1–7. Springer, Berlin (1989)
Cahen, P.-J., Chabert, J.-L.: Integer-Valued Polynomials. Mathematical Surveys and Monographs, vol. 48. American Mathematical Society, Providence (1997)
Huneke, C., Swanson, I.: Integral Closure of Ideals, Rings, and Modules. London Mathematical Society Lecture Note Series, vol. 336. Cambridge University Press, Cambridge (2006)
Lang, S.: Algebra. Graduate Texts in Mathematics, vol. 211. Springer, New York (2002)
Matsumura, H.: Commutative Ring Theory. Cambridge University Press, Cambridge (1986)
Nagata, M.: Local Rings. Interscience Tracts in Pure and Applied Mathematics, vol. 13. Wiley, New York (1962)
Northcott, D.G.: A general theory of one-dimensional local rings. Proc. Glasgow Math. Assoc. 2, 159–169 (1956)
Olberding, B.: One-dimensional bad Noetherian domains. Trans. Am. Math. Soc. 366(8), 4067–4095 (2014)
Acknowledgements
R. Rissner is supported by the Austrian Science Fund (FWF): P 27816-N26.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Rissner, R. (2017). A Note on Analytically Irreducible Domains. In: Fontana, M., Frisch, S., Glaz, S., Tartarone, F., Zanardo, P. (eds) Rings, Polynomials, and Modules. Springer, Cham. https://doi.org/10.1007/978-3-319-65874-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-65874-2_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-65872-8
Online ISBN: 978-3-319-65874-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)