A valuation ring is an integral domain such that, for every nonzero element of its fraction field , either or . Equivalently, its ideals are totally ordered by inclusion.
A valuation ring is a special type of integral domain that arises in the study of valuation theory in algebraic number theory and algebraic geometry. To understand valuation rings, it's useful to first consider what a valuation is.
New to topics? Read the docs here!