So, is the fundamental group of the n-fold torus abelian if n>1? Munkres seems to say yes and no. I think it's no, but no compelling reason. I don't understand free groups. . . sigh.