Bureaucrats, emailconfirmed, Administrators

38,913

edits
Jump to: navigation, search

no edit summary

{{termrelatedto|combinatorial group theory}}

<section begin=~~main~~beginner/>

==Definition==

* Every element of the group can be expressed in terms of the elements of this subset by means of the group operations of multiplication and inversion. (note that if the subset is a [[symmetric subset]], i.e., it is closed under taking inverses, then every element of the group must be a product of elements in the subset. Symmetric subsets arise, for instance, when we take a union of subgroups).

* There is no proper subgroup of the group containing this subset<section end=beginner/>

* There is a surjective map from a [[free group]] on that many generators to the given group, that sends the generators of the free group to the elements of this ''generating set''.

<section begin=beginner/>

The elements of the generating set are termed generators.

where for each <math>a_i</math>, either <math>a_i \in S</math> or <math>a_i^{-1} \in S</math> (here, the <math>a_i</math>s are not necessarily distinct). In the situation where <math>S</math> is a [[symmetric subset]] (i.e. <math>a_i \in S \implies a_i^{-1} \in S</math>) we do not need to throw in inverses. This happens, for instance, when <math>S</math> is a union of subgroups of <math>G</math>.

* If <math>H</math> is a [[proper subgroup]] of <math>G</math> (i.e. <math>H</math> is a [[subgroup]] of <math>G</math> that is not equal to the whole of <math>G</math>), then <math>H</math> cannot contain <math>S</math>.<section end=beginner/>

* Consider the natural map from the free group on as many generators as elements of <math>S</math>, to the group <math>G</math>, which maps the freely generating set to the elements of <math>S</math>. This gives a surjective homomorphism from the free group, to <math>G</math>.

==Constructs==

Retrieved from "https://groupprops.subwiki.org/wiki/Special:MobileDiff/11216"