Integrality in codimension one (Q487079)

The aim of the paper is to give a new proof of the following: Theorem. Let \(R\subseteq S\) be an extension of commutative rings. Assume that \(R\) is Noetherian, universally catenary and locally equidimensional, that minimal primes of \(S\) contract to minimal prime of \(R\) and that for every prime \(P\) of \(R\) of height at most \(1\), the induced extension \(R_P\subseteq S_P\) is integral. Then the extension \(R\subseteq S\) is integral. This result was initially proved, by other techniques, in [\textit{A. Simis} et al., Math. Proc. Camb. Philos. Soc. 130, No. 2, 237--257 (2001; Zbl 1096.13500)].