ALGEBRA

FERNANDO CHAMIZO LORENTE

,

II

3Q de Matematicas.

Curso 1996-1997

Version del 21/1/2002

Indice
Ideas que subyacen a la Teorfa de Galois 1. Cuerpos y sus extensiones -Definicion de cuerpo -Polinomios 1 4

,

-Extensiones de cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2. Tres problemas clasicos -Construcciones con regIa y compas -La duplicacion del cuba y la triseccion del angulo -La cuadratura del circulo 25 26 28

3. EI grupo de Galois. Extensiones normales y separables. -Automorfismos y grupo de Galois -Extensiones normales -Extensiones separables -Teorema fundamental de la teoria de Galois y ejemplos 4. Grupos finitos y cuerpos finitos. -Repaso de teoria de grupos -Series de composicion y grupos solubles -Cuerpos finitos (Apendice de teoria elemental de grupos). 5. Resolubilidad por radicales. -EI teorema de Galois -Algunas aplicaciones 77 79 67 67 71 36 41 46 49

Bibliografia: 1. Stewart. "Galois Theory". Ed Chapman and Hall. Ed. Alhambra.

A. Clark. "Elementos de Algebra Abstracta".

.

. restas.... la contribucion de Galois fue dar condiciones necesarias y suficientes para la resolubilidad por radicales en terminos de un grupo. +alx+aO = o. §2.. El grupo de Galois se define como el conjunto formado por las permutaciones que son compatibles con las relaciones algebraicas que pudiera haber entre las rakes. pero desde el punta de vista matematico la relacion entre grupos de simetrias y resolucion de ecuaciones es muy reveladora. Como en general no hay relaciones entre las rakes. Ruffini y Abel. X2 . Xl pasa a ser X2 Xl . Grupo de Galois V resolucion de ecuaciones. por tanto no existe ninguna formula de este tipo que resuelva la ecuacion general de grado n > 4. que refleja las "simetrias" de las soluciones de la ecuacion. El grupo de Galois mide el mimero minimo de simetrias para que una funcion de las rakes se pueda escribir en terrninos de los coeficientes. Concretamente. X2 = XI.Ideas que subyacen a la Teoria de Galois De forma poco precisa pero ilustrativa. §l.. Xn Y -an-l = Xl + X2 + . es facil comprobar que sus coeficientes se pueden expresar como polinomios simetricos de las rakes Xl. el grupo de Galois suele ser el grupo Sn de todas las permutaciones de n letras. . + alX + ao = 0 en factores. Xl De hecho no es dificil comprobar que solo hay cuatro permutaciones validas. Descomponiendo el polinomio P(x) = xn + an_IXn-1 + . por tanto cualquier perrnutacion de las rakes deja invariantes los coeficientes. + xn). se puede afirmar que la Teoria de Galois estudia las "simetrias" de las soluciones de ecuaciones algebraicas xn+an_IXn-I+ . X3 = xr. El result ado mas conocido de esta teoria. X4 = xi y la perrnutacion que intercambia entonces X2 = Xl y X2 no se incluye en el grupo de Galois porque si debiera pasar a ser X2 .. El grupo de Galois... es que si n > 4 hay ecuaciones para las que x no se puede despejar a partir de los coeficientes en terminos de sumas. X2 = X4 Y no a Xl. el grupo de Galois. Xn (se tiene por ejemplo ao = (-1)nXIX2 . Gauss. y con el que a veces se la identifica.. Resolver P(x) "simetrias" = 0 implica pasar de los coeficientes que son invariantes por todas las (permutaciones) a las rakes que son intercambiadas por ellas. permitiendo perfeccionar y aclarar ideas de Lagrange. En realidad este result ado es algunos alios anterior al famoso trabajo de Galois y fue probado en 1826 por Abel (Ruffini habia obtenido con anterioridad una demostracion poco rigurosa). las rakes de x4+x3+x2+x+1 son Xl = e27ri/5. 1 Galois demostro que una funcion . Por ejemplo. Como veremos. multiplicaciones divisiones y radicales. En la practica suele ser dificil verificar estas condiciones para una ecuacion dada porque el grupo de Galois puede ser muy complicado de calcular.

X2. X2. Por otra parte 2 4 =27 27 1( Xl 2 + (X2 + (X3 )3 27r con ( = cos 3 . mientras que algunos calculos prueban y por tanto J q2 /4 + p3/27 q _. A es una funcion racional de los . 27 Obteniendose las tres rakes a base de elegir los tres posibles valores (complejos) para la raiz cubica. X3 a las rakes de la ecuacion anterior. La idea fundamental de Galois es que los radicales reducen las simetrias de una forma muy particular que queda fielmente reflejada en la estructura del grupo de Galois. observese que p y q son invariantes por 83 (en el sentido de que no varian al cambiar que Xl. Supongamos ahora que tenemos una formula para resolver la ecuacion (podemos suponer p primo porque alf = general de grado n (cuyo grupo de Galois es 8n) y que r = {I'A es uno de los radicales mas interiores yr.racional (cociente de polinomios) de las rakes se puede escribir como una funcion racional de los coeficientes si y solo si es invariante por el grupo de Galois. 11 es decir. grupos y la ecuacion general de grado n. Si llamamos x3 Xl.+ p3 - solo es invariante por A3 (permutaciones pares). tercer y cuarto grado se usan radicales para ir rompiendo poco a poco las simetrias de los coeficientes.en-27r s 3 implica que la raiz cubica de esta expresion no es invariante por nada distinto de la identidad. En las formulas clasicas para resolver las ecuaciones de segundo. al resolver b2 _ X2 4c = (Xl + X2)2 + bx + c Por = 0 aparece Jb2 Jb2 x3 _ _ 4c que pasa de la funcion simetrica 4c = ±(XI _ X2). _ 4XIX2 a la no simetrica mas complicado es la ecuacion de tercer grado por + px + q Un ejemplo un poco = 0 cuya solucion viene dada X = 3 _lj_ 2 + J q2 4 + p3 _!!_ / 3 3 _lj_ 2 27 + J q2 4 + p3 . X3 por Xa(l)' Xa(2)' Xa(3) con (J E 83). ejemplo. q = -XIX2X3. _ X2)(X _ X3) ~ p + px + q = (x _ XI)(X = XIX2 + XIX3 + X2X3. Radicales. + '/. De nuevo. §3._ ~2 .y=).

A5} = A5 Y por tanto no existe ningun {Id} # HeA5 tal que # H7 = H para todo III . 83:::) A3 :::) {Id}. Si if ha roto algunas simetrias. (J # {Id}. por el teorema del isomorfismo se 8n/Nuc <I> Recapitulemos rv 7lp- to do 10 hecho: Hemos partido de la expresion A que es invariante por Go = 8n y hemos demostrado que {I'A es invariante por G: = Nuc <I> y que si G: eGo se debe tener GO/Gl rv 7lp.4)) :::){Id}. i ::. entonces 71 {7. . existe una cadena de grupos Go = s. hay elementos en la imagen distintos de 1. Xa(n)) / r(Xl' X2. :::)l :::) G2 :::) . . .{a}.. -----+ (~ .3 y 4. Todo esto queda resumido en el siguiente resultado: Si la ecuaci6n de grado n es soluble por radicales. La idea es que esta debiera comenzar por 85 :::) A5 Y como A5 no tiene ningun subrupo normal no trivial no podemos completar esta cadena. Xn).coeficientes y por tanto simetrica en las rakes Xl. asf pues rP es invariante por 8n.. .Todo este proceso se puede repetir al aiiadir un nuevo ~adical "reduciendo" Gl a G2 con GI/G2 rv 7lpi y asi sucesivamente hasta llegar a {Id} que corresponde a una expresion que no es invariante por nada y de la que podemos despejar las rakes. esto es 27r con (= cos p + isen-..4).. y por tanto no existe una solucion con radicales para la ecuacion quintica general. si (J Esencialmente.2)(3. . Notese que (J E Nuc <I> si y solo si r es invariante por (J. las cadenas son 82 :::) {Id}.. Lo mismo ocurre siempre que n ~ 5. pero no existe ninguna cadena similar en el caso n = 5. 84:::) A4 :::)((1.(J7 / 7 l E 7. :::) a. Consideremos el homomorfismo (pruebese que 10 es) <I> : s.) (J -----+ r (Xa(l)' Xa(2)' . se prueba que E A5. = {Id} G tales que cada uno es subgrupo normal del anterior y Gi-I/Gi rv 7lPi' 1 ::. se deduce que la imagen de <I> esta formada por las rakes de la unidad de indice p.. m Para las ecuaciones de grados n = 2.. como adem as (<I> ( (J ) ) P = 1 (porque rP es invariante por 8n).3)(1.Xn. La demostracion de que A5 (yen general An) no tiene subgrupos norm ales no triviales es un poco tediosa pero no excesivamente complicada... X2. 27r p Como Im <I> (con la multi plicacion) tiene es isomorfo a 7lp. (2.

Teorema (de Galois):La ecuacion P(x) = 0 se puede resolver en texminos de sus coeficientes con expresiones obtenidas por composicion Gm-1 :::)Gm cada uno subgrupo de funciones recioneles y radica1es G = Go :::)G1 . A pesar de que una parte de las ideas de la secci6n anterior estan implicit as en el trabajo de Abel sobre la imposibilidad de resolver la quintica por radicales.2 .. normal del anterior y con Gm e1 grupo trivial. m. fue Galois quien puso de manifiesto la estrecha relaci6n entre la resolubilidad por radicales y la teoria de grupos.. i = 1. tiene una cadena de subgrupos que Gi-1/Gi ~ 7lPi con Pi primo.. EI teorema de Galois. Su result ado principal contempla ecuaciones cuyo grupo de Galois no es necesariamente Sn y permite dar una condici6n necesaria y suficiente para que las rakes de una ecuaci6n se puedan expresar mediante radicales. :::) si y solo si e1 grupo de Galois. de modo IV . G..§4. .

DEFINICION: Para aquellos que tengan problemas nificado intuitivo. como 1 + de x 2 - y division de rakes de polinomios V2 y 2 J3 - 2 son rakes de polinomios de x4 concretamente 2x . ( Un grupo. la cual corresponde Un cuerpo. resta. G. + 8x - 2) es tambien raiz de 2 - 3 - lOx 8x + 1 = o. 1 .1. un anillo (conmutativo) es un conjunto en el que podemientras que un grupo abeliano es un conjunto en el que Observese que intuitivamente mos sumar. (1 + V2) (J3 con coeficientes en <Q.1 Y x + 4x + 1. Cuerpos y sus extensiones §l. ii) 0 es una operaci6n asociativa en A. A. Asi. ii) Existe el elemento neutro: 3e E G / e * 9 = 9 * e = 9 't/g E G. se recuerdan para identificar la definicion anterior con su sig- los conceptos de anillo y de grupo que ya se introdujeron Un anillo. K es un snillo tal que K . teorema que demostraremos mas adelante implica que la suma. iii) Existe el elemento inverso: 't/g E G 3h E G / h * 9 = 9 * h = e. iii) Se cumplen las leyes distributivas (a EEl 0 c = (a 0 c) EEl b 0 c) y c 0 (a EEl = b) ( b) (c0a) EElc0b). multiplicar a la idea intuit iva de cuerpo. es un conjunto dotado con una operaci6n cerrada. restar y multiplicar. de modo que se verifican las siguientes propiedades: DEFINICION: i) A es un grupo sbeluuio con respecto a EEl. Esto para estudiar rakes de polinomios es aquella y dividir (salvo por cero) . Un sorprendente multiplicacion DEFINICION DE CUERPO. NOTA: Si ademas * es una operacion conmutativa (g * h = h * g) se i) es asociativa: 9 es abeliano 0 * dice que el grupo conmutativo. tal * (h * 1) = (g * h) * [. el curso pasado. que se verifican las siguientes propiedades: DEFINICION: *. concretamente sugiere que la estructura algebraica en la que podemos sumar. da lugar a nuevas rakes de polinomios. por ejemplo. restar.{O} es un grupo ebelieno con respecto a la multiplicaci6n. entonces natural un polinomio con coeficientes en <Q. podemos sumar y restar (sumar el inverso). es un conjunto dotado con dos operaciones cerradas. EEl y o (suma y multiplicaci6n).

Ejemplo 4. Obviamente el producto es conmutativo y asociativo (porque C' es 2 . a. 'Il es un grupo abeliano con la suma. / a. las propiedades i). de un anillo (conmutativo). es un subconjunto de A cerrado con respecto a la suma y tal que si a pertenece a A y x pertenece a I. de hecho en este ejemplo Estas clases tienen de nuevo estructura « 'Il} es un anillo con respecto a la suma y el producto + j3 E C y aj3 (a + c) + (b + d)V2 E {a + bV2 / a. Ademas. Asi pues solo falta comprobar que C' es un grupo abeliano con respecto al producto. anillos y grupos respectivamente. entonces su prod ucto pertenece a I. observese que la suma y el producto estan bien definidas en C. Ejemplo 2. en los que ® es una operacion conmutativa y tiene elemento neutro. Veamos algunos ejemplos de cuerpos y anillos: Ejemplo 1. en este curso solo se consideraran anillos conmutativos y unitarios. asf I = (2) en 'Il son los numeros pares. b (escrito tambien 'Ilj2'1l 0 a veces 'Il2) son las clases de numeros pares de anillo. 'Il es una anillo. A y G para designar cuerpos. Su estructura se conoce con el nombre de semigrupo. A este cuerpo se le denota con <Q( V2) (el porque de esta notacion Ejemplo 6.NOTA: En estas notas se usaran las letras K. I. Una <Q} es un cuerpo con respecto a la suma y el producto habituales. 'Ilj(2) e impares. Ejemplo 3. Para comprobarlo. y se les llama unidades. Ejemplo 5.3) = 'Il. A. La notacion Aj I indica las clases de equivalencia modulo el ideal. C' = E quedara claro mas adelante). b E C. por ejemplo. No es dificil ver que (2. ii) y iii) de la definicion de anillo estan garantizadas porque se cumplen en JR y C c JR. Muchas veces se indican los ideales por sus generadores. j3 E C ~ a entonces a + j3 = C y aj3 = (ac + 2bd) vez realizadas estas comprobaciones. C = {a+bV2 habituales. sin indicar explicitamente que 10 son siempre que ella no de lugar a confusion. es decir. y (2. <Q es un cuerpo. Se puede demostrar que C' es un anillo procediendo como en el ejemplo anterior porque alli no usamos la hipotesis de que a y b eran enteros (solo que la multiplicacion era cerrada para ellos). es decir. 'Il no es un grupo con el producto (porque no existe elemento inverso). Tambien es importante recordar que un ideal.3) son todas las combinaciones lineales enteras de 2 y 3. forman un cuerpo. Es conviente recordar tambien que en un anillo puede haber elementos con inverso multiplicativo. Porque si a = a + bV2 y j3 = c + dV2 + (ad + bc)V2 E C.

Por ejemplo.e. mE'll}. Es un cuerpo con un mimero finito de elementos.e. y por tanto basta considerar clases cuyos represent antes sean mimeros enteros.c. a2 b _ 2b2 v 2 E C . dig amos p = n2 "isomorfo" a IFp.I. (esto es. dividir en D. 3 se puede demostrar que AI (n + m~) .3. Con ella hemos demostrado + ~) es es identico a IF3. = n . n si n es el menor ntunero s1 = o.m. Dado un dominio de integridad. bajo la relacion de equivalencia ¢} ru = ts. unidad tal que ab = 0 ~ r Is r rv a = 0 0 b = 0).m + m(1 +~) = = n . Si esta suma fuera siempre distinta de cero se dice . Este cuerpo se suele denotar con IFp. Esta propiedad es tan a la hora de clasificar los cuerpos que requiere una definicion especial. . DEFINICION:Diremos que un cuerpo tiene caracteristica natural tal que 1 + 1 + 11: que el cuerpo tiene caracteristica cero.e.~) (1 +~) {n + m~ / n. Ejemplo 9. Si pes primo 'lllp'll es un cuerpo. y. M I Recuerdese que 'lllp'll son las clases de congruencia modulo p: todos los posibles restos al dividir por p.un anillo conmutativo) y tiene elemento neutro 1 = 1 + oJ2. Asi pues Por otra parte. + cero y IFp tiene caracteristica p.c.. I.e~ 1 = + o. practicamente doble de un cuadrado. p - 1. un anillo conmutativo s con Asi por ejemplo IR y <Q tienen caracteristica Ejemplo 8. .. Ejemplo 7.v. Ademas como 1 a a+bJ2 tambien existe elemento inverso. D. si un primo p es sum a de un cuadrado y el + 2m2. el cuerpo de fracciones de 'll es <Q. es decir. Notese primero que n (1 . t Iu # 0. sED. A pesar de que exist en otros cuerpos finitos seguramente es demasiado prematuro introducirlos ahora. II. 2} (es facil comprobar que estas tres clases son distintas). 0. En general. Si A c ~ es el anillo A = es un cuerpo de tres elementos. Observese que en IFp se cum pie 1 + 1 + 1 + importante p. n = n que AI(1 + AI (1 +~) {O. el cuerpo de fracciones de D es el conjunto de expresiones de la forma r I s con r. entonces AI (1 +~) + m~ =n. Notese que D se puede identificar con los elementos de la forma el cuerpo de fracciones de D es el cuerpo que result a si permitimos Intuitivamente.

El conjunto de todos los polinomios sobre el anillo A (con coeficientes en A) en la inde- x se denota con A[x] y tiene una estructura natural de anillo.. etc.. A[Xl' X2.. 4 .. Proposici6n 2. divisor de P y Q tambien se puede definir como un generador * Para una definicion mas formal vease el libro de A. DEFINICION: Si P E A[x]. A(x) mente. Ademas si P. Q # o}.§2. Si P = 0 escribiremos forma1mente 8P = -00. Q E K[x] NOTA: Recuerdese principales se dice que D E K[x] es un maximo comun divisor de P y Q si DIP. Proposici6n 2. 2) .Q E A[x].1: Si A es un dominic de integridad. DIQ y cua1quier otro divisor cormin de P y Q divide a D. + ao con an # 0 diremos que P tiene grado n y se escribe grad P = n 0 tembien 8P = n. seguramente son ya conocidos por el lector. entonces exist irian P y Q E DEM.. = 0 y esto contradice A[x]- {O} tales que PQ Si A es un dominio de integridad. Clark p. de modo que el maximo comun del ideal (P. Q E K[x] iuiicsmenie tales que = {P/Q / P. El principal interes de los dominios euclideos es que se puede definir el maximo comun divisor y se tiene el "algoritmo de Euclides" para hallarlo. Abreviaremos la notacion (A[Xl]) [X2]. K[x] es un dominic euc1fdeo. los recordamos DEFINICION: Si P. Un polinomio es una expresion de la forma anxn una indeterminada terminada y los coeficientes o. A[x] tembien 10 es. 8Q) 2) 8(PQ) = 8P + 8Q. Observese que estos anillos corresponden a los polinomios de varias variables.Q E A[x] 1) 8(P + Q) < max(8P. A pesar de que estos conceptos aqui. Se dice que A[x] es el anillo de polinomios sobre A. + ao donde x es a un anillo. P = anxn + an_lXn-1 + . etc.2: Si K es un cuerpo. escribiendo simplemente A[Xl' X2]. por la proposicion el cuerpo de fracciones que se denota con A(x). Q).• anterior tiene sentido considerar Es decir no fuera un dominio de integridad. que un dominio euclideo es en particular un dominio de ideales (todo ideal se puede generar con un elemento). Mas concretecon Q # 0 entonces exist en dos polinomios C y R determinados P=QC+R con 8R < 8Q. si P. POLINOMIOS. X3].: Las propiedades Por otra parte si A[x] 1) y 2) se siguen facilmente de la definicion de grado (ejercicio).203. ((A[Xl]) [X2]) [X3]. pertenecen + an_lXn-1 + .

{O}.Proposici6n 2. si DI y D2 son dos tiuiximos comunes divisotes de P y Q entonces DI = kD2 con k E K . + x3 - 5x2 + 4x + 3 y y expresarlo de la manera indicada en la Proposicion 5 2. (de la proposicion 2. 2. La aplicacion repetida del Lemma 2. Como los divisores comunes coinciden. aplicando el Lema 2. .4: Si P.. Pn-2 = DCn-2 + D.3: Dados dos polinomios en K[x] no eimulteneemenie nulos. . Si D es un {O} y D es su maximo corntin divisor.• D EM. Iterando este proceso se obtiene finalmente Ejemplo. Q E K[x]exist en A. de fin amos P3 como el polinomio R en la Proposicion sucesivamente. tienen un maximo cormin divisor yes tinico salvo unidades. (de la proposicion 2. Q E K[x] y sean C y R como en 1a Proposicion cormin divisor de P y Q entonces tembien 10 es de Q y R: DEM.4): de la Proposicion 2.3): Dados PI = P Y P2 = Q en K[x] con Q =1= 0. B E K[x] tales que D=AP+BQ.: De P = QC comunes divisores .2. D = (1 +Cn-3Cn-4)Pn-3 .. la antepenultima igualdad permite escribir D en terminos de Pn-4 y Pn-3.• el maximo comun divisor de P = x4 Calcular + 9. Q = P3C2 + P4. concretamente D = Pn-3 -Pn-2Cn-3.2.5 Como ya indicamos en la demostracion se tiene P = QCI + P3.Cn-3Pn-4. La penultima igualdad permite escribir D en terrninos de Pn-3 y Pn-2.• +R se deduce que S E K[x] es divisor comun de P y Q si y solo si 10 es de Q y R. La demostracion de estas dos ultimas proposiciones se basa en el algoritmo de Euclides el siguiente lema 2. Q= x3 6x la igualdad que asegura la proposicion .5: maximo Sean P.5 implica que un maximo comun divisor de P y Q es tambien debe ser Pn-I 0 un maximo comun divisor de Pn-I y 0. Ahora repetimos es decir el proceso para definir P4 a partir de P2 y P3 Y as! Como 8P2 > 8P3 > 8P4 > .. Es decir.4. tambien coinciden los maximos D EM. entonces que consiste en hallar el maximo comun divisor aplicando repetidamente Lema 2. el proceso anterior termina con cierto Pn = 0 y por tanto Pn-2 = Pn-ICn-2.. . Proposici6n 2.3. Pn-3 = Pn-2Cn-3 + D. y obviamente este kPn-l . Y as! sucesivamente.

1) ·2 = 8 ·2 + 5· (-3) 1 = 8 ·2(29 . el Observese que los razonamientos son . 2 1 = 5 . segun el analogo de la Proposicion en 'Il se tiene que 1 = 29n es la clase que buscamos. 2.6) + x3 - - 6x + 9 - . si d es el maximo comun divisor de a y + by tiene solucion con x.1 1 = 3 . Por tanto el maximo comun divisor es x x + 3 = -(x = -(x .4.4 ym de se cumple para ciertos n.6)(x . 5x2 + 4x + 3 . Ejemplo 2. (-1) + 3 .3 . (-1) + (8 .(x + l)(x3 6x + 9)) + x3 - 6x + 9. 6.6 6x + 9 = (x2 + X . entonces la ecuacion d = ax de la Proposicion 2. 1 = 5 . y E 'Il (de hecho tiene infinitas).2. claridad veamos primero un ejemplo en 'Il. Veamos ahora un ejemplo con polinomios. 3) ·3= 29· (-3) + 8 ·11.4 se puede repetir paso por paso en Asi por ejemplo.8 .1) (x4 + x3 (l-x)P+x2Q. 1) .(5 . Como el maximo comun divisor de 29 y 8 es 1. Asi pues podemos tomar n = -3 y m = 11 y se concluye que 11 es el inverso de 8. Sean P = x4 + x3 + x2 + X + X + 1 y Q = x2 + X + X + 1. de donde x+3= Notese que la demostracion otros dominios euclideos. en 'Il. Calcular inverso de Q en <Q[xl/(P). Hallar el inverso de 8 en 'Il/29'1l. + 8m 2. por tanto de la Proposicion 2. m E 'Il. ademas + X .l)(x2 + 3.5 . m Para calcular m y n se puede pro ceder usando el algoritmo Euclides como en la demostracion 29 = 8·3 8=5·1+3 5=3·1+2 3=2·1+1 1=1·2+0 =? +5 (4~ ecuacion) (3~ ecuacion) (2~ ecuacion) (1~ ecuacion) 1=3 .4 puede usarse como algoritmo para calcular el Para mayor de la Proposicion inverso en algunos cuerpos definidos como cocientes de anillos por ideales.Procedemos con el algoritmo de Euclides: X4 + x3 - 5x2 + 4x + 3 = (x3 x3 x2 - - 6x + 9)(x + 1) + x2 + X . La demostracion b. Concretamente I = 8. analogos a los del ejemplo anterior.2). Ejemplo 1.1) + x + 3 +X - 6 = (x + 3)(x .

6x escribir como a(x-al)(x-a2) En ~[x] porque P = (x . 2.: y bi. + ao con coeficientes enteros y p es un primo tal que plan. + bo) (cmxm + Cm_IXm-1 + . si P no es irreducible se puede escribir como P = (b1xl + bl_Ixl-1 + ..{O}. (x + 1) + 0 P = Q .x(x + 1) + (x3 + 1)Q. Proposici6n un polinomio + an_IXn-1 + . y como en el ejemplo con 10 cual B es el inverso de Q. tambien se cumple Proposici6n 2.Algebra): 8P ::.3 + J2) (x . al igual que en 7l todo mimero se puede descomponer en factores primos. plai si 0 ::. El polinomio P = x2 . + co) con l + m = n DEM.3 . a2 E <Q. Ci E 7l. sin embargo P no es irreducible en <Q( J2)[x] de un polinomio es muy sencilla gracias al P E ~[x] es irreducible la cuesti6n de irreducibilidad Teorema 2.8 (Criterio de Eisenstein): Si P = anxn es de utilidad en algunos casos es el siguiente. (1~ ecuaci6n) 1 = Q . BE <Q[x] por tanto I = BQ.Como comprobaremos inmediatamente divisor de P y Q es 1. x2 ~ (2~ ecuaci6n) 1 = Q . Calculemos A y B procediendo + (x + 1) Q = (x + 1) .J2) siguiente result ado +7 es irreducible en <Q[x]porque no se puede con aI. el maximo comun para ciertos A. asi pues 1 = AP+BQ anterior: con el algoritmo de Euclides.. Otra propiedad interesante de los dominios euclideos es que son de factorizaci6n unica.. todo polinomio no constante ¢} de ~[x] se puede descomponer Un criterio que es en general es muy dificil saber si P E K[x] es irreducible. se tiene 7 .6: Todo polinomio polinomios y multiplicaci6n NOTA: de K[x] se puede descomponer como producto de ireducib1es. x + 1 x + 1 = 1 .. i < n y 2lao entonces P es irreducible en <Q[x]. Ejemplo . edeuuis esta descomposici6n por elementos de K . Equiva1entemente.. en Iectotes lineales. Si K =1= ~. Igualando los coeficientes de los terrninos del mismo grado. p Por el Lema de Gauss (vease mas abajo) .. 1.8R < 8P.x2Q) = -xP Por tanto el inverso de Q es x3 + 1. es irreducible si no puede escribirse como P= QR con 8Q. P. Recuerdese es tinica salvo e1 orden de los Iectotes que un polinomio.x(P .7 (Teorema Fundamental del . es decir.

no se cumple.. E <Q[x] multiplicando 8 .P2 es irreducible en 7l[x] tembien 10 es en <Q[x]. + x + 1. entonces por la segunda igualdad. en general. plb1 y por la tercera plb2 y en general plbi 0 ::.. Gauss demostro que en ambos anillos el es el mismo.. as! pues p divide a bo 0 a Copero no a ambos simultaneamente. si P es irreducible en K[x].. i ::. B # O. Supongamos por ejemplo que p divide abo.Por hipotesis plao pero p2Aao. Ejemplo 1. + BQ. (Polinomio Ciclotomico) Gauss demostro que si p es primo el polinomio (ciclotomico) P = xp-1 + xp-2 + . + x + 1 es irreducible en <Q[x]. n. es un cuerpo. + (x + 1) + 1 tambien el criterio anterior.. P = x2 El es irreducible en <Q[x] pero no 10 es en IF3. el maximo comun divisor de P y Q es 1 y existen A.. contradice nuestra hipotesis PAan . y concluimos que es irreducible en <Q[x]. por cierto mimero natural. En general. As! pues. B E <Q[x] tales que 1 = AP es el inverso de Q y existe siempre que que Q K[xl/(P) en 7l[x] es un cuerpo. Hay cierta falta de simetria en los criterio anteriores. porque al tomar en IF2 se 1 dividen + x + 1. si P es irreducible Q = (x 10 es (ejercicio) y como + 1)p-l + (x + Q = (x + 1)P . El polinomio x3 modulo 2 obtenemos ax 3 - +X +1 17x2 x3 podria escribir como (x2 + + 1 y si este polinomio se pudiera descomponer + ax + b) (x .c) pero esto es imposible porque ni x ni x x2 + 105 es irreducible en <Q[x].: Si P = P1P2 con P1. 2 Ejemplo 2.. A pesar de que no es posible aplicar directamente 1)p-2 + .10 (de Gauss): Si P E 7l[x] DEM. 10 que implica que p divide a todos los o. Proposici6n 2. como Pes irreducible en <Q[x].. Si Q tJ_ (P). donde P = xp-1 + xp-2 + . + ( p p-2 )x +( p p-1 ).1 = xp-1 x+1-1 + (P) 1 xp-2 + (P) 2 xp-3 + . porque partimos de un polinomio concepto de irreducibilidad Lema 2. Para ella basta comprobar que todo elemento no nulo tiene inverso multiplicativo. Por ejemplo.9: Sea P E 7l[x] rnonico y sea P E IF p[x] e1 polinomio que resulta a1 que es muy simple pero efectivo (la reducir los coeficientes modulo p. 10 que l. Ejemplo 3. OBSERVACION: reciproco.• Damos tambien otro criterio de irreducibilidad demostracion se dej a como ejercicio ) . Si 8P = 8P y P es irreducible en IF p[x] entonces P es irreducible en <Q[x]. el criterio de Eisenstein es aplicable sobre Q (ejercicio).. Como consecuencia del ejemplo anterior deducimos que <Q[xl/(P).

Por ejemplo donde 17kes un polinomio en aI.11 (RegIa de Ruffini): a es un cero de un polinomio Sea a un cero de P E K[x]. entonces no todos Sean b... . + bicj + .a divide a ese polinomio..... + co) en 7l[x].1) los coeficientes de r < i..12: uno se le sue le Hamar cero simple. DEFINICION: Se dice que a tiene multiplicidad (x . s610 si x . entonces igualando nai+j = bi+jco + bi+j-ICI + . . an) en el segundo miembro e igualando coeficientes. + bo)(cmxm + Cm_IXm-1 + . xn) se le suele Hamar polinomio simetrico elemental de grado k y n variables.• tambien como una funcion A ---+ A sin mas una rafz de P E A[x] si P(a) = o..... 0 DEFINICION: Proposici6n 2. .1) reduciendo grado i + j se tiene tales que Plbi' plcj pero plbr. los bi ni todos los tenemos que + .. . . Se dice que un polinomio que un polinomio de K[x] es monico si su coeficiente de mayor entonces por la RegIa de DEFINICION: grado es 1. plcs si en (2.a2) ... es Corolario menor 0 E1 ntunero de rafces de P E K[x] contadas con su multiplicidad igua1 que 8P.1) nP = (b1xl + bl_Ixl-1 Supongamos lema esta probado. s < j (podria ocurrir que i. 9 ..an) a2... sea p un divisor primo de n. por p en (2. + boci+j hipotesis Plbi' plcj . + ao = (x . y Cj que n es el menor mimero tal que nP se descompone Supongamos Ci pueden ser divisibles por p (ya que en ese caso podriamos n a nip). se tiene que los coeficientes se pueden expresar en terrninos de las rakes con la formula an-k = (_1)k(Tk(al' de k de estas variables. a2. si n = 1 el simplificar que n > 1.al)(x Ruffini se descompone P = xn y operando en factores lineales + an_IXn-1 + . (x .a)nlP y (x . . de K[x] si y n si y de aqui se deduce que plbicj en contra de nuestra Un polinomio de A[x] se puede considerar que sustituir la variable indeterminada Se dice que a E A es un cero por elementos del anillo. Supongamos monico P tiene 8P rakes. j = 0). NOTA: A un cero de multiplicidad 2. . En general se dice que un polinomio en varias variables es simetrico si queda invariante bajo cualquier perrnutacion de sus variables..a)n+llP. X2.que cancele todos los denominadores (2. an igual a la suma de todos los posibles productos Notacion: A (Tk(XI.

. xn] kxfl simetrico.. -3XlX2X3 Ahora repetimos el proceso con Q escogiendo el monomio al a3 10 que implica = 1 y por tanto (2.14: como Si P E <Q[x]es un polinomio rnonico que se descompone en C[x] 10 .: O'k se les llama elementales se Cua1quier polinomio siraetrico sobre un dominic de integridad puede expresar como un polinomio sobre dicho dominic cuyas variables son los polinomios Aunque no 10 haremos aqui..3) obtenemos finalmente + 20'1. Segun el proceso descrito en 1) debemos escoger el monomio a2 por tanto al = 2.El siguiente result ado justifica por que a los Teorema 2. O'.. X2. ..... O'. Sea P E D[Xl. etc..2) y (2. es posible pro bar la unicidad de esta expresion.:n.. Por la simetria de P se tiene Entonces P = kO'fl-CX2 0'~2-CX3 . a3 = 0 Y se tiene (2.2) (Recuerdese que 0'1 = Xl = a2 = + X2 + X3 Y 0'3 = XlX2X3). x~n 1) Seleccionar el monomio mayor grado en Xl. NOTA: DEM. y si hubiera varios el de mayor grado en . y en este ultimo caso el grado en Ejemplo Escribir el polinomio P E P = XiX2 0 X2 bien el grado en Xl se ha reducido 0 0 se habra reducido habra quedado igual. X3] dado por + XiX3 + X~Xl + X~X3 + X~Xl + X~X2 + 2Xl + 2X2 + 2X3 XIX2. en terminos de los polinomios simetricos elementales. (algunos ai pueden ser nulos) que tiene X2 ~ al ~ a2 si todavia hubiera varios escojase entre ellos el de mayor grado en X3. Apliquemos el siguiente algoritmo: X~2 .• <Q[Xl. ~ an (ejercicio). Para ilustrar su interes demostraremos el siguiente result ado Corolario 2. X2.13: simetricos e1ementa1es. 2) Sea Q = P kO'fl-CX2 0'~2-CX3 . = 1..:n +Q y ahora se repite to do el proceso con Q hasta llegar a Q = o. Observese que el monomio selecionado en 1) no aparece en Q y que el algoritmo siempre termina porque al aplicarlo sucesivas veces ha quedado igual.3) Q= -30'3 +Q P = 0'10'2 30'3 Observese que Q = 20'1. El teorema anterior tiene gran importancia historica en el desarrollo de la teoria de Galois y la teoria de grupos en general. etc. asi pues de (2. (Ejercicio: dar una demostracion detallada de esto) .

OBSERVACION:Un monomorfismo es una funcion inyectiva que preserva ciones del cuerpo. ·(x es un polinomio de <Q [x ].. evaluados en 0"1(al. . y estas ultimas cantidades son racionales porque coinciden. a2. {/2 (-1 + iV'S)/2 y {/2 (-1 . . Esto podria dar la idea de que ambas definiciones son identicas.. . Por ejemplo... DEFINICION: Decimos que el cuerpo L es una extension de L. . EXTENSIONES DE CUERPOS. etc. {14 (-1 + iv3)/2 . ... si K es un subcuerpo tambien en x en K coinciden con las de L..: Los coeficientes de PQ son an-k = (-1)kO"k(Q(al). an]. queda fielmente reflejada en la estructura de cierto grupo.entonces para cualquier Q E <Q[x] l polinomio e pertenece a <Q[x]. si existe las opera- monomorfismo f : K -----+ L. las operaciones +y de K. .a2... Tomando Q = x +x se tiene que (x- {14. salvo un signo. Las rakes de P = x3 2 - 2 son {/2. y una vez que hemos "extendido" cidas podremos naturaleza factorizar de estas extensiones de Gauss en ciclotomia es que reel mimero de cantidades Galois demostraria conoque la solver una ecuacion algebraica requiere a veces pasar por las soluciones de otras ecuaciones suficientemente la ecuacion original. DEM. 0 La notacion que se usa habitualmente para designar una extension es L/ K en casi todos los casos que apareceran el curso conviene al menos mencionar otra definicion un poco mas general y mas conveniente DEFINICION: (generalizada) Decimos que el cuerpo L es una extension un de K. .a2.an).{I2))((x- {I4(-1-iv3)/2- {I2(-1+iv3)/2). K eLy se usa L: K. es decir. pero no es exactamente asi.an).iv3)/2) se deduce que {14 + {/2 es raiz de un polinomio §3. Por el teorema anterior.{12 (-1 . 10 que considerando los ai como variables define un polinomio simetrico de <Q[al. con los coeficientes de P. En particular con coeficientes racionales. an-k se puede escribir como un polinomio con coeficientes racionales 0"2(al. . .Q(a2). Mas adelante.Q(an)). Ejemplo. es obvio que ~ es una extension de IR con la primera y la 11 .iV'S)/2. Una de las ideas basicas que aparece en el trabajo auxiliares.. Aunque la definicion anterior es satisfactoria desde el punta de vista abstracto.

+ bV2 + cJ3 + dV6 / de cuerpos: a. De hecho. J3) es simple porque como + J3).segunda definicion. Si L/ K es una extension de K. es decir. 12 . nuevas aiiadimos a K. <Q(V2)/<Q Y <Q(x)/<Q(x2) Notese en el segundo caso que <Q(x) = <Q(x2. c ~ porque ~ es un conjunto El lector podria argiiir que IR y IR' son esencialmente 10 mismo (isomorfos). muchas veces 10 mas comedo para generado por C. OBSERVACION:Una extension puede ser simple aunque aparentemente por un conjunto de varios elementos.x) Ejemplo 2. sobre K. <Q(V2. esto motiva la definicion siguiente. <Q(V2) = {a Ejemplo 2. C. <Q(V2. varios tipos de extensiones DEFINICION: Se dice que una extension. veremos en un proximo ejemplo. <Q(V2. En el proximo capitulo vere- 1882) <QCrr)/<Q es trascendente. si to do a E L es algebraico P E K[x] tal que P(a) = o. se llama subcuerpo se escribe K(C). J3) :::){a Destacamos U + bV2 / a. L/ K. El siguiente teorema es casi trivial. d « <Q}. en breve veremos que ambos conjuntos son iguales. 2) algebraica. entonces L es un espacio vectorial sobre K. pero ocupa un papel destacado Teorema 3. si L = K(a) con a E L. J3) = <Q(V2 este generada Asi por ejemplo. y que IR' esta incluido en ~ en el sentido de que existe una funcion inyectiva de IR' en ~. (<Q(x2))(x). DEFINICION: Sea M / K y C un subconjunto de M. pero si escribimos los elementos de IR usando un sistema de numeracion que utilice letras en vez de mimeros y llamamos IR' al conjunto formado por esas nuevas sucesiones de simbolos. es 1) simple. c. existe un polinomio 3) trascendente. son simples y trascendentes. al menor subcuerpo de M que contiene a K Ejemplo 1. con 10 cual est aria usndo la segunda definicion. <Q(x)/<Q y IR(x. y)/IR(x) Ejemplo 3. Ejemplo 3.1: en la teoria. apareceran de forma natural al estudiar cuerpos a un cuerpo mayor. son simples yalgebraicas. IR( i) = c. b E <Q}. Si tanto L como K pertenecen definir L es decir que cantidades y relevancia en general. en rigor no podemos afirmar que IR' de mimeros y IR' 10 es de letras. b. Aunque estas distinciones no tendran de descomposicion. si no es algebraica. (Lindemann mos una demostracion de este hecho. = Ejemplo 1.

se dice que P E K[x] es e1polinomio minimo de a si P es rnonico. de a esta unicamente determinado.. El polinomio minimo de ~ Proposici6n 3. DEFINICION:Si a es a1gebraicosobre K. Proposici6n 3. NOTA: La hipotesis K c ~ no es realmente necesaria. Antes de dar la demostracion de estas proposiciones veamos algunas consecuencias.3 basta demostrar que K(a. pero antes de enunciarlas es DEFINICION:A 1a dimension de L como espacio vectorial sobre K se 1e llama grado de L/ K y se escribe [L : K].. los tuimeros a1gebraicos sobre K forman un cuerpo. a + 13. + An_Ian-1 con Ai E K}. de hecho K(a) = {Ao + Ala + A2a2 + . a . No es dificil demostrar que el polinomio minimo. . y ademas cum pie (ejercicio) 1) P es irreducible 2) Q E K[x]. .4: K (a) / K es finita si y solo si a es a1gebraico sobre K. aj3 es finita.2 = Pero por la Propoposicion [K(a. si no tuvieramos maneras de calcular dimen- las proposiciones siguientes.. P. Si e1 grado es finito se dice que 1a extension es finita. {YI. Lo unico importante es que K se pueda incluir dentro de un cuerpo en el que todo polinomio factoriza y esto es siempre posible aunque la demostracion se sale fuera del contenido de este curso. Ys} son sus bases. En primer lugar deduciremos el teorema que anunciamos en la primera seccion: Teorema 3.j3) : K] [K(a. . DEM.j3) : K(j3)][K(j3) : K] 3. Q(a) = 0 :::} PIQ.. ..3: Toda extension finita es a1gebraica.Este result ado no seria tan importante siones y bases. sobre <Q es x4 - Ejemplo .xrYs} es una base de M/K. a/j3 tambien 10 son... De ella tratan conveniente introducir algunas definiciones. Ademas en ese caso [K(a) : K] = n donde n es e1 grado del polinomio minima de a.XIY2. Proposici6n 3. en caso contrario se dice que es infinita. c L c M entonces [M : K] = [M : L][L : K].5: Si K c ~. a es un cero de P y no hay otro polinomio de grado menor con estes cerecteristices. Por la Proposicion 3.2: Si K 3 y sobre <Q( J3) es x2 - J3.. xr}. .: Tenemos que demostrar que si a y y 13 # 0 son algebraicos. De hecho.4 • y los dos terminos del segundo miembro son finitos por la Proposicion 13 .j3)/K 3. Y2. si L/ K y M/ L son finitas y {Xl. X2. entonces {XIYI. .13.

expresion de la forma A + BV2 + CV3 + DV6 = o.V3.Ejemplo 1. por tanto su maximo comun divisor en <Q(V2+ V3) l=l es x-V2. Las letras cursivas indican los Los polinomios minimos sobre Y x2 - <Qde V2 y V3 son x2 - 2 3 respectivamente. <Q(V3) tensiones correspondientes <Q. a = 1 y por tanto b = 4. La Proposicion 3.b. <Q(V2 + representar las ex- V3).dE y ademas <Q(~) usar esta igualdad. El proposito de este ejemplo es comparar <Q(V2. = 4. Esto permite concluir <Q( 2 + V3) :::)<Q( 2. <Q Veamos que x 2 - V2 + V3 tJ_ <Q(de a = 1 y b = 4. 3. s E Estas concluir que d cd <Q Y esto no es posible (basta elevar al cuadrado).2 de la Proposicion Notese que no es en absoluto las extensiones y trivial probar y que el segundo miembro El mismo result ado se podria haber deducido <Q(~)/<Q( V3) <Q(V3)/<Q. entonces + V3)3 + b(J2 minimo. se tiene que ambos cuerpos son iguales 0 V V 2. [<Q(V2 + V3) : <Ql= 4.V6 + V3)2 + c(J2 + V3) + d = O.4 asegura que [<Q(~) : <Ql= 4 /a. debe (J2 + V3)4 + Operando obtenemos una a(J2 son una base los coeficientes A. 14 . B.V2 E <Q( 2 + V3). Ambos estan en y ambos son distintos y tienen a x = equivalentemente. asf que V2 E <Q(V2+V3) y V3 = (V2 + V3) .V2. V3) = <Q(V2 + V3) (ver Proposicion 3.(V2+V3))2 V2 como raiz. ya que tendria V2 = r + sV3 con r. b.2). V3) es trivial. P.4. C y D (que dependen al sistema de ecuaciones A = 49 + 5b + d = 0 B = lla+c= 0 1. <Q(V2). En este y en otros casos es conveniente con un diagram a como el que aqui se adjunta. x2 se - 2 es tambien el polinomio minimo de si factorizase V2 en en la extension <Q(V3) permiten <Q (V2. es un cuerpo sin 3. asf que el polinomio es P = x4 + ax3 + bx2 + ex + d.2. entonces de a. Esto nos lleva C = 9a+ c = 0 D = 20 + 2b = 0.c. para ella considerense los polinomios (x. V3). c y d) deben ser nulos. Ejemplo 3. los cuerpos Ejemplo 2. grados. Como de <Q(V2. V3) V V V y como <Q( 2 + V3) c <Q( 2. por tanto porque -3 Y c = 2 y las unicas posibilidades para a y b son b = 4/a Notese que a = 4 es imposible nuevo basta elevar al cuadrado). V3) / <Q (V3).2 asegura ab consideraciones La Proposicion con a = 1. considerando = {a+b~+C\l'g+dm <Q}. Calcular el polinomio minimo de Por el ejemplo anterior tener grado 4. = = ef = f = e = 2. Digamos que <Q(V2+ V3)[xl V2 + V3 sobre <Q.

4 existen A. B E <Q[x] tales que En nuestro caso es facil ver que puede tomarse A = -1 y B = x2 Q y sustituyendo a. como P es irreducible el maximo comun divisor de P y Q es 1 y por 1 = AP+BQ. y sea a una de sus rakes. {i2)/<Q. 15 . se tiene finalmente 1 2 - X + 4. a ::. por tanto P = x4 . el problema se reduce a calcular a = [<Q( ij7. Para eliminar los radicales podemos "multiplicar por el conjugado". la Proposicion 2. b.3. Como P es monico e irreducible (por Eisenstein). Como ya hemos probado que 3 divide a a. d = 1. Por la Proposicion 3. este mismo argumento ha probado que b = 5 y que n = 15. {i2)/<Q( ij7).cuya solucion es a = c = 0. Obviamente V2 + J3 es una raiz de Q. Ejemplo 4. asi P = (x l)(x2 + 2V2 x-I) es un polinomio en <Q[x] que tiene a V2 + 8P = [<Q( V2 + J3) : <Q] = 4 implica que es el polinomio minimo.4 to do elemento de <Q(a) es una combinacion lineal racional de 1. es el polinomio minimo de a y segtin la Proposicion 3. a+l Ejemplo 5. asf pues el grado del polinomio minimo es menor igual que 3. Dividiendo por --=4-a+a.2 se cumple \a n = 5a y n = 3b donde b es. P = x3 de <Q( {i2)[x] - 7 es un polinomio 0 (y tambien de <Q[x]) tal que ij7 es uno de sus ceros. d E <Q tales que -1 =a a+l + ba + ca2• Sea Q = x + 1. 3. se tiene que a = 3. entonces por la Proposicion 3. Designemos por n el grado de <Q( ij7. ademas + 3x + 3 E <Q[x]. a y a2• El proposito de este ejemplo es escribir 1/(a + 1) de esta forma. Calcular el grado del polinomio minimo de ij7 en <Q({i2).2V2 x-I 2 - Otra manera mas sencilla de pro ceder en este caso es considerar el polinomio Q = (x . el grado de <Q( ij7. {i2) : <Q({i2)].lOx2 + 1. como indica el esquema. Esto implica que 3 divide a a y 5 divide a b.4. b = -10. hallar a. c. . pero Q = x2 tJ_ <Q[x]. es decir.J2)2 . De hecho. Consideremos el polinomio P = x3 2V2 x- J3 como raiz. Por otra parte. es decir.

1) se obtiene que z es una combinacion lineal de elementos de B con coeficientes en K.2) Sustituyendo Ai = /lilXl Ys} con Ai E L.. entonces podemos reescribirla como Los terrninos entre parentesis pertenecen a L y los Yj son una base de M/ L. (de la Proposicion 3.2): Nos restringiremos finitas (el otro queda como ejercicio)..XlY2. . Supongamos que tenemos una combinacion lineal nula LL i=l j=l r s AijXiYj =0 con Aij E K.4): Considerese el conjunto + An_lan-l A = {Ao + Ala + A2a2 + . (3. se concluye finalmente Aij = o.... a. por tanto L i=l r AijXi = 0 1 ::. • + . a2. al caso en que las extensiones son Toda la proposicion se reduce a probar que B = es una base de M/K. como Ai E L (3. entonces como L/K es finita hay alguna combinacion lineal no trivial nula entre los elementos 1.j ::... exist en Ai E K no todos nulos y n E IN tales que Anan por tanto a es algebraico . .XrYs} de espacio vectorial. 1) B es un sistema de generadores: Si z E M entonces como M es un espacio vectorial sobre L con base {Yl. {XlYl. . (3.···. 2) Los elementos de B son linealmente independientes:. a3.(de la Proposicion 3.A continuacion daremos la demostracion de las tres proposiciones anteriores. + An_lan-l 16 con Ai E K}.• DEM.2) en (3.1) Pero. (de la Proposicion 3.. + /li2X2 + . . Observese que en todas ellas el punta crucial esta en la estructura DEM.3): Sean L/K y a E L. de la misma forma. + Ala + Ao = 0.. + /lirXr con /lir E K. . Y2. DEM. esto es. s Como los Xi son una base de L / K...

B E K[x] tales que I = AP+ BQ2.. Esta claro que A es cerrado por sumas y restas.3) : K] = n. +R con 8R < 8P = n. <Q( V2. entonces es simple. Finalmente.b = all/b). J3) es simple.3) y por la Proposicion 2. Terminamos este capitulo mencionando un sorprendente teorema que uno piensa normalmente son simples. Q2 y P son primos entre sf y por la Proposicion 2. que definiremos mas adelante. sino que casi todas las extensiones en las Si K tiene cerecteristice cero y L/K es positiva finita.Obviamente a E A y A c K(a). si demostramos que A es un cuerpo se tiene K(a) = A (porque K (a) es el menor cuerpo que contiene a a). + Pkak raiz de un polinomio de grado menor que n. basta ver que no existe ninguna con k < n. Sea P el polinomio minimo de a. basta ver que tambien es cerrado por divisiones (la multiplicacion se reduce ados divisiones: a. Teorema 3. b E A entonces alb = QI(a)/Q2(a) donde QI y Q2 =1= 0 son polinomios de grado menor que n. Si a.6 (del elemento primitivo): Quiza el lector este un poco asombrado por el ejemplo 2 en el que demostramos que del que se deduce que este no es un caso aislado. como 8Q2 < 8P = n. se tiene (3.4 exist en A. entonces a seria • para comprobar que [K(a) combinacion lineal no trivial nula. p. Hay una version mas fuerte (y aparentemente el libro de Stewart.210. 10 cual es una contradiccion. NOTA: En realidad se puede extender el teorema a cuerpos de caracteristica siempre que se cumpla cierta condicion. Hamada "separabilidad". muy distinta) de este teorema en 17 . 10 que sustituyendo en (3. Si Po + PI a + .. dividiendo por Q2 y susituyendo a. Multiplicando por QI.2 QIB = PC prueba el resultado.

18 .

IF7[X]. Se dice que k es algebraicamente cerrado cuando todo polinomio irreducible en k[x] es de grado 1.3x2 + 2x expresandolos como combinacion lineal de {1.e. *iv) {a + b{13 + c{/9 / a. x2 + 1) en + 6x3 + 13x2 + 12x + 3 y IF 2 [x]. b E <Q} no es un anillo. iii) {a + b~ / a. IFll[x]. Hallar las unidades. Intentar inducir (sin demostracion) irreducibilidad de P sin calcular sus rakes.Hoja 1 1) Demostrar que 'Il/6'1l no es un cuerpo.. todo polinomio de grado 1 es irreducible y un polinomio de grado 2 0 3 es irred uci ble si y solo si no tiene una raiz (un cero) en k. cuando todo polinomio de grado > 1 tiene una raiz). c E <Q} es un 5x 3 cuerpo. 10) Si k es un cuerpo finito no es algebraicamente 11) Estudiar la irreducibilidad de P = x2 y IF17[X]. 12) Hallar todos los polinomios ducibles hay de grado 2. + 1 en IF3[X]. +3 E 9) Demostrar que en 'Il y en k[x] (k un cuerpo) hay infinitos irreducibles no asociados. b E <Q} es un cuerpo. 3 y 4? 13) Demostrar que IF2[X]/ (x2 cerrado. de IF p). Dar sus tablas de sum a y producto. (Notese que esto prueba que existen cuerpo finitos distintos 19 . + 9x + 8x + 2. IF13[X] decidir la una regIa general que permita de grado-. m E 'Il} es un anillo. entonces es un mimero no es un dominio de integridad. b. Q = x4 + de un cuerpo no es cero. 7) Demostrar <Q[xJl(J). irreducibles 4 en IF2[X]. Observacion: Sea k un cuerpo. de 5 en 'Il/21'1l usando el algoritmo de Euclides 2) Hallar el inverso multiplicativo 3) Demostrar que i) {n + mv'3/ n. Sea 13 = x4 . 2 4) Hallar el maximo comun divisor de P = x4 y escribirlo en la forma AP 5) Hallar el generador monico del ideal 6) Demostrar primo. i. IF5[X]. x2}. Hallar 5x + 6) 8) El polinomio f = x3 13- 1 y 13 2 3x + 1 es irreducible en <Q[x]. (i.Cuantos irre- + x + 1) es un cuerpo con cuatro elementos. X. I = (x3 + 1. que si la caracteristica que <Q[xJl(x2 - + BQ. ii) {a + bv'3 / a.

20 .

en IF3[X]. 9) Sea f = ao + alX + a2x2 + + anxn en K[x] con ao.7x . y que.18· .. como raiz. = 0 para i > n y apliquese induccion para demostrar simultaneamente ambas identidades. por tanto. de donde se deduce en particular 12) Escribir elementales. (con p primo). x3 - 7x + 1. n las "identidades k-l (-1)k+lSk = i=k-n donde (Ji son los polinomios simetricos elementales.. f es irreducible si y si aoxn + alxn-1 + a2Xn-2 + + an es irreducible. x6 6x 4) Los siguientes polinomios son irreducibles en <Q[x] 3x + 3.Hoja 2 1) Decir si son irreducibles en <Q[x] los polinomios 3x2 .p (p primo) es irreducible en <Q[x]. 8) Demostrar que x5 - 9x2 + x~ + x~ y xr + glho (absurdo)... xI que p21p = gOhl + 1 es irreducible en <Q[x] (Sugerencia: ver problema 3).5 . + x + 1 - +2 5) Hallar en <Q[x] el polinomio monico de grado minimo (polinomio minimo) que tenga a ei(). an # O. xp-1 + xp-2+ . Indicacion: Definase a. hj 0 (p) Vj < grad h. i) x4 + 3x + 6 ii) x4 .) iu X4 +1 -x 3 -x- 1 solo Indicacion: Pruebese primero que no admite una raiz en 7l. () = 27r/7. 10) Demostrar que 2x4 + 4x2 + 1 es irreducible en <Q[x]. se tiene que gi 0 (p) Vi < gradg. 2) Demostrar que x3 3) Demostrar x5 - - que x5 - + 1 es irreducible x2 + 1 es irreducible x en IF2[X]. Demostrar para 0 < k ::. 6x3 - 3x . L (-1)iSiO"k_i para k > n 21 . Demuestrese finalmente que si g = ~ gixi Y h = ~ hjxj. 6) Demostrar 7) Decidir si los siguientes polinomios son reducibles en IR. <Q y ~. 11) Demostrar que un polinomio de la forma f = xn + px + p2 es irreducible en 7l[x]. + x~ + x~ en terminos de los polinomios simetricos de 13) Sea Sk = xt Newton" + x~ + . + x~ para 0 < k y So = k. si f no es irreducible f = gh con gradg ~ 2 grad h ~ 2. que xm .

22 .

9) Calcular el polinomio minimo de primo. 23 . hallar el polinomio minimo de a2. y'rii). Demostrar que el grado del polinomio minimo de {3 en K (a) es n si y solo si el grado del polinomio minimo de a en K({3) es m. tales que [K(a) : K] = m y [K({3) : K] = n.Hoja 3 1) Hallar el grado de las siguientes extensiones y decir de que tipo son: i) <Q(~) /<Q( J2) ii) <Q(e27ri/5)/<Q iii) IR(v3) /IR iv) IR(~) vi) EP7(t)/EP7 /IR v) EP7(t)/EP7(t2) vii) <Q(v3. 12) Demostrar que <Q(V3. Suponiendo que el polinomio minimo de a es x3 + x-I. na . 3) Sea K(a. 13) Hallar el grado de la extension <Q(VI + V3)/<Q. coprimos? n(3) na = [K(a) : K]. nf3 = [K({3) : K] y In y # nf3 n ::. <Q(yn + y'rii) 11) Si n y m son enteros positivos y no son cuadrados perfectos. a y a 2 • X- + V5 en <Q(VT5). V'5) /<Q ix) A/<Q donde A son los numeros algebraicos sobre <Q. ij3) /<Q viii) <Q(V5. 10) Calcular el grado del polinomio minimo de cos(27r/p) Hallese primero el polinomio minimo de ( = y <Q(yn. Indicaci6n: 8) Si K(a)/K ?'9 + ij3 - 1 sobre <Q donde p es un e27ri/p. Escribir (a + 1)/(a .Que se puede decir si na y nf3 son ii) Mostrar un ejemplo con na en el que se cumpla n < na . nf3. 2) Demostrar que una extension de grado primo es simple. 4) Hallar [<Q( {/2. -J7)/<Q es simple sin usar el teorema del elemento primitivo. y (3 en 5) Sean a L/K 6) Calcular el polinomio minimo de V3 7) Sea a una raiz de P = x3 combinacion lineal de 1. {13) : <Q].1) como una es una extension de grado tres.. (3) : K] i) Demostrar que mcm(na. nf3. (3) una extension algebraica de K. 2 E <Q[x]. n = [K(a. i. calcular [K(a2) : K]. V5. comparar los cuerpos <Q(y'nm).

24 .

... construibles Todo 10 necesario esta contenido en los siguientes diagramas: con regIa y compas. todos los si (x.. Construcclon de a . 1 . tratan acerca de construcciones geometricas con regIa y compas... =L c IR. Construcclon Va. sucesivas de ellas tienen coordenadas que estan en sucesivas extensiones Por tanto. a • de 1. resta. construcciones geometricas sencillas conocidas desde la division y raiz cuadrada con regIa y com pas. de un De todo esto se deduce que cualquier exist a una cadena de subcuerpos elemento de un cuerpo real. Construcclon 3. solo tiene sentido dentro del marco de la teoria de cuerpos. Los problemas que consideraremos La utilidad de estos instrumentos conocidos.0) y (1. Concretamente veremos que dos de estos mientras que complicada problemas clasicos ("La duplicacion del cubo" y "La triseccion del angulo") se vuelven muy sencillos tras algunas consideraciones un tercer problema ("La cuadratura acerca del grado de ciertas extensiones.1) con [Lk+1 : por (0. L.. §l.1) puede ser obtenido 25 . C L2 C . digamos determinada rectas tienen ecuaciones de primer grado y las circunferencias puntos que se pueden construir construible (1. multiplicacion.. del circulo") requiere una demostracion pero que. con regIa y compas entonces existe una cadena de cuerpos <Q = La LkJ = 2 y x. Y E L de algunas C t.b 2. tambien es construible a . para el que como coordenada como (1. Va b 1 a-b • de alb . Con la ayuda de longitudes antigiiedad es posible comprobar que la suma. en las construcciones clasicas queda limit ada de la que se de manera que la regIa solo se puede usar para trazar una recta que pasa por dos puntos y el compas solo se puede usar para trazar una circunferencia conocen centro y radio. y) E IR? es un punta como intersecciones cuadraticas. El principal del lenguaje introducido tres problemas que los antiguos geometras aqui es comprobar griegos no interes de tratarlos la profundidad en el capitulo anterior. Tres problemas clasicos En este capitulo estudiaremos supieron abordar. C t. CONSTRUCCIONES CON REGLA Y COMPAS.0). como las de segundo grado.2. de nuevo. Una vez fijada una unidad de medida.

observese que en el contraejemplo anterior podemos expresar a en terrninos de radicales cuadraticos y cubicos resolviendo la ecuacion P = 0 (10 cual es bast ante complicado) y la no constructibilidad de a implica que no es posible suprimir los radicales cubicos a pesar de que [<Q(a) : <QJ = 4. Como fenomeno curioso.. Ademas x E L :::) <Q implica que [<Q(x) : <QJ divide a [L : <QJ y esto prueba el resultado . Un sencillo result ado que sera crucial en el resto del capitulo es el siguiente Lema 1.1: Si x es una longitnd construib1e con reg1a y compes. todas maneras. En particular.: Con la notacion introducida anteriormente n se tiene x ELy [L: <QJ = II[Lk k=l : Lk-1J = 2n. es decir. ningun contraejemplo involucra la estructura porque la constructibilidad de <Q(x). = L donde todas las extensiones son de grado dos. y) E IR? es construible con reg1a y compos si y s610 si x e y pertenecen a un cuerpo L c IR tal que existe una cadena de subcuerpos <Q = La c L. 10 cual parece natural de los subcuerpos Es decir. se tiene [<Q(a) : <QJ = 4. c t. entonces [<Q(x) : <QJ es una potencia de dos. como P es irreducible (por el criterio de Eisenstein). entonces M = <Q 0 M = <Q(a). §2. 26 .punta construible con regIa y compas. Tambien usaremos el terrnino "longitud construible" para referirnos a aquellas longitudes que pueden aparecer como coordenadas de puntos construibles. se puede (usando teoria de Galois) que <Q(a) no tiene subcuerpos propios. LA DUPLICACION DEL CUBO Y LA TRISECCION DEL ANGULO. sencillo. es decir. que puede ser muy complicada. DEM..• Es importante notar que el reciproco no es cierto en general. que a no es construible. que exist en No conocemos de x De extensiones reales <Q(x)/<Q tales que [<Q(x) : <QJ = 2k con x no construible.lOx3 + 26x2 + 16x .14. Por otra parte. Los dos problemas recogidos en el titulo se pueden formular de la manera siguiente: c <Q(a). intentaremos demostrar si <Q C M ilustrar brevemente la situacion: Si a es el unico cero real y positivo de P = x4 .. c L2 c . se tiene la siguiente caracterizacion tomaremos como definicion: que Un punta (x.

OBSERVACION: particular En se deduce que tampoco se puede trisecar el angulo de 2. usandolos de manera no convencional. 0 = (0.2: E1 angu10 de 60° no puede trisecarse con reg1a y compes. DEM.PI: Dada 1a arista de un cubo. hallar un metoda para trisecerlo con reg1a y comptis. Proposici6n 2. Q = (1/2. 120° y por tanto el eneagono regular no es construible con regIa y com pas. J3 /2). ya que quienes encontraron soluciones valiendose de curvas auxiliares (distintas de la recta y la circunferencia). P 2: Dado un tuigulo.0). la triseccion del angulo permitiria. Tambien halla- mecanicos que involucraban la regIa y el compas pero (Est os tipos de soluciones tambien eran conocidos asi como la biseccion del angulo (que es facilmente realizable con regIa y compas) permite construir el octogono regular y el hexagono regular a partir del cuadrado y del triangulo equilatero. la constructibilidad con regIa y compas de los poligonos regulares esta estrechamente relacionada con la teoria de Galois.. sen 20°). Eratostenes transmitio dos leyendas acerca del primer problema. Segun dijo.3cos200. construir con reg1a y comptis 1a arista de un cuba de vo1umen dob1e. por ejemplo. DEM. Por la formula del angulo triple o utilizando dos veces la formula para cos (a 1 .: Sea el angulo de 60° grados PDQ formado por los puntos construibles P = (1. El segundo problema es bast ante natural desde el punta de vista geometrico. Las proposiciones siguientes demuestran que ninguno de estos problemas tiene solucion.0). + {3).1: Si 1a arista de un cuba es constructible cuba de vo1umen dob1e no 10 es. 10 cual intereso a algunos miembros de la Academia de Platen ron soluciones por procedimientos para trisecar el angulo). 2 27 .= cos 60° = 4cos3 20° .1. 1a del otro de longitud a{/2 (la arista del cuba de volumen doble) entonces tambien podriamos construir un segmento de longitud {/2. en cierta obra tragica un personaje legendario proponia duplicar la tumba de su hijo que era cubica y tenia 100 pies de lado.para acabar con cierta plaga?).: Si pudieramos construir un segmento de longitud a (la arista del cubo) y - con reg1a y compes. construir el eneagono (poligono de 9lados) regular. • Proposici6n 2. pero como el polinomio minimo de {/2 es x2 se tiene [<Q( {/2) : <QJ = 3 y esto contradice el Lema 1. Como veremos en capitulos posteriores. se tiene Trisecar PDQ equivale a construir (cos 20°. Tambien refiere como origen del problema que en Delos el oraculo ordeno duplicar el volumen del altar de Apolo (i.

. Esto no es sencillo en absoluto y. Para el lector interesado damos algunas ideas que subyacen a la mayorfa de las demostraciones de irracionalidad y trascendencia: Si aEIR y encontramos una sucesi6n de enteros distintos. la trascendencia de un numoro a se "reduce" a encontrar buenas aproximaciones por racionales (0 enteros. Por otra parte.. entonces a no es racional (basta multiplicar por mk Y el posible denominador de a). Si la sucesi6n es de mimeros racionales distintos... 20. no es raiz 00. tenfan gran importancia para hacer calculos. nk. + CIX + Co E 7l[xJ * 28 . Antes de la llegada de las computadoras este tipo de aproximaciones para valores especiales de funciones como sen x.1. la cuadratura en ellenguaje de ningun no obstante problema. 3 Cap. Si S(XI' X2. de la imposibilidad por tanto es el polinomio el Lema 1. Aplicando el criterio + 1)/2) se deduce que P es irreducible. este problema que [<Q( y7r) : <QJ no es una potencia de dos para tiene solucion. entonces obviamente a no es un entero. 10 que contradice NOTA: Aunque ocupan se atribuye Mathematics la demostracion de los dos problemas a P. de incluirla despues de la relevancia historica del de trascendencia veamos el siguiente lema que y es dificil resistir la tentacion Antes de entrar en las demostraciones es una consecuencia Lema 3. eX. de de dificultad e imposibilidad sobre <Q. • que nos of Dictionary minimo de cos 20° y se tiene [<Q( cos 20°) : <QJ = 3. . si quit amos denominadores).1: Sea P = cnxn sencilla del teorema de los polinomios simetricos... Wantzel en 1837 (al menos en el Encylopedic Arithmeticae 0 de la Mathematical Society of Japan). an SUS rafces en C. entonces c~S(al' a2. con la-nk 1< E(k) Y E(k)-+O.Asi pues. x) = k). .. xn) es un polinomio simetrico con coeficientes enteros de grado k (esto es as(x. en cierta manera. usual. cos 20° es una raiz del polinomio de Eisenstein a 8P((x P = x3 - 3x/4 .. En general no es muy diffcil demostrar que si la-nk/mkl<E(k)/mk con E(k)-+O. tambien es haber deducido ambas pruebas en sus trabajos. construir con regla y compos un cuadrado de igual area. obra de Gauss Disquisitiones claro que Abel (1802-1829) de imposibilidad dad de trisecar el angulo (y posiblemente Galois (1811-1832) podrian a partir de los conceptos introducidos §3.1. a2.1/8. I a edici6n.-L.. x. sean aI. . LA CUADRATURADEL cIRCULO El ultimo problema del que nos ocuparemos del drculo" . . "Calculus" de Spivak). cos x. Resolver este problema para el circulo unidad llevaria a construir un cuadrado de lado se conoce con el nombre de "la cuadratura y7r. del drculo ha quedado como paradigma que es trascendente En esta seccion demostraremos polinomio de 7r 7r de <Q [ x J y por tanto misteriosa [<Q (y7r) : <QJ = La demostracion de la trascendencia es bastante y se sale un poco fuera del contenido del curso. basta demostrar concluir que tampoco hecho. + Cn_IXn-1 + .. . etc. y tiene el siguiente enunciado P 3: Dado un cfrculo. nk/mk Y la-nk/mkl<E(k)/mk con E(k)-+O. . an) E 7l. es claro que los articulos finales en la indican que el ya conocia en 1801la imposibilide duplicar el cubo). es decir. Por el Lema 1. . entonces a no satisface una ecuaci6n de grado r (vease ej.. Asf que.

a2. a2.13 Cap. como el grado de este polinomio no excede k. DEM. + eCl!n tJ_ 7l . Gracias a la formula se deduce que Q E 7l y tomando plP(a) se tiene plQ. Por otra parte. 10 que llevara a una contradicclon si Ep es entero.l ) afirma que S(al' a2... tomando p > cnEp se tiene p lc~P EpQ . . permite deducir que cada uno de sus sumandos es un polinomio en ar con coeficientes enteros multiplos de p (notese que P(X' + ar) no tiene termino inde- pendiente). Notese que las integrales tienen sentido aunque los ar sean complejos. de todas formas es siempre posible pasar a integrales reales con el cambio x' = x . estan contenidas en la demostracion del siguiente result ado Teorema 3. As! pues.{a}. an) = (-I)jcn-j/cn.. y adem as plc~pP. es el coeficiente de mayor grado de P).DEM. Si Ep E 7l ..2: Si P E 7l[x] con 8P = n y sus rafces en ~.an. . son no nulas.. multiplicando por Cn se cancelan todos los denominadores .ar.• Las ideas principales para abordar la trascendencia de tt . an). P puede considerarse como un polinomio simetrico en aI. an) se puede escribir como un polinomio (con coeficientes enteros) en los . . el teorema de los polinomios simetricos (Teorema 2.. . an multiplicado por p y el lema anterior asegura que c~PP E 7l (donde c. tras el cambio x' = x .ar. Un argumento similar con P.c~PP y por tanto 29 . de e y de algunas cantidades relacionadas. entonces E p = eCl!l + eCl!2 + . . La clave de la demostracion (vease la anterior nota a pie de pagina) es que si p es grande el mimero racional P / Q aproxima muy bien a Ep y ambas cantidades no son iguales..{a}.: Definamos donde pes un mimero primo que se escogera mas adelante.···.: Factorizando P/ Cn se tiene que O"j(al' a2. O"j(al' a2. aI.

. . se encuen30. an.5 (Lindemann. entonees dados kl' k2' . entonces P E 7l[x] (basta aplicar el Lema 3.. km E 7l no eimulteneemenie nulos. 1873): DEM. P2.: Basta pro ceder como en el teorema anterior pero tomando m con Corolario 3.3: DEM.donde. Pm E 7l[x] tales que P = PI .. sea al fuera algebraico.... en general. y esto contradice el Teorema 3. II (1 + eCl!k) k=1 n = o. a2. + kmEPrn ~ 7l. KI Y K2 son constantes. kIEp1 + k2Ep2 + .1 a sus coeficientes). P2 ••••• Pm eumple P(O) # 0.3.{O}.. P2 = X 2. muy dificil. En ese caso. grande se llega a contradiccion. Q E 7l[x] un polinomio con coeficiente de mayor grado en y cuyas rakes son . . • Notese que tomando p suficientemente Pequeiias variaciones en la demostracion permiten probar un result ado mas general. = 0 i1<h Si consideramos e:![I1~ (X-ek) donde ek denota todos los exponentes no nulos que aparecen en al formula anterior.• Corolario 3. Entre los resultados mas espectaculares obtenidos desde la demostracion de Hermite.: Si 7r es traseendente sobre <Q.. Pm = X 7r - men el teorema anterior .. .. ••• . La formula de Euler implica eCl!l = -1 con 10 cual = ix .. it: tambien 10 seria (donde i = J=I). - 1. Sean PI. una vez fijado P.: Tomese PI = X - e es traseendente sobre <Q. La igualdad anterior se podria escribir entonces como l+r+Ep =0 donde r es el numero de posibles exponentes nulos.4 (Hermite. • Decidir la trascendencia sobre <Q de un mimero dado es. Teorema 3. 1882): DEM. . Operando en esta igualdad se obtiene 1+ L i1 eCl!il + L eCl!il +CI!h + L i1<h <ie eCl!il +CI!h+CI!j3 + .

que ev'3. la trascendencia de numeros tales como e + n. respectivamente. 2\1'2 y e" son trascendentes que e" = i-2i). Por otra parte. tte 0 e se 31 . desconoce.tran el teorema de Lindemann y el teorema de Gelfond-Schneider que afirman. que eO!y af3 son trascendentes sobre <Q cuando a. De estos teoremas se deduce. por ejemplo.1 son algebraicos con (notese 7r . j3 # 0. Sus demostraciones utilizan en gran medida las ideas origin ales de Hermite. j3 irracional.

32 .

- e3 + 7e2 + 100e - 1). Demostrar que con regIa.l)/(x . entonces a + j3 0 a . Gauss mand6 que fuera inscrita en su tumba.. Indicaci6n: Considerense las rakes del polinomio irreducible xp-1 + xp-2 + . con regIa y compas. 3) Demostrar 4) i.. Dar un contraejemplo a la implicaci6n: a.1) con p primo. + x + 1 = (xP .Es el pentagono Indicaci6n: Hallar 5) Decir si las siguientes extensiones son algebraic as <Q(e)/<Q(e5 6) Demostrar 0 trascendentes. cos(47r/5). 8) Demostra que si los poligonos regulares de n y m lados son construibles 9) i. Segun se dice. = -11 + 116 V17+ 116 2V17+~J17 + 3V17 6 Deducir que el poligono regular de 17 lados se puede construir J34 - J34 - 2V17 - 2J34 + 2V17 con regIa y compas... 11. j3 trascendentes ~ a + j3 trascendente. Esta regIa esta sin graduar (aunque tiene marcado el cero) y s6lo puede ser usada para trazar la curva que une dos puntos construibles. m) lados. uno de ellos situ ado en el origen de la regIa.Se puede cuadrar el circulo? i.Y trisecar el angulo? 33 . 7) Usando los principios de 10 que mas tarde seria la teoria de Galois.. NOTA: Esta construcci6n geometric a es una de las pocas que habia escapado al ingenio de los antiguos ge6metras griegos. j3 son trascendentes sobre <Q. Concluir del ejercicio anterior que el poligono regular de 204 lados es construible con regIa y com pas.. que si a y j3 son trascendentes sobre <Q. Gauss demostr6 (a los 19 alios) que cos ~. tambien 10 es el de mcm( n. i.Hoja 4 1) Decir cuales de las siguientes longitudes son construibles con regIa y compas 2) Disefiar un metoda sencillo para construir V1+V3 con regIa y compas la longitud V2 que los poligonos regulares inscritos en el circulo unidad de 7.. regular construible con regIa y cornpas? cos(27r/5) + cos(47r/5) y cos(27r/5) .Se puede trisecar el angulo de 7r/2n radianes? 11) Supongamos que disponemos de una regIa curva cuyo borde tiene la forma de la grafica de y = x3 para x ~ o. 13 Y 19 lados no son construibles con regIa y compas. compas y regIa curva se puede duplicar el cubo.Se puede triplicar el cubo? 10) i.

34 .

Asi por ejemplo [<Q(~) : <QJ= [<Q(V2 y sin embargo. que pasa ~ concretamente Y deja i fijo tiene orden 4. pero la situacion es bien distinta en 10 que respect a a extensiones de cuerpos (que son espacios vectoriales con mas estructura). ~) ( =<Q(~. de una En este capitulo definiremos rigurosamente estas "simetrias" (automorfismos) extension y probaremos que forman un grupo (el grupo de Galois).. y L2 son "esencialmente" distintos Con esto hemos querido mostrar que podemos restringirnos a comparar cuerpos "simetricos". demostraremos que el grupo de "simetrias" refleja fielmente 35 . o'(~) = i~. 0'( -iV'2) = ~. Tambien podriamos comprobar que Ll Y L2 son bien distintos viendo que la "simetria". Extensiones Normales y Separables. Supongamos ahora que L. Grupo de Galois. i)) + V3. al menos en apariencia. Por eso no parece descabellado decir que si <Q(~)/<Q Ld<Q y L2/<Q con y <Q(V2 + V3)/<Q fueran "isomorfas" tambien 10 sedan t. a. V3 J5.3. Y 0'( -~) = -iV'2. -V2 + V3. O'(i~) = -~. V3.13 del Capitulo 1) y por tanto que todas las rakes del polinomio minimo juegan un papel "simetrico" cuando las consider amos sobre <Q. -V2 . i~. Siempre que la extension contenga a cada elemento y su "simetrico" (que sea normaD y satisfaga una condicion tecnica (que sea separable). ( =<Q( V2. L2 = <Q(V2 -i~. = <Q(~. mientras que todas las "simetrias" de <Q(V2.V3. es como antes pero L2 = <Q(V2. a i~ J5) que tiene el mismo grado que Ll sobre <Q. a cambios de signo de J5) son de orden 2 porque corresponden V2. V2 . La dimension es suficiente en algebra lineal para clasificar (salvo isomorfismos) los espacios vectoriales sobre IR. Pero es evidente que L.V3) V2 + V3. + V3) : <QJ= 4 <Q(~)/<Q y <Q(V2 + V3)/<Q son bien distintas. en el sentido de que contengan todas las rakes del polinomio minimo de sus generadores. V3. Ya antes de Galois se conocian diferentes versiones del teorema de los polinomios simetricos (Teorema 2. V3)) y L2 por las rakes del porque Ll esta generado por las rakes del polinomio minimo de ~ polinomio minimo de porque tienen diferente grado sobre <Q.

(c+dV2).toda la estructura Galois. en el primer caso a es la = y en el segundo caso es la conjugacion. deja fijo K.} rv a-bV2 que obviamente = conj. Aunque nuestro principal interes son los cuerpos. Este constituye el teorema fundamental de la teoria de §l. de V2. iv) Si ¢ es biyective y A = B se dice que es un automorfismo. a. a1 conjunto de K -automorfismos de L se 1e llama grupo de Galois de L/ K y se escribe Q(L/ K). 36 . Lema 1.(a+bV2) es un <Q-automorfismo (porque conj. es decir.1: Q(L/ K) es un grupo (con 1a composici6n). esto es DEFINICION: i) Si ¢ es inyectiva se dice que es un monomorfismo. iii) Si ¢ es biyective se dice que es un isomorfismo. ii) Si ¢ es sobreyectiva se dice que es un epimorfismo. AUTOMORFISMOS Y GRUPO DE GALOIS. Con ella hemos demostrado Q(<Q(V2)/<Q) = {Id. DEFINICION: Los automorfismos DEFINICION: Dada L / K. sera util tener las siguientes definiciones en el marco general de los anillos DEFINICION: Sean A y B snillos (conmutativos y unitarios) un homomorfismo de snillos es una funci6n ¢ : A -----+ B que respeta 1a suma. Un elemento. entonces 0'0 T (que abreviaremos de grupo se siguen facilmente con aT) tambien de las propiedas de la composicion a. y se a2 = 0'( V2)a( V2) = 0'(2) = 2. Q(<Q(V2)/<Q) rv 7l/271. Los dos ultimos apartados de la definicion anterior solo los usaremos para cuerpos. (0 isomorfismos) que dejan fijos los elementos de cierto subcuerpo K.: La composicion de las propiedades funciones . se llaman K-automorfismos (0 K-isomorfismos). NOTA: Otras notaciones que se utilizan (por ejemplo en ellibro de Stewart) en lugar de Q(L/ K) son r(L : K) yen cierto contexto K*. de la extension. tiene a = 0'( V2) ~ Por tanto a puede dejar fijo a V2 identidad 0 es cerrada porque si a y T son K-automorfismos. conj.(a+bV2)+conj. El resto de dejan fijo K.conj. 1a multiplicaci6n y e1 e1emento unidad. 7l/271. de Q(<Q( V2)/<Q) queda caracterizado por la imagen. DEM. puede mandarlo a -V2.• Ejemplo 1.((a+bV2)+(c+dV2)) etc) y tiene orden 2.

• + y) =x +y y por tanto x +y E H'.3: Sea L/K y para definir los automorfismos de Q(L/ K). La definicion anterior tiene sentido gracias al siguiente result ado Lema 1. (Notese que O'(ai) O'(aj) ~ O'(ai .: Si x. Proposici6n 1. . Q(<Q( {/2)/<Q) = {Id}. . a E Q(<Q( {/2)/<Q) queda caracterizado por la imagen. un elemento. y la siguiente asegura que Q(L/ K) determina el grado de ciertas subextensiones P E K[x]. y E H' entonces para todo a E Q(L/ K) se tiene o'(x) = x Y O'(y) = y. (y de hecho una de la teoria de Galois afirmara que esta igualdad asegura que hay restricciones mas general) se cumple bajo ciertas condiciones. Pero el unico a E <Q({/2) que cumple a3 = 2 es {/2. Como antes. de {/2.. La proxima proposicion de L/K. a2. Lo mismo se haria con el resto de OBSERVACION: Notese que (Q(L/K))' = K no es cierto en general. a. pero entonces 0'( x las operaciones.Ejemplo 2. Mas adelante veremos que esto ha ocurrido porque <Q({/2) no contiene a las otras rakes del polinomio minimo de {/2 (diremos que la extension no es normal). Si a E L es un cero de P. asi que a deja fijo a {/2 y por tanto es <Q({/2)/<Q y la extension trivial <Q/<Q. 37 . se dice que {x E L / a (x) =x para to do a E H} 0 es e1 subcuerpo fijo por H ya veces se denota con H' Ht.aj) = 0 ~ ai = aj). el grupo de Galois no "distingue" entre a3 = 0'( {i2)O'( {i2)O'( {i2) = 0'(2) = 2. en principio. El intento de recuperar definicion DEFINICION: la estructura de una extension a partir de Q sugiere la siguiente Sea H un subgrupo de Q(L/K). y se tiene a = 0'( {i2) ~ la identidad. an} de rakes distintas de P en L. OBSERVACION: Esto implica que cada a E Q(L/ K) induce una perrnutacion sobre el conjunto {aI.. por ejemplo Q(<Q( {i2)/<Q) = {Id} ~ El teorema fundamental (Q(<Q( {i2)/<Q))' = <Q({i2). Con este ejemplo vemos que.2: Si H es un subgrupo de Q(L/ K) entonces H' es un subcuerpo de L DEM. entonces O'(a) actuando = con a E Q(L/ K) tembien 10 es.

Proposici6n 1.4: Sea H un subgrupo finito de Q(L/ K). Si H' es e1 subcuerpo fijo

por los automorfismos de H, entonces

[L : H']
De esta proposicion Corolario 1.5:

=

IHI.

se deduce inmediatamente

Sea L/ K una extension finita y sea H un subgrupo de Q(L/ K),

entonces

[H' : K]

=

[~~f].
se deduce que a cada subgrupo a K. de

OBSERVACION:Notese que de estos resultados Ejemplo . Mas adelante demostraremos que

Q(L/ K) se le puede asociar de forma univoca un subcuerpo de L conteniendo

donde

0"(

cos i;)

= cos ~;.

En este ejemplo veremos como se deduce la estructura contenida en 7l/871. (ciclotomico) irreducible x16

de

<Q(cosi;)/<Q a partir de la informacion

Sea ( = e27ri/17, como ( es raiz del polinomio

... + x + 1, se
Obviamente

+ x15 +

tiene [<Q( : <Q] 16. () = porque cos i; = (( + (-1)/2, 2K [<Q(cos17) : <Q] 8. asi pues

<Q(() =1= <Q(cosi;) y <Q(() :::)<Q(cosi;),

[<Q(() : <Q]= 16, Pero por la Proposicion

2K [<Q((): <Q(cos 17)] > 1 ~

<

1.4 el grado de <Q( os i;) c

sobre el subcuerpo

fijo por el grupo de

Galois es 8 y como este subcuerpo

incluye a <Qconcluimos

Por otra parte, 7l/871 tiene subgrupos

de orden 1,2, 4 y 8 que corresponden

a 2K

HI = {Id}, 38

tt; = Q(<Q(cos 17)/<Q).

Segun el Corolario 1.5 se tiene

[H~ : <QJ= [<Q(cos~) : <QJ
n Por tanto

8 n

n=1,2,4,8.

I I I I ( 27r ) <Q= H8 C H4 C H2 C HI = <Qcos 17

es una cadena de subcuerpos cos

i; es una

tal que todas las extensiones De hecho, hallando

son de grado dos, en particular los H~ uno podria

longitud construible con regIa y compas.

con regIa y compas y, por tanto, el poligono de 17 lados explicitamente

es construible

obtener un metoda para construirlo.

NOTA HISTORICA:

Los razonamientos

con los subcuerpos

fijos guardan una analogia

esencial con la demostracion

original de Gauss de que el poligono de 17 lados es construible de (, Gauss construia polinomios en ( que eran invariantes Por ejemplo (

con regIa y compas. Partiendo

por (16 Y ( + (4 + (13 + (16 es invariante al cambiar ( por (13 0 por (16. Considerando

al cambiar ( por algunas de sus potencias.

+ (16

es invariante

al cambiar ( sumas

y productos de estos polinomios, lograba una mayor invariancia (por ejemplo, (+ (16 y (4 + (13 son invariantes por ( H (16 mientras que (( + (16) + ((4 + (13) Y (( + (16) ((4 + (13) tambien

10 son por ( H (13) hasta llegar a cantidades
Partiendo de elIas pudo recuperar

que eran racionales las expresiones

(simetricas en (

en todos los (j).

polinomicas

resolviendo sucesivas ecuaciones de segundo grado, ya que sabiendo la suma y el producto de dos mimeros se pueden calcular con una ecuacion de este tipo. Con ella, expreso cos en terminos de numeros racionales y sucesivas rakes cuadradas. Gauss dio condiciones necesarias y suficientes para la constructibilidad tuvo que calcular

i;

del poligono

de n lados, para ella, esencialmente, Galois (incluso la resolubilidad las "Disquisitiones Hablando Arithmeticae"

9 (<Q 2;) / <Q) (alios antes de (cos

que Galois naciera) 10 que conllevaba utilizar algunas ideas fundament ales de la teoria de de ecuaciones por radicales se menciona en el Art. 359 de de Gauss).

en rigor, hay una parte de este calculo que Gauss no publico (0 al menos adem as no esta clara la influencia de Gauss sobre Galois ni y 10 cierto es que el y permite

no ha llegado hasta nosotros), trabajo posterior

de Lagrange sobre Gauss (vease §27 en "Galois Theory" de Edwards) una solucion definitiva del problema DEM.(de la Proposicion de resolubilidad por radicales.

de Galois es mas general porque se aplica a otras extensiones

1.3): Sea P = anxn 39

+ an_lXn-1 + ... + alX + ao.

Si a es un

cero de P

Por tanto O"(a) tambien es una raiz de P. Para demostrar la Proposicion 1.4 necesitaremos el siguiente lema entonces el conjunto {0"1' 0"2, ... , O"n}

Lema 1.6: Sean 0"1, 0"2, ... , O"nEQ(L/ K) distintos, es linealmente nulos entonces
DEM.:

independiente ,\10"1

sobre L. Es decir, si'\l,

+ ,\20"2 + ... + '\nO"n
con '\1

'\2, ... , '\n E L no son eimulteneemenie

no es la funci6n

idetiticemente nula en L.

Procedemos por reduccion al absurdo.

Sea ,\10"1 (1.1)

+ ,\20"2 + ... + '\nO"n

#

0, la combinacion lineal mas corta (con n mas

pequefio) que produce la funcion nula en L, esto es,

Como a es arbitrario 10 podemos sustituir por a/3 donde /3 ELse por tanto (1.2) ,\10"1 (a)O"l (/3)

escogera a continuacion,

+ ,\20"2 (a)
#

0"2(/3)

+ ... + '\nO"n (a)O"n (/3)

=0

Va E L.

Elijamos /3 tal que 0"1(/3) '\~O"l(a) con

O"n(/3), esto es posible por que 0"1 y O"n son distintos. Multipli-

cando (1.1) por O"n(/3) Y restandole (1.2) se tiene

+ '\~0"2(a) + ... + '\~_10"n-1(a)

=0

Va E L

'\i #
DEM.

0, pero esto contradice que hubieramos tornado la combinacion lineal mas

corta .• (de la Proposicion 1.4):

a) [L : H'] ~

IHI.
una base de L/ H' y sea H = {0"1' 0"2, ... , O"n} (por tanto r = Consideremos el sistema de ecuaciones 0"1(a1)X1 0"1(a2)x1

Sean {aI, a2, ... , ar}

[L : H']

yn=

IHI).

+ 0"2(a1)x2 + + 0"2(a2)x2 +

+ O"n(a1)Xn + O"n(a2)Xn

=0 =0

40

ar} sobre H' y por tanto no es una base. • esta justificada porque el terrnino entre parentesis es una de la es un ecuaciones de (1. . + A20"2(a) + . se puede afirmar que como . . si [L : H'] < de modo que AlO"l(ai) pero como {aI.3) (notese que O"jl E H)... i::... . A2.. . y hay r . dependiente Pero esto implica que {aI. . . X2 = A2. 10 que contradice §2. X2 = A2. xn = An =0 + A20"2(ai) + .. .. . < IHI r y n como en a). i ::.. el lema anterior. r Como H es un grupo O"(Ai) = Ai para to do 0" E H (ya que O"O"r= O"O"s~ por tanto Ai E H'.. Para que 9 (L / K) tenga informacion significativa acerca de L / K. = O"s) Y donde la ultima igualdad conjunto linealmente nuestras hipotesis. Ar-n r Ai sea no nulo cuando 1 ::.n de las variables (las soluciones dependen de r . n. ar} AlO"l(a) Lo cual contradice b) [L : H'] r IHI) tiene una solucion trivial Xl = AI. r. i ::. 00n(Ai) son arbitrarios. > n... + AnO"n(a) =0 Va E L. pueden escogerse de manera que para 1 ::. + AnO"n(ai) es una base esto implica 1::... Definamos que se pueden elegir arbitrariamente las variables.n (recuerdese que los 0"j son independientes). . a2.Si r < n (es decir. a2.... los polinomios de K[x] deben factorizar completamente en L[x]. ... podemos suponer que estas son las r . Como AI. Por otra parte a.n parametres}. entonces el sistema O"l(al)Xl (1.3) 0"2(al)Xl + 0"1(a2)X2 + + 0"2(a2)X2 + + 0"1(ar)Xr + 0"2(ar)Xr =0 =0 es compatible indeterminado. a2. Ai = 0"1(Ai) + 0"2(Ai) + . . reordenando dig amos Xl = AI. Tenemos que demostrar r ::. Supongamos Sean {aI. . EXTENSIONES NORMALES. . xn = An.. 41 Intuitivamente.n primeras. ar}. Ademas por el teorema de Rouche-Frobenius existen soluQuiza ciones no triviales.

B E K[x] / AP x =x + (P) + (P) es B = B + (P). + X + 1. I con 0 y 1.: Podemos suponer que Pes irreducible (en otro caso tomese uno de sus factores irreducibles) y que 8P > 1 (Si 8P = 1. Llamando a a abreviando +1y 0. dichas tablas son + 0 1 0 0 1 1 1 a 0 a a 13 13 13 a 13 a 13 13 a 0 1 1 x 0 1 0 0 0 0 0 1 a 0 a 13 0 0 1 a a 0 13 13 13 1 13 1 a Observese que usando estas tablas se tiene que a y 13 son rakes de P porque + a + 1 = 13 + a + 1 = 1 + 1 = 0 132 + 13 + 1 = a + 13 + 1 = 1 + 1 = 0 a2 42 . Consideremos el anillo L = K[x]/(P). se tiene que +X +1 factoriza en L = IF2[xl/(P) (considerando L como extension de IF2). tal que P tiene una rafz en L. Lema 2. existe una extension finita.). de su imagen en L[X] inducida por ¢). etc.• Ejemplo. Un primer problema tecnico es saber si un polinomio se factoriza en alguna extension.1 = x + 1. x x 2 = -x . notese que L/ K es una raiz de P (hablando en rigor. ii. pero por ejemplo. + 1} x (notese que En dicho ejercicio tambien habiamos calculado las tablas de y 13 a x suma y multiplicacion de este cuerpo de cuatro elementos. + BQ =1y Por ultimo. 10 cual se puede deducir sabiendo que directamente (P) es maximal (usando teoremas del curso anterior) por tanto el inverso de la clase Q = Q es finita y que Proposicion 2. Obviamente K esta "incluido" en L. En un ejercicio (vease la Hoja 1) habiamos visto que L = {O.1: Dado P E K[x] no constante.I. OBSERVACION: Este teorema es trivial si K c C. si K = IF2 y P = x2 en absoluto evidente.4 del primer capitulo implica que VQ tJ_ (P) :::lA. Segun la demostracion del lema anterior. P = x2 Sea K = IF2.las rakes de un polinomio juegan un papel simetrico las necesitamos a todas para obtener todas las "simetrias" que caracterizan a la extension. ya que P(x) = P(x) coincide con la clase de cero en L . Ademas 0 mas concretamente. 0 existe un monomorfismo ¢ : observando que la L es de hecho un cuerpo. porque en ese caso podemos aplicar el teorema fundamental del Algebra. L = K). el lema asegura que existe una extension de IF 2 que contiene a las rakes de P 10 cual no es DEM. L/ K. K -----+ L.

a2 = Q2(a).Asi que podriamos escri bir P = (x .. . existe un cuerpo de descomposicion de P y Proposici6n 2.4 del Capitulo 1 se tiene que aI. b) L/ K es la menor extension de K tal que se cumple a).an) es el cuerpo de descomposicion de K. Es obvio que 'ljJ deja fijo K (10 definimos asi) y que 'ljJ(al + a2) = 'ljJ(QI(a) + Q2(a)) = QI(X) + Q2(X) = 'ljJ(al) + 'ljJ(a2).Q2 y como 8Qi < 8P.aI.• Sea P E K[x] y L/ K una extension.3: Para cada P E K[x] edeuuis es tinico salvo K -isomorfismos.. Mas adelante llamaremos IF4 a este cuerpo. QI = Q2 DEFINICION: s » tambien es un monomorfismo . DEM. si se verifican las condiciones: a) P se descompone en Iectotes lineales en L[x]. Notese que QIQ2 . Por tanto 'ljJ(al)'ljJ(a2) . que extiende a IF2 de manera que P factoriza.. En particular. 8P > 1.. entonces 'ljJ: K(a) -----+ K[x]/(P) con 'ljJ = x = x + (P). es en el generador de K[xl/(P) Ademas 'ljJ(al) .. L. si {3 E L es otra raiz de (a) P. NOTA: Con la notacion de la definicion anterior.'ljJ(a2) = 0 ~ QI . existe un K . .Q3 se anula en a.Q3(X) = o.a2.{3) en L [x]. (siempre sobre K).: Para la existencia basta aplicar repetidas veces el Lema 2.a) (x . entonces L en el que P se descomponga K(al' a2. Se dice que L es un cuerpo de descomposicion de P.isomorfismo i :K (a) -----+ K ({3) con i( = {3. a2 E K(a) ~ al = QI(a). Lema 2.an.x . . ..2: Sea L/ K y sea P el polinomio minima de a E L sobre K. define un K -isomorfismo. 43 . En las demostraciones de esta seccion apelaremos al siguiente lema que concreta mas la idea de la demostracion del result ado anterior. .Q2 E (P) ~ PIQI . se tiene que el cuerpo de descomL = K(al' posicion de Pes a2. esto es. x . . a) DEM.1 hasta obtener un en factores lineales x . .'ljJ(ala2) = QI(X)Q2(X) Como zs aplica el generador de K(a) un epimorfismo.: Por la Proposicion 3. por tanto es divisible por P y su clase en K[xl/(P) es la clase de cero. ala2 = Q3(a) con 8Qi < 8P. an).

.2 se tienen K-isomorfismos i: K({31) -----+ K[xl/(P). coincide con el. K[x]. El cuerpo de descomposicion - de P = x2 . Sean PI.. por tanto L contiene al cuerpo de descomposicion de P y como L esta generado por la rakes de P. en el sentido de que. entonces a E L ~ {3 E L. _ son de P = P/(x (ya que 8P < 8P).5x2 +6 E <Q[x]es <Q( V2. E Basta demostrar que si a y {3 son rakes de un polinomio monico irreducible. es de P = x4 .4: L/ K es normal y finita un polinomio DEM. El cuerpo de descomposicion Ejemplo. que extiende a K(al) Y como Ll es una extension de K(al) por medio del K-monorfismo al E K(al) tambien 10 Y tambien L2 puede considerarse Y : K(al) L2 donde j :K({31) Y L2 es la inclusion. . entonces K[xl/(P) y Por el Lema 2.. sea Q un factor monico irreducible por inducclon en 8P.2 E <Q[x] <Q( V2).. 44 . J3) (notese que P = (x2 2)(x2 - 3)).: La definicion de extension normal parece ser mucho mas restrictiva los cuerpos de descomposicion de "muchos" polinomios. P2.al).. an).. cada Pi se descompone en factores lineales y 10 mismo ocurre con P. una extension normal debe contener Sin embargo se tiene el siguiente de ¢} L es el cuerpo de descomposicion de K[x]. Como L/ K es normal. ¢::) Sea L el cuerpo de descomposicion de Q E K[x]. de P. Si 8P = 1 es trivial. Si pongamos que Ll y L2 son cuerpos de descomposicion 8P > 1. de esta seccion se recoge en la definicion siguiente L/ K es normal si to do polinomio en Iectotes lineal en L[x]. que la de cuerpo irreducible El concepto fundamental DEFINICION: Se dice que una extension. por tanto K(al) y K({31) son K-isomorfos joi-1oi por i-I 0 i. Ejemplo . sus polinomios minimos sobre K y sea P = PI .Pn. ~) Sea L = K(al' a2. P E K[x] que tiene una rafz en L se descompone de descomposicion result ado Proposici6n 2. Pn. . .Para demostrar Procedemos la unicidad salvo K-isomorfismos sude P. de P sobre K(al) La demostracion se concluye por la Notese que Ll Y L2 son obviamente hipotesis de induccion cuerpos de descomposicion .. .. P2 . en principio.

: Basta aplicar la proposicion tomando MI = K(a).3 implica que L(a) y L(j3) son isomorfos como extensiones de K(a). L(a) es L(j3) puede considerarse como otro cuerpo de descomposicion teniendo en cuenta la "K-inclusion" K(a) ~ K(j3) Y L(j3).2 . Si i :MI -----+ M2 es un K -isomorfismo.5): Como [L : MI] < 00. vemos como se aplican estos resultados 45 . y un M2-isomorfismo.2 existe un K-isomorfismo un cuerpo de descomposicion de Q E K(a)[x] i : K(a) y tambien -----+ K(j3). El resto de la demostracion i. i(QI).3 De aqui se deduce un result ado mas fuerte que la Proposicion Corolario 2. P2 es monico e irreducible y divide a P. M2 = K(j3) y el isomorfismo veces que basta aplicar repetidas si a E L entonces se puede extender a un K-isomorfismo se dedica a construir i: MI(a) -----+ M2(j3) con cierto minimo sobre M I. QI ~ P = i(P) = i(PI) . i : MI -----+ M2 del Lema 2. porque P = PI .2 se tiene un Ml-isomorfismo. 13 E L. DEM. i2.-l 0 i3 0 il . entonces existe a E Q(L/ K) con a(a) = 13.• Terminamos Proposici6n esta seccion con una proposicion que se sera fundamental en el calculo de L explicito de grupos de Galois 2. (de la Proposicion 2. como L/K es normal. 13 E L. por tanto [L(a) : K] = [L(j3) : K]. entonces existe a E Q(L/ K) tal 1. que restringido a MI coincide con i. Sea 13 E L con P2(j3) = 0. Por otra parte.Por el Lema 2. Por otra parte.• DEM. Si a E L. Podemos suponer que 8PI > 1 (en otro caso tomariamos i = i).6: Sea L/ K normal. i induce un K-isomorfismo. es decir.• en un caso sencillo: Aunque dedicaremos casi toda la seccion 4 a dar ejemplos explicitos del calculo del grupo de Galois. todas las rakes de P. se tiene 1= [L(a) : L] = [L(a) : K] = [L(j3) : K] = [L(j3) : L] = 1 ~:~ ~:~ . Sea P2 = i(PI) (i actua sobre los coeficientes). i3 : MI[xl/(PI) asf i3.5: Sea L/ K normal y finita y sean MI y M2 dos subcuerpos conteniendo a K. Si P es un polinomio irreducible y a. iI. estan en L. y por tanto tambien las de P2. Sea P el polinomio obviamente minimo de a sobre K y sea PI el polinomio PIIP. 13 ELson rafces de P. por el Lema 2. -----+ M2[Xl/(P2)' pues basta tomar i = i. La Proposicion 2.

6 implica que exist en <Q-automorfismos que Con 10 cual se tiene {O'l.. A perelevantes ya que en otro caso la informacion de Galois puede ser muy pobre (vease la observacion que sigue ala Proposicion sar de que esta condiclon tecnica se cumple en todas las extensiones en este curso. Hay una condicion muy sencilla para saber si un polinomio es irreducible sobre K y esta condicion se satisface trivialmente necesitaremos una definicion.3). 0'3. O'4}. 46 a1 polinomio . §3. (2. 0'3. En caso contrario se dice que es inseparable. + 2 a2X + aI. 0'3 Y 0'4 tales c Q(<Q(()/Q). Hallar Q(<Q(()/Q) donde (= e27ri/5. + alX + ao E K[x].1) an-IX n-2 + .. =Id y que 0'2 genera al resto de los automorfismos. Por tanto Q(<Q(()/Q) Notese que 0'1 {O'l. y se dice que L / K es una extension separable si todo e1emento de L es separable sobre K. 0'2. ya = Por otra parte. (3 por su valor en (. implica IQ(<Q(()/Q)I la unica posibilidad es H = Q(<Q(()/Q) < 4.an) todos los ai son distintos.al)(x a2) . el Corolario 2. Antes de enunciarla + an_lXn-l + . 0'2. se dice que a es separable es separable cuando K c ~. 0'2..Ejemplo.. + (n . cada 0' E Q(<Q(()/Q) esta determinado 3 + x2 + X + 1 son (. tiene interes considerarla desde una perspectiva general. es separable sobre K si cuando 10 descomponemos en su cuerpo de descomposicion como P = k(x . EXTENSIONES SEPARABLES. Las rakes del polinomio ciclotomico x4 + x Y (4. mas adelante es que las rakes de un policontenida algebraicas en el grupo 1. Una condiclon tecnica que necesitaremos nomio irreducible sean distintas.. O'~(() =O'2(O'2(()) O'~(() =O'2(O'~(()) = 0'2((2) = 0'2((4) = (4 = O'4(() = (8 = C= O'4((). Como la extension es simple y generada por (. la Proposicion que [<Q(() : H'] < [<Q(() : <Q]= ya que 1..4 con 4. DEFINICION: Dado P = anxn P' = nanx n-l DEFINICION: Se dice que un polinomio irreducible P E K[x] DEFINICION: Dado a E L a1gebraico sobre K. Por consiguiente Q(<Q(()/Q) rv 7l/471. as! pues. O'4} 0'1. sobre K si su polinomio minima 10 es. (x .

* 47 .al API y por tanto P' = 0 es imposible .1): ~) Como Pes inseparable.. + aIxP + ao con ai E K. + aIX + ao)P. existe a en el cuerpo de descomposicion tal que (x-a)2IP y se tiene P = (x . (x . La razon para ella es que en muchos cuerpos.3: p = anxnp + an_IX(n-l)p + ..allPi para 2 ::. aP = a para to do a E IFp.al)(x . + afxP + a~ =(anxn + an_IXn-1 + .• Por el pequeiio teorema de Fermat.a)2 R ~ pI = 2(x ..a)2 R' ~ x ..se 1e llama derivada formal de P.a)R + (x . (de la Proposicion 3. De aqui se deduce inmediatamente Corolario 3. Proposici6n 3.1: Un polinomio irreducible P E K[x] es inseparable si y s610 si P' = o.3 se pueden escribir como (notese que en IFP' (a + b)P = aP + bP) anxnp + an_IX(n-l)p + .a2) . Si K es un cuerpo de cerecteristice p > 0 entonces los iinicos polinomios inseparables son de 1a forma Corolario 3. Quiza al lector Ie sorprenda que no llamemos a pi simplemente derivtule de P. n DEM. + aIxP + ao =a~xnp + a~_IX(n-l)p + . i ::. todo polinomio irreducible es separable. por ejemplo en IF »» no tiene sentido el concepto de lfmite y con este nombre queremos hacer hincapie en que la definicion es puramente formal y no tiene nada que ver con la definicion habitual a pesar de comparte las mismas propiedades. Entonces n donde Como x . 10 que contradice que sea irreducible. amcd (P....2: Si K es un cuerpo de cerecteristice cero. y x .. 0 < i ::. PI) es un factor no trivial de P.al API (porque al no coincide con ninguna otra raiz) n se tiene que x ..an) con ai =1= aj perteneciendo al cuerpo de descomposicion de P sobre K. PI) < ap y por tanto mcd (P. ¢::) Si P fuera separable P = k(x .almcd (P.. asi que todos los polinomios de los que habla el Corolario 3. Si pI =1= 0 entonces 1 ::.. pI).alpl y x .

entonces c ~0 en IFp to do polinomio irreducible es sepa- a) Si a es separable sobre K. de una ex- Como hemos comentado al principio de esta secclon. coinciden en IF2(t) (ya que -1 = 1en IF2). sirve para demostrar Si K es un cuerpo perfecto. Ejemplo 2. Sin embargo 9 (IF2(t) /IF2(t2)) 48 es normal porque es finita y coincide con el .4: irreducibles inseparables. Veamos uno. Cualquier extension algebraic a de IFp es separable. entonces todo polinomio irreducible es separable.10 bien notanda cuerpo de descomposicion de P (utilicese la Proposicion 2. El teorema anterior combinado con la siguiente proposicion (que no demostraremos) asegura que casi todas las extensiones que podamos imaginar son separables. 0 bien si tiene caracbien si tiene caracterfstica p > 0 y el morfismo de Frobenius es un isomor- Los cuerpos IFp son perfectos. L / K son separables. combinada con el Corolario 3. K(a)/K b) Si M / L y es separable. fismo. DEFINICION: DEFINICION: terfstica cero. Proposici6n 3. Por tanto IF2(t)/IF2(t2) no es una extension separable. se llama morfismo de Frobenius ala funci6n ¢ : K -----+ K dada por ¢(x) = x". 0 Se dice que un cuerpo K es un cuerpo perfecto. Ejemplo. IF2(t2) es Ejemplo . tension constituye una dificultad para que la teoria de Galois sea util en dicha extension. En cualquier cuerpo K rable. La misma demostracion Teorema 3.2. t y -t. Notese que la extension IF2(t)/IF2(t2) Se puede comprobar que este polinomio es inseparable con la Proposicion 3. ya que el automorfismo de Frobenius es que hemos hecho para demostrar que en IFp no hay polinomios ¢ = Id (por el pequeiio teorema de Fermat) y por tanto es un isomorfismo. Consideremos la extension IF2(t)/IF2(t2). Ejemplo 1.5: Sean K c L c M cuerpos y o algebraico sobre K. todos los resultados anteriores sugieren que los ejemplos de extensiones El polinomio minimo de t sobre no separables son un poco artificiales. que sus raices.4). de donde se deduce que no hay polinomios irreducibles inseparables sobre IFpo La situacion se puede generalizar un poco mas definiendo el morfismo dado por "elevar a p" . M / K es separable. la no separabilidad Afortunadamente.y por tanto no son irreducibles. Sea K un cuerpo de caracterfstica p > 0.

La demostracion resultados no es muy complicada.es trivial porque la Proposicion senten la estructura 1.4.3 implica que (J(t) = t para todo (J E Q(IF2(t)/IF2(t2)). 10 que contradice x E (Q(L/M))'.a2. Ademas M/K es normal si y s610 si Q(L/M) es un subgrupo normal de Q(L/K). del grupo de Galois. finita y separable y M es un subcuerpo K c MeL. El teorema fundamental de la teoria de Galois afirma que esta representacion cuando la extension es normal finita y separable. de un donde ai son las rakes Veamos ahora que M/K Por la Proposicion es normal si y solo si Q(L/M) 2.. Dado (J E Q(L/ K).an) polinomio P E K[x]. Teorema 4. de la teoria Galois dada en el parrafo anterior para entender que es el Si L / K es normal. es un subgrupo de Q(L/K). por la Proposicion tanto (JI M E Q(M / K). y entre subextensiones intuit iva del teorema fundamental el enunciado concreto.: Por definicion Q(L/M) M. entonces Q(L/M) es un subgrupo de Q(L/K) y M = (Q(L/M))'. de grupos 1.1 (Teorema fundamental de la teorfa de Galois): OBSERVACION:Notese que tras los resultados el teorema implica [L : M] = Q(L/M).M. Sea P su polinomio minimo sobre M. TEOREMA FUNDAMENTALDE LA TEORIA DE GALOIS Y EJEMPLOS. (Q(L/M))' :::) . normales y subgrupos normales. una vez que se conoce to do el lenguaje Obviamente y de las dos secciones anteriores. suponiendo totalmente que existe x E (Q(L/M))' de la primera seccion (Proposicion 1.4) En particular el grado de la extension es el orden DEM.3 se tiene (J(M) = M y por Esto define un homomorfismo ¢ : Q(L/ K) -----+ Q(M/ K) (J -----+ (JI M 49 . donde (JI M es la restriccion de (J aM. es un subgrupo normal. Recuerdese propiedades que los ejemplos al comienzo del capitulo hacian pensar que algunas es "exact a" de las extensiones de cuerpos quedaban representadas por sus "simetrias". . Es muy conveniente siguiente recordar la formulacion en el sentido de que existe una correspon- den cia uno a uno entre subcuerpos y subgrupos del grupo de Galois. §4. M = K(al. .6 con K = M nos asegura que existe (J E Q(L/M) ~) tal que (J(x) =1= x. para que sus "simetrias" repre- De alguna manera. P se descompone en L y sus rakes son distintas por tanto el Corolario 2. en ese ceso Q(M/K) es isomorfo a Q(L/K)/Q(L/M). Procedemos por contradicclon porque L / K es separable. no tenemos suficientes rakes distintas de la extension..

1) (polinomio I ciclotomico). G = Q(<Q(()/<Q) = {O'1. en general. capitulo) implica que Q (L 1M) es un grupo normal de Q (L I K) y que Q (M I K) es isomorfo ¢::) Si M I K no fuera normal. 13 E L tales que a E M y 13 tJ_ M. Como 13 tJ_ M y LIM es separable (por que LIK 10 es). En principio hay un algoritmo (basado en la definici6n de grupo de Galois del propio Galois) pero requiere tantos calculos que es casi inviable en la practica. calcular su grupo de el resto de la seccion a calcular los cuerpos estaran el de las que tenemos generados por Dado un polinomio Galois incluso usando una descripcion combinaciones cabo. Calcular el grupo de Galois del (cuerpo de descomposicion explicitamente todos los subcuerpos Como x4 automorfismo automorfismos son (. entonces decir que LIK es 10 mismo que decir que L es el cuerpo de descomposicion Esto sugiere la siguiente definicion sobre K con rakes distintas.6 existen = (2 E G tales que O'2(() O'3(() = (3 O'4(() = (4.5 existe T E Q(LI K) tal que T(a) = 13. 0'3.que es sobreyectivo (por la Proposicion del isomorfismo 2. entonces existe un polinomio. el Corolario 2.O'2.• Segun 10 visto en las dos secciones anteriores. finita de un polinomio (0 incluso si K es una extension finita de IFp). describiendo x3 x2 Ejemplo 1. (2. arbitrario computadoras. es decir. incluso para grados pequeiios. (4 con (= e27ri/5.1) (x . finitas y separables bast ante explicit a (fundamentalmente. Como IGI = [<Q(() : <QJ = 4 ya * no hay mas automorfismos. que calcular G = Q(<Q(()/<Q).5 con M1 = M2 = M) Y cuyo micleo es Q(LIM). Stewart. y separable si K tiene caracteristica cero 0 K = IFp es normal. DEFINICION: Se llama grupo de Galois de P E K[x] al grupo de Galois de su cuerpo de descomposicion sobre K. es realmente dificil. 0'4 O'1(() =( = (x5 . (3. entonces T-1O'T(a) =1= a y por tanto T-1Q(LIM)T =1= Q(LIM). asi pues tenemos en G esta determinado + x3 + x2 + X + 1 0'1. normales. 0'2. 10 que permite que los calculos se puedan llevar a del) polinomio intermedios. sus rakes Cada x4 + + + X + 1 sobre <Q. (vease el repaso de teoria de grupos del proximo por tanto el teorema a Q(LIK)/Q(LIM).O'4}.6 asegura que tambien existe 0' E Q(LIM) tal que 0'(13) =1= 13. P. El lector interesado 10 puede encontrar en el apendice ala segunda edici6n de "Galois Theory" de 1. por su accion sobre ( y segun el Corolario 2. pero esto contradice que Q(LIM) sea un subgrupo normal de Q(LIK) . 50 . con dos rakes a. Dedicaremos grupo de Galois de algunas extensiones sencillas de radicales).O'3. Por el Corolario 2.

M= Como (2 + (3 = e47ri/5 + e67ri/5 = 2 cos( 47r/5). Como {1. Un calculo prue ba O"~(a + b( + C(2 + dC) =a = + b(4 + cC + d(2 (a . entonces M/ <Qes una extension normal. O"~(a + b( + C(2 + dC) =a + b(4 + cC + d(2 a-b=a ¢} -b=b c . Como hay una correspon- el iinico subcuerpo entre <Qy <Q() es ( M = H'. ). g2. en general. por Segun el la notacion (gl.b=c Resolviendo este sistema se tiene finalmente M= {a + C((2 + C) / a. (3} es una base de <Q((). d . b. contradiciendo le parezca que <Q(cos(27r/5)) es "otro" cuerpo intermeen realidad. y {1. Obviamente 0"1 = Id. O"~. c. 0"2. As! pues G es ciclico generado por 0"2 G = Q(<Q(()/<Q) (Recuerdese gl. se tiene M = {a + b( + C(2 + dC / O"~(a + b( + C(2 + dC) =a + b( + C(2 + dC. O"n. . Tambien O"~(() = 0"2 ((4) = (8 ~ 0"3 = O"~.b = d. que. OBSERVACION:Quiza allector dio. 51 . Como H es un subgrupo normal de G (porque G rv 'Il/4'1l que es abeliano). a.O"n H = {Id} donde M es un cuerpo intermedio dencia uno a uno entre subgrupos I I ( rv 'Il/4'1l) ( rv 'Il/2'1l) (rv{e}) IGI/IHI = 2..b)( . 0"2. Este cuerpo se puede calcular explicitamente usando la definicion M = H' = {x E <Q(() / O"(x) = X VO" E H}. generado {Id}..O"n rv 'Il/4'1l. G = {Id.O"n H = {Id. ) indica el subgrupo de G son {Id.(2 . (2.( . (3} es una base de <Q(().(. d « <Q}. O"~... usando las formulas de adicion al teorema fundamental. O"~(() = 0"2((2) = (0"2(())2 = (4 ~ 0"4 = O"~.Veamos que estructura tiene G.b( + (d - b)(2 + (c - b)C donde en la segunda igualdad hemos usado (4 = -1 . g2 . se puede escribir mas explicitamente <Q(cos(47r/5)). c E <Q}. (2. (. Como H = {Id.O"n y el grupo trivial teorema fundamental de la teoria de Galois se tiene Q(<Q(()/<Q) Q(<Q(()/M) Q(<Q(()/<Q(()) con [M : <QJ= y subcuerpos.(3. Los unicos subgrupos = (0"2) = {Id.

es conveniente i en subextensiones manera la situacion del ejemplo anterior. 2 son ik -¢12 con k = 0. 0"4} Como estos automorfismos 0"1 dejan fijos M se cumple O"n(i) = i. mas tarde unir ambas informaciones con Q(L/M).3. automorfismos. que vamos a conseguir un automorfismo de Q(M/K). = Id y algunos calculos demuestran 0" = O"~ Y 0"4 = O"~. consiguiendo L = <Q(. V ambos grupos. Antes de nada. Simplemente escribamos en lugar de 0"2. Cada automorfismo de Q(L/M) : K] = 4. que 0"3 Obviamente para abreviar. El calculo de Q(L / K) se basa en calcular los grupos mas sencillos Q(L / M) y Q(M / K). Hemos demostrado = (0") Q(L/M) [L : K] = {Id. 0"2. 2. 1. describiendo uno de ellos y diciendo si da lugar a una extension normal. n = 1.2.5 que dice intuitivaotros de grande ampliando la Proposicion Veamos ahora uno de los ejemplos mas completos Notese como entra en juego de forma fundamental mente que podemos obtener automorfismos en una extension una extension menor mas sencilla. -¢12).6 implica que Q(L/M) 0"2.4. x4 - "pegando" Comencemos Como [L : M] = [L : KJ/[M 2. Calcular el grupo de Galois (del cuerpo de descomposicion) x4 - del polinomio explicitmente 2 sobre <Qy calcular el mimero de subcuerpos Las rakes de x4 - intermedios. que se pueden poner a este nivel. -¢12) i M = <Q(i) I I K=<Q Notese que L/M es normal (porque L/ K 10 es) y M/ K tambien es normal porque M es de x2 el cuerpo de descomposicion orden del grupo de Galois + 1. 0"3} rv 7l/471.2. como en otTOS ejemplos. el polinomio minimo de -¢12 sobre M es con esta determinado = {0"1. 10 que combinado con el Corolario 2. 0"3. calculemos [L : K] para saber el [L : <Q( '2)] V intentando = 2 (porque i tf_ <Q( '2)) :::} V [L: K] = [L : <Q( '2)][<Q(V'2) : <Q]= 8. como "extendiendo" Todos estos elementos estan en Q(L/K). por tanto su cuerpo de descomposicion "descomponer" la extensi6n que se repita de alguna es <Q(. = 8 nos faltan otros cuatro ya que Q(L/M) es un subgrupo de Q(L/K). 0". Esta situacion se repetira en ejemplos posteriores. 52 . por su valor en -¢12. En este. Por ella consideramos normales que sean mas sencillas. Ejemplo 2.3.de las funciones trigonometricas no es dificil probar que <Q(cos(27r/5)) = <Q(cos(47r/5)).

a2. Ds esta generado por el giro. de 90 y la simetria.a3. Con esto no solo hemos conseguido un nuevo elemento de Q(L/ K) sino que tambien todos los productos de con los elementos ya calculados tambien estaran en Q (L / K).a. por una de las diagonales 0 A B D A A B A D T Los grupos Q(L/ K) y Ds son isomorfos porque a puede identificarse con 9 y que ambos son generadores de los grupos correspondientes dos. ya con el mismo orden (cuatro y y satisfacen la relacion que caracteriza a Ds. C {Id.} donde conj. esto es. a3 0 a4.a3T} de Galois Q(L/K) y como todos estos automorfismos son distintos y [L : K] = 8 se tiene que este es el grupo Q(L/K) = {Id.a. Quiza componiendo con a2.T. T E Q(L/K) La Proposicion 2. . T) En particular se tiene que C Q(L/ K).La extension M/ K es normal. s. -'/. T(i) = -i. Para verificar las afirmaciones del parrafo anterior.2 (por el = Corolario 2. Id: a: a2 : a3 : -!'/.a3. si T( T {12) -{12 {12) = {12 tomariamos T = Ta3 en lugar de T). Concretamente.. concretamente (a. {12 {12 i{12 -{12 -i{12 -!(orden (orden (orden (orden 2) 2) 2) 2).T.a2T. {12 {12 i{12 -{12 -i{12 -!(orden (orden (orden (orden 1) 4) 2) 4) 53 T: ar : a2T: a3T: '/. '/. '/. por ella la damos a continuacion '/. que es ra = a3T. Recuerdese que Ds es el grupo de movimientos del plano (giros y simetrias) que dejan fijo un cuadrado ABeD. es el automorfismo dado por la conjugacion. -!-'/.a2T. es el valor de T( tal que TIM = conj.aT.6).6 se tiene que Q(M/ K) = {Id.aT. respectivamente) con s. y por el Corolario 2. g. La proposicion no nos dice cual {12) pero como sabemos que tiene que ser una raiz de x4 . -'/.a3T} rv D«. '/.5 asegura existe que podemos extender cada automorfismo de Q(M/ K) a Q(L/ K). podemos suponer que T( (por ejemplo. Tambien sera util disponer de ella en el calculo de los subgrupos de Q(L/ K). -'/. es conveniente tener una tabla con la accion de todos los automorfismos de Q(L/ K) y sus ordenes. conj. El grupo El ultimo isomorfismo requiere alguna explicacion.a2.

asi pues x E L =? a con a. c. (7)' = a como habiamos afirmado. Sin embargo. Calcular el grupo de Galois de <Q(V2.Para hallar los subcuerpos de L tenemos que calcular los subgrupos Q(L/ K).g. i} y {I. M. . No es dificil comprobar que (a)' = <Q(i) Y (7)' = <Q(V"2). tales que K C MeL. + cV'2 + eV'22 + g\123 I a.7) \ -----+ orden 8 -----+ orden 4 \ (a) (0'2. segunda igualdad Veamos. + bi + cV'2 + diV'2 + eV'22 + jiV'22 + g\123 + hi\123 como 7 « K. Del esquema anterior deducimos que hay 8 subcuerpos.7) I \ I = I (0'. ~a) e~ un subgrupo normal de Q(L/ K) (un subgrupo de indice dos es siempre normal) y por tanto (a)' es una extension normal de <Q. subgrupos de orden 4 estan generados por un elemento de orden 4 (si es que son por dos de orden 2 que conmutan (si es que son rv rv Los 0 subgrupos de orden 2 de Q(L/ K) contienen un elemento de orden 2 y la identidad. (7) no es un subgrupo normal de Q(L/ K) ya que a-1{Id. c. h 7(X) = x}. por tanto (7)' no es una extension normal de <Q. Algunos de ellos dan lugar a extensiones norm ales de K y otros no. V"23} son bases de M/ K y L/ M. no es dificil comprobar que el reticulo de subgrupos subgrupos indicando inclusiones) queda representado con el siguiente esquema Q(L/ K) (0'27) (7) I (0'2.0'7) (0'2) II (0'7) (0'37) I -----+ orden 2 Para mayor simplicidad hemos omitido el grupo trivial {Id} que esta contenido en todos ellos. Por ejemplo. por ejemplo. Con estas observaciones (diagrama de y la tabla anterior. 7}. y los 7l/471) 7l/271ffi71/271). d. por los resultados del primer capitulo se obtiene una base de L/ K multiplicando los elementos de estos dos conjuntos. 7}a # {Id. 9 E <Q} = <Q(V'2) Ejemplo 3. b. V"22. 54 J3)/<Q. e. la (7)' = {x ELI Como {I. es la conjugaclon ¢} 7(X)=X y se tiene b=d=j=h=O. e. V"2. I.

((0. Como [L : K] = 4 estos son todos los elementos de Q(L/ K). ((1. pero tenemos que extender a' con la Proposicion 2. pero podemos suponer T( J3) = J3 porque si este no fuera el caso considerariamos a r en lugar de T. Ta(x) = x ¢} + bV2 + cV3 + dV2V3 bV2 . en principio T podria enviar J3 a J3 0 -J3 (las rakes del polinomio minimo de J3 sobre K). a(V2) = V2. d =a - « <Q}. I)). Con ella tenemos que a. L/K respectivamente (ejercicio). a} donde a y a' son los automorfismos a : V3 -----+ automorfismo de Q(L/K).6) y M/K = K(J2)/K son normales de grado dos. Q(M/ K) = {Id. {I. a'} a' : V2 -----+ V3 V2. M2 = (a)'. T(V3) = V3. de 10 Q(L/M) = {Id. a. 55 2 . J3} son bases de L/M y M/K =? {I. Ta}. T. a. Hallar el grupo de Galois del cuerpo de descomposicion de P = x3 sobre <Q. solo tienen Los dos primer os solo tiene tres subgrupos propios. J3. T E Q(L/ K) y a(V3) = -V3. Hallemos M3 tres subcuerpos propios que son Ml = (T)'. b. ((I.I)). J2. Es muy sencillo comprobar Q(L/ K) Como 712 rv 712 X 7l2. c. M3 = (Ta)'. a E Q(L/ K). T(V2) = -V2. M3 = {x E L / Ta(x) = x}. pues M3 = {x = a pero {I. Ejemplo 4. J2}. asi + bV2 + cV3 + dV2V3 a / Ta(x) = x. J3) M = <Q(J2) I I <Q Las extensiones L/M = M(J3)/M cual se deduce (ver Corolario 2. Ahora podemos combinar estos automorfismos de todas las form as posibles .5 para obtener un Sea T E Q(L/K) tal que TIM = a'.cV3 + dV2V3 - 10 que implica b = c = 0 y por tanto M3 = <Q(V6). subcuerpos son <Q(J3) y <Q(J2). obteniendose {Id.0)). J2J3} es base de L/K. Consider amos L = <Q(J2.La extension es normal.

56 . multiplicando potencias de ambos obtenemos 6 auto- morfismos distintos que forman el grupo de Galois porque [L : K] = 6 Q(L/K) siguiente tabla = {Id. donde a( {/2) = w{/2. entonces T( {/2) = {/2 0 w{/2 o w {/2. puede comprobar (ejercicio) que M. (a) es el unico subgrupo normal. pero siempre podemos suponer. y que como Q(L/K) es isomorfo a D6 (compruebese la relacion ra = a2T) que a su vez es isomorfo Se M3 = <Q(w{/4).Las rakes de P son {/2. Consideramos L = <Q(w. = <Q(w). por el Corolario 2.aT. as! que el cuerpo de descomposicion es <Q(w.a2. M2 = (T)'.6..a2T}. {/2) M = <Q(w) K=<Q entonces L/M y M/ K son extensiones simples normales de grados 3 y 2 respectivamente. Los subcuerpos propios son Ml = (a)'. donde w = (-1 + iV3)/2. w{/2. la unica sub extension normal sobre K es M/K. M3 = (aT)' y M4 = (a2T)'. Es decir. conj.a. que ocurre el primer caso.T. w2{/2.}. tiene orden 2. 2 Sea T E Q(L/ K) tal que TIM =conj. De nuevo. se tiene I I Q(M/ K) = {Id. Es facil comprobar que el grupo no es abeliano y que actua sobre w y {/2 como en la w w a: w a2 : w Id: -!- {/2 {/2 w{/2 w2{/2 -!(orden 1) (orden 3) (orden 3) w T: a2T: ar : {/2 {/2 w{/2 w2{/2 -!(orden 2) (orden 2) (orden 2) w2 w2 w2 -!- a 83. {/2). quiza componiendo con a 0 a2. a( {/2) = w{/2 a(w) = w a tiene orden 3 y T T( {/2) = {/2 T(W)=W=w2.

asi pues Q(L/M) = {Id.2. 1- Antes de nada. i/a. V'---I--V2-2). veamos un ejemplo en el que extender los automorfismos requiere alguna consideracion mas precisa. VI + V2 se 1 J J V2 = V-I = i. i). -a. I I I V2) <Q( i) K=<Q donde todas las extensiones son de grado 2. Como a esta en una extension de grado 4. pero hemos elegido est a porque en ella aparece de manera natural el problema de la extension de automorfismos. es decir. Hallar el grupo de Galois del cuerpo de descomposicion de P = x4 . se tiene que sus rakes son ±Vl + V2. definiendo a = lleva a considerar + V2 . su polinomio minimo sobre <Q es P. asf pues se tiene que 7i(a) E {a. * 57 . -i/a}. asf que el cuerpo de descomposicion es L = <Q( Jl + V2. ±Vl .Solo a modo ilustrativo. intetemos simplificar los generadores. i = 1. -a. i/a. y L = <Q(a. eso nos tiene que las rakes de P son a. Resolviendo la ecuacion bicuadrada P = 0. Observese que a esta en una extension de grado 4 que contiene a L = <Q(i. Ejemplo 5. a} a(a) = -a.V2. que en principio 71 Y 72 podrian tomar cuatro valores Es posible considerar otras extensiones.2x2-1 sobre <Q. para ella notese que por tanto. -i/a. El polinomio minimo de a en <Q( V2) es x2 - (1 + V2). Por otra parte. a) M = <Q(i. V2. Q(M/ K) se puede calcular como en el ejemplo 3 Sean 71 Y 72 E Q(L/K) tales que 711M = /31 y 721M = /32.

rv D«. y. por ejemplo T2(a) = a =? T2(a2) = a2 =? T2(V2) = V2 10 que contradice T21M = /32.distintos.T1T2.3: de A. Concluimos esta seccion calculando el grupo de Galois de la extension ciclotomica <Q(() /<Q donde ( El caso n = p primo.O'T1T2}. T1(a) = -i/a. quiza componiendo con 0'. . son imposibles. El grupo de Galois viene entonces dado por Q(L/K) Notese que no es abeliano = {Id. por tanto IQ(<Q(()/<Q)I = n . como O'jO'k H jk.1. T2(a) E {i/a. y componer con 0' solo permite pasar de uno de los valores a otro.O'T2. Aunque no 10 haremos aqui..• Extender el result ado anterior al caso general (n no necesariamente primo) no es en absoluto sencillo. Q(<Q(()/<Q) DEM. Clark. T1(a) = i/a. (j. De la misma forma. Como P es irreducible y tiene a (como raiz.. Proposici6n 4.2: Si n es primo. siempre podemos suponer T1(a) = a y T2(a) = i/a. T2(a) = -a. Recuerdese que ¢(n) da el numero de enteros positivos menores que un numero n y esta formado por los automorfismos O'j ( -----+ (j donde 1 ::. como consecuencia se tendria Proposici6n 4. de P . O'n-I} donde O'j : ( -----+ <Q(() es el cuerpo de descomposicion del polinomio ciclotomico p= + . p-1). porque su efecto es enviar ( a otra raiz. con un poco de trabajo se puede comprobar que Q(L/ K) = e27ri/n. Si n > 2 entonces [<Q(() : <QJ = ¢(n) donde ¢ es 1a funci6n de Euler. Aquf solo daremos una demostracion suponiendo conocido el siguiente lema (su prueba puede encontrarse en "Elementos de algebra abstracta" Lema 4.. asi pues T1(a) E {a. es bastante sencillo.T2. 0'2. [<Q(() : <QJ = n-l. O'T1.j < neon j y n primos entre sf. Cuando sucede esto es que hay algunas extensiones de /31 y /32 que no son posibles. Q(<Q(()/<Q) Q(<Q(e27ri/12)/<Q) Mediante la correspondencia 0'j H = {O'1. Por ejemplo. se puede reformular el result ado como 58 . Ademas. asignar de forma unica a cada elemento J podemos del grupo de Galois de la proposicion anterior un elemento invertible de 'll/n'll. -a}.T1.4: Si n > 2.. . -i/a}. 0'7.+ 1. 0'5.: Claramente xn-1 +xn-2 = {O'1. O'll}.0'. ¢(n) = nI1p1n(1primos con el. Por otra parte es claro que O'j E Q(<Q(()/<Q).

entonces la inclusion debe ser una igualdad .13 = (S.)/<Q) cuerpo <Q(cosi~) los de Q(<Q(()/<Q). 10 unico que podemos asegurar es Q(<Q(()/<Q) 10 que es imposible porque (n/d c {0"1' 0"2. ~ O"jO(() = O"j(O"j(O"~(())) As! pues Q(<Q(()/<Q) de orden dos. como podemos obtener automorfismos cos i~) = ((3 + (-3)/2 de Q(<Q(cos i~)/<Q) restringiendo (por ejemplo -----+ (3 actua sobre cos i~ = cos ~~) se tiene con 59 0" ( 21T' 61T' cos 17) = cos 17' . por tanto (usde la teoria de Galois) se tiene que la extension <Q (cos i~) / <Q Q(<Q(()/<Q)/H 0"3 : ( rv 7ls al sub= De hecho.0"2. Como las rakes de P son (. (2.5: DEM. Calcular Q(<Q(cos i~)/<Q). La relacion cos i~ = ((+(-1)/2 que segun los resultados anteriores es con (= e27ri/17. O"n-d· = e27rij/d = 1. n) Como IQ(<Q(()/<Q)I = ¢(n) (por ellema) y el cardinal del segundo conjunto es tambien ¢(n)."" 0"16}' Se reduce a unos cuantos calculos comprobar que 0"3 genera todo el grupo. Observese que [<Q(() : <Q(cosi~)l = 2.···.13.Si n > 2. sugiere calcular primero Q(<Q(()/<Q).4): En este caso. Q(<Q(()/<Q) = {Id = 0"1. # 1. Si mcd(j.0"3. as! que <Q(cosi~) = H' donde H es un subgrupo es normal porque 7116 es abeliano. por ejemplo. (de la Proposicion p= 4. (( + (-1)/2 como 0"3 ( rv = (0"3) rv 7l16. Corolario 4. As! pues C Q(<Q(()/<Q) {O"j / mcd(j. O"s = O"jO porque 0"3(() = C~ O"~(() = (9 ~ O"j(() = (Sl = (13 = (9. Notese que este subgrupo ando el teorema fundamental es normal y que Q(<Q(cos ~. no podemos asegurar que el polinomio xn-1 + xn-2 + + 1 sea irreducible (de hecho no 10 es si n no es primo).• Ejemplo 6. . (n-1. Q(<Q(()/<Q) rv 7l~ donde 7l~ es el grupo de unidades (elementos con inverso multiplicativo) del snillo 7l/n7l. entonces O"j tJ_ Q(<Q(()/<Q) ya que en ese caso O"j((n/d) = 1}. n) = d > 1.

60 .

k ::. 13) Demostrar que yn =r" es irreducible en K(xn)[y].a. y sea L su cuerpo de descomposicion.a7} rv 7l/871 donde 27r ( + (-1 (3 + (-3. Hallar Q(L/<Q).)/<Q) = {Id. d e h ec h 0. de P = x2 + X + 1 E IF2[X] es un Hallar sus automorfismos y sus IF2-automorfismos. 11) Si L es el cuerpo de descomposicion de x3 + x2 + 1 E IF2 [x]. L..Ylos IR-homomorfismos y (homomorfismos 2) Calcular Q(<Q(x. son homomorfismos y son los unicos que fijan 14) Hallar Q(<Q(x)/<Q(xn)). y.. 17 "'G ). de x3 . D emos t rar que. 7) Sea L el cuerpo de descomposicion de x2 +x .a6. Q (<Q( 2 + J3) /<Q(J3)). calculando en cada caso los cuerpos que quedan fijos por todos los automorfismos. Demostrar que 0 bien [L : K] = 3 0 bien [L : K] = 6. que realmente 10) Sabiendo que Q(<Q(cos~. demostrar que L /IF 2 es simple. xy + xz + yz. Ztt]: 27r a ( cos 17) = a ( 2 )= 2 con ( = e27rz/l~ demostrar que cos 17 E <Q( os 17) c y que a(cos 17) = cos 17· Ztt]: 67rk. 8) Hallar Q (<Q(~) /<Q(J2)). y. comprobar que H' :::)<Q(Xl.5 E <Q[x]. es decir. 15) Demostrar que Kl = IF2[xl/(X3 + X + 1) Y K2 = IF2[xl/(X3 + x2 + 1) son cuerpos de descomposicion de x8 - x E IF2[X]. xyz)) (<Q(x.Cwiles son los automorfismos que dejan fijo IR) de ~ en ~? de <Q? i. con 1 ::. (Sugerencia: Si a es un cero de este polinomio entonces a2 tambien 10 es). Q(~(x)/~(xn)) y Q(K(x)/K(x15)) con K = <Q(e27ri/3). Concluir que Kl y K2 son isomorfos. J 9) Hallar Q ( <QJ5 + -J7) / <Q)poniendo especial cuidado en demostrar ( cada "posible" <Q-automorfismo en realidad 10 es. cuerpo de cuatro elementos. H' = ffi( Xl. Q(<Q(x. demostrar que IQ(<Q(()/<Q)I = 6 y encontrar los elementos de Q(<Q(()/<Q) que dejan fijo a (+ (2 + 3(3 + (4 + 3(5 + 3(6. Q (<Q(~) /<Q).a5. Q(L/IF2). demostrar que las funciones ak : K (x) -----+ ~ (x) definidas por ak (J (x) / g (x)) = f(e2k7ri/nx)/g(e2k7ri/nx).a3. z) denotan los cuerpos de funciones racionales en dos y tres variables *3) Calcular Q(<Q(x)/<Q). K(xn). y) y <Q(x. 61 .1 E <Q[x]. cos 1:7. n. Si adem as K es un subcuerpo de ~. 5) Hallar el cuerpo de descomposicion 6) Sea P E K[x] irreducible de grado tres. 12) Sabiendo que Q(<Q(()/<Q) con ( = e27ri/7 esta generado por el automorfismo a : ( -----+ (3. a4}.Hoja 5 1) i. 4) Recuerdese que el cuerpo de descomposicion. y)/<Q(x + y. SI H = {Id.a2. xy)) respectivamente) .X2) donde X2 27r 267r 267r Xl = cos 17 + cos 1:7 Y X2 = cos 27r .oA. z)/<Q(x + y + z.

62 .

Hoja 6 1) Si K i) LIK

c MeL

y [L : K] <

00,

demostrar

normal ~ LIM

normal.

ii) L I K normal iii) M I K, LIM

=/?

M I K normal.

normales

=/?

L I K normal.

iv) LI K separable ~ LIM v) MI K separable

separable.

=/?

LI K separable.

que L I K es normal. Al menor cuerpo con estas caracteristicas se le llama clausura normal

2) Demostrar que dada una extension finita MI K siempre existe un L, L :::)M :::)K tal
Hallar la clausura normal de <Q( {I5)/<Q.

(0 cierre normal) de MIK.

3) Demostrar que toda extension de grado dos es normal. 4) Estudiar si <Q(x)/<Q(x3) es normal.

5) Si L es el cuerpo de descomposicion de P

E

K[x], demostrar que [L : K]I (8P)!'
normal y [L : K] = i.,Por que esto no

6) Sea L = IF3( {/X, flY) y K = IF3(X, y). Demostrar que LIKes 9 < 00, pero existen infinitos subcuerpos intermedios K c MeL.
contradice el teorema fundamental de la teoria de Galois?

7) Hallar una extension separable y normal que no sea finita. 8) Probar que P = x6 + x3 + 1 es irreducible en <Q[x]y utilizarlo para demostrar que la extension <Q(e27ri/9)/<Q, es normal y de grado 6. 9) Si H y N son subgrupos de Q(LI K) cuyos cuerpos fijos son H' = L, Y N' = L2, calcular (a, T / a E H, TEN)'.
10) Recuerdese (Ej.5-2) que si L = <Q(x,y, z) y K = <Q(x + y entonces Q(LIK)
= 83. Demostrar que ((1,2,3))' = K((XI

+ z, xy + xz + yz,

xyz)

- X2)(XI - X3)(X2 - X3)).

63

64

Hoja 7

1) Demostrar que si L es un cuerpo de descomposicion de un polinomio sobre <Q y Q(L/<Q) es abeliano, entonces M/<Q es normal para todo subcuerpo M, <Q c MeL.

2) Hallar el grupo de Galois del cuerpo de descomposicion de P
sobre <Q, calculando los subcuerpos intermedios.

= (x2

-

3)(x2

+ 3)

3) Lo mismo para P = x5 4) Lo mismo para

5) Lo mismo para

+ 3x3 P = x4 + 1. P = x7 + 4x5

-

3x2

-

9.

-

x2

-

4.

6) Calcular Q(<Q( + V8)/<Q) y Q(<Q( siones normales, M/<Q, de estas extensiones.

V3

V3 + VIO)/<Q),

hallando todas las subexten-

7) Sabiendo que L/<Q es normal y [L : <Q] = p, hallar un grupo isomorfo a Q(L/<Q). 8) Si Q(L/<Q) ~ 7l/pq71 (donde p y q son primos distintos) con L/K separable, i.,cu;intos subcuerpos, M, hay con K c MeL? 9) Demostrar que si <Q eM
que existe <Q c M normal, finita y

c <Q(e27ri/k) Q(M/<Q)
tal que [<Q(e27ri/n2)

es abeliano.

10) Si n no es divisible por un cuadrado se cumple que

nl [<Q(e27ri/n2)

: <Q]. Demostrar

c <Q(e27ri/n2)

: M] = n.
demostrar que el poligono de 257

11) Sabiendo que Q(<Q(e27ri/257)/<Q)
lados es construible con regIa y compas.

~ 7l/25671,

65

66 .

La principal motivacion de Galois fue el estudio de la resolubilidad por radicales de ecuaciones algebraicas. el "factorizaba" el cuerpo de descomposicion en ciertos subcuerpos Gracias al teorema fundamental que diferian uno de otro en un radical. H NIN 3er Teorema de isomorffa Si NI <J HI <J G. N <J G y N GIN /HIN 2Q Teorema de isomorffa Si H rv c H. A pesar de que solo tendran un papel auxiliar en algunas demostraciones del resto del curso. . 67. en algun sentido. cG rv y N <J G. y el Corolario 2. . el grupo de Galois en notacion y daremos ciertos resultados varios temas. N2<J H2<J G. La primera idea al incluir esta seccion era recordar algunos de los conceptos y resultados mas avanzados que se vieron el curso pasado.2. en particular los resultados de isomorfia que damos a continuacion. entonces NI(HI n H2) / NI(HI n N2) rv HI n H2/ (HI n N2)(H2 n NI).4. el lector debe saber y entender el primero de ellos y al menos recordar los dos siguientes.5. DEFINICION: estudio de la resolubilidad por radicales son las definiciones de grupo simple y soluble. De alguna manera. 10 iinico esencial para el En esta seccion introduciremos que ponen en rigor esta idea. §2. El teorema fundamental de la teoria de Galois es un arma muy poderosa que permite traducir teoremas de teoria de grupos en teoremas de teoria de cuerpos. SERIES DE COMPOSICION Y GRUPOS SOLUBLES. Teorema del isomorfismo Si ¢ : G -----+ G' es un homomorfismo de grupos. El ultimo es de menor importancia. En este estudio Galois encontro natural ir ampliando el cuerpo de partida con diferentes radicales hasta llegar al cuerpo de descomposicion en el que la ecuacion se resolvia.8.. Aunque se trataran Proposiciones 2. REPASO DE TEO RIA DE GRUPOS. n. entonces GIH. Grupos finitos y cuerpos finitos § 1.. 1er Teorema de isomorffa Si H <J G. . entonces Nuc ¢ es un subgrupo normal de G y GINuc¢ rv Im o. se dice que una cadena de subgrupos de G {e} es una serie normal si Gi-I <J = Go C GI C G2 ••• C Gn = G Gi para i = 1. entonces HI (H n N). de la teoria de Ga- lois esto nos lleva al problema de "factorizar".4 y 2. las Sea G un grupo finito. ciertos subgrupos.

que A<J B<J C ~ A<J C. {O} c tln es una serie de composicion subgrupo.. 2. H es normal en tln porque tln es abeliano. = G.1 (Jordan-HOlder): Si tenemos dos series de composicion para G ••• {e} {e} = Go C GI C G2 C Gn = G = tt. ofof- De alguna manera.2} amplia esta serie normal. Porque si n no es primo existe un elemento distinto de 0 de orden menor que n y por tanto genera un H. 3}. C tt.I.I. C HI C H2 . 3}.. asi que Gi no tiene por que ser en normal de G. si para ningtin 1 ::.. mas posible. 3} es una serie normal de G. Ejemplo . es una serie de composicion de G si no puede ampliarse. {O} c {O. i ::.OBSERVACION:Recuerdese general un subgrupo Ejemplo . 7 2 = e. Tambien serie serie normal {O} C {O. Jordan-Holder Guardando hallar la serie de composicion esta analogia. es decir.7/0'4 = e. {O} c He 7ln. 70' = 0'37).2} C {O. Para Ds = (0'. Ejemplo .. de tln ¢} n = p primo. dos series normales sedan {e}c(O')cDs Los ejemplos anteriores sugieren que debieramos mayor. {O} C 714 no es una serie de composicion de 714 porque H = {O. n existe H tal que Gi-I <J H <J c. 68 . ese es el contenido del teorema de que damos a continuacion Teorema 2. I. 2. 714 = {O. 2. ese es el contenido de la siguiente definicion DEFINICION: Se dice que una serie normal de un grupo G definir algo asi como la serie normal {e} = Go C GI C G2 ofof- ••• C of- c. Ejemplo . es natural de un grupo es descomponerlo 10 pensar que existe algun result ado que afirme que la descomposicion es iinica en algun sentido. = G entonces n = m y los cocientes Gi!Gi-1 Hi! Hi-I son isomorfos pero quiza apareciendo en distinto orden.

C GI C G2 ••• C Gn G es de ~ no es ~ DEM. (ejercicio) que los cocientes de II Usando el tercer teorema de isomorfia se puede demostrar la forma Gum+v/Gum+v-I y Hvn+u/ Hvn+u-I son isomorfos. II H2 u.DEM.. C Gnm = G II II G2 Gm {e} = Ho Ho II c . C .. prueba el teorema . a. C H2n c . .. las dos series normales anteriores tienen cocientes isomorfos (quiza en diferente orden).... acerca de los cocientes.: ~) Si Gi/Gi-I serie de composicion.. n. y 10 dicho anteriormente y series de composicion.. Gm (en el segundo).. c Hnm = G. (en el primer caso) y Insistiendo HI.• en la analogia entre factorizacion los "grupos primos" sedan los que responden a la siguiente definicion DEFINICION: Se dice que un grupo G es simple si no tiene subgrupos normales propios (distintos del trivial y de el mismo). por tanto. son grupos que se pueden descomponer del todo DEFINICION: Se dice que un grupo (finito).2: composicion ¢} Gi/Gi-I Una serie normal {e} = Go es simple. no es simple ~ 3G/Gi-I<JGi/Gi-1 ~ Gi-I<JG<JGi ¢::) Si no es una serie de composicion ~ 3G Gi-I <JG<J Gi ~ G/Gi-I <JGi/Gi-I Gi/Gi-I no es simple . . Hm ••• . NOTA: G simple ¢} {e} C G es serie de composicion. Por la definicion de serie de composicion en estas series todos los grupos estan repetidos excepto GI. G.. i = 1. Esto.• la definicion central de este capitulo Ahora daremos intuitivamente que es la de grupos solubles. .. G2.. . En este contexto el siguiente result ado parece bast ante natural Proposici6n 2. II GI C II Go y G2m C ... = G 69 . H2.: Definiendo los grupos Gqm+r {e} = Gq(Gq+1 n Hr) C se tienen las siguientes series normales = Go C GI . es soluble si tiene una serie de com- posicion {e} = Go C GI C G2 ••• C c.2.

7: a)Sin=2 b) Si n = 3 c)Sin=4 d) Si n ~ 5 Una serie de composicion para Sn viene dada por {e}cS2. ¢} Una formulaclon casi equivalente de este result ado es Corolario 2.6: Todo p-grupo es soluble. .5 70 . G. un ejemplo de ella es el siguiente result ado que algunos autores usan como definicion de grupo soluble Corolario 2.2)(3.4).4))c {e} C An C s. De la Proposicion 2.5: Sea N <J.(1.4))CS4.. de la arden mayor que p tiene un subgrupo normal propio.4: Si G es soluble. H C G tembien 10 es.8: An es simple para n ~ 5. y Sn es soluble n < 5. = G es sbeluuio. Proposici6n 2. proposicion anterior se puede deducir por induccion Corolario 2. {e}c ((1.2)(3. (con p primo) si su orden es una potencia Ejemplo .2. todo grupo ebelieno es soluble. Ds y tlg son p-grupos Un importante con p = 2 y p = 3 respectivamente. es un p-grupo de p.grupo de Conociendo este resultado. G. n. Concluimos esta seccion con las demostraciones de la proposiciones 2..2 se deducen condiciones menos restrictivas que aseguran que un grupo sea soluble. En particular. Una definicion que tiene bastante interes en teoria de grupos (gracias a los llamados "teoremas de Sylow") es la siguiente DEFINICION: Se dice que un grupo finito. (y nada facil) result ado de teoria de grupos afirma: Todo p.4 y 2. A continuacion damos los resultados que utilizaremos en el problema de la solubilidad Proposici6n 2. . i = 1. {e} C A3 C S3.3: G es soluble si y solo si existe una serie de normal {e} de modo que GdGi-1 por radicales = Go C G1 C G2 ••• C c. ((1. entonces G soluble ¢} G/ N y N son solub1es. El otro result ado que utilizaremos el proximo capitulo es Teorema 2.3)(2.de modo que GdGi-1 rv 7lpi' con Pi primo.

5): ~) Por la Proposicion 2. = G.. C GnN/N = G/N... C N2 . ¢::) De nuevo es un ejercicio con el primer teorema de isomorfia comprobar que si {e} = No C s. se tiene (utilicese el segundo teorema de isomorfia) y por tanto H es soluble . = G tambien tiene esa propiedad y por tanto G es soluble . Del primer y segundo teorema de isomorfia C C G1N/N G2N/N .DEM.... es serie de composicion con GdGi-1 7lpi.. es una serie normal para G/ N en la que todos los factores de grupos sucesivos son cierto y por tanto... cada factor es trivial 0 isomorfo a 7lpi. a. {e} = Go n H c G1 n H c G2 n H .• §3. (de la Proposicion 2. CUERPOS FINITOS. es serie de composicion con GdGi-1 Sea rv 7lpi.• DEM. C Gm/N rv = G/N son series de composicion con NdNi-l {e} = No C 7lPi (GdN)/(Gi-dN) 7lpl.. A pesar de que la teoria de Galois clasica se centra sobre extensiones finitas de <Q. no queremos terminar estas notas sin hacer una breve mencion a la teoria en cuerpos 71 . Gn n H = H.. Si {e} se deduce (ejercicio) que {e} = GoN/N cociente de GdGi-1 = Go C G1 C G2 rv ••• C Gn = G. (de la Proposicion 2. C Nn = N = Go C G1 C G2 .4 N es soluble.4): G soluble implica que {e} = Go C G1 C G2 ofof- ••• C of- c. C s. entonces la serie . C Nn = N {e} = Go/N C GdN rv C G2/N .. C N2 . ofof- C of- entonces definiendo Hi = Gi n H.

entonces la funcion J:IFpYL x Y 1 + 1+ ~. ). El objetivo de esta seccion es el siguiente result ado . Sea Xo un elemento de orden maximo. el teorema de estructura tiene de grupos abelianos). DEM.. q -1 elementos Con la siguiente definicion vamos a introducir una generalizacion de los IFp DEFINICION: Se llama IFq con q = pn al cuerpo de descomposicion de xq - x sobre IFp.2. ya que los cuerpos finitos aparecen de manera natural en geometria algebraica. la caracteristica (si no es nula) es siempre un mimero primo. b2. para todo x E L* se tiene xno = 1.: p. . entonces ILl = pn para Si la caracteristica es p. to do sorprendente su conexi on con la aritmetica.2b2 + . y como ya mencionamos en su dia..v. entonces el grupo multiplica- x E L* ---+ xq-1 = 1 porque IL*I = IL - {O}I = q - 1. Xn0+1_X Por tanto. 7l se puede considerar a veces como un "limite" de IFp y por ella no es del (L..finitos. que afirma que los IFq son los unicos cuerpos finitos y calcula el grupo de Galois de sus extensiones. DEM.c. ILl = pn . Notese que si L es un cuerpo finito.1.{O} es ciclico e isomorfo a 7lq-1. ). .e. teoria de codigos y teoria de numeros. y por tanto L se puede considerar como una extension de IFp. Como L* solo tiene el orden de Xo debe ser no = q . b.i E IFp} y L tiene tantos elementos como posibles valores de ).s + 1 es un monomorfismo.2: Si L es un cuerpo finito con tivo. es decir..: ILl = q.• ILl = q soluciones. el orden de cualquier elemento de L* divide a no (utilicese. . L * = L . con n = [L : IFp].. entonces su caracteristica es positiva (porque En algun sentido. El siguiente result ado limit a el orden que puede tener un cuerpo finito Proposici6n 3..nbn / ).• El siguiente result ado nos da tambien una limitacion sobre la estructura de un cuerpo finito Proposici6n 3.e. . )'n. no. +) es un grupo finito). entonces + ). una base de L sobre IFp (0 si uno quiere ser muy riguroso. pero esto implica que el polinomio 10 que implica que no + 1 ~ q. 10 que prueba el resultado . 72 . en L *. L = {>\lb1 una base sobre J(IFp)).. como L * es abeliano. Sea b1.1: Sea L un cuerpo finito de cerecteristice elgtu: n > O.1. Entonces. Su estudio no es una abstraccion innecesaria. por ejemplo.

observese que segtin el teorema Q(IFsdIF3) = {Id. ya que es monomorfismo cp(x) = cp(y) =? xp = yp =? (x . Observese en primer lugar que realmente cp es un automorfismo.cp2}. entonces L es isomorfo ILl. esto es. Como L* es dclico. Ademas cp deja fijo IFp por el pequeiio teorema de Fermat. exactamente IFp.. cp.1 = pn - 1 =? m ~ n 10 que concluye la demostracion. asi pues por tanto basta probar que el automorfismo de Frobenius tiene orden mayor 0 igual que n. Ejemplo 2. por tanto Q(IFsdIFg) = {Id. Q(IFs/IF2) = {Id. Observese que L/IF p rv 8P elementos.Y =0 y como cp : L -----+ L con L finito. L es (isomorfo) al cuerpo de descomposicion de P sobre IFq/IF p es normal. cp2. cp3} Y viendo la definicion de IFg se observa que solo cp2 (y la identidad) dejan fijo a IFg. a IFq. En general Q(IFpnk/IFpk) = (cpk). sea Xo generador de IF.x E IFp[x] como L tiene q= (aqui consider amos la "inclusion" IFp Y L de la primera demostracion). Ejemplo 1. 73 . cp. finita y separable. edeuuis Q(IFq/IF p) es un grupo ciclico de orden n generado por el de Frobenius. se tiene x = cpm(x) = xprn =? xprn • = 1 =? pm - 1 ~ q . por ser cuerpo de descomposicion sobre IFp.: Si L es un cuerpo finito de cerecterisitce p. cp2}. monomorfismo =? epimorfismo. cp : x -----+ x". Para calcular Q(IFsdIFg).Teorema 3. Para ver que cp tiene orden> n. to do elemento de x es raiz de P = xq .3 : a IFq con q = pn = automorfismo DEM.y)P = 0 =? x. entonces Xo tiene orden q-1 y si el orden de cp es m.

74 .

6) Demostrar 7) Estudiar decir de que tipo si las dos funciones siguientes son homomorfismos y en caso afirmativo 8) Demostrar que un subgrupo de indice dos es siempre normal.a2b. aplicando iii) del de alguna extension.a3b} donde a y b tienen orden 4 y se cumple b2 = a2 y aba = b. 2) Calcular el orden de un grupo sabiendo que cuenta con menos de 100 elementos y contiene a un elemento de orden 10 y a otro de orden 14. 13) Sean 0"1. normal finita y separable con grupo de Galois isomorfo a 8n.. iii) Concluir que G es isomorfo a un subgrupo de 8n (Teorema de Cayley). Ya sabemos que Ds es isomorfo al grupo de Galois del cuerpo de descomposicion de x4 .b.g. 12) Sea un grupo de orden n.... . ejercicio anterior. 11) Se puede demostrar que O'. de D6 (el grupo de movimientos del plano que dejan 4) Demostrar que 84 no tiene ningun subgrupo normal de orden 3. Demostrar que Q no es el grupo de Galois cuerpo de descomposicion de ningun polinomio de cuarto grado. g2. que to do grupo finito es el grupo de Galois NOTA: Este result ado es todavia una conjetura si se pide que la extension sea sobre <Q. .Hoja 8 1) Demostrar que no existe un epimorfismo ¢ : 84 -----+ 717 ni ¢ : 84 -----+ 7l~.g(gi) = ggi define una biyeccion en el conjunto G. 5) Hallar un grupo. O"n) es una extension demostrar. ales en las variables indeter0"2.. . . G. .. Demostrar que es soluble escribiendo explicitamente una cadena de subgrupos {e} = Go C G1 C .a. xn)/<Q(O"l. HI que 7l~ no es ciclico..a3. 8ugerencia: Demostrar que Q no es isomorfo a ningun subgrupo de 84. 3) Hallar todos los subgrupos invariante el triangulo equilatero). . Xn.···. 9) Demostrar que en 8n to do elemento de orden tres es producto de 3-ciclos disjuntos. es un homo- ii) Demostrar que ¢ : G -----+ Biyecciones de G definido por ¢(g) morfismo de grupos. i) Dado g E G.ab.0" n los polinomios simetricos element minadas Xl.. Q. G = {gl. .2 sobre <Q. X2. que Ds y Q son los unicos grupos no abelianos de orden 8. = O'. es un grupo de orden 8 no abeliano dado por Q = {e. Sabiendo que <Q(X1' X2. 75 .a2. y dos subgrupos suyos.0"2 .. 10) El grupo de cuaterniones.. C H2 C G de manera que HI sea normal en H 2 Y H 2 sea normal en G pero HI no sea normal en G. C Gn = Q con GdGi-1 rv 7lpi. demostrar gn}.

76 .

Por tanto. En conclusion. en particular... quiza introduciendo son primos ya que Pf/Z = ~. casi reciprocos. el teorema de Galois sera una de la teoria de Galois combinado con alguno de los del teorema fundamental result ado de teoria de grupos del capitulo anterior.. K contiene todas las rafces pi-esimas de 1a unidad. i ::. L/ K es radical si los elementos de L se pueden expresar en texminos de radica1es. son de la forma (V P~ p~) Notese ademas donde LI a L~ - al en su cuerpo de descomposicion intermedio que contenga tomando (= P{II es una raiz PI +esima de la unidad un subcuerpo con L~/ K normal. = Li-I ( p~) con ai ELi-I. a (. tales que Ln :::)L Y L..2..2. una raiz ( # 1 de xP1 1).. . entonces se tiene una eucesion de subcuerpos K = La C LI C L2 C .. 77 . = Li-I ( # Li-I. aiiadiendo radicales.5. que las rakes de xP1 quiza aiiadiendo - podemos suponer que los con L. n que Ln/ K es normal y contiene un tanto distintas tienen ciertas propiedades aparte. algunos cuerpos intermedios.. L y K es e1 cuerpo generado por las rafces de 1a unidad (elementos del cuerpo de descomposicion de xn -1) en L. Pi primo.e. donde x = rn~ DEFINICION: Se dice que un polinomio Obviamente P E K[x] es soluble por radicales si su cuerpo de descomposicion es una extension radical de K. de los otros por ella conviene considerarlas Notese que to do 10 dicho en el parrafo anterior se resume en el siguiente lema Lema 1. a L~ con L~/ K normal. Gracias a los dos resultados consecuencia siguientes. Ln/ K es normal. se puede comprobar supondremos que todos los cuerpos que aparecen Esta hipotesis no es solo una cuestion tecnica para asegurar que el teorema de Galois no es cierto para algunas DEFINICION: Se dice que una extension finita. de la unidad rakes Pi +esimas de la unidad. . i = 1. y asi se puede suponer 1 ::. donde Ln :::) . es decir.. i = 1. . C t. extensiones de IFp. C t. n. en la definicion de extension radical siempre podemos suponer L. cero. Resolubilidad por radicales § 1. L. sucesivamente. L. n. L2 se extiende. . Tambien. # Li-I.1: Si L/ K es finita y radical. con ai ELi-I. Las rakes radicales. (i.. es decir. De la misma manera. si existe una cadena de subcuerpos K = La C LI C L2 C . m.. = Li-I (rn~) indica un e1emento tal que xmi = ai. EL TEOREMA DE GALOIS A 10 largo de to do este capitulo son de caracteristica la separabilidad. se puede extender rakes P2-esimas de los generadores a las de L~ y de la unidad.

1 se tiene K = t. L/ K tambien.. = Q(L/ K) 7lPi' i = 1. Por el teorema fundamental de la teoria de Galois esto se traduce en la sucesion de subgrupos {e} = Q(Ln/Ln) C Q(Ln/Ln-1) C Q(Ln/Lo) = Q(Ln/K). Por el teorema fundamental de la teoria de Galois L = G~ :::)G~ :::)G~ .5: OBSERVACION: Un polinomio P E K[x] es soluble por radicales ¢} Su grupo de Galois sobre K es soluble. Recuerdese que siempre estamos bajo la hipotesis char K = 0. Una formulaclon equivalente del teorema es Corolario 1. Aplicando la segunda parte del teorema fundamental y el Lema 1. con cierto abuso de notacion. Q(L/K) rv rv Q(Ld Li-1) rv 7lPi' Q(Ln/K)/Q(Ln/L) y Q(Ln/K)/Q(Ln/K) rv Q(K/K). C t.. entonces se tiene {e} con G i/ G i-I rv = Go C G1 C G2 . DEM. en otro caso estos resultados no son ciertos. se tiene que Ld Li-1 y Q(Li/ Li-1) rv 7lpi. C L2 C ... C Ln. por tanto. por tanto. n..Lema 1.1).2: Con la noracicin e bipoiesis del Lema 1.. se tiene Q(Ln/ Li-1) /Q(Ln/ Li) por tanto Q(Ln/ K) es soluble. (del Teorema de Galois): fundamental de la teoria de Galois para pasar la informacion acerca de los subcuerpos a los subgrupos y viceversa. se llama grupo de Las dos implicaciones se reducen a usar el teorema Galois de un polinomio al grupo de Galois de su cuerpo de descomposicion.2.. Sea L / K normal y finita. ~) Por el Lema 1. ..3 implica que G~_dG~ es radical y.4 ( de Galois): tension radical ¢} rv es normal tlp entonces es radical. :::)G~ = K con Q(G~_dGD rv 7lPi (porque IQ(G~_dGD I = [Gi : Gi-1] = Pi)' Y el Lema 1.3: Si M2/M1 es normal y finita con Q(M2/Ml) Veamos ahora el teorema central de este capitulo Teorema 1. Lema 1.1. ¢::) Si Q (L / K) es soluble. . 78 . entonces L / K es una ex- Q(L/ K) es un grupo soluble. NOTA: Recuerdese tambien que... L / K y K / K son normales (K / K es el cuerpo de descomposicion de varios polinomios de la forma x" . C c. 2.

si (tJ_ MI.M2... T(() = (B =? aT(() = Ta(() = CB) yen particular es soluble .y gracias a las Proposicion 2. Teorema 2.2): LdLi-1 por su accion sobre x = tanto LdLi-1 que [Li : Li-ll p~. seran de la forma (x donde ( # es normal. La primera es la mas conocida y afirma que no existe una formula general con radicales para resolver todas las ecuaciones de un grado dado. Consideremos Como [M2 : MIl = p. + an-IX n-l + an-2X n-2 79 + . Q(M2/MI) por restriccion de los automorfismos a M2 y se aplicaria = MI(()( la primera parte de la demostracion para concluir M2(() radicales implica M2/MI radical.Pi. • -{I"'a). Si (tJ_ MI Y (E rv Q(M2(()/MI(()) MI(()/MI M2 entonces M2 = MI(() = MI({I'I). Xl = X + (¢(x) + (2¢2(X) + . por tanto Q(Ld Li-l) 7lpi . ( EKe Li-l =? (x E L. §2. Finalmente.1 (Abel): DEM.5 del capitulo anterior solo resta demostrar que es soluble para concluir que Q(Ln/ K) y Q(Ln/ L). ALGUNAS APLICACIONES En esta seccion veremos algunas aplicaciones a problemas clasicos de las ideas que rodean al teorema de Galois.(del Lema 1. Esto cierra el problema de la solubilidad por radicales de las ecuaciones algebraicas..MI. debe cumplirse M2 para Supongamos primero que existe ( E MI tal que (P = 1.3): cualquier x E M2 .T E Q(K/K). Y por = (¢) rv Terminamos dando las demostraciones de los dos lemas que hemos utilizado DEM. por tanto Xl = -{I"'a con a E MI Y M2 = MI(-{I"'a).. + (p-l¢p-I(X) entonces =? =? donde ¢ es el generador de Q(M2/MI). notese que Q(k/ K) Pero y por tanto Q(L/ K). Ademas todo automorfismo ¢(x) = (x tiene orden Pi yes obvio :::.(del Lema 1.: Sea la ecuacion X n No existe ninguna extension radical del cuerpo generado por los coeficientes de 1a ecuacion general de grado n ~ 5 que contenga a sus rafces. + alX + ao = 0 .1.• es simple. =? K es el cuerpo generado por las rakes de la unidad y por tanto Q (K / K) es abeliano (porque a. ¢(XI) = (P-IXI ¢(xf) = (¢(XI))P = Xl tJ_ MI =? M2 = MI (Xl) Xl Xl E MI. n ~ 5. ( # 1.4 y 2.• = MI(X) DEM. asf que todo automorfismo esta determinado Las otras rakes del polinomio minimo de x sobre Li-l 1 es una raiz de xPi . 4. 10 son. ya que desde el siglo XVI se conocen formulas para tratar los casos n :::. ( E K raiz de la unidad a(() = (T. y M2(()/MI(().

.. DEM. . X2. pero es obvio que hay algunas que se pueden resolver con radicales (por ejemplo x5 -a = 0).O'n)) I"V 8n porque an-i X2. complejas conjugadas (monomorfismo) y T radical.. E (que intercambia dos rakes) corresponde a una trasposicion. concretamente Proposici6n 2. porque calcular el grupo de Galois del cuerpo de descomposicion de un polinomio es en general muy dificil. entonces L/<Q no es una extension expresarse mediante radicales. = Q(L/<Q) '112.. ... Por el Corolario 2. . . H. las cinco rakes se tiene que Q(L/<Q) y 85 T = conj. Sin embargo. .6 del capitulo {e} = Go con Gi/Gi-l I"V C O. un 5-ciclo I"V y una trasposicion cualesquiera generan to do 85 (ejercicio). y un teorema de teoria de grupos (Teorema de Q Cauchy) implica que si p divide al orden de un subgrupo. Xn... Esto no debiera extraiiarnos..6x +3 E <Q[x]. . .. de las n varia- yes evidente que K(O'l' 0'2.. asi pues Q(L/<Q) 85 que no es un grupo soluble . :::)G~ = <Q 80 . asi pues Como los elementos de Q(L/<Q) permutan Q(L/<Q). O'n) es invariante solo por las permutaciones si n ~ 5 y el result ado se deduce del teorema de Galois . Finalmente. aI. .. . Proposici6n 2. C G2 ••• C c. . Pero se tiene Q (K(Xl' X2. es decir. queremos demostrar que K(Xl' radical... . . .. xn)/ K(an-l' X2. xn)..8 del capitulo anterior se tiene que 8n no es soluble Notese que el result ado anterior afirma que no existe una formula con radicales que sirva para resolver todas las ecuaciones de grado n cuando n ~ 5. las ideas de la prueba del teorema de Galois se puede demostrar el reciproco. Si L / <Q es normal. entonces [L : <QJ = 2k ¢} Los elementos de L son construibles anterior con regla y compes. .0'2. Si las rakes de este polinomio an-2. . de 8p entonces H contiene un p-ciclo. Xn..grupo...• bles Xl.con coeficientes variables indeterminadas ao. an-I. .3: Si <Q c L c IR y L/<Q es normal. usando De la teoria del segundo capitulo se deduce que si L es una extension real y finita de <Q que solo contine elementos construibles).• entonces [L : <QJ = 2k. . . X2. .ao)) =Q (K(Xl' K( 0'1..xn) / K(an-l' = (_l)iO'i(Xl' an-2.2: Sea L el cuerpo de descomposicion de P = x5 .: Como [L : <QJ = 2k. . . a2. donde O'i son los polinomios simetricos elementales. Galois no dio ningun ejemplo de una ecuacion que no fuera soluble por radicales.: P es irreducible por el criterio de Eisenstein y tiene tres rakes reales y dos (dibujese la grafica del polinomio). Si a es raiz de P. Q(L/<Q) es un 2.. 5 = [<Q ( a) : <QJ ~ 511 (L / <Q) I.. ao) no es son Xl. en el siguiente result ado emplearemos algunos artificios de teoria de grupos para simplificar este calculo en un ejemplo explicito. Por el Corolario 2... Por el teorema fundamental de la teoria de Galois L = G~ :::)G~ :::)G~ . las soluciones de P = 0 no pueden DEM. .xn)/ X2.

19 porque y 5 = 221+ 1. ya que se puede probar que el grupo de orden 6 y por tanto ~(a)/~ que [~(e27ri/n) -1). 17 pero no son primos de Fermat distintos. de las implicaciones y rigurosa de su result ado .con [G~_l : Gil = 2. Por ejemplo. Pn con Pi primos de Fermat distintos. este es el teorema mas bello que ha visto nunca en Matematicas Corolario 2. se llama primos de Fermat a aquellos de la forma 22m + 1. : ~l = ¢(n) donde ¢ es la funcion entonces ¢(n) = que si n = p~1p~2 . El poligono de 380 lados no es construible 15 = 22 .10x3 sin embargo a no es construible subcuerpos intermedios propios. p~n-l(Pn en particular ¢(p) = P .. p~n con Pi primos distintos. en honor a Fermat. solo ha llegado hasta nosotros la demostracion (la dificil desde el punta de vista actual).. De este resul- tado y de la Proposicion 2..1)p~2-1(p2 + 26x2 + 16x .1).. El poligono de 15 lados es construible 15 = 3·5 = (22°+ 1)(221+ 1). 17 = 222+ 1. . Y no tiene con regIa y compas. si a es la raiz real y positiva de P = x4 . 81 . enunciamos de Galois de P es A4 que no tiene subgrupos En el tercer capitulo de Euler (recuerdese p~1-1(pl .3 se deduce el siguiente bellisimo teorema de Gauss. [~( a) : ~l = 4 = 22. pero 19 =1= 22m + 1.. El poligono de 289 lados no es construible 289 = 17 . porque Ejemplo 3. porque que 22m + 1 era primo para to do m E IN. NOTA: Para el que desconozca su definicion.• OBSERVACION:Si L/~ no es normal el result ado puede no ser cierto. El primer contraejemplo Ejemplo 1.4 (GAUSS): E1 polfgono regular de n 1ados es construib1e con reg1a y compes si y s610 si n = 2kpIP2 ..14. Ejemplo 2. quien 10 de su obra maestra "Disquisitiones Arithmeticae" 30 alios Aunque Gauss afirmo tener una prueba completa que dio de una Para el autor de estas notas enuncio en el ultimo articulo antes de que Galois diera sus teoremas. quien penso erroneamente ocurre para m = 5.1) . 10 que prueba el resultado . 5 .

82 .

hay entre IF 4 Y IF256? de (x9 . al + a2 + . entonces existe un elemento de orden p" . demostrar que N ::. entonces existe un monomorfismo ¢ : Gp -----+ G donde Gp es un p-grupo (grupo de orden t/'. Sabiendo este result ado y que todo p-grupo es soluble. que 712 x 83 = {(x.. 7) Halar todos los generadores 8) i. n ~ 1). C GN = G con Gi subgrupo normal de Gi+l (i. 0") / x E 0"10"2) ) 3) Un teorema demostrado por Sylow implica que si piIGI.e. 5) Si L es el cuerpo de descomposicion 6) Estudiar si el polinomio X2 + X2 . (Recuerdese 7l2. es una serie normal) y Gi+I/Gi abeliano no trivial.Cwil es el cuerpo de descomposicion E IF3[X]? 83 . C 1) Sea G soluble de orden n = p~lp~2 . p~n.. + X + 1 es irreducible en IF2[X] yen IFs[x]. (X2' 0"2) = (Xl + X2.. + an. demostrar el Teorema de Cauchy: "Si p primo divide al orden de un grupo... p =primo. 0"1).X)(X27 . hallar Q(L/IF3). 0" E 83} con la operacion (Xl.Cwintos subcuerpos del grupo Q(IF256/IF 4). 4) Demostrar que el grupo aditivo de IFpn es tlp x de x3 n y~~es X 7lp...x) 9) i.. si {e} = Go 2) Demostrar que 712 x 83 es soluble.2E IF3[X].Hoja 9 G: C .

84 .

Sign up to vote on this title
UsefulNot useful