Definition:Generator of Group/Also denoted as
Jump to navigation
Jump to search
Generator of Group: Also denoted as
If $S$ is a singleton, that is: $S = \set x$, then we can (and usually do) write $G = \gen x$ for the group generated by $\set x$ rather than $G = \gen {\set x}$.
Some sources use the notation $\operatorname {gp} \set S$ for the subgroup generated by $S$.
Where $\map P x$ is a propositional function, the notation:
- $\gen {x \in S: \map P x}$
can be seen for:
- $\gen {\set {x \in S: \map P x} }$
which is no more than notation of convenience.
Sources
- 1965: J.A. Green: Sets and Groups ... (previous) ... (next): $\S 5.3$. Subgroup generated by a subset