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!