# Link between $\mathbb{Z}$ and the fundamental group's of 'common' topological spaces

I have noticed that some of the most common topological space have fundamental groups related to $\mathbb{Z}$, as we can see below: Why is this the case?

Is it is because they are all realted to the free group on n generators?

I saw in this question Fundamental group of complement of $n$ lines through the origin in $\mathbb{R}^3$ that the free group on n generators corresponds to spaces which are the complement to lines in the origin.

So the circle relates to the open ball with 1 hole drilled though, $\pi(circle)=\mathbb{Z}$, the figure 8 space with two holes drilled through, $\pi(figure 8)=\mathbb{Z} * \mathbb{Z}$, the sphere with zero holes drilled through, $\pi(sphere)=0$.

How could we relate this to the fundamental group of the Klein bottle $\pi(Klein)=\mathbb{Z} \times \mathbb{Z_2}$?

• Isn't the fundamental group of the Klein bottle $\Bbb Z\rtimes \Bbb Z_2$ (not $\Bbb Z\times \Bbb Z_2$)?
– user228113
May 24, 2016 at 23:56
• I am not sure of the difference in notation to be honest May 24, 2016 at 23:57
• $\Bbb Z\rtimes \Bbb Z_2$ is a semi-direct product. In this case, I mean it with operation $$(a,\,b)\cdot (c,\,d)=(a+(-1)^bc\,,b+d)$$ For instance, $\Bbb Z\rtimes \Bbb Z_2$ is not abelian.
– user228113
May 25, 2016 at 0:01
• Also, the table you linked says that $\pi(\text{figure }\infty)=\Bbb Z*\Bbb Z$, not $\Bbb Z\times\Bbb Z$. $H_1$ and $\pi_1$ are two different things: $H_1$ is the first homology group, while $\pi_1$ is the first homotopy group (aka fundamental group). They are closely related, since $H_1$ is the abelianisation of $\pi_1$, but not the same thing.
– user228113
May 25, 2016 at 0:06
• OK thanks. So I am only concerned with $\pi$ right now May 25, 2016 at 0:09

For $H_1$, there's a theorem that every finitely generated abelian group is a quotient of a finite rank free abelian group $\underbrace{\mathbb{Z} \oplus \cdots \oplus \mathbb{Z}}_{\text{$n$times}}$ for some $n$ (the theorem is actually more precise than this, but I'm writing it this way to emphasize $\mathbb{Z}$).
For $\pi_1$, there's a theorem that every finitely generated group is a quotient of a finite rank free group $\underbrace{\mathbb{Z} * \cdots * \mathbb{Z}}_{\text{$n$times}}$ for some $n$. In this case there is no more precise statement in general. But, there are many special ways to study the kernel of the quotient homomorphism; this comes under the banner of "group presentations".
• Can we say that a sphere with $n$ holes in has fundamental group $\underbrace{\mathbb{Z} * \cdots * \mathbb{Z}}_{\text{$n$times}}$? This gives us the fundamental group of the sphere and the torus May 25, 2016 at 0:11
• You can learn the general tool for the $\pi_1$ theorem I wrote, and for the special calculations you ask in your comments, by learning about Van Kampen's Theorem, and/or by learning about how to write a presentation of the fundamental group of a CW complex. May 25, 2016 at 1:49