Residue field (source code)

= Residue field
{title2=$\kappa(\mathfrak m)=R/\mathfrak m$}
{wiki}

The residue field at a maximal ideal $\mathfrak m$ is the quotient field $\kappa(\mathfrak m)=R/\mathfrak m$. At a prime ideal $\mathfrak p$, the residue field is the fraction field of $R/\mathfrak p$.