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)].
- On the heights of prime ideals under integral extensions
- On a surmise of McAdam concerning quintasymptotic primes
- Catenarity and Gelfand-Kirillov dimension in Ore extensions
- Demushkin's theorem in codimension one
- A constructive theory of minimal zero-dimensional extensions
- Codimension, multiplicity and integral extensions.
- scientific article; zbMATH DE number 1104255 (Why is no real title available?)
- Kriterien für ganfzheit
- ANTI-INTEGRAL EXTENSIONS AND ZARISKI'S MAIN THEOREM
- A Remark about Noncommutative Integral Extensions
This page was built for publication: Integrality in codimension one
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487079)
