II.3 Teora de Galois.

Recordemos que hemos estado estudiando la estructura de una extensin algebraica K K analizando los automorsmos de K que dejan jo a K , es decir, analizando AutK (K ). 3.1 Denicin. Una extensin nita K K se llama extensin de Galois si es normal y separable. Por el teorema 2.21, todo automorsmo K K se extiende a un homomorsmo de K K manteniendo jos a los elementos de K . Luego tenemos la biyeccin homK (K , K ) AutK (K ) y por lo tanto |AutK (K )| = {K K } = [K K ]. 3.2 Denicin. El grupo de Galois de la extensin K K es el grupo AutK (K ) denotado Gal(K K ). Sus elementos se llaman automorsmos de Galois de K K . As, |Gal(K K )| = {K K } = [K K ]. 3.3 Ejemplo. En _*poner problema o ejemplo en seccin donde corre- 2, 3)] sponda_ vimos que [Q Q( = 4. Consideremos Q( 2, 3) = (Q( 2))( 3), el isomorsmo 3,3 : Q( 2, 3) Q( 2, 3) dado por c + d 3 c d 3, con c.d Q( 2) es un automorsmo que tiene a Q( 2) como campo jo. Anlogamente, 2,2 : Q( 2, 3) Q( 2, 3) tiene a Q( 3) como campo jo. Como la composicin de automorsmos un automorsmo, vemos es que 3,3 2,2 no deja jo ni a 2, ni a 3. Consideremos el grupo AutQ (Q( 2, 3)). Sabemos que {1, 2, 3, 6) es una base para Q( 2, 3) sobre Q. Consideremos = 1AutQ (Q(2,3)) , 1 = 2,2 , 2 = 3,3 y 3 = 3,3 2,2 . Como 1 ( 2) = 2, 1 ( 6) = 6 y 2 = 3 = 3, Q es el campo jo de {, 1 , 2 , 3 }. Sea K K una extensin de Galois y H un subgrupo de Gal(K K ). Denotemos con (K )H = {a K |(a) = a, para toda H}. Entonces (K )H es un subcampo de K que contiene a K pues si a, b (K ) y H, (a + b) = (a) + (b) = a + b, (ab) = (a)(b) = ab, (a1 ) = (a)1 si a = 0 y si c K , entonces (c) = c, es decir K (K )H . Llamaremos a (K )H subcampo jo de H. Si H denota una familia {i } de automorsmos de K que dejan jo a K , denotamos con (K ){i } al subcampo jo de la familia {i }.
H

 3.4 Ejemplo. Considere la extensin Q Q( 2) y el polinomio m2,Q (t) = y conjugadas sobre Q. Como vimos en el t2 2. Sus races son 2 2 y son Ejemplo 2.21, 2,2 : Q( 2) Q( 2) dada por a + b 2 2,2 (a + b 2) = a b 2 es un automorsmo de Q( 2). Pero a + b 2 = a b 2 cuando b = 0. Luego, el subcampo jo de {2,2 } es Q( 2){ 2, 2 } = Q. Por el Problema 2.7, si K K es una extensin de Galois entonces las extensiones K (K )H y (K )H K son separables y tambin (K )H K es normal y por lo tanto es una extensin de Galois. Recuerde que |Gal((K )H K )| = {(K )H K } = [(K )H K ]. Todo automorsmo de Gal((K )H K ) es un subgrupo de Gal(K K ). Observe que por denicin, H Gal((K )H K ) y por el Teorema de Lagrange, o(H)|o(Gal((K )H K ). 3.5 Proposicin. Si H es un subgrupo de Gal(K K ) entonces Gal((K )H K ) = H. Demostracin. Como la extensin (K )H K es separable, por el teorema 2.27, es una extensin simple, es decir, K = (K )H (a). Considere los distintos elementos de H = {1H = 1 , 2 , ..., n }. Considere el polinomio de grado n f (t) = (t a)(t 2 (a)) (t n (a)) K [t]. Observe que f (t) no cambia al aplicar j a sus coecientes puesto que las races k (a) son permutadas por j . Por lo tanto, f(t) (K )H [t]. As, [(K )H K ] = [(K )H ((K )H )(a)] n = o(H). Por otro lado, como H o(Gal((K )H K )) = [(K )H K )]. Por las dos desigualdades anteriores se tiene que o(H) = n = o(Gal((K )H K )) = [(K )H K )] y por lo tanto Gal((K )H K ) = H Sea K K una extensin de Galois y (K K) (K K ). Entonces la extensin K K tambin es de Galois cuyo grupo de Galois lo denotamos Gal(K K ). 3.6 Denicin. El grupo de Galois Gal(K K ) anterior se llamar grupo de Galois relativo de las extensiones (K K) y (K K ). K. 3.7 Proposicin. Considere (K K) (K K ). Entonces (K )Gal(K K

Demostracin. Es claro que K (K )Gal(K K ) . Por otro lado, sea a K K. Por el Problema 3.3, existe un automorsmo Gal(K K ) tal que (a) = a y por lo tanto a (K )Gal(K K ) . As, (K )Gal(K K ) K. / Gal(K K ) = K. Por lo tanto, (K ) Consideremos una extensin de Galois nita K K . Sea Subgr(K K ) el conjunto de todos los subgrupos de Gal(K K ) y Subext(K K ) el conjunto de todas las subextensiones K K de K K , es decir, donde

K es un campo intermedio K K K . Ordenemos estos conjuntos por inclusiones. Claramente Subgr(K K ) es un conjunto nito. Los siguientes resultados constituyen los principales de la Teora de Galois. 3.8 Teorema . Sea K K una extensin de Galois nita. Denamos las siguientes funciones g : Subgr(K K ) Subext(K K ) dada por H g(H) = (K )H f : Subext(K K ) Subgr(K K ) dada por f(K K) = Gal(K K ) (K K) Entonces las funciones f y g son biyecciones mutuamente inversas que preservan el orden de contencin inverso. Demostracin. Utilizando los resultados anteriores, considere las composiciones siguientes Subgr(K K ) g H Subext(K K ) f g(H) = (K )H Subgr(K K ) Gal((K )H K ) = H

Subext(K K ) f K

Subgr(K K ) g f(K K) = Gal(K K )

Subext(K K ) (K )Gal(K K) = K

i.e. f g = 1Subgr(K K ) y g f = 1Subext(K K ) . Luego, f y g son inversos uno del otro. Si H1 y H2 son elementos del conjunto Subgr(K K ) tal que H1 H2 entonces (K )H1 (K )H2 pues si b (K )H2 entonces permanece jo por todo elemento de H1 pues H1 es un subconjunto de H2 . Por lo tanto, g tambin invierte el orden. Tambin, si (K K1 ) (K K2 ) son elementos de Subext(K K ), entonces como K1 K2 , Gal(K2 K ) Gal(K1 K ) y si Gal(K2 K ) entonces ja todo elemento de K1 . Por lo tanto f(K2 ) f (K1 ) y f invierte el orden de contencin. 3.9 Proposicin . Sea K K una extensin de Galois y (K K) (K K ). Entonces el grupo de Galois relativo Gal(K K ) de las extensiones (K K) y (K K ) es un subgrupo normal de Gal(K K ) si, y slo si (K K) es una extensin normal. Demostracin. Supongamos que Gal(K K ) Gal(K K ), es decir, para toda Gal(K K ) y Gal(K K ) tenemos que 1 Gal(K K ). Si k K, entonces para cualquier Gal(K K ) y Gal(K K ) (k) K satisface (k) = (1 (k)) = (k) puesto que 1 Gal(K K ); luego (k) (K )Gal(K K ) = K. Por el 3

Teorema 2.21, todo homomorsmo K K que deja jo a K se extiende a un homomorsmo K K el cual debe tener imagen K . Por lo tanto, K K es una extensin normal. Ahora supongamos que K K es una extensin normal. Entonces, para cada Gal(K K ) y k K, (k) K. Tambin, para cada Gal(K K ), ((k)) = (k) y por lo tanto 1 (k) = k. As que 1 Gal(K K ). Luego, para toda Gal(K K ), Gal(K K )1 = Gal(K K ) y por lo tanto Gal(K K ) Gal(K K ). 3.10 Proposicin . Sea K K una extensin de Galois. Entonces existe un isomorsmo de grupos Gal(K K )/Gal(K K ) Gal(K K) = dado por Gal(K K ) |K . Demostracin. Como K K es una extensin normal, si Gal(K K ) entonces K = K. As es que podemos estringir a un automorsmo de K, |K : K K. Entonces |K es la identidad en K s, y slo si , Gal(K K ). Es inmediato comprobar que la funcin Gal(K K ) Gal(K K ) |K es un homomorsmo de grupos con ncleo Gal(K K ). As que obtenemos un monomorsmo Gal(K K )/Gal(K K ) Gal(K K) tal que o(Gal(K K )/Gal(K K )) = [K K ]/[K K ] = [K K] = o(Gal(K K)) y por lo tanto es un isomorsmo. 3.11 Ejemplo. El problema 3.1 y el ejemplo 3.3 nos dicen que Gal(Q Q( 2, 3)) = V y que los cuatro automorsmos , 1 , 2 , 3 dejan jo a Q. Los diagramas siguientes ilustran la correspondencia de Galois para la extensin Q Q( 2, 3) : Q( 2, 3) / | Q( 3) Q( 2) Q( 6) | / Q Gal(Q Q( 2, 3)) / | {, 1 } {, 2 } {, 3 } | / {} 4

Consideremos una extensin nita K K de grado l. Veamos a K como espacio vectorial sobre K . Supongamos que K tiene q elementos. Luego, cualquier elemento u de K puede escribirse en forma nica como u = 1 v1 + + l vl para {i }l K y {vi }l una base de K . Hay q l expresiones para i=1 i=1 u pues cada i puede ser cualquiera de los q elementos de K . Luego K tiene q l elementos. Observe que si K es un campo nito de caracterstica p, entonces se tiene una extensin K K donde K Zp . Luego K tiene pl elementos, para l = un entero positivo, es decir, |K | = p[Zp K ] . Ahora, si consideramos el grupo multiplicativo (K ) de los elementos distintos de cero de K , recordemos que tiene orden pl 1. Si tomamos un elemento l l a K , el orden de a, o(a)|o((K ) ) = pl 1. Luego ap 1 = 1 y ap = a. por l lo tanto, cualquier elemento de K es raz del polinomio tp t, el cual tiene a lo ms pl races. As, si K est contenido en Zp , los elementos de K son las l races en Zp del polinomio tp t Zp [t]. Considere el polinomio f (t) = tp t Zp [t]. Su derivada es f (t) = pl tp 1 1 = 1. Por el problema 3.4 todas las races de f (t) en Zp son simples. Luego, f posee pl races distintas en Zp . Si {0, a1 , ..., apl 1 } son las distintas races, l entonces en Zp [t], tp t = t(t a1 ) (t apl 1 ) y cada raz es separable sobre Zp . Denotemos con Fpl = {a Zp | f (a) = 0} Zp . 3.12 Teorema . Fpl es un subcampo de Zp con pl elementos, l 1. l l l Demostracin. Si a, b Fpl entonces (a + b)p (a + b) = (ap + bp ) (a + l l l l l b) = (ap a) + (bp b) = 0 y (ab)p (ab) = (ap bp ) (ab) = ab ab = 0. l l l Claramente 0, 1 son races de tp t. Si a = 0, ap = a y (1/a)p = 1/a. Por lo tanto, Fpl es un subcampo de Zp . Observe que Zp Fpl y que Zp Fpl es una extensin nita. El subcampo Fpl se llama campo de Galois de orden pl . Se acostumbra denotar a Zp con Fp . Tambin se usa la notacin GF (pl ) para Fpl en la literatura sobre este tema. Es claro que [Fp Fpl ] = l.
l l

Problemas. 3.1 Compruebe que AutQ (Q( 2, 3)) = Gal(Q Q( 2, 3)) V (el = grupo 4 de Klein).

3.2 Pruebe que el grupo de Galois Gal(K K ) relativo de las extensiones (K K) y (K K ) es un subgrupo de Gal(K K ), es decir, Gal(K K ) Gal(K K ) cuyo orden o(Gal(K K )) = [K K ].

3.3 Recuerde que [A-D-Ll-M p.107] una accin de un grupo G en un conjunto X es transitiva si para cualesquiera x, y X existe g G tal que gx = y. Tambin decimos que la accin es libre si solamente para g = e G se tiene que gx = x, de otra manera, si para cuando g = e G, gx = x.Pruebe que si K K es una extensin de Galois nita donde K es el campo de descomposicin de un polinomio irreducible de grado n f K [t] entonces el grupo Gal(K K ) acta transitiva y libremente en R(f, K ). 3.4 Considere el anillo de polinomios K[t] para un campo K. Se dene la derivada : K[t] K[t] dada por (f (t)) = (n tn + +2 t2 +1 t1 +0 ) = nn tn1 + + 22 t1 + 1 = f (t); i K. Pruebe que si f K[t] posee una raz a K para una extensin K K , entonces a es una raz mltiple de f si, y slo si, f y f poseen un factor lineal comn en K[t] que se anula en a. 3.5 Pruebe el teorema del elemento primitivo para el caso en que K sea nito. 3.6 Pruebe que Fpl Fp es el subcampo de descomposicin para los polil l nomios tp t y tp 1 1 sobre Fp . 3.7 Pruebe que Fpl es el nico subcampo (salvo isomorsmo) con pl elementos. 3.8 Considere Fpk y Fpl dos campos de Galois de caracterstica p. Pruebe que Fpk es subcampo de Fpl si, y slo si, k divide a l. 3.9 Dibuje un diagrama de los subcampos de Fp60 ordenados via la divisibilidad por l = 60.