Saltar para o conteúdo

Ferdinand Georg Frobenius

Origem: Wikipédia, a enciclopédia livre.
Ferdinand Georg Frobenius
Ferdinand Georg Frobenius
Endomorfismo de Frobenius, método de Frobenius, teorema de Frobenius
Nascimento 26 de outubro de 1849
Berlim
Morte 3 de agosto de 1917 (67 anos)
Berlim
Nacionalidade alemão
Cidadania Reino da Prússia
Alma mater
Ocupação matemático, professor universitário
Empregador(a) Universidade Humboldt de Berlim, Instituto Federal de Tecnologia de Zurique
Orientador(a)(es/s) Karl Weierstrass e Ernst Kummer[1]
Orientado(a)(s) Richard Fuchs, Konrad Knopp, Edmund Landau, Robert Remak, Walter Schnee, Issai Schur
Tese 1870: De functionum analyticarum unius variab. per series infin. repraesentatione

Ferdinand Georg Frobenius (Berlim, 26 de outubro de 1849 — Berlim, 3 de agosto de 1917) foi um matemático alemão, mais conhecido por suas contribuições à teoria das funções elípticas, equações diferenciais, teoria dos números e teoria dos grupos. Ele é conhecido pelas famosas identidades determinantes, conhecidas como fórmulas de Frobenius-Stickelberger, que regem as funções elípticas, e por desenvolver a teoria das formas biquadráticas. Ele também foi o primeiro a introduzir a noção de aproximações racionais de funções (hoje conhecidas como aproximações de Padé), e deu a primeira prova completa para o teorema de Cayley-Hamilton. Ele também emprestou seu nome a certos objetos geométricos diferenciais na física matemática moderna, conhecidos como variedades de Frobenius.[2]

Ferdinand Georg Frobenius nasceu em 26 de outubro de 1849 em Charlottenburg, um subúrbio de Berlim[2] dos pais Christian Ferdinand Frobenius, um pároco protestante, e Christine Elizabeth Friedrich. Ele entrou no Joachimsthal Gymnasium em 1860 quando tinha quase onze anos.[3] Em 1867, depois de se formar, ele foi para a Universidade de Göttingen, onde começou seus estudos universitários, mas só estudou lá por um semestre antes de retornar a Berlim, onde assistiu a palestras de Kronecker, Kummer e Karl Weierstrass. Ele recebeu seu doutorado (premiado com distinção) em 1870, supervisionado por Weierstrass. Sua tese, orientada por Weierstrass, foi sobre a solução de equações diferenciais. Em 1874, depois de ter lecionado no ensino médio, primeiro no Joachimsthal Gymnasium e depois na Sophienrealschule, foi nomeado professor extraordinário de matemática para a Universidade de Berlim.[3] Frobenius estava em Berlim apenas um ano antes de ir para Zurique para assumir uma posição como professor ordinário no Eidgenössische Polytechnikum. Por dezessete anos, entre 1875 e 1892, Frobenius trabalhou em Zurique. Foi lá que ele se casou, criou sua família e fez um trabalho muito importante em áreas amplamente diferentes da matemática. Nos últimos dias de dezembro de 1891, Kronecker morreu e, portanto, sua cadeira em Berlim ficou vaga. Weierstrass, acreditando fortemente que Frobenius era a pessoa certa para manter Berlim na vanguarda da matemática, usou sua influência considerável para nomear Frobenius. Em 1893, ele retornou a Berlim, onde foi eleito para a Academia Prussiana de Ciências.

Contribuições para a teoria do grupo

[editar | editar código-fonte]

A teoria de grupo foi um dos principais interesses de Frobenius na segunda metade de sua carreira. Uma de suas primeiras contribuições foi a prova dos teoremas de Sylow para grupos abstratos. As provas anteriores foram para grupos de permutação. Sua prova do primeiro teorema de Sylow (sobre a existência de grupos de Sylow) é uma das frequentemente usadas hoje.

  • Frobenius também provou o seguinte teorema fundamental: Se um inteiro positivo n divide a ordem | G | de um grupo finito G, então o número de soluções da equação x n = 1 em G é igual a kn para algum inteiro positivo k. Ele também propôs o seguinte problema: Se, no teorema acima, k = 1, então as soluções da equação x n = 1 em G formam um subgrupo. Esse problema foi resolvido para grupos solucionáveis, muitos anos antes.[4] Somente em 1991, após a classificação de grupos finitos simples, este problema foi resolvido em geral.

Mais importante foi a sua criação da teoria dos caracteres e representações de grupos, que são ferramentas fundamentais para estudar a estrutura dos grupos. Este trabalho levou à noção de reciprocidade de Frobenius e à definição do que agora são chamados de grupos de Frobenius. Um grupo G é considerado um grupo de Frobenius se houver um subgrupo H < G tal que para todos.

for all .

Nesse caso, o conjunto

junto com o elemento de identidade de G forma um subgrupo que é nilpotente como John G. Thompson mostrou em 1959.[5] Todas as provas conhecidas desse teorema fazem uso de caracteres. Em seu primeiro artigo sobre personagens (1896), Frobenius construiu a tabela de personagens do grupo de ordem (1/2) ( p 3 - p) para todos os primos ímpares p (este grupo é simples desde que p > 3). Ele também fez contribuições fundamentais para a teoria da representação dos grupos simétricos e alternados.

Contribuições para a teoria dos números

[editar | editar código-fonte]

Frobenius introduziu uma forma canónica de transformar primos em classes de conjugação em grupos de Galois sobre Q. Especificamente, se K / Q é uma extensão finita de Galois, então para cada primo (positivo) p que não se ramifica em K e para cada ideal primo P situado sobre p em K, há um único elemento g de Gal ( K / Q ) que satisfaz a condição g ( x ) = x p (mod P ) para todos os inteiros x de K. Variar P sobre p transforma g em um conjugado (e todo conjugado de g ocorre dessa maneira), de modo que a classe de conjugação de g no grupo de Galois está canonicamente associada a p. Isso é chamado de classe de conjugação Frobenius de p e qualquer elemento da classe de conjugação é chamado de elemento Frobenius de p. Se tomarmos para K o m ésimo campo ciclotômico, cujo grupo de Galois sobre Q é o módulo de unidades m (e, portanto, é abeliano, então as classes de conjugação tornam-se elementos), então, parap não dividindo m a classe de Frobenius no grupo de Galois é p mod m. Deste ponto de vista, a distribuição das classes de conjugação de Frobenius em grupos de Galois sobre Q (ou, mais geralmente, grupos de Galois sobre qualquer campo numérico) generaliza o resultado clássico de Dirichlet sobre os primos em progressões aritméticas. O estudo de grupos de Galois de extensões de grau infinito de Q depende crucialmente desta construção de elementos de Frobenius, que fornece em certo sentido um subconjunto denso de elementos que são acessíveis para um estudo detalhado.

Publicações

[editar | editar código-fonte]

Referências

  1. Ferdinand Georg Frobenius (em inglês) no Mathematics Genealogy Project
  2. a b «"Nasceu em Berlim"» 
  3. a b «"Biografia"» 
  4. Hall, Marshall, Jr. (1999). The Theory of Groups (2ª ed.). Providence, Rhode Island: AMS Chelsea. pp. 145–146. ISBN 0-8218-1967-4. Teorema 9.4.1. , p. 145, no Google Livros
  5. Thompson, JG (1959). "Complementos normalp para grupos finitos". Mathematische Zeitschrift . 72 : 332. doi : 10.1007 / BF01162958 .

Ligações externas

[editar | editar código-fonte]