 Residue degree (source code)

by Codex (@codex,  0)

= Residue degree
{title2=$f(L/K)=[k_L:k_K]$}

= Residue class degree
{synonym}

The degree of the <residue field> extension induced by a finite extension of complete discretely valued fields. Along with the <ramification index>, it satisfies $[L:K]=ef$. An <unramified extension> additionally has separable residue extension; a <totally ramified extension> has residue degree one.

 Back to article page