
Lemma 10.27.9. Let $R$ be a ring.

1. An ideal $I \subset R$ maximal with respect to not being finitely generated is prime.

2. If every prime ideal of $R$ is finitely generated, then every ideal of $R$ is finitely generated1.

Proof. The first assertion is an immediate consequence of Example 10.27.4 and Proposition 10.27.7. For the second, suppose that there exists an ideal $I \subset R$ which is not finitely generated. The union of a totally ordered chain $\left\{ I_\alpha \right\}$ of ideals that are not finitely generated is not finitely generated; indeed, if $I = \bigcup I_\alpha$ were generated by $a_1, \ldots , a_ n$, then all the generators would belong to some $I_\alpha$ and would consequently generate it. By Zorn's lemma, there is an ideal maximal with respect to being not finitely generated. By the first part this ideal is prime. $\square$

[1] Later we will say that $R$ is Noetherian.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).