Theorem 6.1

Return to Theorems, Glossary, Homework Problems.


Every cyclic group is abelian.


Let $G$ be a cyclic group and let $a$ be a generator of $G$ so that

\begin{align} G = \langle a \rangle = \{a^{n}\ |\ n \in \mathbb{Z}\}. \end{align}

If $g_{1}$ and $g_{2}$ are any two elements of $G$, there exists integers $r$ and $s$ such that $g_{1} = a^{r}$ and $g_{2} = a^{s}$. Then

\begin{equation} g_{1}g_{2} = a^{r}a^{s} = a^{r+s} = a^{s+r} = a^{s}a^{r} = g_{2}g_{1}, \end{equation}

so $G$ is abelian.

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License