Discrete valuation ring
= Discrete valuation ring
{wiki}
A discrete valuation ring is a <principal ideal domain> with exactly one nonzero maximal ideal. Every nonzero element of its <fraction field> is a unit times a unique integer power of a uniformizer.