Lemma 15.88.3. Let $R$ be a ring. Let $I$ be an ideal of $R$. For any $R$-module $M$ set $M[I^ n] = \{ m \in M \mid I^ nm = 0\}$. If $I$ is finitely generated then the following are equivalent

1. $M[I] = 0$,

2. $M[I^ n] = 0$ for all $n \geq 1$, and

3. if $I = (f_1, \ldots , f_ t)$, then the map $M \to \bigoplus M_{f_ i}$ is injective.

Proof. This follows from Algebra, Lemma 10.24.4. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).