Definition:Generator of Subgroup/Definition by Predicate
Jump to navigation
Jump to search
Definition
A generator of a subgroup can be defined by a predicate.
For example:
- $\gen {x \in G: x^2 = e}$
defines the subgroup of $G$ generated by the elements of $G$ of order $2$.
Sources
- 1967: John D. Dixon: Problems in Group Theory ... (previous) ... (next): Introduction: Notation