Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-165/3/iv/solution

The rational cohomology from part i has one generator in every degree divisible by . Its connected graded-commutative Hopf algebra structure is
as a graded vector-space-compatible algebra: the odd class has square zero and the degree-six class supplies the even multiples. The rational Hurewicz and Hopf-algebra correspondence for a connected loop space identifies the indecomposable generators with the duals of its rational homotopy groups. Hence, for ,
This also agrees with the rational homotopy groups of a sphere and the loop-space shift of homotopy groups.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!