Lemma 10.99.9. Let $R$ be a ring. Let $I \subset R$ be an ideal. Let $M$ be an $R$-module.

If $M/IM$ is flat over $R/I$ and $M \otimes _ R I/I^2 \to IM/I^2M$ is injective, then $M/I^2M$ is flat over $R/I^2$.

If $M/IM$ is flat over $R/I$ and $M \otimes _ R I^ n/I^{n + 1} \to I^ nM/I^{n + 1}M$ is injective for $n = 1, \ldots , k$, then $M/I^{k + 1}M$ is flat over $R/I^{k + 1}$.

## Comments (2)

Comment #8473 by Et on

Comment #9090 by Stacks project on