Mostrar código-fonte de Ferdinand Georg Frobenius

{{Info/Biografia/Wikidata
|nome            =Ferdinand Georg Frobenius
|imagem          =GeorgFrobenius (cropped).jpg
|data_nascimento ={{dni|26|10|1849|si}}
|local_nascimento=[[Berlim]]
|data_morte      ={{nowrap|{{morte|3|8|1917|26|10|1849}}}}
|local_morte     =[[Berlim]]
|nacionalidade   =[[Alemães|alemão]]
|tese            =1870: ''De functionum analyticarum unius variab. per series infin. repraesentatione''
|orientador      =[[Karl Weierstrass]] e {{nowrap|[[Ernst Kummer]]}}<ref>{{MathGenealogy|id=4642}}</ref>
|orientado       ={{nowrap|[[Richard Fuchs]]}}, {{nowrap|[[Konrad Knopp]]}}, {{nowrap|[[Edmund Landau]]}}, {{nowrap|[[Robert Remak (matemático)|Robert Remak]]}}, {{nowrap|[[Walter Schnee]]}}, {{nowrap|[[Issai Schur]]}}
|conhecido_por   ={{nowrap|[[Endomorfismo de Frobenius]]}}, {{nowrap|[[método de Frobenius]]}}, {{nowrap|[[teorema de Frobenius]]}}
}}
'''Ferdinand Georg Frobenius''' ([[Berlim]], {{dtlink|26|10|1849}} — Berlim, {{dtlink|3|8|1917}}) foi um [[matemático]] [[Alemães|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.<ref name=":0">{{citar web |ultimo= |primeiro= |url=http://www-history.mcs.st-and.ac.uk/BirthplaceMaps/Berlin.html |titulo="Nasceu em Berlim" |data= |acessodata= |publicado=}}</ref>

== Biografia ==
Ferdinand Georg Frobenius nasceu em 26 de outubro de 1849 em Charlottenburg, um subúrbio de Berlim<ref name=":0" /> 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.<ref name=":1">{{citar web |ultimo= |primeiro= |url=http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Frobenius.html |titulo="Biografia" |data= |acessodata= |publicado=}}</ref> 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ção diferencial|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]].<ref name=":1" /> 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 ==
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 <sup>n</sup>'' = 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 <sup>n</sup>'' = 1 em ''G'' formam um subgrupo. Esse problema foi resolvido para grupos solucionáveis, muitos anos antes.<ref>Hall, Marshall, Jr. (1999). ''The Theory of Groups'' (2ª ed.). Providence, Rhode Island: AMS Chelsea. pp. 145–146. ISBN <bdi>0-8218-1967-4</bdi>. ''Teorema 9.4.1.'' , p. 145, no Google Livros</ref> 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.

:<math>H\cap H^x=\{1\}</math> for all <math>x\in G-H</math>.

Nesse caso, o conjunto

:<math>N=G\,-\!\!\bigcup_{x\in G-H}\!\!H^x</math>

junto com o elemento de identidade de ''G'' forma um subgrupo que é nilpotente como John G. Thompson mostrou em 1959.<ref>Thompson, JG (1959). "Complementos normalp para grupos finitos". ''Mathematische Zeitschrift'' . '''72''' : 332. doi : 10.1007 / BF01162958 .</ref> 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'' <sup>3</sup> - 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 ==
Frobenius introduziu uma forma canónica de transformar primos em classes de conjugação em [[Grupo de Galois|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 <sup>p</sup>'' (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, para''p'' 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==
*{{Citation | last1=Frobenius | first1=Ferdinand Georg | author1-link=Ferdinand Georg Frobenius | title=Gesammelte Abhandlungen. Volumes I, II, III | publisher=[[Springer-Verlag]] | location=Berlim, Nova Iorque | editor-first= J.-P.|editor-last= Serre | isbn=978-3-540-04120-7 | mr=0235974 | year=1968}}
*''[[:Imagem:De functionum analyticarum unius variabilis per series infinitas repraesentatione.djvu|De functionum analyticarum unius variabilis per series infinitas repraesentatione]]'' (em latim), Dissertation, 1870
*''[[:Imagem:Über die Entwicklung analytischer Functionen in Reihen, die nach gegebenen Functionen fortschreiten.djvu|Über die Entwicklung analytischer Functionen in Reihen, die nach gegebenen Functionen fortschreiten]]'' (em alemão), [[Journal für die reine und angewandte Mathematik]] 73, 1–30 (1871)
*''[[:Imagem:Über die algebraische Auflösbarkeit der Gleichungen, deren Coefficienten rationale Functionen einer Variablen sind.djvu|Über die algebraische Auflösbarkeit der Gleichungen, deren Coefficienten rationale Functionen einer Variablen sind]]'' (em alemão), Journal für die reine und angewandte Mathematik 74, 254–272 (1872)
*''[[:Imagem:Über den Begriff der Irreductibilität in der Theorie der linearen Differentialgleichungen.djvu|Über den Begriff der Irreductibilität in der Theorie der linearen Differentialgleichungen]]'' (em alemão), Journal für die reine und angewandte Mathematik 76, 236–270 (1873)
*''[[:Imagem:Über die Integration der linearen Differentialgleichungen durch Reihen.djvu|Über die Integration der linearen Differentialgleichungen durch Reihen]]'' (em alemão), Journal für die reine und angewandte Mathematik 76, 214–235 (1873)
*''[[:Imagem:Über die Determinante mehrerer Functionen einer Variablen.djvu|Über die Determinante mehrerer Functionen einer Variablen]]'' (em alemão), Journal für die reine und angewandte Mathematik 77, 245–257 (1874)
*''[[:Imagem:Über die Vertauschung von Argument und Parameter in den Integralen der linearen Differentialgleichungen.djvu|Über die Vertauschung von Argument und Parameter in den Integralen der linearen Differentialgleichungen]]'' (em alemão), Journal für die reine und angewandte Mathematik 78, 93–96 (1874)
*''[[:Imagem:Anwendungen der Determinantentheorie auf die Geometrie des Maaßes.djvu|Anwendungen der Determinantentheorie auf die Geometrie des Maaßes]]'' (em alemão), Journal für die reine und angewandte Mathematik 79, 185–247 (1875)
*''[[:Imagem:Über algebraisch integrirbare lineare Differentialgleichungen.djvu|Über algebraisch integrirbare lineare Differentialgleichungen]]'' (em alemão), Journal für die reine und angewandte Mathematik 80, 183–193 (1875)
*''[[:Imagem:Über das Pfaffsche Problem.djvu|Über das Pfaffsche Problem]]'' (em alemão), Journal für die reine und angewandte Mathematik 82, 230–315 (1875)
*''[[:Imagem:Über die regulären Integrale der linearen Differentialgleichungen.djvu|Über die regulären Integrale der linearen Differentialgleichungen]]'' (em alemão), Journal für die reine und angewandte Mathematik 80, 317–333 (1875)
*''[[:Imagem:Note sur la théorie des formes quadratiques à un nombre quelconque de variables.djvu|Note sur la théorie des formes quadratiques à un nombre quelconque de variables]]'' (em francês), Comptes rendus de l'[[Académie des Sciences]] Paris 85, 131–133 (1877)
*''[[:Imagem:Zur Theorie der elliptischen Functionen.djvu|Zur Theorie der elliptischen Functionen]]'' (em alemão), Journal für die reine und angewandte Mathematik 83, 175–179 (1877)
*''[[:Imagem:Über adjungirte lineare Differentialausdrücke.djvu|Über adjungirte lineare Differentialausdrücke]]'' (em alemão), Journal für die reine und angewandte Mathematik 85, 185–213 (1878)
*''[[:Imagem:Über lineare Substitutionen und bilineare Formen.djvu|Über lineare Substitutionen und bilineare Formen]]'' (em alemão), Journal für die reine und angewandte Mathematik 84, 1–63 (1878)
*''[[:Imagem:Über homogene totale Differentialgleichungen.djvu|Über homogene totale Differentialgleichungen]]'' (em alemão), Journal für die reine und angewandte Mathematik 86, 1–19 (1879)
*''[[:Imagem:Ueber Matrizen aus nicht negativen Elementen.pdf|Ueber Matrizen aus nicht negativen Elementen]]'' (em alemão), Sitzungsberichte der [[Academia de Ciências da Prússia|Königlich Preussischen Akademie der Wissenschaften]] 26, 456—477 (1912)

{{Referências}}

==Ligações externas==
*{{PND|119045605}}
*{{MacTutor Biography|id=Frobenius}}

{{NF|1849|1917|Frobenius, Ferdinand Georg}}
[[Categoria:Membros da Academia de Ciências de Göttingen]]
[[Categoria:Membros da Academia de Ciências da Prússia]]
[[Categoria:Membros da Leopoldina (século XIX)]]
[[Categoria:Professores da Universidade Humboldt de Berlim]]
[[Categoria:Professores do Instituto Federal de Tecnologia de Zurique]]
[[Categoria:Matemáticos da Alemanha]]
[[Categoria:Matemáticos do século XIX]]
[[Categoria:Matemáticos da Alemanha do século XIX]]
[[Categoria:Matemáticos da Alemanha do século XX]]
[[Categoria:Naturais de Berlim]]