Lecture 40

Hatcher, ch. 2, appendix A (p166 - 168)

Prove that there is a homomorphism pi_1(X) -> H_1(X). Show that this is the abelianization. Deduce, from our fundamental group computations, that an orientable surface of genus g has an H_1 of rank 2g. What do the generators look like?