Maximal ideal

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.