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 the homology 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