无限循环群

$G=<a>$ 是循环群, 若 $a$ 是无限阶元, 则 $G=\{a^0=e{a}^{\pm 1},a^{\pm 2},...\}$, $G$ 为无限循环群.