Welcome to MathOverflow

Question

1

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?

flag	asked Jun 17 2011 at 19:56 mark 53●2

7

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 2011 at 20:01

K you are right. My mistake is that they are not R modules. – mark Jun 17 2011 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 2011 at 16:03

Mathoverflow bot just bumped this up to the front page again. Perhaps we should close the question? – David White Jul 30 2011 at 14:20

Mariano Suárez-Alvarez · Answer 1 · 2011-06-17 20:06:07Z UTC

2

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

answered Jun 17 2011 at 20:06

Mariano Suárez-Alvarez
30.6k●7●68●153

1

This should have been a comment... – Mariano Suárez-Alvarez Jun 17 2011 at 20:12

graded noetherian module

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.