Theorem 12.3:

$ \pi_1(S^1, 1)=\mathbb{Z}$ and the group is generated by homotopy class of the loop

$\displaystyle t\mapsto \exp(2\pi it),\quad 0 \leq t \leq 1
$



nisha 2012-03-20