On the Equality ${\sum }_j{e}_j{f}_j=[L:K]$ \vspace{2mm} On the Equality ${\sum }_j{e}_j{f}_j=[L:K]$ for a Finite Separable Extension $L$ of $K$

Norio Adachi

Let $v$ be a discrete valuation of a field $K$, which indicates that the valuation group of $v$ is isomorphic to the integers $\mathbb{Z}$ with the natural order, and let $L$ be a…