Let M and N be smooth manifolds. If π:M×N→M is the projection onto the first factor and π∗ is the map in cohomology induced by the pull-back map on differential forms, show that π∗(Hk(M)) is a direct summand of Hk(M×N) for each k⩾0.
Taking Hk(M) to be zero for k<0 and k>dimM, show that for n⩾1 and all k
Hk(M×Sn)≅Hk(M)⊕Hk−n(M)
[You might like to use induction in n.]