• for every finitely generated ideal $I \subset R$ the map $I \otimes _ R M \to R \otimes _ R M = M$ is injective.

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