Generated subgroup
A cyclic subgroup is a group generated by a single element.
Definition
Let [ilmath](G,\times)[/ilmath] be a group, and [ilmath]\{g_1,\cdots,g_n\}\subset G[/ilmath] be a set of elements of [ilmath]G[/ilmath], then the subgroup generated by [ilmath]\{g_i\}_{i=1}^n[/ilmath][1] is given by:
- [math]\langle g_1,\cdots,g_n\rangle=\{h_1^{p_1}h_2^{p_2}\cdots h_k^{p_k}|k\in\mathbb{N}_0,\ h_i\in \{g_j\}_{j=1}^n,\ p_i\in\{-1,1\}\}[/math]
- Where it is understood that for [ilmath]k=0[/ilmath] the result of the operation on the empty list is [ilmath]e[/ilmath] - the identity element of [ilmath]G[/ilmath]
Informally that is to say that [math]\langle\{g_i\}_{i=1}^n\rangle[/math] is the group that contains all compositions of the [ilmath]g_i[/ilmath] and their inverses, until it becomes closed under composition. This can be done because the [ilmath]g_i\in G[/ilmath] so 'worst case' if you will is that they generate a subgroup equal to the entire group
Proof of claims
Claim: [ilmath]\langle\{g_i\}_{i=1}^n\rangle[/ilmath] is a subgroup of [ilmath]G[/ilmath]
Claim: [ilmath]\langle\{g_i\}_{i=1}^n\rangle[/ilmath] is a normal subgroup of [ilmath]G[/ilmath]
TODO: Prove claims
