Problema de Galois inverso

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Question.png
Problemas no resueltos de la matemática: Todo polinomio con coeficientes racionales lleva asociado un grupo de Galois, pero ¿es cierto que todo grupo finito es grupo de Galois de algún polinomio?

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

Más generalmente, sea G un grupo finito dado, y sea K un cuerpo. Entonces la pregunta es: ¿existe una extensión de cuerpos galoisiana L/K tal que el grupo de Galois de la extensión sea isomorfo a G? Se dice que G es realizable sobre K si dicho cuerpo L existe.

Resultados parciales[editar]

Pese a ser un problema abierto, se conocen muchos detalles sobre algunos casos particulares. Se sabe, por ejemplo (Šafarevič), que todo grupo finito es realizable sobre cualquier cuerpo de funciones en una variable sobre los números complejos \mathbb{C}, y más generalmente sobre cuerpos de funciones en una variable sobre cualquier cuerpo algebraicamente cerrado de característica cero. Šafarevič mostró que todo grupo finito resoluble es realizable sobre \mathbb{Q}. También se sabe que los 26 grupos esporádicos, a excepción del grupo de Mathieu M_{23}, son realizables sobre \mathbb{Q}.[2]

Hilbert había mostrado que esta cuestión está relacionada con una pregunta de racionalidad para G: si K es una extensión cualquiera de \mathbb{Q}, en la que G actúa como grupo de automorfismos y el cuerpo fijo por G, K^G, es racional sobre \mathbb{Q}, entonces G es realizable sobre \mathbb{Q}. Aquí «racional» significa que es una extensión puramente trascendental de \mathbb{Q}, generada por un conjunto algebraicamente independiente. Este criterio puede, por ejemplo, emplearse para demostrar que todos los grupos simétricos son realizables.

Se ha profundizado mucho en esta cuestión, para la que aún no existe una resolución general. Algunos de los trabajos llevados a cabo se basan en construir G geométricamente como un recubrimiento de Galois de la recta proyectiva: en términos algebraicos, empezar con una extensión del cuerpo \mathbb{Q}(t) de funciones racionales en una indeterminada t; después aplicar el teorema de irreducibilidad de Hilbert para especializar t, de tal manera que se conserve su grupo de Galois.

Un ejemplo sencillo: los grupos cíclicos[editar]

Es posible, mediante resultados clásicos, construir explícitamente un polinomio cuyo grupo de Galois sobre \mathbb{Q} sea el grupo cíclico \mathbb{Z}/n\mathbb{Z} para cualquier n positivo. Para hacer esto, elíjase un primo p tal que p \equiv 1 \pmod{n}; esto es posible por el teorema de Dirichlet. Sea \mathbb{Q}(\xi) la extensión ciclotómica de \mathbb{Q} generada por \xi, donde \xi es una raíz p-ésima primitiva de la unidad; el grupo de Galois de \mathbb{Q}(\xi)/\mathbb{Q} es cíclico de orden p-1.

Puesto que n divide a p-1, el grupo de Galois tiene un subgrupo cíclico H de orden (p-1)/n. El teorema fundamental de la teoría de Galois implica que el correspondiente cuerpo fijo por H

F=\mathbb{Q}(\xi)^H

tiene grupo de Galois \mathbb{Z}/n\mathbb{Z} sobre \mathbb{Q}. Tomando las sumas de conjugados de \xi apropiadas, de acuerdo con la construcción de períodos de Gauss, se puede encontrar un elemento \alpha de F que genera F sobre \mathbb{Q}, y calcular su polinomio mínimo.

Este método puede extenderse para abarcar todos los grupos abelianos finitos, ya que cada uno de ellos aparece de hecho como cociente del grupo de Galois de alguna extensión ciclotómica de \mathbb{Q}. (Esta afirmación no debe confundirse con el teorema de Kronecker-Weber, un resultado mucho más profundo.)

Ejemplo elaborado: el grupo cíclico de orden tres[editar]

Para n=3, podemos tomar p=7. En ese caso \text{Gal}(\mathbb{Q}(\xi)/\mathbb{Q}) es cíclico de orden seis. Tomemos el generador \eta de este grupo que manda \xi a \xi^3. Estamos interesados en el subgrupo H=\{1,\eta^3\} de orden dos. Considérese el elemento \alpha = \xi + \eta^3(\xi). Por construcción, \alpha queda fijo por H, y sólo tiene tres conjugados sobre \mathbb{Q}, dados por

\alpha= \xi+\xi^6, \quad \beta= \eta(\alpha)= \xi^3 + \xi^4, \quad \gamma= \eta^2(\alpha)= \xi^2 + \xi^5.

Usando la identidad 1+ \xi+ \xi^2+ \ldots + \xi^6= 0, encontramos que

\alpha+\beta+\gamma= -1,
\alpha \beta+ \beta \gamma+ \gamma \alpha = -2, y
\alpha \beta \gamma= 1.

Por lo tanto \alpha es una raíz del polinomio

(x-\alpha)(x-\beta)(x-\gamma)= x^3+x^2-2x-1,

que en consecuencia tiene grupo de Galois \mathbb{Z}/3\mathbb{Z} sobre \mathbb{Q}.

Grupos simétricos y alternados[editar]

Hilbert demostró que todos los grupos simétricos y alternados son grupos de Galois de polinomios con coeficientes racionales.

Por ejemplo, el polinomio x^n+ax+b tiene discriminante

(-1)^{n(n-1)/2}[n^nb^{n-1}+(-1)^{1-n}(n-1)^{n-1}a^n].

Consideremos el caso especial

f(x,s)=x^n-sx-s.

Sustituyendo un entero primo por s en f(x,s) se obtiene como resultado un polinomio (llamado «especialización» de f(x,s)) que es irreducible por el criterio de Eisenstein. Por tanto f(x,s) debe ser irreducible sobre \mathbb{Q}(s). Más aún, f(x,s) puede escribirse de la forma

x^n-x/2-1/2-(s-1/2)(x+1)

y así f(x,1/2) puede factorizarse como:

(x-1)(1+2x+2x^2+\ldots+2x^{n-1})/2,

cuyo segundo factor es irreducible por el criterio de Eisenstein. Acabamos de demostrar que el grupo \operatorname{Gal}(f(x,s)/\mathbb{Q}(s)) es doblemente transitivo.

Podemos ahora deducir que este grupo de Galois contiene una trasposición. Usando el escalado (1-n)x=ny se obtiene

y^n-s((1-n)/n)^{n-1}y-s((1-n)/n)^n

y mediante t=s(1-n)^{n-1}/n^n se obtiene ahora

g(y,t)=y^n-nty+(n-1)t,

que puede reescribirse como

y^n-y-(n-1)(y-1)+(t-1)(-ny+n-1).

Entonces g(y,1) tiene 1 como raíz doble y sus otras n-2 raíces son simples, lo que implica que existe una transposición en \operatorname{Gal}(f(x,s)/\mathbb{Q}(s)). Cualquier grupo de permutaciones doblemente transitivo que contenga una trasposición es un grupo simétrico completo.

El teorema de irreducibilidad de Hilbert implica entonces que un conjunto infinito de números racionales dan especializaciones de f(x,t) cuyos grupos de Galois son S_n sobre \mathbb{Q}. De hecho este conjunto de racionales es denso en \mathbb{Q}.

El discriminante de g(y,t) es igual a

(-1)^{n(n-1)/2}n^n(n-1)^{n-1}t^{n-1}(1-t),

que no es, en general, un cuadrado perfecto.

Grupos alternados[editar]

Las soluciones para grupos alternados deben tratarse por separado para los grados par e impar. Sea

t=1-(-1)^{n(n-1)/2}nu^2.

Tras esta sustitución el discriminante de g(y,t) es igual a

n^{n+1}(n-1)^{n-1}t^{n-1}u^2,

que es un cuadrado perfecto cuando n es impar.

En el caso par sea t el recíproco de

1+(-1)^{n(n-1)/2}(n-1)u^2,

de donde 1-t se hace

t(-1)^{n(n-1)/2}(n-1)u^2,

y el discriminante se hace

n^n(n-1)^nt^nu^2,

que es un cuadrado perfecto cuando n es par.

De nuevo, el teorema de irreducibilidad de Hilbert implica la existencia de infinitas especializaciones cuyos grupos de Galois son grupos alternados.

Grupos rígidos[editar]

Supongamos que C_1,\ldots,C_n son clases de conjugación de un grupo finito G, y sea A el conjunto de n-tuplas (g_1,\ldots ,g_n) de G tales que g_i está en C_i y el producto g_1\cdots g_n es trivial. Entonces se dice que A es rígido si es no vacío, G actúa transitivamente sobre él por conjugación, y cada elemento de A genera G.

Thompson (1984) mostró que si un grupo finito G posee un subgrupo rígido, entonces es muy posible que pueda realizarse como grupo de Galois sobre una extensión ciclotómica de los racionales.

Esto puede usarse para mostrar que muchos grupos simples finitos, incluido el grupo simple monstruo, son grupos de Galois de extensiones de los racionales.

El paradigma de la rigidez es el grupo simétrico S_n, que está generado por un n-ciclo y una trasposición cuyo producto es un (n−1)-ciclo. La construcción en la sección precedente hacía uso de estos generadores para determinar el grupo de Galois de un polinomio.

Una construcción mediante una función modular elíptica[editar]

Sea n un entero mayor que 1. Un retículo Λ en el plano complejo de periodo \tau contiene un subretículo Λ' de periodo n\tau. Este último pertenece al conjunto finito de subretículos permutados por el grupo modular PSL(2,Z), que se basa en cambios de base para Λ. Sea j la función modular elíptica de Klein. Definamos el polinomio \varphi_n como el producto de las diferencias (X-j(\wedge_i)) sobre los subretículos conjugados. Como polinomio en X, \varphi_n tiene coeficientes que son polinomios sobre \mathbb{Q} en j(\tau).

En los retículos conjugados, el grupo modular actúa como PGL(2,Zn). Se sigue que \varphi_n tiene grupo de Galois isomorfo a PGL(2,Zn) sobre \mathbb{Q}(J(\tau)).

El teorema de irreducibilidad de Hilbert permite obtener un conjunto infinito (y denso) de números racionales que especializan \varphi_n a polinomios con grupo de Galois PGL(2,Zn) sobre \mathbb{Q}. Los grupos PGL(2,Zn) incluyen infinitos grupos no resolubles.

Notas al pie[editar]

  1. Vila, 1992.
  2. «Inverse Galois Problem» (en inglés). Open Problem Garden (13-10-2008). Consultado el 25-6-2010.

Referencias[editar]

  • Schneps, Leila; Pierre Lochak (1997). London Mathematical Society, ed. Geometric Galois Actions. 2. The Inverse Galois Problem, Moduli Spaces and Mapping Class Groups (en inglés) (1ª edición). Cambridge: Cambridge University Press. p. 360. ISBN 0-521-59641-6. 
  • Völklein, Helmut (1996). Cambridge Studies in Advanced Mathematics, ed. Groups as Galois Groups: an introduction (en inglés) (1ª edición). Cambridge: Cambridge University Press. p. 276. ISBN 0-521-56280-5. 

Enlaces externos[editar]