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 $G$ is a finitely generated non-zero module over the non-trivial commutative Noetherian ring $R$ then is it possible that for all maximal ideal $M$ of $R$ we have $MG=G$ ?

If $R$ is semi-local then by Nakayama's lemma the answer is no (although we don't need to use the fact that $R$ is Noetherian). What about arbitrary Noetherian ring $R$ ?

share|cite|improve this question
Doesn't Nakayama work in this case? That is, why do you need semi-locality? You localize at a maximal ideal m in $R$, and note that by Nakayama, as G is finitely generated, $m G_m =G_m$ , and thus $G_m=0$ for all maximal ideals. This implies that $G=0$ . (I might be wrong, but I want to know if I am!) – Dedalus Jun 25 '12 at 19:18

I'll post this as an answer instead of a comment.

I believe that Nakayama's lemma works in this case too and I don't see why you need semi-locality. Localize at a maximal ideal $m$ in R, we then have that if $mG_m=G_m$, then $G_m=0$ by Nakayama's lemma. But if a module satisfies $G_m=0$ for all maximal ideals of R, then $G=0$.

share|cite|improve this answer
This is correct, and indeed neither semilocality nor Noetherianness of $R$ is needed – zcn Jan 27 '14 at 5:34

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.