Krull's Theorem

theoremring-theory

Intuition

Formal Statement

For $R\ne 0$, commutative ring with unity, there exists $m\ne R$, $m⊴R$ maximal ideal.

Corollaries

• Equivalent to Zorn’s Lemma, and thus equivalent to the axiom of choice.