Valuation rings are integrally closed
ID: valuation-rings-are-integrally-closed
If an element of the fraction field is absent from a valuation ring , its inverse belongs to the maximal ideal. A monic equation for , multiplied by a power of , would put in that maximal ideal. Thus is an integrally closed domain, without a discrete or Noetherian hypothesis.
New to topics? Read the docs here!