nLab
discrete-valuation ring

ring