residue field

Noun

 * 1)  The quotient ring of a commutative ring divided by one of its maximal ideals; by a certain theorem such a quotient ring must be a field.