B2.7
Let and be smooth manifolds. If is the projection onto the first factor and is the map in cohomology induced by the pull-back map on differential forms, show that is a direct summand of for each .
Taking to be zero for and , show that for and all
[You might like to use induction in n.]
Typos? Please submit corrections to this page on GitHub.