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 un grupo finito dado, y sea un cuerpo. Entonces la pregunta es: ¿existe una extensión de cuerpos galoisiana tal que el grupo de Galois de la extensión sea isomorfo a ? Se dice que es realizable sobre si dicho cuerpo 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 , 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 . También se sabe que los 26 grupos esporádicos, a excepción del grupo de Mathieu , son realizables sobre .[2]

Hilbert había mostrado que esta cuestión está relacionada con una pregunta de racionalidad para : si es una extensión cualquiera de , en la que actúa como grupo de automorfismos y el cuerpo fijo por , , es racional sobre , entonces es realizable sobre . Aquí «racional» significa que es una extensión puramente trascendental de , 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 geométricamente como un recubrimiento de Galois de la recta proyectiva: en términos algebraicos, empezar con una extensión del cuerpo de funciones racionales en una indeterminada ; después aplicar el teorema de irreducibilidad de Hilbert para especializar , 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 sea el grupo cíclico para cualquier positivo. Para hacer esto, elíjase un primo tal que ; esto es posible por el teorema de Dirichlet. Sea la extensión ciclotómica de generada por , donde es una raíz p-ésima primitiva de la unidad; el grupo de Galois de es cíclico de orden .

Puesto que divide a , el grupo de Galois tiene un subgrupo cíclico de orden . El teorema fundamental de la teoría de Galois implica que el correspondiente cuerpo fijo por

tiene grupo de Galois sobre . Tomando las sumas de conjugados de apropiadas, de acuerdo con la construcción de períodos de Gauss, se puede encontrar un elemento de que genera sobre , 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 . (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 , podemos tomar . En ese caso es cíclico de orden seis. Tomemos el generador de este grupo que manda a . Estamos interesados en el subgrupo de orden dos. Considérese el elemento . Por construcción, queda fijo por , y sólo tiene tres conjugados sobre , dados por

.

Usando la identidad , encontramos que

,
, y
.

Por lo tanto es una raíz del polinomio

,

que en consecuencia tiene grupo de Galois sobre .

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 tiene discriminante

.

Consideremos el caso especial

.

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

y así puede factorizarse como:

,

cuyo segundo factor es irreducible por el criterio de Eisenstein. Acabamos de demostrar que el grupo es doblemente transitivo.

Podemos ahora deducir que este grupo de Galois contiene una trasposición. Usando el escalado se obtiene

y mediante se obtiene ahora

,

que puede reescribirse como

.

Entonces tiene 1 como raíz doble y sus otras raíces son simples, lo que implica que existe una transposición en . 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 cuyos grupos de Galois son sobre . De hecho este conjunto de racionales es denso en .

El discriminante de es igual a

,

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

.

Tras esta sustitución el discriminante de es igual a

,

que es un cuadrado perfecto cuando es impar.

En el caso par sea el recíproco de

,

de donde se hace

,

y el discriminante se hace

,

que es un cuadrado perfecto cuando 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 son clases de conjugación de un grupo finito , y sea el conjunto de n-tuplas de tales que está en y el producto es trivial. Entonces se dice que es rígido si es no vacío, actúa transitivamente sobre él por conjugación, y cada elemento de genera .

Thompson (1984) mostró que si un grupo finito 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 , 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 un entero mayor que 1. Un retículo Λ en el plano complejo de periodo contiene un subretículo Λ' de periodo . 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 la función modular elíptica de Klein. Definamos el polinomio como el producto de las diferencias sobre los subretículos conjugados. Como polinomio en , tiene coeficientes que son polinomios sobre en .

En los retículos conjugados, el grupo modular actúa como PGL(2,Zn). Se sigue que tiene grupo de Galois isomorfo a PGL(2,Zn) sobre .

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

Notas al pie[editar]

  1. Vila, 1992.
  2. «Inverse Galois Problem». Open Problem Garden (en inglés). 13 de octubre de 2008. Consultado el 25 de junio de 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]