Proposition 7.2. Assuming that:

$(K, | ∙ |)$ is a non-archimedean complete valued field

Then the following are equivalent:

(i) $K$ is locally compact
(ii) $O_{K}$ is compact
(iii) $v$ is discrete and $k = O_{K} ∕ m$ is finite.