# Cyclic Groups

Recall from the Generated Subgroups page that if $(G, *)$ is a group then a generated subgroup of the elements $a_1, a_2, ..., a_n \in G$ denoted $(\langle a_1, a_2, ..., a_n \rangle, *)$ is a group of all possible products (with respect to $*$) of the elements $a_1, a_2, ..., a_n$ and $a_1^{-1}, a_2^{-1}, ..., a_n^{-1}$.

We will now look a specific type of group of interested known as cyclic groups.

Definition: A group $(G, *)$ is said to be a Cyclic Group if there exists an element $a \in G$ such that $G = \langle a \rangle = \{ a^n : n \in \mathbb{Z} \}$, that is, all possible products of $a$ and $a^{-1}$ (with respect to the operation $*$) generate all elements in $G$. The element $a$ for which $G = \langle a \rangle$ is called a Generator for the group $G$. |

For example, consider the group of integers modulo $n$, $(\mathbb{Z}_n, *)$ where we recall that $\mathbb{Z}_n = \{ 0, 1, 2, ..., n - 1 \}$ and for all $x, y \in \mathbb{Z}_n$ we define:

(1)Consider the generated subgroup $(\langle 1 \rangle, *)$. Note that $1 * 1 = 2$, $(1 * 1) * 1 = 3$, …, $\underbrace{(1 * 1 * ... * 1) * 1}_{n-1 \: \mathrm{many \: factors}} = n - 1$, and $\underbrace{(1 * 1 * ... * 1) * 1}_{n \: \mathrm{many \: factors}} = 0$. Therefore the generated subgroup $\langle 1 \rangle$ contains all of the elements in $\mathbb{Z}_n$, that is:

(2)Therefore we can say that $(\mathbb{Z}_n, +)$ is a cyclic group and $1$ is a generator for this group. In fact, every element in $\mathbb{Z}_n$ is a generator for $(\mathbb{Z}_n, +)$.

Of course, this is not always the case. Now consider the group $(\mathbb{Z}_n, \cdot)$ where $n$ is NOT prime and $\cdot$ is the operation defined for all $x, y \in \mathbb{Z}_n$ by:

(3)Take $n = 4$ for example. Then consider the element $2 \in \mathbb{Z}_n$. We have that:

(4)Hence $\mathbb{Z}_n \neq \langle 2 \rangle$ with the operation $\cdot$ so $2$ is not a generator for $\mathbb{Z}_n$. The reader can verify that the only generators of $\mathbb{Z}_n$ are $1$ and $3$.

For a third example, consider the group $(\mathbb{R}, +)$. This group has NO generator. To show this, suppose that $(\mathbb{R}, +$ does have a generator. Then there exists an $a \in \mathbb{R}$ such that for all $\mathbb{R} = \langle a \rangle$. But $\langle a \rangle$ is a countable set and $\mathbb{R}$ is not - a contradiction. So $(\mathbb{R}, +)$ has no generator.

We now state a very nice result which tells us that every cyclic group is an abelian group.

Theorem 1: Let $(G, *)$ be a cyclic group. Then $(G, *)$ is an abelian group. |

**Proof:**Let $(G, *)$ be a cyclic group. Then there exists an element $a \in G$ such that:

- Let $x, y \in G$. Then $x = a^m$ and $y = a^n$ for some $m, n \in \mathbb{Z}$. Therefore:

- So $x * y = y * x$ for all $x, y \in G$ which means that $(G, *)$ is an abelian group. $\blacksquare$

The converse of Theorem 1 gives us a simple criterion for quickly determining when a group is not a cyclic group in certain circumstances.

Corollary 1: If $(G, *)$ is not an abelian group then $(G, *)$ is not a cyclic group. |