# Subgroup Generated by One Element is Cyclic

## Theorem

Let $G$ be a group.

Let $a \in G$.

Then $\gen a$, the subgroup generated by $a$, is cyclic:

## Proof

$\gen a = \set {a^n : n \in \Z}$

The result follows by definition of cyclic group.

$\blacksquare$