The Stacks project

Proof. Since $S'$ is a localization of $S \otimes _ R R'$ we see that $M'$ is a localization of $M \otimes _ R R'$. Note that by Lemma 10.39.7 the module $M/IM \otimes _{R/I} R'/I' = M \otimes _ R R' /I'(M \otimes _ R R')$ is flat over $R'/I'$. Hence also $M'/I'M'$ is flat over $R'/I'$ as the localization of a flat module is flat. By Lemma 10.99.10 it suffices to show that $\text{Tor}_1^{R'}(M', R'/I')$ is zero. Since $M'$ is a localization of $M \otimes _ R R'$, the last assumption implies that it suffices to show that $\text{Tor}_1^ R(M, R/I) \otimes _ R R' \to \text{Tor}_1^{R'}(M \otimes _ R R', R'/I')$ is surjective.

By Lemma 10.99.13 we see that $\text{Tor}_1^ R(M, R'/I') \to \text{Tor}_1^{R'}(M \otimes _ R R', R'/I')$ is surjective. So now it suffices to show that $\text{Tor}_1^ R(M, R/I) \otimes _ R R' \to \text{Tor}_1^ R(M, R'/I')$ is surjective. This follows from Lemma 10.99.12 by looking at the ring maps $R \to R/I \to R'/I'$ and the module $M$. $\square$