Definition:Infinite Cyclic Group/Definition 1

Definition
An infinite cyclic group is a cyclic group $G$ such that:
 * $\forall n \in \Z_{> 0}: n > 0 \implies \nexists a \in G, a \ne e: a^n = e$

Also see

 * Equivalence of Definitions of Infinite Cyclic Group