Teorema de Nielsen-Schreier - Nielsen–Schreier theorem
Na teoria dos grupos , um ramo da matemática, o teorema de Nielsen-Schreier afirma que todo subgrupo de um grupo livre é ele próprio livre. Recebeu o nome de Jakob Nielsen e Otto Schreier .
Declaração do teorema
Um grupo livre pode ser definido a partir de uma apresentação de grupo que consiste em um conjunto de geradores sem relações. Ou seja, cada elemento é um produto de alguma sequência de geradores e seus inversos, mas esses elementos não obedecem a nenhuma equação, exceto aquelas que seguem trivialmente gg −1 = 1. Os elementos de um grupo livre podem ser descritos como todas as palavras reduzidas possíveis , aquelas cadeias de geradores e seus inversos em que nenhum gerador é adjacente ao seu próprio inverso. Duas palavras reduzidas podem ser multiplicadas concatenando -as e removendo quaisquer pares gerador-inverso que resultem da concatenação.
O teorema de Nielsen-Schreier afirma que se H é um subgrupo de um grupo livre G , então H é ele próprio isomorfo a um grupo livre. Isto é, existe um conjunto S de elementos que geram H , sem nenhuma relações não triviais entre os elementos de S .
A fórmula de Nielsen-Schreier , ou fórmula de índice de Schreier , quantifica o resultado no caso em que o subgrupo tem índice finito: se G é um grupo livre de classificação n (livre em geradores n ), e H é um subgrupo de índice finito [ G : H ] = e , então H está livre de classificação .
Exemplo
Seja G o grupo livre com dois geradores e seja H o subgrupo que consiste em todas as palavras reduzidas de comprimento par (produtos de um número par de letras ). Então H é gerado por seus seis elementos. Uma fatoração de qualquer palavra reduzida em H nesses geradores e seus inversos podem ser construídos simplesmente tomando pares consecutivos de letras na palavra reduzida. No entanto, esta não é uma apresentação livre de H porque os três últimos geradores podem ser escritos em termos dos três primeiros como . Em vez disso, H é gerado como um grupo livre pelos três elementos que não têm relações entre eles; ou, em vez disso, por vários outros triplos dos seis geradores. Além disso, G é livre em n = 2 geradores, H tem índice e = [ G : H ] = 2 em G e H é livre em 1 + e ( n –1) = 3 geradores. O teorema de Nielsen-Schreier afirma que, como H , todo subgrupo de um grupo livre pode ser gerado como um grupo livre e, se o índice de H for finito, sua classificação é dada pela fórmula do índice.
Prova
Uma curta prova do teorema de Nielsen-Schreier usa a topologia algébrica de grupos fundamentais e espaços de cobertura . Um grupo livre G em um conjunto de geradores é o grupo fundamental de um buquê de círculos , um grafo topológico X com um único vértice e com uma borda de loop para cada gerador. Qualquer subgrupo H do grupo fundamental é em si o grupo fundamental de um espaço de cobertura ligado Y → X. O espaço Y é um (possivelmente infinito) topológica gráfico, o gráfico coset Schreier tendo um vértice para cada classe lateral em G / H . Em qualquer gráfico topológica ligado, é possível reduzir as margens de uma árvore de expansão do gráfico, a produção de um ramalhete de círculos que tem o mesmo grupo fundamental H . Como H é o grupo fundamental de um buquê de círculos, ele próprio é livre.
A homologia simplificada permite o cálculo da classificação de H , que é igual a h 1 ( Y ), o primeiro número de Betti do espaço de cobertura, o número de ciclos independentes. Para G livre de posto n , o grafo X tem n arestas e 1 vértice; assumindo que H possui o índice finito [ G : H ] = e , o gráfico cobrindo Y tem en bordas e e vértices. O primeiro número de Betti de um gráfico é igual ao número de arestas, menos o número de vértices, mais o número de componentes conectados; portanto, a classificação de H é:
Essa prova se deve a Reinhold Baer e Friedrich Levi ( 1936 ); a prova original por Schreier forma o gráfico Schreier de um modo diferente como um quociente do gráfico Cayley de L módulo a acção de H .
De acordo com o lema do subgrupo de Schreier , um conjunto de geradores para uma apresentação livre de H pode ser construído a partir de ciclos no gráfico de cobertura formado pela concatenação de um caminho de árvore geradora de um ponto base (o coset da identidade) a um dos cosets, um uma única aresta que não seja de árvore e um caminho de árvore de abrangência inversa do outro ponto final da aresta de volta ao ponto base.
Fundações axiomáticas
Embora várias provas diferentes do teorema de Nielsen-Schreier sejam conhecidas, todas elas dependem do axioma da escolha . Na prova baseada em grupos fundamentais de buquês, por exemplo, o axioma da escolha aparece sob o disfarce da afirmação de que todo grafo conectado possui uma árvore geradora. O uso deste axioma é necessário, pois existem modelos da teoria dos conjuntos de Zermelo – Fraenkel nos quais o axioma da escolha e o teorema de Nielsen – Schreier são ambos falsos. O teorema de Nielsen-Schreier, por sua vez, implica uma versão mais fraca do axioma da escolha, para conjuntos finitos.
História
O teorema de Nielsen-Schreier é um análogo não abeliano de um resultado mais antigo de Richard Dedekind , de que todo subgrupo de um grupo abeliano livre é abeliano livre .
Jakob Nielsen ( 1921 ) provou originalmente uma forma restrita do teorema, afirmando que qualquer subgrupo finitamente gerado de um grupo livre é livre. Sua prova envolve a execução de uma sequência de transformações de Nielsen no conjunto gerador do subgrupo que reduz seu comprimento (como palavras reduzidas no grupo livre de onde são retiradas). Otto Schreier provou o teorema de Nielsen – Schreier em sua total generalidade em sua tese de habilitação de 1926 , Die Untergruppen der freien Gruppe , também publicada em 1927 no Abh. matemática. Sem. Hamburgo. Univ.
A prova topológica baseada em grupos fundamentais de buquês de círculos deve-se a Reinhold Baer e Friedrich Levi ( 1936 ). Outra prova topológica, baseada na teoria Bass-Serre de ações de grupo em árvores , foi publicada por Jean-Pierre Serre ( 1970 ).
Veja também
- Teorema fundamental dos grupos cíclicos , um resultado semelhante para grupos cíclicos que no caso infinito pode ser visto como um caso especial do teorema de Nielsen-Schreier
Notas
Referências
- Baer, Reinhold ; Levi, Friedrich (1936), "Freie Produkte und ihre Untergruppen", Compositio Mathematica , 3 : 391-398.
- Fried, Michael D .; Jarden, Moshe (2008), Field arithmetic , Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, 11 (3ª ed.), Springer-Verlag , p. 70, ISBN 978-3-540-77269-9, Zbl 1145,12001.
- Howard, Paul E. (1985), "Subgroups of a free group and the axiom of choice", The Journal of Symbolic Logic , 50 (2): 458-467, doi : 10.2307 / 2274234 , JSTOR 2274234 , MR 0793126.
- Johnson, DL (1980), Tópicos na Teoria das Apresentações de Grupo , Série de notas de aula da London Mathematical Society, 42 , Cambridge University Press, ISBN 978-0-521-23108-4.
- Johnson, DL (1997), Presentations of Groups , textos de alunos da London Mathematical Society, 15 (2ª ed.), Cambridge University Press, ISBN 978-0-521-58542-2.
- Läuchli, Hans (1962), "Auswahlaxiom in der Algebra", Commentarii Mathematici Helvetici , 37 : 1-18, doi : 10.1007 / bf02566957 , hdl : 20.500.11850 / 131689 , MR 0143705 , S2CID 186223589.
- Magnus, Wilhelm ; Karrass, Abraham; Solitar, Donald (1976), Combinatorial Group Theory (2ª edição revisada), Dover Publications.
- Nielsen, Jakob (1921), "Om regning med ikke-kommutative faktorer og dens anvendelse i gruppeteorien", Math. Tidsskrift B (em dinamarquês), 1921 : 78–94 , JFM 48.0123.03.
- Rotman, Joseph J. (1995), An Introduction to the Theory of Groups , Graduate Texts in Mathematics, 148 (4ª ed.), Springer-Verlag, ISBN 978-0-387-94285-8.
- Serre, J.-P. (1970), Groupes Discretes , Extrait de l'Annuaire du College de France, Paris.
- Serre, J.-P. (1980), Trees , Springer-Verlag, ISBN 3-540-10103-9.
- Stillwell, John (1993), Classical Topology and Combinatorial Group Theory , Graduate Texts in Mathematics, 72 (2ª ed.), Springer-Verlag.