Conjunto gerador de um grupo
Este artigo não cita fontes confiáveis. (Janeiro de 2022) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/40/One5Root.svg/220px-One5Root.svg.png)
Em álgebra abstrata, o conjunto gerador de um grupo é um subconjunto formado por elementos do grupo tal que todo elemento do grupo possa ser expresso como uma combinação (utilizando a operação do grupo) finita dos elementos do conjunto gerador e de seus inversos.
Em outras palavras, se for um subconjunto do grupo , então , o subgrupo gerado por , é o menor subgrupo de contendo todo elemento de , que é igual à intersecção de todos os subgrupos que contêm os elementos de ; de forma equivalente, é o subgrupo de todos os elementos de que podem ser exprimidos como um produto finito dos elementos de e de seus inversos. (Nota-se que inversos são necessários somente se o grupo for infinito; em um grupo finito, o inverso de um elemento pode ser expresso como uma potência do mesmo elemento.)
Se , então diz-se que gera , e o elementos em são chamados de generators ou geradores do grupo. Se for o conjunto vazio, então é o grupo trivial , já que se considera o produto vazio como sendo o elemento identidade do grupo.
Quando se há apenas um único elemento em , é usualmente denotado . Neste caso, é o subgrupo cíclico das potências de , e diz-se que esse grupo é gerado por . É equivalente dizer que um elemento gera um grupo ou dizer que é igual ao grupo inteiro . Para grupos finitos, também é equivalente dizer que tem ordem .
Um grupo pode precisar de um número infinito de geradores. Por exemplo, o grupo aditivo dos números racionais não é finitamente gerado; ele é gerado pelos inveross dos inteiros, porém qualquer quantidade finita desses geradores pode ser removida do conjunto gerador sem que ele deixe de ser um conjunto gerador. Em um caso como esse, todos os elementos do conjunto gerador ainda são ditos "elementos não-geradores", como de fato são todos os elementos do grupo.
Se é um grupo topológico então um subconjunto de é chamado de um conjunto de geradores topológicos se for denso em , isto é o fecho de é todo o grupo .
Grupo finitamente gerado
Se S é finito, então um grupo G = <S> é chamado finitamente gerado. A estrutura de grupos abelianos finitamente gerados em particular é facilmente descrito. Muitos teoremas que são verdadeiros pelos grupos finitamente gerados falham por grupos em geral. Tem sido provado que se um grupo infinito é gerado por um subconjunto S, então cada elemento do grupo pode ser expresso como uma palavra do alfabeto S de comprimento menor do que ou igual ao comprimento do grupo.
Todo grupo finito é finitamente gerado desde que <G> = G. A adição dos inteiros é um exemplo de um grupo infinito que é finitamente gerado por ambos 1 e -1, mas o grupo de adição dos racionais não pode ser definido como finitamente gerado.
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 ynxy−n, dado n um número natural. Desde que <S> seja claramente isomórfico para o grupo livre nos geradores contábeis, isto não pode ser finitamente gerado. Contudo, todo grupo de um grupo abeliano finitamente gerado é em si finitamente gerado. Um pouco mais pode ser dito sobre isso, porém: a classe de todos os grupos finitamente gerados é fechado sobre expressões. Para visualizar, tome um conjunto gerado por um (finitamente gerado) subgrupo normal e quociente: então os geradores para o grupo normal, juntos com pré-imagens dos geradores para o quociente, gera o grupo.
Grupo livre
O grupo mais geral gerado por um conjunto S é o grupo livremente gerado por S. Todo grupo gerado por S é isomórfico ao quociente deste grupo, uma característica que é usada em expressões de uma apresentação do grupo.
Subgrupo Frattini
Um tópico interessante é a dos não-geradores. Um elemento x do grupo G é um não-gerador se todo conjunto S contém x que gera G, ainda gera G quando x é removido de S. Nos inteiros com adição, o único não-gerador é 0. O conjunto de todos os não-geradores forma um subgrupo de G, o subgrupo Frattini.
Exemplos
A união de grupos U(Z9) é o grupo de todos os inteiros relativamente primos a 9 sob multiplicação de mod 9 (U9 = {1, 2, 4, 5, 7, 8}). Toda aritmética aqui está feita em módulo 9. Sete não é gerador de U(Z9), já que
enquanto 2 é, já que:
Por outro lado, para n > 2 o grupo simétrico de grau n não é cíclico, então não é gerado por qualquer outro elemento. Contudo, é gerado pelas duas permutações (1 2) e (1 2 3 ... n). Por exemplo, para S3 temos:
Grupos infinitos também ter geradores de conjuntos finitos. O grupo de adição de inteiros tem 1 como um conjunto gerador. O elemento 2 não é conjunto gerador, como os números ímpares estará ausente. O subconjunto de dois elementos {3, 5} é um conjunto gerador, desde que (−5) + 3 + 3 = 1 (de fato, qualquer par de números coprimos é, como uma consequência da Identidade de Bézout).