For a domain with fraction field , its integral closure is the intersection of all valuation rings of containing . Integral elements belong to every such ring because valuation rings are integrally closed. For a nonintegral , the ideal is proper, since its containing would give a monic equation for . Localize at a maximal ideal containing and apply the valuation domination lemma. The resulting ring contains but not , proving the reverse inclusion.
Articles by others on the same topic
There are currently no matching articles.