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!