Teoría de Galois

En matemáticas, la teoría de Galois es una colección de resultados que conectan la teoría de cuerpos con la teoría de grupos. La teoría de Galois tiene aplicación a diversos problemas de la teoría de cuerpos, que gracias a dicha teoría, pueden ser reducidos a problemas más sencillos de la teoría de grupos. La teoría de Galois debe su nombre al matemático francés Évariste Galois (1811-1832), muerto a la edad de 20 años.

Contenido

1 Aplicaciones de la teoría de Galois
2 El enfoque de la teoría de Galois usando el grupo de permutaciones
- 2.1 Primer ejemplo: ecuación cuadrática
- 2.2 Segundo ejemplo: algo más ingenioso
3 Enfoque moderno de la teoría de campos
4 Grupos solubles y solución por radicales
5 El problema inverso de Galois
6 Referencias
- 6.1 Notas al pie
- 6.2 Bibliografía

Aplicaciones de la teoría de Galois

El nacimiento de la teoría de Galois estuvo motivada por el intento de responder a la siguiente cuestión:

¿Por qué no existe una fórmula para la resolución de ecuaciones polinómicas de quinto grado (o superior) en términos de los coeficientes del polinomio, usando operaciones algebraicas (suma, resta, multiplicación, división) y la extracción de raíces (raíces cuadradas, cúbicas, etc); tal como existe para las ecuaciones de segundo, tercer y cuarto grado?

El teorema de Abel-Ruffini que es parte de la teoría de Galois da una respuesta a esta pregunta. La teoría de Galois proporciona no sólo una elegante respuesta a esta cuestión, sino que también explica en detalle por qué es posible resolver ecuaciones de grado inferior al cuarto, y por qué las soluciones son expresables mediante operaciones algebraicas y extracción de raíces.

Además la teoría de Galois proporciona respuestas a problemas clásicos de la constructibilidad mediante regla y compás. De hecho, la teoría de Galois establece cuándo es posible construir una cierta longitud proporcional a una dada, y gracias a eso pueden responderse a las siguientes preguntas:

¿Qué polígonos regulares son construibles mediante regla y compás?

¿Por qué no es posible la trisección de un ángulo?

El enfoque de la teoría de Galois usando el grupo de permutaciones

Si tenemos un polinomio puede suceder que algunas de sus raíces estén digamos que "conectadas" mediante varias ecuaciones algebraicas, que cumplan dichas raíces. Por ejemplo, puede suceder que para dos de las raíces, digamos A y B, la ecuación A² + 5B³ = 7 sea cierta. La idea central de la teoría de Galois es el considerar aquellas permutaciones (o arreglos) de las raíces que tengan la propiedad de que cualquier ecuación algebraica satisfecha por ellas sea satisfecha también tras la permutación o el arreglo. Es importante señalar que nos restringimos a ecuaciones algebraicas cuyos coeficientes son números racionales. (Se pueden especificar ciertos cuerpos para los coeficientes, pero en los ejemplos de abajo serán los números racionales los que usemos.)

El conjunto de tales permutaciones formarán un grupo de permutaciones, también llamado Grupo de Galois del polinomio (sobre los números racionales). Un ejemplo:

Primer ejemplo: ecuación cuadrática

Sea la ecuación cuadrática

x 2 - 4 x + 1 = 0

Mediante el uso de la fórmula para la ecuación cuadrática sabemos que sus dos raíces son

$A = 2 + \sqrt{3}$

$B = 2 - \sqrt{3}$

Algunas de las ecuaciones algebraicas que satisfacen A y B son

A + B = 4

A B = 1

En cada una de estas ecuaciones es claro que si intercambiamos los papeles de A y B obtenemos ecuaciones válidas. Pero además esto es cierto, aunque menos obvio, para cualquier ecuación algebraica que satisfacen A y B. Para probarlo se requiere de la teoría de los polinomios simétricos.

Concluimos que el grupo de Galois del polinomio $x 2 - 4 x + 1$ consiste en dos permutaciones: la identidad que deja A y B quietas, y la transposición, que intercambia A y B. Como grupo, es isomorfo al grupo cíclico de orden dos, denotado Z/2Z.

Podríamos plantear la objeción de que existe esta otra ecuación satisfecha por A y B:

$A-B-2 \sqrt{3} =0$

pero que no es cierta cuando intercambiamos los papeles. Sin embargo hemos de observar que no nos importa pues sus coeficientes no son racionales; $\sqrt{3}$ es irracional.

De forma parecida podemos hablar de cualquier polinomio cuadrático $a x 2 + b x + c$ , donde a, b y c son números racionales.

Si el polinomio tiene sólo una raíz, por ejemplo $x 2 - 4 x + 4 = (x - 2) 2$ , entonces el grupo de Galois es trivial; esto es, contiene sólo a la permutación identidad.
Si tiene dos distintas raíces racionales, por ejemplo $x 2 - 3 x + 2 = (x - 2)(x - 1)$ , el grupo es de nuevo trivial.
Si tiene dos raíces irracionales (inclusive el caso en el que ambas son números complejos), entonces el grupo de Galois contiene dos permutaciones, como en el ejemplo anterior.

Segundo ejemplo: algo más ingenioso

Considérese el siguiente polinomio:

x 4 - 10 x 2 + 1

que puede escribirse también como:

(x 2 - 5) 2 - 24

Deseamos describir el grupo de Galois de este polinomio, nuevamente sobre el cuerpo de los números racionales. El polinimio tiene cuatro raíces:

$A = \sqrt{2} + \sqrt{3}$

$B = \sqrt{2} - \sqrt{3}$

$C = -\sqrt{2} + \sqrt{3}$

$D = -\sqrt{2} - \sqrt{3}.$

Existen 4! = 24 maneras de permutar estas cuatro raíces, pero no todas estas permutaciones son miembros del grupo de Galois. Los miembros del grupo de Galois debe preservar cualquier ecuación algebraica con coeficientes racionales A, B, C y D. Una de dichas ecuaciones es por ejemplo:

A + D = 0

Ya que puesto que

$A + C = 2\sqrt{3} \neq 0$ ,

la permutación

(A, B, C, D) → (A, B, D, C)

no está permitda, porque transforma la ecuación válida A + D = 0 en la ecuación inválida A + C = 0.

Otra ecuación que la las raíces satisfcen es:

(A + B) 2 = 8

Esto excluiría más permutaciones, como por ejemplo:

(A, B, C, D) → (A, C, B, D).

Continuando de esta manera, podemos encontrar que sólo las permutaciones que satisfacen las dos ecuaciones anteriores simultáneamente son:

(A, B, C, D) → (A, B, C, D)

(A, B, C, D) → (C, D, A, B)

(A, B, C, D) → (B, A, D, C)

(A, B, C, D) → (D, C, B, A),

y por tanto el grupo de Galois es isomorfo al grupo de Klein.

Enfoque moderno de la teoría de campos

Grupos solubles y solución por radicales

El problema inverso de Galois

Artículo principal: Problema inverso de Galois

El problema inverso de Galois plantea si todo grupo finito puede ser el grupo de Galois de alguna extensión de los números racionales. Este problema, propuesto inicialmente en el siglo XIX por Hilbert, permanece sin resolver.^[1]

Referencias

Notas al pie

↑ Vila, Núria (1992). «On the inverse problem of Galois theory» (en inglés). Publicacions Matemàtiques 36 (2B): pp. 1053-1073. http://dmle.cindoc.csic.es/pdf/PUBLICACIONSMATEMATIQUES_1992_36_2B_21.pdf. Consultado el 6-4-2010.

Bibliografía

Baker, A. (2004): An Introduction to Galois Theory, University of Glasgow.

Völklein, Helmut (1996). Cambridge Studies in Advanced Mathematics. ed (en inglés). Groups as Galois Groups: an introduction (1ª edición). Cambridge: Cambridge University Press. pp. 276. ISBN 0-521-56280-5.

Categoría:

Teoría de Galois

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

Teoría de Galois — El enfoque de la teoría de Galois usando el grupo de permutaciones Si tenemos un polinomio puede suceder que algunas de sus raíces estén digamos que conectadas mediante varias ecuaciones algebraicas, que cumplan dichas ecuaciones. Por ejemplo,… … Enciclopedia Universal
Teorema fundamental de la teoría de Galois — En matemáticas, el teorema fundamental de la teoría de Galois es un resultado que describe la estructura de ciertos tipos de extensiones de cuerpos. En su forma más básica el teorema dice que dada una extensión de cuerpos E/F que sea finita y… … Wikipedia Español
Teorema fundamental de la teoría de Galois — En matemáticas, el teorema fundamental de la teoría de Galois es un resultado que describe la estructura de ciertos tipos de extensiones de cuerpos. En su forma más básica el teorema dice que dada una extensión de cuerpos E/F que sea finita y… … Enciclopedia Universal
Teoría de Iwasawa — En teoría de números, la Teoría de Iwasawa es una teoría de módulo de Galois de los grupos de clases ideales, que fuera postulada por Kenkichi Iwasawa, hacia 1950, como parte de la teoría de los campos ciclotómicos. A comienzos de 1970, Barry… … Wikipedia Español
Teoría de cuerpos — La teoría de cuerpos es una rama de la matemática que estudia las propiedades de los cuerpos. Un cuerpo es una entidad matemática para la cual la adición, sustracción, multiplicación y división están bien definidas. Contenido 1 Historia 2… … Wikipedia Español
Teoría de grupos — Diagrama de Cayley del grupo libre de orden dos. En álgebra abstracta, la teoría de grupos estudia las estructuras algebraicas conocidas como grupos. Sus objetivos son, entre otros, la clasificación de los grupos, sus propiedades y sus… … Wikipedia Español
Teoría de ecuaciones — En matemáticas, la teoría de ecuaciones es una rama del álgebra tradicional. Incluye temas como polinomios, ecuaciones algebraicas, identidades de Viète, teorema de Sturm, y la aplicación de resultados sobre matrices y determinantes a la solución … Wikipedia Español
Teoría de campos de clase — Saltar a navegación, búsqueda La Teoría de Campos de Clase es una rama de la Teoría de Números Algebraica que relaciona la aritmética de un campo numérico (o campo local) a sus extensiones de Galois. Tradicionalmente comprendía el estudio de las… … Wikipedia Español
Teoría del orden — La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático. Este artículo da una introducción detallada a este campo e incluye algunas de las… … Wikipedia Español
Teoría de cuerpos de clases — En matemáticas, la teoria de cuerpos de clases es una rama esencial de la teoría de números algebraicos que tiene por objeto la clasificación de las extensiones abelianas, o ya sea, las galoisianas y grupos de Galois comutativos, de un cuerpo… … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Teoría de Galois

Contenido

Aplicaciones de la teoría de Galois