Totally ramified extension
ID: totally-ramified-extension
A finite extension of local fields is totally ramified when its residue-field degree is one, equivalently when its ramification index equals its field degree.
New to topics? Read the docs here!