= First Tor of a cyclic quotient
{title2=$\operatorname{Tor}_1^A(A/I,M)=\ker(I\otimes_AM\to M)$}
Start a <free resolution> of $A/I$ with $P_0=A$ and a free module $P_1$ surjecting onto $I$. The next differential presents the relations in $I$. Right exactness of the <tensor product of modules> identifies $\operatorname{coker}(P_2\otimes_AM\to P_1\otimes_AM)$ with $I\otimes_AM$. Taking degree-one homology then gives the displayed kernel formula. Hence vanishing for every ideal is equivalent to the <flatness criterion using ideals>.
Back to article page
