Let R be a non-trivial rinq, that is R# {0} then R has a maximal ideal.
6. Problem Use Zorn's lemma to prove Theorem 0.23. The obvious way to construct an upper bound for a chain of proper ideals is to take the union of the ideals in the chain. The problem is to prove that this union is an ideal and that it is proper.