residue field

residue field (plural residue fields)

1. (algebra) 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.