Definition:Cyclic Group

Definition
A group $$G$$ is cyclic if there exists $$g \in G$$ such that for every $$h \in G$$, $$h = g^n$$ for some positive integer $$n$$.

That is, if every element of $$G$$ is a power of a fixed element of that group.

We say that $$g$$ generates $$G$$ and write $$G = \left \langle {g}\right \rangle$$.

It follows directly from Results concerning Order of Element that if $$\left|{G}\right| = m$$ then $$G = \left\{{e, g, g^2, \ldots, g^{m - 1}}\right\}$$ and $$\left|{g}\right| = m$$.

Notation
A cyclic group with $$n$$ elements is often denoted $$C_n$$.

Some sources use the notation $$\left[{g}\right]$$ to denote the cyclic group generated by $$g$$.

Group Presentation
The presentation of a finite cyclic group is:


 * $$C_n = \left \langle {a: a^n = e} \right \rangle$$