Discrete valuation ring

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

Discrete valuation ring

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