Um pouco da Histria da lgebra parte 2

Antonio Carlos Brolezzi

O caso irredutvel da cbica, em que a frmula de Cardano leva a uma raiz quadrada de nmero negativo, foi resolvido por Rafael Bombelli em 1572.
250 anos se passaram sem que ningum conseguisse resolver a quntica, embora muitos matemticos tenham tentado, como Vite, Harriot, Tschirnhaus, Euler, Bezout e Descartes.

Franois Vite (1540 - 1603)

Ruffini, um mdico e padre italiano, foi o primeiro a propor uma demonstrao de que a equao geral do quinto grau no podia ser resolvida por radicais. Mas seu tratado de 1798 no apresentava uma demonstrao satisfatria.

Paolo Ruffini (1765-1822)

Um jovem matemtico noruegus, Abel, apresentou uma prova completa da impossibilidade da soluo da quntica por radicais. Sua demonstrao envolvia aplicar resultados de permutaes sobre o conjunto das razes da equao.

Niels Henrik Abel (1802-1829)

Abel era de famlia muito pobre. Tudo parecia que iria mudar quando, em sua escola, o professor de matemtica foi mandado embora aps ter castigado um aluno at a morte. O novo professor ficou entusiasmado com o garoto. Mas seu pai morreu e deixou a famlia na misria. Seu professor vez ento uma coleta para ajuntar dinheiro para que ele fizesse a universidade. Ele graduou-se em 1822.

Niels Henrik Abel (1802-1829)

Outro professor da Universidade tomou conta de Abel, que tinha uma pssima sade. Abel no conseguia emprego, e endividouse muito viajando para visitar matemticos e chegando a pagar para imprimir artigos. Quando Abel finalmente conseguiu um emprego em uma Universidade, no chegou a ler a carta com a boa notcia, pois tinha morrido 3 dias antes, com 27 anos.

Abel pesquisou dois problemas: 1. Encontrar todas as equaes de grau qualquer que so solveis algebricamente. 2. Decidir se uma equao dada soluvel algebricamente ou no.
Embora no tenha resolvido esses problemas em vida, Abel obteve um resultado particularmente interessante. Abel generalizou a soluo de Gauss para a equao xn - 1 = 0, na qual todas as razes so expressas como potncia de uma delas.

Gauss (1777-1855)

Abel mostrou que: se as razes de uma equao de grau qualquer esto relacionadas de modo que todas sejas expressas racionalmente em termos de uma delas, que so designadas por x, e se, alm disso, para quaisquer duas razes x e 1x (onde e 1 so funes racionais), temos 1x = 1x, ento a equao solvel algebricamente.

Devido a esse resultado que os grupos comutativos so chamados hoje como grupos abelianos.

Abel no pode terminar seu programa, mas sua tarefa foi levada adiante por outro jovem de vida curta, Galois. Suas idias sobre a soluo de equaes algbricas por radicais foram apresentadas em um manuscrito submetido Academia Francesa em 1829 (ele tinha 17 anos). Evariste Galois (1811-1832)

Evariste Galois (1811-1832)

Galois estudou em casa com sua me at aos 12 anos. Quando entrou na escola, repetiu de ano. Quando tinha 16 anos descobriu a matemtica com um professor que era o nico que escrevia boas coisas sobre ele no boletim. Com 17 anos Galois prestou vestibular na Escola Politcnica mas no passou.

Evariste Galois (1811-1832)

Voltou a prestar o vestibular mas seu pai havia se suicidado dias antes e ele no passou de novo. Entrou ento na Escola Normal. Foi expulso por publicar uma crtica ao diretor no jornal da escola. Entrou para o exrcito, mas foi preso duas vezes por envolvimento em poltica.

Vtima de clera, ficou internado e apaixonouse pela filha do mdico, Stephanie.

Escrevia seu nome diversas vezes nas margens de seus manuscritos.

Como eram as mulheres na Frana na poca? Retrato de Elizabeth Vige Le Brun, pintora francesa (1755-1842)

Naquele seu primeiro manuscrito, Galois comea por clarificar a idia de racionalidade. Uma vez que uma equao tenha coeficientes em um certo domnio, por exemplo no conjunto dos nmeros racionais, ento dizer que uma equao solvel por radicais significa que pode-se expressar qualquer raiz usando as quatro operaes bsicas e a extrao de razes, todas aplicadas aos elementos do domnio original. Assim, conveniente resolver por passos. Portanto, uma vez que seja resolvida a equao xn = , por exemplo, tem-se disponveis como coeficientes no prximo passo essas solues, expressas como n , r n , r 2 n ,...

Onde r uma raiz n-sima da unidade.

Galois observou que tais quantidades so acrescentadas ao domnio original e que qualquer quantidade que possa ser expressa pelas quatro operaes fundamentais em termos destas novas quantidades e as originais podem ento ser consideradas como racionais.
Seu principal resultado pode ser expresso da seguinte forma:

Seja uma equao dada na qual a, b, c, ... Sejam as m razes (Galois assume que esta equao irredutvel e que todas as razes so distintas.) Sempre haver um grupo de permutaes das letras a, b, c, ... Que possui a seguinte propriedade: 1. Que toda funo das razes, invarivel sob as permutaes do grupo , conhecida racionalmente; 2. Por outro lado, que toda funo das razes, racionalmente conhecida, invariante sob as permutaes. Galois chamou este grupo de permutaes de grupo da equao.

Os bigrafos de Galois tem relatado uma vida trgica e aventuresca. De fato, Galois morreu muito jovem, com menos de 21 anos, vitima de um tiro no estmago como conseqncia de um duelo com Pescheux dHerbinville. Galois foi encontrado sozinho por um campons e levado ao Hospital Cochin, onde morreu no dia seguinte nos braos de seu irmo Alfred. Na noite anterior ao duelo, Galois escreveu diversas cartas. O nome de Stephanie aparece de novo. Em uma carta a seu amigo Chevalier, ele descreve e elucida sua teoria. Mas no verdade que tenha criado a teoria dos grupos na madrugada, vspera de sua morte, como Bell e outros bigrafos insistem em colocar. Ele usa o termo grupo no sentido de grupo de permutaes em todos seus escritos desde que tinha 17 anos.

O que certo que Galois teve sua teoria rejeitada muitas vezes.

Seu primeiro manuscrito de 1829 submetido Academia Francesa foi rejeitado por Cauchy (17891857). Os bigrafos dizem que Cauchy desprezou o artigo, que o perdeu etc.

Mas Ren Taton descobriu evidncias do contrrio, de que Cauchy sugeriu que Galois retirasse o artigo e o submetesse ao Grand Prix. Galois realmente submeteu sua teoria melhorada em maro de 1830. Fourier recebeu seu trabalho mas morreu pouco depois, e o artigo de Galois foi perdido. O prmio foi dado a Abel (postumamente) e Jacobi em Julho de 1830.

Fourier (1768 - 1830)

Poisson convidou Galois a submeter uma terceira verso de sua teoria de equaes Academia e ele assim fez em 17 de janeiro de 1831. Poisson no entendeu o artigo e solicitou que o melhorasse. Ocorre que a noo de grupo ainda no estava estabelecida, por isso Poisson no entendeu o artigo. Poisson (1781 - 1840)

Cauchy publicou uma definio de grupo em 1845. Um ano depois Liouville publicou algumas notas que Galois havia feito em seus artigos na noite anterior ao duelo, onde se lia: ... se em tal grupo temos as substituies S e T ento temos a substituio ST.

Ora, teria Cauchy recebido influncia de Galois, sem fazer referncia a ele? Ou teria ele sido influenciado diretamente por Ruffini?

Liouville (1809 - 1882)

Seja como for, o certo que Cauchy segue a linha de definir grupos apenas com relao permutao. Kronecker e Weber seguem essa linha.

Kronecker (1823 - 1891)

Weber (1842 - 1913)

Essa elaborao culmina com Frobenius e Hlder.

Frobenius (1849 - 1917)

Hlder (1859 - 1937)

Por outro lado, Cayley escreveu um artigo sobre grupos em 1854 em que deu uma definio mais abstrata de grupo. Essa idia foi seguida por Dick e Burnside.

Cayley (1821 - 1895) Dick (1856 - 1934)

Burnside (1852 - 1927)

Ambas as linhas culminam no sculo XX com Emmy Noether, principalmente atravs do seu aluno Van der Waerden.

Emmy Noether (1882 - 1935)

Van der Waerden (1903 - 1996)

Esse o diagrama das interaes entre os vrios matemticos at a definio abstrata de grupo (elaborado por Peter Neumann em um conferncia 19 de maro de 2001 na Universidade de Sussex)

O uso ainda indefinido da palavra grupo por Galois pode explicar a dificuldade de compreenso de seus resultados em sua poca. Mas a noo de grupo se tornar importantssima para expressar sua prpria teoria mais tarde. Essa moderna definio de grupo, chave para entender a Teoria de Galois, somente ser desenvolvida no final do sculo XIX e a Teoria de Grupos se tornar um dos principais resultados da matemtica do sculo XX.

Creio que estudar a Histria de Galois ajuda a entender um pouco da natureza da Matemtica e tambm da Histria da Matemtica.
A Histria da Teoria de Galois mostra que a Matemtica construda com muito estudo, erros, pequenos acertos e a cooperao fundamental.