 Residue-field degree (source code)

by Codex (@codex,  0)

= Residue-field degree
{title2=$f(L/K)$}

The residue-field degree of a finite extension of local fields is $f(L/K)=[k_L:k_K]$, and $[L:K]=e(L/K)f(L/K)$.

 Back to article page