Generators of Infinite Cyclic Group

From ProofWiki
Jump to navigation Jump to search


Let $\gen g = G$ be an infinite cyclic group.

Then the only other generator of $G$ is $g^{-1}$.

Thus an infinite cyclic group has exactly $2$ generators.


By definition, the infinite cyclic group with generator $g$ is:

$\gen g = \set {\ldots, g^{-2}, g^{-1}, e, g, g^2, \ldots}$

where $e$ denotes the identity $e = g^0$.

The fact that $g^{-1}$ generates $G$ is shown by Inverse of Generator of Cyclic Group is Generator.


$\gen e = \set e \ne G$

By definition of infinite cyclic group:

$g^i \ne g^j$ for all $i \ne j$

Let $n \in Z \setminus \set {-1, 0, 1}$.


$\gen {g^n} = \set {\ldots, g^{-2 n}, g^{-n}, e, g^n, g^{2 n}, \ldots}$

But since $\order n > 1$, none of these elements is equal to $g$, because $1 \notin n \Z$.


$g \notin \gen {g^n} \implies \gen {g^n} \ne \gen g$



While for $n \in Z \setminus \set {-1, 0, 1}$ we have shown that $\gen {g^n}$ and $\gen g$ are different as sets, the two are isomorphic as abstract groups via:

$\gen g \owns h \mapsto h^n \in \gen {g^n}$