Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $R$ is a commutative ring, and for every $P$ a prime ideal of $R$, $P$ is a Noetherian $R$-module, show that $R$ is Noetherian.

share|cite|improve this question
In order to get the best possible answers, it is helpful if you say in what context you encountered the problem, and what your thoughts on it are; this will prevent people from telling you things you already know, and help them give their answers at the right level. Also, many find the use of imperative ("Prove", "Solve", etc.) to be rude when asking for help; please consider rewriting your post. – Julian Kuelshammer Nov 26 '12 at 17:03
A slightly more challenging exercise would be to show that if every prime ideal of $R$ is finitely generated, then $R$ is a Noetherian ring. – Rankeya Nov 26 '12 at 23:24

As mentioned in the comments, the statement should be as follows: "Let $R$ be a commutative ring. If every prime ideal of $R$ is noetherian as an $R$-module, then $R$ itself is noetherian."

To prove this, consider an ascending chain of proper ideals $I_0\subseteq I_1\subseteq\cdots\subseteq R.$ Consider the sum $\sum_{i\ge0}I_i,$ which is an ideal $J\subseteq R.$ There are two possibilities:

  1. $J=R$
  2. $J\subsetneq R$

It should be relatively straightforward to proceed from here, using Krull's theorem in the second case...

share|cite|improve this answer
Maybe simpler: if $I$ is an ideal of $R$, then show that $I$ is finitely generated. If $I=R$ is ok. If not, take $P\supset I$ a prime ideal. Since $P$ is a noetherian $R$-module it follows that $I$ is finitely generated. – user26857 Nov 26 '12 at 18:16
@YACP, yes, the choice of formulation will of course depend on the definitions the OP has at hand. It seems to me that either way, we invoke Krull's theorem. – Andrew Nov 26 '12 at 18:29

I recommend you look at some proofs of

Cohen's theorem: A commutative ring $R$ is Noetherian iff all of its prime ideals are finitely generated.

If the prime ideals are Noetherian, then they are obviously finitely generated.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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