Cyclic subgroup
From Maths
Definition
A cyclic subgroup is a generated subgroup, where the generating set is a single element of the group [ilmath](G,\times)[/ilmath], that is:
- For any [ilmath]g\in G[/ilmath] the cyclic subgroup generated by [ilmath]g[/ilmath] is [ilmath]\langle g\rangle[/ilmath] (for the meaning of this notation see Generated subgroup)
- This is equivalent to [math]\langle g\rangle=\{g^n\ |\ n\in\mathbb{Z}\}[/math]
This is a subgroup, and is Abelian (for finite groups - not sure about infinite)
TODO: Proof of claims
