homology of .
We need for this problem knowledge of the homology groups of and . We will simply assume the former:
Now, for , we can argue without Mayer-Vietoris. is connected, so . is non-orientable, so is 0. Last, is the abelianization![]()
of the already abelian
![]()
fundamental group
![]()
, so we have:
Now that we have the homology of , we can compute thehomology of from Mayer-Vietoris. Let , (by vieweing as a CW-complex![]()
), , and , where denotes equivalence through a deformation retract
![]()
. Then the Mayer-Vietoris sequence gives