Example 6.7.6. Let \(R\) be a PID, let \(A \in \D ^-(R)\), and let \(M\) be an \(R\)-module. If all homology groups \(H_i(A)\) are projective (equivalently, free), then \[ H_{-n}(\bR \uHom _R(A,M[0])) \;\cong \; \Hom _R(H_n(A),M). \]
Generated from the authoritative LaTeX source.