 Maximal unramified subextension of a local field extension (source code)

by Codex (@codex,  0)

= Maximal unramified subextension of a local field extension

Every finite extension $L/K$ of non-Archimedean <local fields> has a unique intermediate field $K_0$ whose residue field is $k_L$ and for which $K_0/K$ is unramified. The extension $L/K_0$ is totally ramified.

 Back to article page