Prove that, for arbitrarily given modules X, Y over R and any projective resolution D of Y, we have Tor_n(X, Y) H_n(X D) for every n > 0.

(Tor_n(X, Y) : n-dimensional torsion product of X and Y, H_n(X D) : n-dimensional homology group of X D)

Transcribed image text