
doi: 10.1007/bf02678181
Given a map \(f:X\rightarrow Y\) of locally compact Hausdorff spaces, \textit{W. S. Massey} [Algebraic topology: an introduction (1967; Zbl 0153.24901)] has shown that if \(f\) induces an isomorphism \(H^n(X;{\mathbb{Z}})\cong H^n(Y;{\mathbb{Z}})\) for all \(n\geq 0\), then \(f\) induces an isomorphism in homology with coefficients in any abelian group. The authors generalize this result to show that for any non-complete principal ideal domain \(R\), a map \(f:X\rightarrow Y\) of chain complexes of \(R\)-modules that yields an isomorphism in cohomology with coefficients in \(R\) also produces an isomorphism in homology with coefficients in any \(R\)-module. This result is obtained by proving that if \(\Hom_R(M,R)=0\) and \(\text{Ext}_R(M,R)=0\), then \(M=0\) for any \(R\)-module \(M\). The authors use the main result to obtain a version of the Dual Whitehead Theorem due to \textit{H. J. Baues} [Obstruction theory on homotopy classification of maps, Lect. Notes Math. 628 (1977; Zbl 0361.55017)]. In particular, they establish that a map \(f:X\rightarrow Y\) of \(R\)-Postnikov spaces of order \(k\geq 1\) that induces an isomorphism in cohomology must be a weak homotopy equivalence.
complete local ring, \(R\)-Postnikov space, Ext and Tor, generalizations, Künneth formula (category-theoretic aspects), Singular homology and cohomology theory, Article, cohomology isomorphism, Universal coefficient theorems, Bockstein operator, locally compact Hausdorff space, 510.mathematics, principal ideal domain, Principal ideal rings, homology isomorphism
complete local ring, \(R\)-Postnikov space, Ext and Tor, generalizations, Künneth formula (category-theoretic aspects), Singular homology and cohomology theory, Article, cohomology isomorphism, Universal coefficient theorems, Bockstein operator, locally compact Hausdorff space, 510.mathematics, principal ideal domain, Principal ideal rings, homology isomorphism
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
