Leray-Hirsch theorem for cohomology
You might be looking for: Leray-Hirsch theorem for K-theory
- is a finitely generated free -module for every
- There exist classes whose restrictions form a basis for in each fiber , via the inclusion of the fiber in (the choice of these classes needs to be made independent of the fiber)
Then the map:
is an isomorphism.