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…)