Generated subgroup

A cyclic subgroup is a group generated by a single element.

Definition

Let $(G,\times)$ be a group, and $\{g_1,\cdots,g_n\}\subset G$ be a set of elements of $G$, then the subgroup generated by $\{g_i\}_{i=1}^n$ is given by:

• $$\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\}\}$$

  Where it is understood that for $k=0$ the result of the operation on the empty list is $e$ - the identity element of $G$

Informally that is to say that

$$\langle\{g_i\}_{i=1}^n\rangle$$ is the group that contains all compositions of the $g_i$ and their inverses, until it becomes closed under composition. This can be done because the $g_i\in G$ so 'worst case' if you will is that they generate a subgroup equal to the entire group

Proof of claims

[Expand]

Claim: $\langle\{g_i\}_{i=1}^n\rangle$ is a subgroup of $G$

---

[Expand]

Claim: $\langle\{g_i\}_{i=1}^n\rangle$ is a normal subgroup of $G$

---

---

TODO: Prove claims

---

See also

• Cyclic subgroup
• Commutator
• Conjugation
• Normal subgroup