Lemma 10.75.8. Let $R$ be a ring. Let $M$ be an $R$-module. The following are equivalent:
The module $M$ is flat over $R$.
For all $i > 0$ the functor $\text{Tor}_ i^ R(M, -)$ is zero.
The functor $\text{Tor}_1^ R(M, -)$ is zero.
For all ideals $I \subset R$ we have $\text{Tor}_1^ R(M, R/I) = 0$.
For all finitely generated ideals $I \subset R$ we have $\text{Tor}_1^ R(M, R/I) = 0$.
Comments (2)
Comment #5459 by Pavel on
Comment #5677 by Johan on
There are also: