In abstract algebra, a discrete valuation ring is a principal ideal domain with exactly one non-zero maximal ideal. This means a DVR is an integral domain R that satisfies any one of the following equivalent conditions: R is a local principal... Wikipedia