Skip to main content
2 of 3
added link
Ronnie Brown
  • 12.3k
  • 1
  • 63
  • 81

I gave a more elaborate example to the Universal Coefficient splitting being non natural in my paper ``Cohomology with chains as coefficients'', Proc. London Math. Soc. (3) 14 (1964), 545-565, available here. It is proved there that for chain complexes $K,L$ which are free and are zero below dimension $0$, there is an isomorphism for any abelian group $G$

$$H^*( K \otimes L, G) \cong H^*(K, H^*(L,G))$$

which can be chosen to be natural with respect to maps of $K$ but not with regard to maps of $L$, nor in Example 3.2 maps of $G$. The naturality with respect to maps of $K$ is useful to recover R. Thom's determination of the weak homotopy type of the function space $K(G,n)^Y$ and further to determine $k^Y$ where $k$ is a cohomology operation.

Ronnie Brown
  • 12.3k
  • 1
  • 63
  • 81