Grupo galois

En matemáticas, en el área del álgebra abstracta conocida como teoría de Galois, el grupo de Galois de cierto tipo de extensión de campo es un grupo específico asociado con la extensión de campo. El estudio de las extensiones de campo y su relación con los polinomios que las originan a través de los grupos de Galois se denomina teoría de Galois, nombrada así en honor a Évariste Galois, quien las descubrió por primera vez.

Para una discusión más elemental de los grupos de Galois en términos de grupos de permutación, vea el artículo sobre la teoría de Galois.

Definición

Supongamos que E{displaystyle E} es una extensión del campo F{displaystyle F} (escrito como E/F{displaystyle E/F} y leer "E sobre F"). Un automorfismo E/F{displaystyle E/F} se define como un automorfismo E{displaystyle E} que arregla F{displaystyle F} En sentido de punto. En otras palabras, un automorfismo E/F{displaystyle E/F} es un isomorfismo α α :E→ → E{displaystyle alpha: Eto E} tales que α α ()x)=x{displaystyle alpha (x)=x} para cada uno x▪ ▪ F{displaystyle xin F}. El conjunto de todos los automorfismos de E/F{displaystyle E/F} forma un grupo con el funcionamiento de la composición de la función. Este grupo a veces es denotado por Aut⁡ ⁡ ()E/F).{displaystyle operatorname {Aut} (E/F). }

Si E/F{displaystyle E/F} es una extensión Galois, entonces Aut⁡ ⁡ ()E/F){displaystyle operatorname {Aut} (E/F)} se llama Grupo Galois de E/F{displaystyle E/F}, y es generalmente denotado por Gal⁡ ⁡ ()E/F){displaystyle operatorname {Gal} (E/F)}.

Si E/F{displaystyle E/F} no es una extensión Galois, entonces el grupo Galois de E/F{displaystyle E/F} a veces se define como Aut⁡ ⁡ ()K/F){displaystyle operatorname {Aut} (K/F)}, donde K{displaystyle K} es el cierre de Galois E{displaystyle E}.

Grupo de Galois de un polinomio

Otra definición del grupo Galois proviene del grupo Galois de un polinomio f▪ ▪ F[x]{displaystyle fin F[x]}. Si hay un campo K/F{displaystyle K/F} tales que f{displaystyle f} factores como producto de polinomios lineales

f()x)=()x− − α α 1)⋯ ⋯ ()x− − α α k)▪ ▪ K[x]{displaystyle f(x)=(x-alpha _{1})cdots (x-alpha _{k})in K[x]}

sobre el terreno K{displaystyle K}, entonces el Grupo Galois del polinomio f{displaystyle f} se define como el grupo Galois de K/F{displaystyle K/F} Donde K{displaystyle K} es mínimo entre todos estos campos.

Estructura de los grupos de Galois

Teorema fundamental de la teoría de Galois

Uno de los teoremas de estructura importantes de la teoría de Galois proviene del teorema fundamental de la teoría de Galois. Esto afirma que dada una extensión galois finita K/k{displaystyle K/k}, si hay una bijección entre el conjunto de subcampos k⊂ ⊂ E⊂ ⊂ K{displaystyle ksubset Esubset K} y los subgrupos H⊂ ⊂ G.{displaystyle Hsubset G.} Entonces, E{displaystyle E} es dado por el conjunto de invariantes de K{displaystyle K} en virtud de las medidas adoptadas H{displaystyle H.Así que

E=KH={}a▪ ▪ K:ga=aDondeg▪ ▪ H}{displaystyle E=K^{H}={ain K:ga=a{text{ where }gin H}

Además, si H{displaystyle H. es un subgrupo normal entonces G/H.. Gal⁡ ⁡ ()E/k){displaystyle G/Hcong operatorname {Gal} (E/k)}. Y al revés, si E/k{displaystyle E/k} es una extensión de campo normal, luego el subgrupo asociado en Gal⁡ ⁡ ()K/k){displaystyle operatorname {Gal} (K/k)} es un grupo normal.

Estructura de celosía

Suppose K1,K2{displaystyle K_{1},K_{2} son extensiones de Galois de k{displaystyle k} con grupos de Galois G1,G2.{displaystyle G_{1},G_{2} El campo K1K2{displaystyle K_{1}K_{2} con el grupo Galois G=Gal⁡ ⁡ ()K1K2/k){displaystyle G=operatorname {Gal} (K_{1}K_{2}/k)} tiene una inyección G→ → G1× × G2{displaystyle Gto G_{1}times G_{2} que es un isomorfismo cuando K1∩ ∩ K2=k{displaystyle K_{1}cap K_{2}=k}.

Inducción

Como corolario, esto puede ser inducido finitamente muchas veces. Given Galois extensions K1,...... ,Kn/k{displaystyle K_{1},ldotsK_{n}/k} Donde Ki+1∩ ∩ ()K1⋯ ⋯ Ki)=k,{displaystyle K_{i+1}cap (K_{1}cdots K_{i}=k,} entonces hay un isomorfismo de los grupos Galois correspondientes:

Gal⁡ ⁡ ()K1⋯ ⋯ Kn/k).. Gal⁡ ⁡ ()K1/k)× × ⋯ ⋯ × × Gal⁡ ⁡ ()Kn/k).{displaystyle operatorname {Gal} (K_{1}cdots K_{n}/k)cong operatorname {Gal} (K_{1}/k)times cdots times operatorname {Gal} (K_{n}/k). }

Ejemplos

En los siguientes ejemplos F{displaystyle F} es un campo, y C,R,Q{displaystyle mathbb {C}Mathbb {R}Mathbb {Q} son los campos de números complejos, reales y racionales, respectivamente. La notación F()a) indica la extensión de campo obtenida al unir un elemento a sobre el terreno F.

Herramientas informáticas

Cardinalidad del grupo de Galois y el grado de extensión del campo

Una de las proposiciones básicas necesarias para determinar completamente los grupos Galois de una extensión de campo finito es la siguiente: Dado un polinomio f()x)▪ ▪ F[x]{displaystyle f(x)in F[x]}, vamos E/F{displaystyle E/F} ser su extensión de campo de división. Entonces el orden del grupo Galois es igual al grado de extensión de campo; es decir,

SilencioGal⁡ ⁡ ()E/F)Silencio=[E:F]{displaystyle left durableoperatorname {Gal} (E/F)right eterna=[E:F]

Criterio de Eisenstein

Una herramienta útil para determinar el grupo Galois de un polinomio viene del criterio de Eisenstein. Si un polinomio f▪ ▪ F[x]{displaystyle fin F[x]} factores en polinomios irreducibles f=f1⋯ ⋯ fk{displaystyle f=f_{1}cdots f_{k} el grupo Galois f{displaystyle f} se puede determinar utilizando los grupos Galois de cada fi{displaystyle F_{i} desde el grupo Galois f{displaystyle f} contiene cada uno de los grupos Galois de los fi.{displaystyle F_{i}.

Grupo trivial

Gal⁡ ⁡ ()F/F){displaystyle operatorname {Gal} (F/F)} es el grupo trivial que tiene un único elemento, a saber, el automorfismo de identidad.

Otro ejemplo de un grupo Galois que es trivial es Aut⁡ ⁡ ()R/Q).{displaystyle operatorname {Aut} (mathbb {R} /mathbb {Q}). } De hecho, se puede demostrar que cualquier automorfismo de R{displaystyle mathbb {R} debe preservar el orden de los números reales y por lo tanto debe ser la identidad.

Considerar el campo K=Q()23).{displaystyle K=mathbb {} ({sqrt[{3}}{2}). } El grupo Aut⁡ ⁡ ()K/Q){displaystyle operatorname {Aut} (K/mathbb {Q})} contiene sólo el automorfismo de identidad. Esto es porque K{displaystyle K} no es una extensión normal, ya que las otras dos raíces cubo de 2{displaystyle 2},

exp⁡ ⁡ ()2π π i3)23{displaystyle exp left({tfrac {2pi {fnMicrosoft Sans Serif} y exp⁡ ⁡ ()4π π i3)23,{displaystyle exp left({tfrac {4pi {fnMicrosoft Sans Serif}

faltan en la extensión; en otras palabras, K no es un campo de división.

Grupos abelianos finitos

El grupo Galois Gal⁡ ⁡ ()C/R){displaystyle operatorname {Gal} (mathbb {C} /mathbb {R})} tiene dos elementos, el automorfismo de identidad y el complejo automorfismo de conjugación.

Extensiones cuadráticas

El grado dos extensión de campo Q()2)/Q{displaystyle mathbb {Q} ({sqrt {2})/mathbb {Q} tiene el grupo Galois Gal⁡ ⁡ ()Q()2)/Q){displaystyle operatorname {Gal} (mathbb {Q} ({sqrt {2})/mathbb {Q})} con dos elementos, el automorfismo de identidad y el automorfismo σ σ {displaystyle sigma } los intercambios √2 and −√2. Este ejemplo generaliza para un número primo p▪ ▪ N.{displaystyle pin mathbb {N}

Producto de extensiones cuadráticas

Usando la estructura de celosía de los grupos de Galois, para números no iguales p1,...... ,pk{displaystyle p_{1},ldotsp_{k} el grupo Galois Q()p1,...... ,pk)/Q{displaystyle mathbb {Q} left({sqrt {p_{1}}},ldots{sqrt {p_{k}}}right)/mathbb {Q} es

Gal⁡ ⁡ ()Q()p1,...... ,pk)/Q).. Gal⁡ ⁡ ()Q()p1)/Q)× × ⋯ ⋯ × × Gal⁡ ⁡ ()Q()pk)/Q).. ()Z/2Z)k{displaystyle operatorname {Gal} left(mathbb {Q} ({sqrt {p_{1}}}},ldots{sqrt {p_{k}})/mathbb {Q} right)cong operatorname {Gal} left(mathbb {Q} ({sqrt {p_{1}})/mathbb {Q} right)times cdots times operatorname {Gal} left(mathbb {Q} ({sqrt {p_{k}}}})/mathbb {Q} {mathbb} {mathbb}

Extensiones ciclotómicas

Otra clase útil de ejemplos proviene de los campos de división de polinomios ciclotómicos. Estos son polinomios CCPR CCPR n{displaystyle ¿Qué? definidas

CCPR CCPR n()x)=∏ ∏ 1≤ ≤ k≤ ≤ ngcd()k,n)=1()x− − e2ikπ π n){displaystyle Phi _{n}(x)=prod _{begin{matrix}1leq kleq n\\gcd(k,n)=1end{matrix}left(x-e^{frac {2ikpi }{n}right)}}}

cuyo grado es φ φ ()n){displaystyle phi (n)}, la función totiente de Euler en n{displaystyle n}. Entonces, el campo de división sobre Q{displaystyle mathbb {Q} es Q()Especificaciones Especificaciones n){displaystyle mathbb {Q} (zeta _{n})} y tiene automorfismos σ σ a{displaystyle sigma _{a} envío Especificaciones Especificaciones n↦ ↦ Especificaciones Especificaciones na{displaystyle zeta _{n}mapsto zeta _{n}{a}} para <math alttext="{displaystyle 1leq a1≤ ≤ a.n{displaystyle 1leq a meantn}<img alt="{displaystyle 1leq a relativamente primo a n{displaystyle n}. Dado que el grado del campo es igual al grado del polinomio, estos automorfismos generan el grupo Galois. Si n=p1a1⋯ ⋯ pkak,{displaystyle ## N=p_{1}cdots. entonces

Gal⁡ ⁡ ()Q()Especificaciones Especificaciones n)/Q).. ∏ ∏ aiGal⁡ ⁡ ()Q()Especificaciones Especificaciones piai)/Q){displaystyle operatorname {Gal} (mathbb {Q} (zeta _{n})/mathbb {Q})cong prod - ¿Por qué? {Gal} left(mathbb {Q} (zeta) ¿Por qué?

Si n{displaystyle n} es un primo p{displaystyle p}, entonces un corolario de esto es

Gal⁡ ⁡ ()Q()Especificaciones Especificaciones p)/Q).. Z/()p− − 1)Z{displaystyle operatorname {Gal} (mathbb {Q} (zeta _{p})/mathbb {Q})cong mathbb {Z} /(p-1)mathbb {Z}

De hecho, cualquier grupo abeliano finito se puede encontrar como el grupo de Galois de algún subcampo de una extensión de campo ciclotómico mediante el teorema de Kronecker-Weber.

Campos finitos

Otra clase útil de ejemplos de grupos galois con grupos abelianos finitos proviene de campos finitos. Si q es un poder primario, y si F=Fq{displaystyle F=Mathbb {F} _{q} y E=Fqn{displaystyle E=Mathbb {F} _{q^ {n}} denota los campos de orden Galois q{displaystyle q} y qn{displaystyle q^{n} respectivamente, entonces Gal⁡ ⁡ ()E/F){displaystyle operatorname {Gal} (E/F)} es ciclo de orden n y generado por el homomorfismo Frobenius.

Ejemplos de grado 4

La extensión de campo Q()2,3)/Q{displaystyle mathbb {Q} ({sqrt {2},{sqrt {3}})/mathbb {Q} es un ejemplo de grado 4{displaystyle 4} extensión de campo. Esto tiene dos automorfismos σ σ ,τ τ {displaystyle sigmatau } Donde σ σ ()2)=− − 2{displaystyle sigma ({sqrt {2})=-{sqrt {2}} y τ τ ()3)=− − 3.{displaystyle tau ({sqrt {3})=-{sqrt {3}} Puesto que estos dos generadores definen un grupo de orden 4{displaystyle 4}El grupo Klein, determinan todo el grupo Galois.

Otro ejemplo se da del campo de división E/Q{displaystyle E/Mathbb {Q} del polinomio

f()x)=x4+x3+x2+x+1{displaystyle f(x)=x^{4}+x^{3}+x^{2}+x+1}

Nota ()x− − 1)f()x)=x5− − 1,{displaystyle (x-1)f(x)=x^{5}-1,} las raíces de f()x){displaystyle f(x)} son exp⁡ ⁡ ()2kπ π i5).{displaystyle exp left({tfrac {2kpi i}{5}right). } Hay automorfismos

{}σ σ l:E→ → Eexp⁡ ⁡ ()2π π i5)↦ ↦ ()exp⁡ ⁡ ()2π π i5))l{displaystyle {begin{cases}sigma ¿Por qué? {fnMicrosoft Sans Serif}

generar un grupo de orden 4{displaystyle 4}. Desde σ σ 2{displaystyle sigma _{2} genera este grupo, el grupo Galois es isomorfo para Z/4Z{displaystyle mathbb {Z} {Z}.

Grupos finitos no abelianos

Considere ahora L=Q()23,⋅ ⋅ ),{displaystyle L=mathbb {} ({sqrt[{3}{2}},omega),} Donde ⋅ ⋅ {displaystyle omega } es una raíz primitiva del cubo de la unidad. El grupo Gal⁡ ⁡ ()L/Q){displaystyle operatorname {Gal} (L/Mathbb {Q})} es isomorfo a S₃, el grupo dihedral de orden 6, y L es en realidad el campo de división de x3− − 2{displaystyle x^{3}-2} sobre Q.{displaystyle mathbb {Q}

Grupo de cuaterniones

El grupo Quaternion se puede encontrar como el grupo Galois de una extensión de campo Q{displaystyle mathbb {Q}. Por ejemplo, la extensión de campo

Q()2,3,()2+2)()3+3)){displaystyle mathbb {Q} left({sqrt {2}},{sqrt {3}},{sqrt {(2+{sqrt {2})(3+{sqrt {3}}}}right)}}}}}}}} {derecha)}}} {

tiene el grupo de Galois prescrito.

Grupo simétrico de orden primo

Si f{displaystyle f} es un polinomio irreducible de primer grado p{displaystyle p} con coeficientes racionales y exactamente dos raíces no reales, entonces el grupo Galois de f{displaystyle f} es el grupo simétrico completo Sp.{displaystyle S_{p}

Por ejemplo, f()x)=x5− − 4x+2▪ ▪ Q[x]{displaystyle f(x)=x^{5}-4x+2in mathbb {Q} [x]} es irreducible del criterio de Eisenstein. Plotting el gráfico de f{displaystyle f} con software de graficado o papel muestra que tiene tres raíces reales, por lo tanto dos raíces complejas, mostrando sus Grupo Galois S5{displaystyle S_{5}.

Comparando grupos de Galois de extensiones de campo de campos globales

Dada una extensión mundial sobre el terreno K/k{displaystyle K/k} (como Q()35,Especificaciones Especificaciones 5)/Q{displaystyle mathbb {Q} ({sqrt[{5}}}zeta _{5})/mathbb {Q}) el y w{displaystyle w} una clase de equivalencia de valoraciones K{displaystyle K} (como p{displaystyle p}-adic valoración), y v{displaystyle v} on k{displaystyle k} tal que sus terminaciones dan una extensión de campo Galois

Kw/kv{displaystyle K_{w}/k_{v}

de campos locales. Entonces, hay una acción inducida del grupo de Galois

G=Gal⁡ ⁡ ()K/k){displaystyle G=operatorname {Gal} (K/k)}

sobre el conjunto de clases de equivalencia de valoraciones de tal manera que las terminaciones de los campos son compatibles. Esto significa si s▪ ▪ G{displaystyle sin G} entonces hay una isomorfa inducida de campos locales

sw:Kw→ → Ksw{displaystyle [Risas] K_{sw}

Desde que hemos tomado la hipótesis de que w{displaystyle w} mentiras v{displaystyle v} (i.e. there is a Galois field extension Kw/kv{displaystyle K_{w}/k_{v}), el morfismo de campo sw{displaystyle s_{w} es de hecho un isomorfismo kv{displaystyle k_{v}- Álgebras. Si tomamos el subgrupo de isotropía G{displaystyle G. para la clase de valoración w{displaystyle w}

Gw={}s▪ ▪ G:sw=w}{displaystyle G_{w}={sin G:sw=w}

entonces hay una sobreyección del grupo de Galois global al grupo de Galois local de modo que hay un isomorfismo entre el grupo de Galois local y el subgrupo de isotropía. Esquemáticamente, esto significa

Gal⁡ ⁡ ()K/v)↠ ↠ Gal⁡ ⁡ ()Kw/kv)↓ ↓ ↓ ↓ G↠ ↠ Gw{displaystyle {begin{matrix}operatorname {Gal} (K/v) {Gal} (K_{w}/k_{v})\\downarrow > {cHFF}}}}

donde las flechas verticales son isomorfismos. Esto proporciona una técnica para construir grupos de Galois de campos locales utilizando grupos de Galois globales.

Grupos infinitos

Un ejemplo básico de una extensión de campo con un grupo infinito de automorfismos es Aut⁡ ⁡ ()C/Q){displaystyle operatorname {Aut} (mathbb {C} /mathbb {Q})}, ya que contiene cada extensión de campo algebraico E/Q{displaystyle E/Mathbb {Q}. Por ejemplo, las extensiones de campo Q()a)/Q{displaystyle mathbb {Q} ({sqrt {a})/mathbb {Q} para un elemento libre de cuadrado a▪ ▪ Q{displaystyle ain mathbb {Q} cada uno tiene un grado único 2{displaystyle 2} automorfismo, induciendo un automorfismo Aut⁡ ⁡ ()C/Q).{displaystyle operatorname {Aut} (mathbb {C} /mathbb {Q}). }

Una de las clases más estudiadas del grupo Galois infinito es el grupo absoluto Galois, que es un grupo infinito, profinito definido como el límite inverso de todas las extensiones galois finitas E/F{displaystyle E/F} para un campo fijo. El límite inverso está denotado

Gal⁡ ⁡ ()F̄ ̄ /F):=lim← ← E/Ffinito separable⁡ ⁡ Gal⁡ ⁡ ()E/F){displaystyle operatorname {Gal} ({overline {F}/F):=varprojlim ¿Por qué?,

Donde F̄ ̄ {displaystyle {fnMicrosoft} es el cierre separable del campo F{displaystyle F}. Note que este grupo es un grupo topológico. Algunos ejemplos básicos incluyen Gal⁡ ⁡ ()Q̄ ̄ /Q){displaystyle operatorname {Gal} ({overline {mathbb {Q}}/mathbb {Q}} y

Gal⁡ ⁡ ()F̄ ̄ q/Fq).. Z^ ^ .. ∏ ∏ pZp{displaystyle operatorname {Gal} ({overline {mathbb {F} {fnMithbb} {Z}cong prod # Mathbb # {Z}.

Otro ejemplo fácilmente computable viene de la extensión de campo Q()2,3,5,...... )/Q{displaystyle mathbb {Q} ({sqrt {2},{sqrt {3}},{sqrt {5}},ldots)/mathbb {Q} que contiene la raíz cuadrada de cada primo positivo. Tiene el grupo Galois

Gal⁡ ⁡ ()Q()2,3,5,...... )/Q).. ∏ ∏ pZ/2{displaystyle operatorname {Gal} (mathbb {Q} ({sqrt {2},{sqrt {3}},{sqrt {5}},ldots)/mathbb {Q})cong prod # Mathbb # {Z} /2},

que se puede deducir del límite profinito

⋯ ⋯ → → Gal⁡ ⁡ ()Q()2,3,5)/Q)→ → Gal⁡ ⁡ ()Q()2,3)/Q)→ → Gal⁡ ⁡ ()Q()2)/Q){displaystyle cdots to operatorname {Gal} (mathbb {Q} ({sqrt {2},{sqrt {3}},{sqrt {5}})/mathbb {Q})to operatorname {Gal} (mathbb {Q} ({sqrt {2},{sqrt {3})/mathbb {Q})to operatorname {Gal} (mathbb {Q} ({sqrt {2})/mathbb {Q})}

y utilizando el cálculo de los grupos de Galois.

Propiedades

La importancia de que una extensión sea Galois es que obedece al teorema fundamental de la teoría de Galois: los subgrupos cerrados (con respecto a la topología de Krull) del grupo de Galois corresponden a los campos intermedios de la extensión de campo.

Si E/F{displaystyle E/F} es una extensión Galois, entonces Gal⁡ ⁡ ()E/F){displaystyle operatorname {Gal} (E/F)} se puede dar una topología, llamada la topología de Krull, que la convierte en un grupo profinito.