Maximal ideal quotient criterion (source code)

= Maximal ideal quotient criterion

An ideal $\mathfrak m$ of a commutative unital ring $R$ is maximal exactly when $R/\mathfrak m$ is a field.