At some places like wikipedia i have read that the fundamental group of a topological group roughly count the holes in the topological space,but the fundamental group of a torus with one hole is free group on two symbols.so i am quite confused in understanding the above remark.
what is the justification of the remark that 'fundamental group roughly count the holes in the topological space' ? I don't understand this basically because any group can be the fundamental group of a space.For instance,suppose the fundamental group is lets say is $\frac {\mathbb Z}{n\mathbb Z}$ then what can we tell about the holes in the space?
Could someone explain me the meaning of above remark?
You need to ask yourself first, what is the fundamental group? It is created from the collection of all paths $f:[0,1]\to X$ such that $f(0)=f(1)=p$ where $p$ is some point in $X$. But this is not enough as we say that two loops, as they are called, are equivalent if we can find another continuous function $F:[0,1]\times[0,1]\to X$ such that $F(0,x)=f(x)$ and $F(1,x)=g(x)$ where $f$ and $g$ are loops with the same base point.
To say it in different words, we can deform one loop into the other continuously which is the key in all of topology. If we restrict ourselves to a 2D surface for imagination purposes a loop that goes through a connected space with no holes in it, can be deformed into a single point. However if the loop makes a turn around a hole before returning to the base point, then we cannot deform this loop to get away from being around the hole, without breaking it apart somehow, so such a transformation is not allowed.
Now another hole in the surface will give the loop another oppertunity to pass by it and in turn preventing a continuous deformation to get rid of that passing of the hole.
In that way the fundamental group "counts the holes" because each of the supposed holes prevents the loop to be retracted to the basepoint in one manner and as such the group becomes non-trivial.