A cyclic group GG is a group that can be generated by a single element aa, the so-called group generator, which we denote by a\langle a\rangle. To be precise, if aa is a generator of the group GG, then GG consists of all the powers of aa, i.e.,

a={,a2,a1,a0=1=eG,a,a2,a3,}\langle a\rangle=\left\{\ldots, a^{-2}, a^{-1}, a^{0}=1=e_{G}, a, a^{2}, a^{3}, \ldots\right\}

thus every element in GG has the form aia^{i} for some integer iZi \in \mathbb{Z}, where

an+1=anaa^{n+1}=a^{n} * a

and we say that GG is a cyclic group generated by aa. Hence, a group GG is said to be cyclic if there exists an element in GG whose powers generate the whole group.

Cyclic group

Definition:

A group GG is said to be cyclic if there exists an element aGa \in G such that

G=a={annZ},G=\langle a\rangle=\left\{a^{n} \mid n \in \mathbb{Z}\right\},

where aa is called the generator of GG.

Note: A cyclic group may have many different generators.

Corollary 1

Every cyclic group is abelian.

Proof:

Let x, y \in G=\langle a\ranglegle . We denote x=aix=a^{i} and y=aj.y=a^{j} . Then, clearly

xy=aiaj=ai+j=aj+i=ajai=yx.x \cdot y=a^{i} a^{j}=a^{i+j}=a^{j+i}=a^{j} a^{i}=y \cdot x.

Example:

The following examples show cyclic groups:

  1. The set Z\mathbb{Z} of integers under addition is an infinite cyclic group, where Z=1=1\mathbb{Z}=\langle 1\rangle=\langle-1\rangle.

  2. The set Zn={0,1,2,,n1}\mathbb{Z}_{n}=\{0,1,2, \ldots, n-1\} under addition modulo nn is a finite cyclic group, where Zn=1=n1\mathbb{Z}_{n}=\langle 1\rangle=\langle n-1\rangle because n11   mod nn-1 \equiv-1 \space\space\space mod \space n. Other generators are possible depending on nn. For example, Z10=1=\mathbb{Z}_{10}=\langle 1\rangle= 9=3=7\langle 9\rangle=\langle 3\rangle=\langle 7\rangle.

Part(2)Part(2) of the example shows an important fact, explained in the following sections.

Lemma 1

If aa is a group generator, then so it’s its inverse a1a^{-1}, meaning that if G=aG=\langle a\rangle, then also G=a1G=\left\langle a^{-1}\right\rangle.

Proof:

Suppose that G=a.G=\langle a\rangle. Let gg be any group element, i.e., gG.g \in G . Since G=aG=\langle a\rangle, there exists an nZn \in \mathbb{Z} such that g=ang=a^{n}.

Then, g1=(an)1=an=(a1)na1g^{-1}=\left(a^{n}\right)^{-1}=a^{-n}=\left(a^{-1}\right)^{n} \in\left\langle a^{-1}\right\rangle.

Since a1\left\langle a^{-1}\right\rangle is closed under inverses and g1a1g^{-1} \in\left\langle a^{-1}\right\rangle, it follows that g=(g1)1a1g=\left(g^{-1}\right)^{-1} \in\left\langle a^{-1}\right\rangle, hence Ga1G \subseteq\left\langle a^{-1}\right\rangle, and so G=a1G=\left\langle a^{-1}\right\rangle.

Lemma 2

Let G=aG=\langle a\rangle be a cyclic group. Then one of the following holds:

  1. a(Z,+)\langle a\rangle \cong(\mathbb{Z},+) if GG is an infinite cyclic group.

  2. a(Zn,+)\langle a\rangle \cong\left(\mathbb{Z}_{n},+\right), where nn is the smallest positive integer such that an=eGa^{n}=e_{G}.

The following example is of great importance in order to understand the properties of cyclic groups.

Example:

Consider the cyclic group gg of order 1212 with generator aa. Then, the group consists of the following set:

G={1,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11}.G=\left\{1, a^{1}, a^{2}, a^{3}, a^{4}, a^{5}, a^{6}, a^{7}, a^{8}, a^{9}, a^{10}, a^{11}\right\}.

We observe that

a5={a5,a10,a3,a8,a,a6,a11,a4,a9,a2,a7,1}=G\left\langle a^{5}\right\rangle=\left\{a^{5}, a^{10}, a^{3}, a^{8}, a, a^{6}, a^{11}, a^{4}, a^{9}, a^{2}, a^{7}, 1\right\}=G

,hence a5a^{5} is also a group generator next to aa. By using the same argument, a7a^{7} and a11a^{11} also generate GG, as discussed earlier. Any other element of the group is not a generator of GG, as

1={1},a6={1,a6},a4=a8={1,a4,a8},a3=a9={1,a3,a6,a9},a2=a10={1,a2,a4,a6,a8,a10}.\begin{aligned} \langle 1\rangle &=\{1\}, \\ \left\langle a^{6}\right\rangle &=\left\{1, a^{6}\right\}, \\ \left\langle a^{4}\right\rangle=\left\langle a^{8}\right\rangle &=\left\{1, a^{4}, a^{8}\right\}, \\ \left\langle a^{3}\right\rangle=\left\langle a^{9}\right\rangle &=\left\{1, a^{3}, a^{6}, a^{9}\right\}, \\ \left\langle a^{2}\right\rangle=\left\langle a^{10}\right\rangle &=\left\{1, a^{2}, a^{4}, a^{6}, a^{8}, a^{10}\right\} . \end{aligned}

Get hands-on with 1400+ tech skills courses.