Integral closure as an intersection of valuation rings
ID: integral-closure-as-an-intersection-of-valuation-rings
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.
New to topics? Read the docs here!