Maximal ideal of a local field (reviewed)

The maximal ideal of a nonarchimedean local field $K$ is the unique maximal ideal of its ring of integers $\mathcal O_K$.

It consists of all elements of $\mathcal O_K$ that are not units, equivalently, all elements of $K$ whose absolute value is strictly less than 1.