Grupo absoluto de Galois

En matemática, el grupo absoluto de Galois GK de un campo K es el grupo de Galois de Ksep sobre K, donde Ksep es una clausura separable de K. Alternativamente es el grupo de todos los automorfismos de la clausura algebraica de K que fija K. El grupo absoluto de Galois es único salvo isomorfismo. Es un grupo profinito.

(Cuando K es un cuerpo perfecto, Ksep es el mismo que una clausura algebraica Kalg de K. Ésto se cumple, por ejemplo, para K de característica cero, o K si es cuerpo finito.)

Contenido

Ejemplos

  • El grupo absoluto de Galois de un cuerpo algebraicamente cerrado es trivial.
  • El grupo absoluto de Galois de los números reales es un grupo cíclico de dos elementos (conjugación compleja y mapa identidad), puesto que  \Bbb{C} es la clausura separable de  \Bbb{R} y [ \Bbb{C} : \Bbb{R} ]=2.
  • El grupo absoluto de Galois de un cuerpo finito K es isomorfo al grupo
 \hat{\mathbb{Z}} = \lim_{\leftarrow}\mathbb{Z}/n\mathbb{Z}  .
El automorfismo de Frobenius Fr es un generador canónico (topológico) de GK. (Reseñar que Fr(x) = xq para todo x en Kalg, donde q es el número de elementos en K.)
  • El grupo absoluto de Galois del cuerpo de las funciones racionales con coeficientes complejos es libre (como un grupo profinito). Este resultado fue dado por Adrien Douady y tiene sus orígenes en el teorema de existencia de Riemann.[1]
  • Más generalmente , sea C un cuerpo algebraicamente cerrado y x una variable. Entonces el grupo de Galois absoluto de K=C(x) está libre de rango e igual a la cardinalidad de C. Este resultado fue dado por David Harbater y Florian Pop, y fue demostrado más tarde por Dan Haran y Moshe Jarden usando métodos algebraicos.[2] [3] [4]
  • Sea K una extensión finita de los números p-ádicos Qp. Para p ≠ 2, su grupo absoluto de Galois es generado por [K:Qp] + 3 elementos y tiene una descripción explícita por generadores y relaciones. Éste es un resultado de Uwe Jannsen y Kay Wingberg.[5] [6] Algunos resultados son conocidos para el caso p = 2, pero la estructura general para Q2 no es conocida.[7]
  • Otro caso para el cual ha sido determinado el grupo de Galois absoluto es para el más grande subcuerpo totalmente real del cuerpo de los números algebraicos.[8]

Problemas

  • Todavía no se conoce una descripción directa para el grupo de Galois absoluto de los números racionales. En este caso, se sigue del teorema de Belyi que el grupo absoluto de Galois tiene una acción leal sobre el dessins d'enfants de Alexander Grothendieck (mapas sobre superficies), habilitándonos el «ver» la teoría de Galois de los cuerpos de números algebraicos.
  • Sea K la máxima extensión abeliana de los número racionales. Entonces, la conjetura de Shafarevich asegura que el grupo absoluto de Galois GK es un grupo profinito libre.[9]

Algunos resultados generales

  • Cada grupo profinito se presenta como un grupo de Galois de alguna extensión de Galois, sin embargo, no es cierto que cada grupo profinito se presente como un grupo de Galois absoluto. Por ejemplo, teorema de Artin-Schreier asegura que los únicos grupos de Galois absolutos finitos son el grupo trivial y el grupo cíclico de orden 2.
  • Cada grupo profinito proyectivo puede ser entendido como un grupo de Galois absoluto de un pseudo cuerpo algebraicamente cerrado. Este resultado fue dado por Alexander Lubotzky y Lou van den Dries.

Notas

Referencias

  • Douady, Adrien (1964), «Détermination d'un groupe de Galois», Comptes Rendues de l'Académie des Sciences de Paris 258: 5305–5308, MR0162796 
  • M. D. Fried and M. Jarden, Field Arithmetic, Second Edition, revised and enlarged by Moshe Jarden, Ergebnisse der Mathematik (3) 11, Springer, Heidelberg, 2004.
  • Haran, Dan; Jarden, Moshe (2000), «The absolute Galois group of C(x)», Pacific Journal of Mathematics 196 (2): 445–459, MR1800587 
  • Harbater, David, «Fundamental groups and embedding problems in characteristic p», Recent developments in the inverse Galois problem, Contemporary Mathematics, 186, Providence, RI: American Mathematical Society, pp. 353–369, MR1352282 
  • Jannsen, Uwe; Wingberg, Kay (1982), «Die Struktur der absoluten Galoisgruppe \mathfrak{p}-adischer Zahlkörper», Inventiones Mathematicae 70: 71–78 
  • Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay (2000), Cohomology of Number Fields, Grundlehren der Mathematischen Wissenschaften, 323 (Primera edición), Berlin: Springer-Verlag, MR1737196, ISBN 978-3-540-66671-4 
  • Pop, Florian (1995), «Étale Galois covers of affine smooth curves. The geometric case of a conjecture of Shafarevich. On Abhyankar's conjecture», Inventiones Mathematicae 120 (3): 555–578, MR1334484 

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Grupo de Galois — En matemática, un grupo de Galois es un grupo asociado a un cierto tipo de extensión de cuerpo. El estudio de las extensiones de cuerpos (y los polinomios que dan lugar a ellas) mediante el grupo de Galois es conocido como Teoría de Galois. Para… …   Wikipedia Español

  • Palabras que evitar — Wikipedia:Palabras que evitar Saltar a navegación, búsqueda Atajos WP:PAEWP:PAE WP:PEWP:PE Seguramente no hay ninguna palabra que no pueda usarse nunca e …   Wikipedia Español

  • Wikipedia:Palabras que evitar — Atajos WP:PAEWP:PAE WP:PEWP:PE …   Wikipedia Español

  • Teorema de Kronecker-Weber — En la teoría algebraica de números, el Teorema de Kronecker Weber establece que cada extensión abeliana finita del cuerpo de los números racionales , o en otras palabras cada cuerpo de números algebraicos cuyo grupo de Galois sobre sea abeliano,… …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.