 Residue-field extension

A local homomorphism of local rings $(R,\mathfrak{m})\to (S,\mathfrak{n})$ induces the residue-field extension $R/\mathfrak{m}\to S/\mathfrak{n}$. For an extension of non-Archimedean local fields, its degree is the residue-field degree.