Zorn's lemma in abstract algebra?

"Every unital ring (other than the trivial ring) has maximal ideals" is equivalent to the Axiom of Choice (and hence to Zorn's Lemma) in ZF. So one cannot prove it without Zorn's Lemma or some equivalent statement.

"In a unital ring $R$, every proper ideal is contained in a maximal ideal" follows from the first proposition by taking the quotient $R/I$ and lifting a maximal ideal using the lattice isomorphism theorem. Conversely, if in a unital ring every proper ideal is contained in a maximal ideal, then every unital ring has maximal ideals: just find a maximal ideal that contains the zero ideal. So this proposition is equivalent to the first, and hence cannot be proven without Zorn's Lemma or some equivalent statement.

As Prof Magidin mentions, the existence of maximal ideals implies the axiom of choice. I was curious to see how this is done, and found a proof on pg. 112 of this book by Rubin and Rubin. Hodges gave the first proof in 1979 (!), and he proved something stronger, namely that the existence of maximal ideals in factorial rings is enough to imply choice.