4
$\begingroup$

This feels like something I should know but I can't find an answer in Liu or in Atiyah-MacDonald, or a counter-example.

To state the question again: let $A$ be an integral Noetherien ring of Krull dimension one and $K$ its field of fractions. Let $B$ be the set of elements of $K$ that are integral over $A$ i.e. $B$ is the normalisation of $A$ in $K$.

Is the morphism $A \to B$ finite?

Note that this is true if $A$ is excellent (or even just Nagata), and its rather difficult to construct examples of non-excellent rings.

Improve this question
$\endgroup$
3
  • $\begingroup$ Isn't this a consequence of the Krull-Akizuki theorem? $\endgroup$
    – Parsa
    Commented Dec 16, 2011 at 16:24
  • $\begingroup$ A note: when $A$ is local, if $A\rightarrow B$ is a finite morphism, where $B$ is the integral closure of $A$ in $K$, then $B$ is a semi-local Dedekind domain, and hence it's a PID. $\endgroup$
    – Mahdi Majidi-Zolbanin
    Commented Dec 16, 2011 at 16:30
  • $\begingroup$ @Parsa, the Krull-Akizuki theorem tells you that $B$ is Noetherian, which is weaker than being finite over $A$. $\endgroup$
    – Dustin Cartwright
    Commented Dec 16, 2011 at 18:54

2 Answers 2

Reset to default
4
$\begingroup$

For a brief history of this question you can look at Matsumura's Commutative Ring Theory, page 264. In Ein Satz über primäre Integritätsbereiche, Math. Ann. vol. 103 (1930), p.p. 450-465 Krull proved that the integral closure of a one-dimensional Noetherian local domain $A$ is finite over $A$ if and only if the completion of $A$ is reduced. Akizuki constructed the first example of a one-dimensional Noetherian local integral domain with non-reduced completion in 1935. For another counterexample you can see Akizuki's counterexample

Improve this answer
$\endgroup$
7
$\begingroup$

Let $R$ be any non-excellent DVR with field of fractions $K$, let $L/K$ be a finite extension such that the normalization $B$ of $R$ in $L$ is not finite over $R$. We have $L=K[a_1,...,a_n]$ for some $a_i\in B$. Consider $A=R[a_1,...,a_n]\subseteq B$. Then $B$ in the integral closure of $A$, but is not finite over $A$ (because $A$ is finite over $R$).

Improve this answer
$\endgroup$
3
  • 2
    $\begingroup$ What's an example of a non-excellent DVR? $\endgroup$
    – Keerthi Madapusi
    Commented Dec 16, 2011 at 18:10
  • 5
    $\begingroup$ Let $p$ be a prime number. Let $s \in {\mathbb F}_p[[t]]$ be transcendent over ${\Bbb F}_p(t)$ and let $K=\mathbb F_p(t, s^p)\subset {\mathbb F}_p((t))$. The discrete valuation of ${\mathbb F}_p((t))$ induces a discrete valuation on $K$. The corresponding discrete valuation ring $R$ is non-excellent because its integral closure in $K[s]$ is not finite over $R$. $\endgroup$
    – Qing Liu
    Commented Dec 16, 2011 at 18:23
  • $\begingroup$ More details in my book, Example 8.2.31. $\endgroup$
    – Qing Liu
    Commented Dec 16, 2011 at 18:25

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .