Unramified base change preserves total ramification
ID: unramified-base-change-preserves-total-ramification
If is an unramified extension and is a totally ramified extension of non-Archimedean local fields inside a fixed algebraic closure, then is totally ramified of degree . A uniformizer of has an Eisenstein polynomial over . Since a uniformizer of remains a uniformizer in , that polynomial remains Eisenstein over and generates .
New to topics? Read the docs here!