Misalkan \(G\) grup siklik berorde \(n\) yang dibangkitkan oleh \(a\text{,}\) dan definisikan pemetaan \(\phi : {\mathbb Z}_n \rightarrow G\) dengan \(\phi : k \mapsto a^k\text{,}\) dengan \(0 \leq k \lt n\text{.}\) Pembuktian bahwa \(\phi\) merupakan isomorfisma menjadi salah satu latihan akhir bab.