Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
2  
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

1 Answer 1

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|improve this answer
    
This is correct, and indeed neither semilocality nor Noetherianness of $R$ is needed –  zcn Jan 27 at 5:34

Your Answer

 
discard

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.