Totally ramified extension
= Totally ramified extension
{wiki}
= Totally ramified
{synonym}
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.