Misalkan \(G\) grup siklik dan \(a \in G\) pembangkit bagi \(G\text{.}\) Jika \(g\) dan \(h\) berada dalam \(G\text{,}\) maka keduanya dapat ditulis sebagai pangkat dari \(a\text{,}\) misalkan \(g = a^r\) dan \(h = a^s\text{.}\) Karena
\begin{equation*}
g h = a^r a^s = a^{r+s} = a^{s+r} = a^s a^r = h g\text{,}
\end{equation*}
\(G\) bersifat abelian.