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$.