2
$\begingroup$

$R$ is a commutative ring with $1$. Suppose every maximal ideal is finitely generated. Is this ring Noetherian? Equivalently, is every prime ideal finitely generated?

$\endgroup$

marked as duplicate by user26857, PseudoNeo, kjetil b halvorsen, Aaron Maroja, Davide Giraudo Apr 14 '15 at 12:29

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

6
$\begingroup$

No.

A counterexample is the ring ${\cal O}(D)$ of the holomorphic functions defined on a domain $D\subset\Bbb C$. The maximal ideals are the ideals $\{(z-a){\cal O}(D)\}$ for $a\in D$ (which are principal), but there are ideals which are not finitely generated.

For instance, the ideal $I=\{\sin(nz)\}_{n\in\Bbb N}$ in ${\cal O}(\Bbb C)$ is proper (it is contained in $z{\cal O}(\Bbb C)$), but not finitely generated: look at the zero set of the elements in $I$.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.