discrete valuation ring

Noun

 * 1)  A local principal ideal domain whose unique maximal ideal is not the zero ideal.