 Ramification index

For a finite extension $L/K$ of non-Archimedean local fields, the ramification index $e(L/K)$ is the index of the value group of $K$ in that of $L$. Normalized valuations satisfy $v_L{|}_K=e(L/K)v_K$.