If $G$ is a group and $S$ is a subset of $G$, then $S$ is a set of **generators** if the smallest subgroup of $G$ containing $S$ equals $G$.

Equivalently, $S$ generates $G$ if \[ G=\bigcap_{S\subseteq H\leq G} H \,.\]

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by John Jones on 2018-07-07 20:43:55

**Referred to by:**

**History:**(expand/hide all)

- 2018-07-07 20:43:55 by John Jones (Reviewed)