Residue field

Definition

For a local ring, the residue field or residue class field is defined as the quotient of the local ring by its unique maximal ideal.

Note that the residue field differs from the field of fractions, which is actually a field containing the ring.