Definition 2.7 (Discrete valuation ring). A ring $R$ is called a discrete valuation ring (DVR) if it is a PID with exactly one non-zero prime ideal (necessarily maximal).