Maximal unramified subextension of a local field extension

ID: maximal-unramified-subextension-of-a-local-field-extension

Every finite extension of non-Archimedean local fields has a unique intermediate field whose residue field is and for which is unramified. The extension is totally ramified.

New to topics? Read the docs here!