Kunneth formula proof doubt, and natural transformation

79 Views Asked by At

I have been reading MacLane's Book on Homology and I have a doubt in the proof of the Kunneth Formulaenter image description here

In $10.5)$ he he says that $\bigoplus D_{m+1}\otimes H_q(L) \cong H_{n+1}(D \otimes L)$, and i cant quite see this is true, we know that since evey $D_{m}$ is flat we have that $D_m \otimes H_q(L) \cong H_q(D_m \otimes L)$ but i dont see how this gives us the rest, i guess my question is why is $\bigoplus H_q(D_{m+1} \otimes L) \cong H_{n+1}(D \otimes L)$?Is this true because of the way we defined the tensor product of complexes, and because the direct sum commutes with homology?

Also i am a little bit confused on how $10.6)$ proves that $\beta$ is natural, so any advice would be helpfull enter image description here.

Thanks in advance.