Category:Generators of Groups

From ProofWiki
Jump to navigation Jump to search

This category contains results about Generators of Groups.
Definitions specific to this category can be found in Definitions/Generators of Groups.

Let $\struct {G, \circ}$ be a group.

Let $S \subseteq G$.

Then $S$ is a generator of $G$, denoted $G = \gen S$, if and only if $G$ is the subgroup generated by $S$.