Valuation ring need not equal the integral closure over a noncomplete field

ID: valuation-ring-need-not-equal-the-integral-closure-over-a-noncomplete-field

Give its -adic valuation, take , and choose the extension associated with the prime . Then lies in the chosen valuation ring but has negative valuation at the conjugate prime. It is therefore not in the integral closure of in .

New to topics? Read the docs here!