From Wikipedia, the free encyclopedia
En matemáticas, particularmente en álxebra abstracta, a teoría de Galois é unha colección de resultados que conectan a teoría de corpos coa teoría de grupos. A teoría de Galois ten aplicación en diversos problemas da teoría de corpos, e que grazas a este desenvolvemento, poden ser reducidos a problemas máis sinxelos da teoría de grupos. A teoría de Galois debe o seu nome ao matemático francés Évariste Galois (1811-1832).
Orixinariamente, Galois empregou os grupos de permutacións para describir como as diferentes raíces dunha ecuación polinómica dada están relacionadas entre elas. O enfoque moderno da teoría de Galois, desenvolvida entre outros por Richard Dedekind, Leopold Kronecker e Emil Artin, inclúe o estudo dos automorfismos e a extensión de corpos. Abstraccións posteriores da teoría de Galois conséguense polas conexións de Galois.
O nacemento da teoría de Galois estivo motivada polo intento de responder a seguinte cuestión:
O teorema de Abel-Ruffini que é parte da teoría de Galois, dá unha resposta a esta pregunta. A teoría de Galois proporciona non só unha elegante resposta a esta cuestión, senón que tamén explica en detalle por que é posible resolver ecuacións de grao inferior ao quinto, e por que as solucións son expresables mediante operacións alxébricas e extracción de raíces.
Ademais a teoría de Galois proporciona respostas a problemas clásicos da construtibilidade mediante regra e compás. De feito, a teoría de Galois establece cando é posible construír unha certa lonxitude proporcional a unha dada, e grazas a iso poden responderse as seguintes preguntas:
Se se ten un polinomio pode suceder que algunhas das súas raíces estean relacionadas mediante varias ecuacións alxébricas, que cumpran ditas raíces. Por exemplo, pode suceder que para dúas das raíces, A e B, a ecuación A2 + 5B3 = 7 sexa certa. A idea central da teoría de Galois é considerar aquelas permutacións das raíces que teñan a propiedade de que calquera ecuación alxébrica satisfeita por elas sexa satisfeita tamén tras a permutación. É importante sinalar que está restrinxida a ecuacións alxébricas con coeficientes racionais. Pódense especificar certos corpos para os coeficientes, pero nos exemplos de abaixo usaranse números racionais.
O conxunto de tales permutacións formarán un grupo de permutacións, tamén chamado grupo de Galois do polinomio (sobre os números racionais).
Sexa a ecuación cuadrática
Mediante o uso da fórmula para a ecuación cuadrática sábese que as súas dúas raíces son
Algunhas das ecuacións alxébricas que satisfán A e B son
En cada unha destas ecuacións é claro que se se intercambian A e B se obteñen ecuacións válidas. Pero ademais isto é certo, aínda que menos obvio, para calquera ecuación alxébrica que satisfán A e B. Para probalo requírese da teoría dos polinomios simétricos.
Conclúese que o grupo de Galois do polinomio consiste en dúas permutacións: a identidade que deixa A e B iguais, e a transposición, que intercambia A e B. Como grupo, é isomorfo ao grupo cíclico de orde dúas, denotado Z/2Z.
Poderíase expor a obxección de que existe estoutra ecuación satisfeita por A e B:
pero que non é certa cando se intercambian os papeis. Con todo hai que observar que non importa pois os seus coeficientes non son racionais; é irracional.
De xeito parecido pódese falar de calquera polinomio cuadrático , onde a, b e c son números racionais.
Considérese o seguinte polinomio:
que pode escribirse tamén como:
Deséxase describir o grupo de Galois deste polinomio, novamente sobre o corpo dos números racionais. O polinomio ten catro raíces:
Existen 4! = 24 maneiras de permutar estas catro raíces, pero non todas estas permutacións son membros do grupo de Galois. Os membros do grupo de Galois debe preservar calquera ecuación alxébrica con coeficientes racionais A, B, C e D.
Entre esas ecuacións están
Séguese entón que, se é unha permutación que pertence ao grupo de Galois, debe de terse:
Isto implica que a permutación está ben definida pola imaxe de A, que o grupo de Galois ten catro elementos, que son:
e polo tanto o grupo de Galois é isomorfo ao grupo de Klein.
Dise que unha raíz α se pode expresar en radicais se α é elemento dun corpo K tal que onde . Unha ecuación polinómica é soluble por radicais se todas as súas raíces se poden expresar en radicais.[1] Coa teoría de Galois pódese derivar o seguinte teorema:
O problema inverso de Galois expón se todo grupo finito pode ser o grupo de Galois dalgunha extensión dos números racionais. Este problema, proposto inicialmente no século XIX por Hilbert, permanece sen resolver.[3]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
![{\displaystyle K_{i+1}=K_{i}({\sqrt[{n_{i}}]{a_{i}}})\,\exists \,a_{i}\in K_{i},i=0,1,\ldots ,s-i}](http://wikimedia.org/api/rest_v1/media/math/render/svg/2d3c474aff85992008e902f9299dda7da89f037c)
