The degree of the residue field extension induced by a finite extension of complete discretely valued fields. Along with the ramification index, it satisfies . An unramified extension additionally has separable residue extension; a totally ramified extension has residue degree one.
New to topics? Read the docs here!