Changes

Jump to: navigation, search

Generating set of a group

40 bytes added, 14:33, 18 May 2008
no edit summary
{{termrelatedto|combinatorial group theory}}
<section begin=main/>
==Definition==
* 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>.
* 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>.
<section end=main/>
==Constructs==
Bureaucrats, emailconfirmed, Administrators
38,756
edits

Navigation menu