Discrete valuation

Relation to discrete valuation rings

Discrete valuation rings ${\displaystyle {\mathcal {O}}_{\nu }}$ are local rings with maximal ideal