Definition (Maximal unramified extension). $K^{\text{nr}}={\bigcup }_{m\ge 1}{K}_m$ (inside $\overline{K}$). “maximal unramified extension”