The Stacks project

Proof. We first show that $Q \otimes _ A M = \mathop{\mathrm{lim}}\nolimits Q \otimes _ A M_ n$ for every finite $A$-module $Q$. Choose a resolution $F_2 \to F_1 \to F_0 \to Q \to 0$ by finite free $A$-modules $F_ i$. Then

is a chain complex whose homology in degree $0$ is $Q \otimes _ A M_ n$ and whose homology in degree $1$ is

as $M_ n$ is flat over $A/I^ n$. By Lemma 15.27.3 we see that this system is essentially constant (with value $0$). It follows from Homology, Lemma 12.31.7 that $\mathop{\mathrm{lim}}\nolimits Q \otimes _ A A/I^ n = \mathop{\mathrm{Coker}}(\mathop{\mathrm{lim}}\nolimits F_1 \otimes _ A M_ n \to \mathop{\mathrm{lim}}\nolimits F_0 \otimes _ A M_ n)$. Since $F_ i$ is finite free this equals $\mathop{\mathrm{Coker}}(F_1 \otimes _ A M \to F_0 \otimes _ A M) = Q \otimes _ A M$.

Next, let $Q \to Q'$ be an injective map of finite $A$-modules. We have to show that $Q \otimes _ A M \to Q' \otimes _ A M$ is injective (Algebra, Lemma 10.39.5). By the above we see

For each $n$ we have an exact sequence

where $Q'' = \mathop{\mathrm{Coker}}(Q \to Q')$. Above we have seen that the inverse systems of Tor's are essentially constant with value $0$. It follows from Homology, Lemma 12.31.7 that the inverse limit of the right most maps is injective. $\square$