# tensor of powers of an ideal

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$$

-
That's not a short exact sequence. –  Steven Landsburg Apr 18 '12 at 6:13
add comment

## 1 Answer

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$.

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

-
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 '12 at 6:56
add comment