En su forma más básica, el teorema afirma que dada una extensión de campo E / F que es finita y de Galois , existe una correspondencia uno a uno entre sus campos intermedios y los subgrupos de su grupo de Galois . ( Los campos intermedios son campos K que satisfacen F ⊆ K ⊆ E ; también se denominan subextensiones de E / F ).
Descripción explícita de la correspondencia.
Para extensiones finitas, la correspondencia se puede describir explícitamente de la siguiente manera.
Para cualquier subgrupo H de Gal( E / F ), el campo fijo correspondiente , denotado EH , es el conjunto de aquellos elementos de E que están fijados por cada automorfismo en H.
Para cualquier campo intermedio K de E / F , el subgrupo correspondiente es Aut( E / K ), es decir, el conjunto de aquellos automorfismos en Gal( E / F ) que fijan cada elemento de K .
El teorema fundamental dice que esta correspondencia es una correspondencia uno a uno si (y sólo si) E / F es una extensión de Galois . Por ejemplo, el campo superior E corresponde al subgrupo trivial de Gal ( E / F ), y el campo base F corresponde al grupo completo Gal ( E / F ).
La notación Gal( E / F ) sólo se utiliza para extensiones de Galois . Si E / F es Galois, entonces Gal( E / F ) = Aut( E / F ). Si E / F no es Galois, entonces la "correspondencia" proporciona sólo un mapa inyectivo (pero no sobreyectivo ) de a , y un mapa sobreyectivo (pero no inyectivo) en la dirección inversa. En particular, si E / F no es Galois, entonces F no es el campo fijo de ningún subgrupo de Aut( E / F ).
Propiedades de la correspondencia
La correspondencia tiene las siguientes propiedades útiles.
Es una reversión de la inclusión . La inclusión de subgrupos H 1 ⊆ H 2 se cumple si y sólo si se cumple la inclusión de los campos E H 1 ⊇ E H 2 .
Los grados de extensiones están relacionados con órdenes de grupos, de manera consistente con la propiedad de inversión de inclusión. Específicamente, si H es un subgrupo de Gal ( E / F ), entonces | H | = [ E : E H ] y |Gal( E / F )|/| H | = [ E H : F ].
El campo E H es una extensión normal de F (o, equivalentemente, una extensión de Galois, ya que cualquier subextensión de una extensión separable es separable) si y sólo si H es un subgrupo normal de Gal ( E / F ). En este caso, la restricción de los elementos de Gal( E / F ) a E H induce un isomorfismo entre Gal( E H / F ) y el grupo cociente Gal( E / F )/ H .
Dado que K se construye a partir del campo base uniendo √ 2 , entonces √ 3 , cada elemento de K se puede escribir como:
Su grupo Galois comprende los automorfismos de K que fijan a . Tales automorfismos deben enviar √ 2 a √ 2 o – √ 2 , y enviar √ 3 a √ 3 o – √ 3 , ya que permutan las raíces de cualquier polinomio irreducible. Supongamos que f intercambia √ 2 y – √ 2 , entonces
y g intercambia √ 3 y – √ 3 , entonces
Estos son claramente automorfismos de K , respetando su suma y multiplicación. También existe el automorfismo de identidad e que fija cada elemento, y la composición de f y g que cambia los signos en ambos radicales:
Dado que el orden del grupo de Galois es igual al grado de extensión del campo, no puede haber más automorfismos:
que es isomorfo al grupo de cuatro de Klein . Sus cinco subgrupos corresponden a los campos intermedios entre la base y la extensión K.
El subgrupo trivial {1} corresponde a todo el campo de extensión K.
Todo el grupo G corresponde al campo base.
El subgrupo {1, f } corresponde al subcampo ya que f fija √ 3 .
El subgrupo {1, g } corresponde al subcampo ya que g fija √ 2 .
El subgrupo {1, fg } corresponde al subcampo ya que fg fija √ 6 .
El siguiente es el caso más simple en el que el grupo de Galois no es abeliano.
Considere el campo de división K del polinomio irreducible sobre ; es decir, donde θ es una raíz cúbica de 2 y ω es una raíz cúbica de 1 (pero no 1 en sí). Si consideramos K dentro de los números complejos, podemos tomar , la raíz cúbica real de 2, y como ω tiene un polinomio mínimo , la extensión tiene grado:
¡Ya que solo hay 3! = 6 permutaciones de este tipo, G debe ser isomorfo al grupo simétrico de todas las permutaciones de tres objetos. El grupo puede generarse mediante dos automorfismos f y g definidos por:
y , obedeciendo las relaciones . Su efecto como permutaciones de es (en notación cíclica ): . Además, g puede considerarse como el mapeo de conjugación complejo .
Los subgrupos de G y los subcampos correspondientes son los siguientes:
Como siempre, el grupo trivial {1} corresponde al campo completo K , mientras que el grupo completo G al campo base .
El único subgrupo de orden 3, , corresponde al subcampo de grado dos, ya que el subgrupo tiene índice dos en G : es decir . Además, este subgrupo es normal, por lo que el subcampo es normal sobre , siendo el campo de división de . Su grupo de Galois sobre el campo base es el grupo cociente , donde [ g ] denota la clase lateral de g módulo H ; es decir, su único automorfismo no trivial es la conjugación compleja g .
Hay tres subgrupos de orden 2, y correspondientes respectivamente a los subcampos. Estos subcampos tienen grado 3 encima ya que los subgrupos tienen índice 3 en G . Los subgrupos no son normales en G , por lo que los subcampos no son Galois ni normales . De hecho, cada subcampo contiene solo una de las raíces , por lo que ninguna tiene automorfismos no triviales.
aquí denotamos un automorfismo por su valor , de modo que . Este grupo es isomorfo a (ver: seis razones cruzadas ). Sea el campo fijo de , de modo que .
Si es un subgrupo de , entonces los coeficientes del polinomio
generar el campo fijo de . La correspondencia de Galois implica que cada subcampo de puede construirse de esta manera. Por ejemplo, para , el campo fijo es y si entonces el campo fijo es . El campo fijo de es el campo base donde j es el j -invariante escrito en términos de la función lambda modular :
El teorema clasifica los campos intermedios de E / F en términos de teoría de grupos . Esta traducción entre campos intermedios y subgrupos es clave para demostrar que la ecuación quíntica general no se puede resolver mediante radicales (ver teorema de Abel-Ruffini ). Primero se determinan los grupos de Galois de extensiones radicales (extensiones de la forma F (α) donde α es una raíz n -ésima de algún elemento de F ), y luego se usa el teorema fundamental para demostrar que las extensiones solubles corresponden a grupos solubles .
Dada una extensión algebraica infinita todavía podemos definirla como Galois si es normal y separable. El problema que uno encuentra en el caso infinito es que la biyección en el teorema fundamental no se cumple ya que generalmente tenemos demasiados subgrupos. Más precisamente, si tomamos cada subgrupo, en general podemos encontrar dos subgrupos diferentes que fijan el mismo campo intermedio. Por lo tanto, modificamos esto introduciendo una topología en el grupo de Galois.
Sea una extensión de Galois (posiblemente infinita) y sea el grupo de Galois de la extensión. Dejar
Ahora que hemos definido una topología en el grupo de Galois, podemos reformular el teorema fundamental para infinitas extensiones de Galois.
Denotemos el conjunto de todas las extensiones de campo intermedio de y denotemos el conjunto de todos los subgrupos cerrados de dotados de la topología de Krull. Entonces existe una biyección entre y dada por el mapa
definido por y el mapa
definido por . Una cosa importante que hay que comprobar es que sea un mapa bien definido, es decir, que sea un subgrupo cerrado para todos los campos intermedios . Esto se demuestra en Ribes-Zalesskii, Teorema 2.11.3. [1]