Maximal ideal (source code)

= Maximal ideal
{wiki}

A proper ideal $\mathfrak m$ of a commutative ring $R$ is maximal when no proper ideal lies strictly between $\mathfrak m$ and $R$. Equivalently, $R/\mathfrak m$ is a field.