[Math] Induced isomorphism of homology implies isomorphism with coefficients in any group

algebraic-topologyhomological-algebra

If $\alpha\colon C \to C'$ is a map of chain complexes (of free abelian groups) that induces an isomorphism on homology $a_{*} \colon H_n(C) \simeq H_n(C')$, then I know that $\alpha$ induces an isomorphism on cohomology $a^{*} \colon H^n(C;G) \simeq H^n(C';G)$ with coefficients in any abelian group $G$. But is it also true that $\alpha$ induces an isomorphism on homology $a_{*} \colon H_n(C;G) \simeq H_n(C';G)$ with coefficients in any abelian group $G$ or (more likely) is there some counterexample?

Best Answer

Here is an answer assuming that $\alpha$ is a chain map; without this assumption I do not see how you can talk about induced maps of integer homology groups. Then the answer to your question is positive and follows from the Universal coefficient Theorem (UCT). Indeed, since $\alpha$ is a chain map, it induces maps $\alpha_{i*}: H_i(C; G)\to H_i(C'; G)$ for arbitrary abelian groups $G$. Since the statement of the UCT provides a natural short exact sequence, we get isomorphisms $$ \beta_i: H_i(C)\otimes G \to H_i(C')\otimes G $$ $$ \gamma_i: Tor(H_{i-1}(C), G)\to Tor(H_{i-1}(C'), G) $$ which (together with $\alpha_{i*}$) make a commutative diagram with UCT sequences for $C, C'$ on the top and on the bottom. (Sorry, I am not very good at drawing diagrams in the version of TeX used at MSE.) Now, the fact that $\alpha_{i*}$ is an isomorphism follows from the diagram chasing in this commutative diagram. For instance, to see injectivity, note that an element $x$ of the kernel has to project to zero in $Tor(H_{i-1}(C), G)$. Hence, it belongs to $H_i(C; {\mathbb Z})\otimes G$, but then injectivity of $\beta_i$ implies that $x=0$.