Residue field

Let \(R\) be a commutative ring and \(\mathfrak{m}\) a maximal ideal.

Then the residue field is the quotient field

\begin{align*} R/ \mathfrak{m} \end{align*}

see: maximales Ideal eines kommutativen Rings und Faktorring als Körper