Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 136 / 5 / a

For the discrete valuation $v$ corresponding to $|\cdot |$, the valuation ring and its maximal ideal areThe first is a subring of the field $K$, hence an integral domain. An element of ${\mathcal{O}}_K$ is a unit exactly when its valuation is zero, so every nonunit lies in $\mathfrak{m}$ and $\mathfrak{m}$ is the unique maximal ideal.

Choose a uniformizer $\pi$ with $v(\pi )=1$. If $I\ne 0$ is an ideal, the set of valuations of its nonzero elements has a least member $n$. Choose $x\in I$ with $v(x)=n$. Then $x=u{\pi }^n$ for a unit $u$, so $(x)=({\pi }^n)$. Every $y\in I$ has $v(y)\ge n$, hence $y/x\in {\mathcal{O}}_K$, and therefore $I=(x)$. Thus ${\mathcal{O}}_K$ is a discrete valuation ring, in particular a principal ideal domain.