Ramification index (source code)

= Ramification index
{title2=$e(L/K)$}
{wiki}

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$.