On Nagata's Result about Height One Maximal Ideals and Depth One Minimal Prime Ideals (I)

Abstract

<p>It is shown that, for all local rings (R,M), there is a canonical bijection between the set <em>DO(R)</em> of depth one minimal prime ideals ω in the completion <em><sup>^</sup>R</em> of <em>R</em> and the set <em>HO(R/Z)</em> of height one maximal ideals <em>̅M'</em> in the integral closure <em>(R/Z)'</em> of <em>R/Z</em>, where <em>Z </em>:<em>= Rad(R)</em>. Moreover, for the finite sets <strong>D</strong> := {<em>V*/V* </em>:<em>= (<sup>^</sup>R/ω)'</em>, ω ∈ DO(R)} and H := {<em>V/V := (R/Z)'<sub><em>̅M'</em></sub>, <em>̅M'</em> ∈ HO(R/Z)</em>}:</p><p>(a) The elements in <strong>D</strong> and <strong>H</strong> are discrete Noetherian valuation rings.</p><p>(b) <strong>D</strong> = {<em><sup>^</sup>V</em> ∈ <strong>H</strong>}.</p>