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: