Group whose Order equals Order of Element is Cyclic

Theorem
Let $G$ be a finite group of order $n$.

Let $g \in G$ have order $n$.

Then $G$ is a cyclic group which is generated by $g$.

Proof
The subgroup of $G$ generated by $g$ is:


 * $\left\langle{g}\right\rangle = \left\{ {g^0, g^1, g^2, \ldots, g^{n - 1}}\right\}$

This contains $n$ elements.

Thus:
 * $\left\langle{g}\right\rangle = G$

and the result follows by definition of cyclic group.