The Stacks project

Lemma 10.75.1. Let $R$ be a ring. Let $M_1, M_2, N$ be $R$-modules. Suppose that $F_\bullet$ is a free resolution of the module $M_1$ and that $G_\bullet$ is a free resolution of the module $M_2$. Let $\varphi : M_1 \to M_2$ be a module map. Let $\alpha : F_\bullet \to G_\bullet$ be a map of complexes inducing $\varphi$ on $M_1 = \mathop{\mathrm{Coker}}(d_{F, 1}) \to M_2 = \mathop{\mathrm{Coker}}(d_{G, 1})$, see Lemma 10.71.4. Then the induced maps

are independent of the choice of $\alpha$. If $\varphi$ is an isomorphism, so are all the maps $H_ i(\alpha )$. If $M_1 = M_2$, $F_\bullet = G_\bullet$, and $\varphi$ is the identity, so are all the maps $H_ i(\alpha )$.