Today we consider the case of a totally ramified extension of local fields ${K \subset L}$, with residue fields ${\overline{K}, \overline{L}}$—recall that this means ${e=[L:K]=n,f=1}$. It turns out that there is a similar characterization as for unramified extensions. (more…)