"Instructive" proof of "If I is maximal among ideals not ..., then I is prime"

commutative-algebra

Yes, for some very interesting general viewpoints see Lam and Reyes: Oka and Ako Ideal Families in Commutative Rings, and Anderson; Dobbs; and Zafrullah: Some applications of Zorn's lemma in algebra.

Related

Fly and Two Trains Riddle
Given complex $|z_{1}| = 2\;\;,|z_{2}| = 3\;\;, |z_{3}| = 4\;\;$ : when and what is $\max$ of $|z_{1}-z_{2}|^2+|z_{2}-z_{3}|^2+|z_{3}-z_{1}|^2$
Exponential objects in a cartesian closed category: $a^1 \cong a$
Limit of definite integral of $f(x)\cos(mx)$
Prove $\det(kA)=k^n\det A$ [closed]
Prove by induction Fibonacci equality
Is there a mean value theorem for higher order differences?
Is an integer a sum of two rational squares iff it is a sum of two integer squares?
Show that $\sum\limits_{k=1}^\infty \frac{1}{k(k+1)(k+2)\cdots (k+p)}=\frac{1}{p!p} $ for every positive integer $p$
Number of solutions of $x_1+2x_2+\cdots+kx_k=n$?
Compute $\lim\limits_{n\to\infty}n^2\left(\left(1+\frac1{n+1}\right)^{n+1}-\left(1+\frac1n\right)^n\right)$
$A = B^2$ for which matrix $A$?