 Maximal unramified extension

The maximal unramified extension $K^{\mathrm{nr}}$ is the union of all finite unramified extensions of a non-Archimedean local field $K$. Its Galois group is canonically $\hat{\mathbb{Z}}$, generated topologically by Frobenius.