Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ii/paper-3/20j/solution

Because is a subcomplex, , so
is well defined and squares to zero. The short exact sequence of chain complexes
gives the long exact sequence
Taking and using the contractibility of gives
For , exactness makes a quotient of a subgroup of , whose rank is at most
The same stated inequality for follows from . Finally, an -cycle in the boundary sphere has equal signed coefficients on all -faces. A proper subcomplex omits an -face, so that coefficient and hence every coefficient is zero. Therefore .

New to topics? Read the docs here!