Homotopy types of truncated projective resolutions. (Q2460028)

Let \(R\) be a ring with identity and \(M\) be an \(R\)-module. Given partial projective resolutions of \(M\), i.e., given exact sequences of \(R\)-projective modules: \[ P_n@>\partial_n>>P_{n-1}@>\partial_{n-1}>>\cdots P_1@>\partial_1>>P_0@>\varepsilon>> M\to 0 \] and \[ Q_n@>\partial_n'>>Q_{n-1}@>\partial_{n-1}'>>\cdots Q_1@>\partial_1'>>Q_0@>\varepsilon'>>M\to 0, \] the author proves that the complexes \[ P_n\otimes S_n@>\partial_n\oplus 0>>P_{n-1}@>\partial_{n-1}>>\cdots P_1@>\partial_1>>P_0@>\varepsilon>> M\to 0 \] and \[ Q_n\otimes T_n@>\partial_n'\oplus 0>>Q_{n-1}@>\partial_{n-1}'>>\cdots Q_1@>\partial_1'>>Q_0@>\varepsilon'>>M\to 0 \] are chain homotopy equivalent, where \(T_i\) and \(S_i\) are projective modules inductively defined by \(T_0\cong P_0\), \(S_0\cong Q_0\), and \(T_i\cong S_{i-1}\oplus P_i\), \(S_i\cong T_{i-1}\oplus Q_i\) for \(i=1,\dots ,n\).