1
$\begingroup$

I am looking at the relation between the first homology group $H_1(X)$ and the fundamental group $\pi_1(X)$. Given a path-connected space $X$, I have some grasp of what $\pi_1(X)$ should be intuitively (as far as I am aware, it can be informally be thought of as the number of 'holes' in the space). Thus, it would be a very easy to deduce $H_1(X)$ if I knew that taking the abelianization $\pi_1(X)_{ab}$ does not change the rank of the fundamental group.

As an example, $S^1 \vee S^1$ has two 'holes', and so intuitively one might think that $\pi_1(X) \cong \mathbb{Z} \oplus \mathbb{Z}$. It turns out also that $H_1(X) \cong \mathbb{Z} \oplus \mathbb{Z}$, so they have the same rank.

My question is, does this always hold? Is there some example where the rank of $H_1(X)$ and $\pi_1(X)$ are different?

  • 2
    @Fahad Sperinck: The free group on two generators can be thought of as all words in two letters, $a$ and $b$, and their inverses, $a^{-1}$ and $b^{-1}$, with multiplication given by concatenation of words. (The identity is the empty word.) This is non-abelian since, for example, $ab\neq ba$. In relation to the topological example you give, this signifies that loop around the left $S^1$ followed by the right $S^1$ is not homotopic to the loop around the right $S^1$ followed by the left $S^1$.2011-05-20

1 Answers 1

2

If $G$ is a group, then $G$ and $G_{ab}$ need not be of the same rank. For example, $A_5$ has rank 2, while its abelianization is the trivial group, with rank 0. Every group is the fundamental group of some path-connected space, so this shows there is a space $X$ such that $H_1(X)$ and $\pi_1(X)$ have different ranks.

  • 0
    @Eric: No, I was referring to the space in the article, but I fhad orgotten that $\pi_1$ is not $A_5$, but a certain $\mathbb{Z}/2\mathbb{Z}$ extension of it. Nice catch!2015-10-26