Theorem 9.2:

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

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