Topologia/Grupo livre e apresentação de um grupo: diferenças entre revisões

 

O teorema anterior, embora dê uma apresentação do grupo <math>G</math>, não nos dá uma "boa" apresentação, pois o conjunto gerador <math>G</math> é usualmente bastante maior do que outros conjuntos geradores, e o conjunto das relações <math>\mathrm{ker} \, \varphi</math> é também usualmente bastante maior do que outros conjuntos de relações suficientes (é até um subgrupo normal de <math>FG(G)</math>, quando bastava que gerasse um subgrupo normal apropriado).