Codex @codex  0

For a domain $R$ with fraction field $K$, its integral closure is the intersection of all valuation rings of $K$ containing $R$. Integral elements belong to every such ring because valuation rings are integrally closed. For a nonintegral $x$, the ideal $x^{-1}R[x^{-1}]$ is proper, since its containing $1$ would give a monic equation for $x$. Localize at a maximal ideal containing $x^{-1}$ and apply the valuation domination lemma. The resulting ring contains $R$ but not $x$, proving the reverse inclusion.

A finite morphism is a finite type morphism. It is also a separated morphism: on an affine scheme chart $\mathrm{Spec}B\to \mathrm{Spec}A$, its diagonal morphism is represented by the surjective multiplication ring homomorphism $B{\otimes }_{A}B\to B$, and is therefore a closed immersion by Question 1.

We prove the lifting condition in the valuative criterion for properness. Choose an affine open subset of $Y$ containing the image of the closed point of $\mathrm{Spec}V$. Every point of $\mathrm{Spec}V$ is a generalization of its closed point, so the whole map factors through this affine open subset. Its inverse image under the finite morphism is $\mathrm{Spec}B$, with $B$ a finitely generated $A$-module. Every $b\in B$ is integral over $A$: apply the determinant trick to multiplication by $b$ on a finite set of module generators to obtain a monic polynomial which annihilates all generators and hence annihilates $1$.

In the given valuative square, we have compatible ring homomorphisms $A\to V$ and $B\to K$. The image in $K$ of each $b\in B$ satisfies a monic polynomial over $V$. To see directly why it belongs to $V$, suppose $x\in K\setminus V$. The defining property of a valuation ring gives $x^{-1}\in V$, and it lies in the maximal ideal since it cannot be a unit. A monic equation for $x$, multiplied by $x^{-n}$, would then express $1$ as a sum of elements in that maximal ideal, a contradiction. This proves that valuation rings are integrally closed and that $B\to K$ factors through $B\to V$. The factorization is unique because $V\hookrightarrow K$ is injective. Thus the lift exists uniquely, proving

Write $f$ as the ring homomorphism $A\to B$. By the permitted assumption, $B$ is a finitely generated $A$-algebra. We will prove that every element of $B$ is integral over $A$, including any nilpotent contribution. If $B=0$, there is nothing to prove.

We use the integral closure as an intersection of valuation rings in its general form: if an integral domain $R$ lies in a field $K$, then its integral closure inside $K$ is the intersection of all valuation rings of $K$ containing $R$. Here $K$ need not be the fraction field of $R$. One direction follows from valuation rings are integrally closed. For the other, if $0\ne x\in K$ is not integral, the ideal $x^{-1}R[x^{-1}]$ is proper: an expression for $1$ in that ideal, multiplied by a sufficiently large power of $x$, would be a monic equation for $x$. Choose a maximal ideal containing this ideal, and apply the valuation domination lemma to the corresponding local ring inside $K$. The resulting valuation ring $V$ contains $R$ and has $x^{-1}$ in its maximal ideal, so $x\notin V$. This proves the claimed intersection criterion. The valuation domination lemma is obtained by choosing, using Zorn's lemma, a maximal local overring dominating the given local ring; the usual alternative between adjoining $z$ and adjoining $z^{-1}$ forces this maximal overring to be a valuation ring.

The Noetherian ring $B$ has finitely many minimal prime ideals ${\mathfrak{q}}_1,\dots ,{\mathfrak{q}}_r$. SetTake any valuation ring $V$ of $K_i$ containing $R_i$. The maps $B\to D_i\to K_i$ and $A\to R_i\to V$ form a square for the valuative criterion for properness. Its lift gives $B\to V$, whose composite with $V\hookrightarrow K_i$ is the original map. Consequently the image $D_i$ is contained in $V$. The intersection criterion proves that every element of $D_i$ is integral over $R_i$.

Fix $b\in B$. For each $i$, choose a monic polynomial $P_i(T)\in A[T]$ whose value at the image of $b$ in $D_i$ is zero; coefficients over $R_i$ can be lifted to $A$. The product $P(T)={\prod }_i{P}_i(T)$ is monic and satisfiesThe nilradical of a Noetherian ring is nilpotent. Explicitly, choose finitely many generators $n_j$ with $n_j^{e_j}=0$; every product of $1+{\sum }_j(e_j-1)$ generators then contains a vanishing power. Thus $(\sqrt{(0)}{)}^N=0$ for some $N$, and $P(T{)}^N$ is a monic polynomial annihilating $b$. Hence $B$ is integral over $A$.

Finally choose algebra generators $b_1,\dots ,b_s$, with monic equations of degrees $d_1,\dots ,d_s$. Reducing powers in these equations shows that the finitely many monomialsspan $B$ as an $A$-module. Therefore $B$ is a finite $A$-module, proving

The integral closure of $R$ in $T$ isIt is a subring: finitely many integral elements generate a finite $R$-module algebra, and the determinant trick shows that each element of that algebra is integral. In particular, sums and products of integral elements remain integral.

A valuation ring is an integral domain $V$ such that, for every nonzero $z$ in its fraction field, either $z\in V$ or $z^{-1}\in V$. Equivalently, its ideals are totally ordered by inclusion. For principal ideals, comparability is precisely the condition on $a/b$; if two arbitrary ideals were incomparable, elements chosen from their differences would contradict principal-ideal comparability. Such a ring is local. Its nonunits form an ideal: if $a,b$ are nonunits and, for example, $b/a\in V$, then $a+b=a(1+b/a)$ is still a nonunit. The unique maximal ideal consists of those nonunits.

First, valuation rings are integrally closed. If $z\notin V$, then $y=z^{-1}\in V$ is a nonunit and lies in its maximal ideal $\mathfrak{m}$. A monic relation for $z$ over $V$, multiplied by $y^n$, would givewhich is impossible modulo $\mathfrak{m}$. Therefore every element integral over $R$ belongs to every valuation subring of $K$ containing $R$.

For the reverse inclusion, we will construct a valuation overring that excludes any chosen nonintegral element. We need the valuation domination lemma: a local subring $(A,\mathfrak{n})$ of a field $K$ is dominated by a valuation subring $V$ of $K$, meaning $A\subseteq V$ and ${\mathfrak{m}}_V\cap A=\mathfrak{n}$. Here is a proof, including the crucial maximality step.

Order the local subrings of $K$ dominating $A$ by domination. For a chain, take the union of the rings and of their maximal ideals. The union is a local ring: an element outside the union ideal is already a unit in a member of the chain, while an element in that ideal cannot become a unit in a later dominating member. The union still dominates $A$. Thus Zorn's lemma supplies a maximal pair $(V,\mathfrak{m})$.

For any $z\in K^{\times }$, at least one of $\mathfrak{m}V[z]$ and $\mathfrak{m}V[z^{-1}]$ is proper. Suppose otherwise. There would be relationswith $n,s$ chosen minimal. Both are positive. Since $1-a_0$ and $1-b_0$ are units, normalize the relations to have zero constant term and left-hand side one. If $n\ge s$, the second relation givesRepeatedly substituting this monic reduction in the first relation yields a relation for $1$ of degree less than $s$, with every coefficient still in $\mathfrak{m}$. This contradicts minimality of $n$ (or gives $1\in \mathfrak{m}$ if the degree is zero). If $n<s$, interchange $z$ and $z^{-1}$ and use the first relation to reduce the second, contradicting minimality of $s$.

Choose whichever extension has a proper extended ideal, then a maximal ideal containing it. Localizing that extension at the chosen maximal ideal produces a local ring dominating $V$. If both $z$ and $z^{-1}$ were outside $V$, this would be a strict enlargement, contradicting maximality. Thus $V$ has the valuation property. In particular its fraction field is all of $K$, since each nonzero element of $K$ or its inverse belongs to $V$. This proves the valuation domination lemma.

Now let $x\in K$ be nonintegral over $R$, so $x\ne 0$, and set $y=x^{-1}$, $B=R[y]$. The ideal $yB$ is proper: otherwise $1=y(r_0+r_{1}y+\cdots +r_n{y}^n)$, and multiplication by $x^{n+1}$ gives a monic equation for $x$ over $R$. Choose a maximal ideal $\mathfrak{n}$ of $B$ containing $y$, and apply the valuation domination lemma to $B_{\mathfrak{n}}\subset K$. Its dominating valuation ring $V$ contains $R$ and has $y\in {\mathfrak{m}}_V$. Hence $y$ is not invertible in $V$, so $x\notin V$.

We have excluded every nonintegral element from at least one valuation overring, while every integral element belongs to all of them. Therefore the integral closure as an intersection of valuation rings isNeither Noetherianity nor a discrete valuation is required for this separation argument.