MathOverflow is a question and answer site for professional mathematicians. 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

Let M be a R graded module with $M= \oplus M_i$. If M is noetherian then $M_i=0 $ for i << 0. My question is this, isn't $M_i = 0$ for all i >> 0 as well? If $(M_{n_i})_{i} \neq 0, n_i > 0$ then $M_{n_1} \nsubseteq M_{n_1} \oplus. .. M_{n_2} \nsubseteq M_{n_1} \oplus. .. M_{n_2} \oplus. .. M_{n_3} \nsubseteq. ..$ isn't a contradiction with ACC rule?

share|cite|improve this question
Is $R$ a $\mathbb{N}$-graded ring? Then is $M$ a graded $R$-module, compatible with $R$'s grading? If that's the case, then the various $M_i$ you are writing are not even $R$-modules, they are $R_0$-modules. – Karl Schwede Jun 17 '11 at 20:01
K you are right. My mistake is that they are not R modules. – mark Jun 17 '11 at 20:50
The mathoverflow bot just bumped this to the front page. Maybe you should just accept Mariano's answer below to prevent this from happening again. Really, the comment above answers the question, but mathoverflow wants you to accept an answer before it considers this question resolved. – David White Jul 2 '11 at 16:03
Mathoverflow bot just bumped this up to the front page again. Perhaps we should close the question? – David White Jul 30 '11 at 14:20

Pick your favorite noetherian graded ring $R$, and consider the free module $M=R$. Are you saying it must vanish in high degree?

share|cite|improve this answer
This should have been a comment... – Mariano Suárez-Alvarez Jun 17 '11 at 20:12

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.