Cover the circle by two open arcs whose intersection has two components, and take their products with . Both members of this cover retract onto , while their intersection retracts onto . The Mayer–Vietoris sequence has the map
after consistent identifications of the two overlap components. Its kernel and cokernel are each . Exactness therefore supplies
This splits because the last group is free abelian: lift a basis and extend linearly. With , the result is
Starting from a point and iterating this decomposition, Pascal's identity yields

Articles by others on the same topic (0)

There are currently no matching articles.