Welcome to MathOverflow

Question

1

Let $I$ be an ideal of a Noetherian ring $R$. $M$ is a finitely generated $R$-module. I question is:

Does there exist $n_0$ such that for all $n \geq n_0$, the short exact sequence $$I^n/I^{n+1} \otimes_R M \cong I^nM/I^{n+1}M$$

flag	asked Apr 18 2012 at 4:19 Pham Hung Quy 1,188●1●11

2

That's not a short exact sequence. – Steven Landsburg Apr 18 2012 at 6:13

Angelo · Accepted Answer · 2012-04-18 07:30:56Z UTC

3

I suppose you intend to ask whether there is isomorphism as in the formula. The answer is negative, in general. For example, take $R = k[x]$, $I = (x)$, $M = R/I^2$.

[Edit] What you may have in mind is that the result holds when $M$ is flat over $R$.

edited Apr 18 2012 at 7:30

answered Apr 18 2012 at 6:28

Angelo
19.8k●3●47●75

Thanks you! In fact, I remember some result about exactness, powers of an ideal, tensor of L. Avramov (or W.V. Vasconcelos), but I can not remember what is it. – Pham Hung Quy Apr 18 2012 at 6:56

tensor of powers of an ideal

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.