Conjunto gerador de um grupo: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
→Exemplos: since não se traduz para desde nesse contexto |
Correção de erros de sintaxe (Especial:LintErrors) |
||
Linha 14:
Diferentes subconjuntos do mesmo grupo podem ser subconjuntos gerados; por exemplo, se p e q são inteiros com mdc(''p'', ''q'') = 1, então {''p'', ''q''} também geram o grupo de adição de inteiros pela [[Identidade de Bézout]].
Enquanto for verdade que todo quociente de um grupo finitamente gerado é finitamente gerado(simplesmente tome as imagens de geradores no quociente), um subgrupo de um grupo finitamente gerado não precisa ser finitamente gerado. Por exemplo, tome ''G'' como sendo um grupo livre em dois geradores, ''x'' e ''y'' (que é claramente finitamente gerado, desde que ''G'' = <{''x'',''y''}>), e tome ''S'' como sendo um subconjunto consistindo em todos os elementos de ''G'' da forma '''''y''<sup>''n''</sup>''xy''<sup>−''n
==Grupo livre==
|