What does it mean if the fundamental group is Abelian? On proving the problem that $\pi_1(X,x_0)$ is Abelian iff for every pair $\alpha$ and $\beta$ if paths form $x_0$to$x_1$, we have $\hat \alpha=\hat\beta$ where $X$ is path-connected space
,
I'm curious of meaning for what fundamental group is Abelian. If possible, could you explain the case of product of given two distinct loop would not be commutable on the $R^2$?.

Consider the wedge sum of two circles (that is, two circles that are connected by one point, let's call it the base point). By Van Kampen's theorem, you can see that the fundamental group of this space is the free product $\mathbb{Z} * \mathbb{Z}$.
Obviously this is not abelian. In fact, if you consider the loop $\alpha$ which does one turn of the first circle, from the base point, and the loop $\beta$ which does one turn on the second cicrle from the base point, the images of these two loops in the fundamental group are not commuting.
