P. 1
Algebra II. Fernando Chamizo Lorente

Algebra II. Fernando Chamizo Lorente

|Views: 74|Likes:
Publicado porjulio cordero

More info:

Published by: julio cordero on Jul 30, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/11/2013

pdf

text

original

Sections

  • §l. DEFINICION DE CUERPO
  • §3. EXTENSIONES DE CUERPOS
  • §2. LA DUPLICACION DEL CUBO Y LA TRISECCION DEL ANGULO
  • §2. EXTENSIONES NORMALES
  • §3. EXTENSIONES SEPARABLES
  • §4. TEOREMA FUNDAMENTALDE LA TEORIA DE GALOIS Y EJEMPLOS
  • §1. REPASO DE TEORIA DE GRUPOS

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".

.

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

+ '/. De nuevo. _ X2)(X _ X3) ~ p + px + q = (x _ XI)(X = XIX2 + XIX3 + X2X3. ejemplo. En las formulas clasicas para resolver las ecuaciones de segundo. 11 es decir. _ 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 . 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). 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. 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. Por otra parte 2 4 =27 27 1( Xl 2 + (X2 + (X3 )3 27r con ( = cos 3 .en-27r s 3 implica que la raiz cubica de esta expresion no es invariante por nada distinto de la identidad. X3 a las rakes de la ecuacion anterior. X3 por Xa(l)' Xa(2)' Xa(3) con (J E 83). q = -XIX2X3. 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. X2.y=). observese que p y q son invariantes por 83 (en el sentido de que no varian al cambiar que Xl. §3. A es una funcion racional de los . grupos y la ecuacion general de grado n._ ~2 . X2. Radicales. 27 Obteniendose las tres rakes a base de elegir los tres posibles valores (complejos) para la raiz cubica.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. mientras que algunos calculos prueban y por tanto J q2 /4 + p3/27 q _.

3 y 4. como adem as (<I> ( (J ) ) P = 1 (porque rP es invariante por 8n). :::) a. Lo mismo ocurre siempre que n ~ 5.. . esto es 27r con (= cos p + isen-. (2. si (J Esencialmente.Xn.. se prueba que E A5. Si if ha roto algunas simetrias. Xn).3)(1..coeficientes y por tanto simetrica en las rakes Xl. Xa(n)) / r(Xl' X2. 27r p Como Im <I> (con la multi plicacion) tiene es isomorfo a 7lp. pero no existe ninguna cadena similar en el caso n = 5. 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. 83:::) A3 :::) {Id}. .4). :::)l :::) G2 :::) . y por tanto no existe una solucion con radicales para la ecuacion quintica general.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.. hay elementos en la imagen distintos de 1. .. Notese que (J E Nuc <I> si y solo si r es invariante por (J. La demostracion de que A5 (yen general An) no tiene subgrupos norm ales no triviales es un poco tediosa pero no excesivamente complicada. asf pues rP es invariante por 8n. .. entonces 71 {7.{a}.(J7 / 7 l E 7. se deduce que la imagen de <I> esta formada por las rakes de la unidad de indice p. 84:::) A4 :::)((1. Consideremos el homomorfismo (pruebese que 10 es) <I> : s.4)) :::){Id}..) (J -----+ r (Xa(l)' Xa(2)' .2)(3. i ::. las cadenas son 82 :::) {Id}. A5} = A5 Y por tanto no existe ningun {Id} # HeA5 tal que # H7 = H para todo III . existe una cadena de grupos Go = s. . -----+ (~ . (J # {Id}. X2... = {Id} G tales que cada uno es subgrupo normal del anterior y Gi-I/Gi rv 7lPi' 1 ::. m Para las ecuaciones de grados n = 2. 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. Todo esto queda resumido en el siguiente resultado: Si la ecuaci6n de grado n es soluble por radicales.

. . 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. normal del anterior y con Gm e1 grupo trivial.2 . EI teorema de Galois.§4.. fue Galois quien puso de manifiesto la estrecha relaci6n entre la resolubilidad por radicales y la teoria de grupos. i = 1. :::) si y solo si e1 grupo de Galois.. 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. G. m.. de modo IV . 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 . tiene una cadena de subgrupos que Gi-1/Gi ~ 7lPi con Pi primo.

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

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

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

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

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

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

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

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

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

-3XlX2X3 Ahora repetimos el proceso con Q escogiendo el monomio al a3 10 que implica = 1 y por tanto (2.:n.2) y (2.. X2..: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. y si hubiera varios el de mayor grado en . = 1. asi pues de (2.3) Q= -30'3 +Q P = 0'10'2 30'3 Observese que Q = 20'1. etc. (Ejercicio: dar una demostracion detallada de esto) . etc. . X2.. 2) Sea Q = P kO'fl-CX2 0'~2-CX3 . ~ an (ejercicio). en terminos de los polinomios simetricos elementales. Segun el proceso descrito en 1) debemos escoger el monomio a2 por tanto al = 2. NOTA: DEM.2) (Recuerdese que 0'1 = Xl = a2 = + X2 + X3 Y 0'3 = XlX2X3). Apliquemos el siguiente algoritmo: X~2 . 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. es posible pro bar la unicidad de esta expresion. O'. Por la simetria de P se tiene Entonces P = kO'fl-CX2 0'~2-CX3 . Para ilustrar su interes demostraremos el siguiente result ado Corolario 2.. . (algunos ai pueden ser nulos) que tiene X2 ~ al ~ a2 si todavia hubiera varios escojase entre ellos el de mayor grado en X3.: 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.... X3] dado por + XiX3 + X~Xl + X~X3 + X~Xl + X~X2 + 2Xl + 2X2 + 2X3 XIX2. x~n 1) Seleccionar el monomio mayor grado en Xl. O'.• <Q[Xl.El siguiente result ado justifica por que a los Teorema 2. xn] kxfl simetrico. Sea P E D[Xl.13: simetricos e1ementa1es.14: como Si P E <Q[x]es un polinomio rnonico que se descompone en C[x] 10 . a3 = 0 Y se tiene (2. El teorema anterior tiene gran importancia historica en el desarrollo de la teoria de Galois y la teoria de grupos en general.3) obtenemos finalmente + 20'1.

Q(an)). EXTENSIONES DE CUERPOS.. evaluados en 0"1(al. con los coeficientes de P.an). es obvio que ~ es una extension de IR con la primera y la 11 . . Por ejemplo. .iV'S)/2. . 10 que considerando los ai como variables define un polinomio simetrico de <Q[al. pero no es exactamente asi.Q(a2)..{I2))((x- {I4(-1-iv3)/2- {I2(-1+iv3)/2). Mas adelante...iv3)/2) se deduce que {14 + {/2 es raiz de un polinomio §3. Ejemplo. an-k se puede escribir como un polinomio con coeficientes racionales 0"2(al..{12 (-1 .an). Por el teorema anterior. DEFINICION: Decimos que el cuerpo L es una extension de L. es decir. 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. Esto podria dar la idea de que ambas definiciones son identicas.a2... . . {14 (-1 + iv3)/2 . Las rakes de P = x3 2 - 2 son {/2. 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.: Los coeficientes de PQ son an-k = (-1)kO"k(Q(al).a2. Aunque la definicion anterior es satisfactoria desde el punta de vista abstracto. si K es un subcuerpo tambien en x en K coinciden con las de L. . ·(x es un polinomio de <Q [x ]. En particular con coeficientes racionales. Una de las ideas basicas que aparece en el trabajo auxiliares. OBSERVACION:Un monomorfismo es una funcion inyectiva que preserva ciones del cuerpo.. salvo un signo. y estas ultimas cantidades son racionales porque coinciden.. K eLy se usa L: K. queda fielmente reflejada en la estructura de cierto grupo. DEM. las operaciones +y de K. a2.entonces para cualquier Q E <Q[x] l polinomio e pertenece a <Q[x]. an]. etc. si existe las opera- monomorfismo f : K -----+ L. . {/2 (-1 + iV'S)/2 y {/2 (-1 . . . Tomando Q = x +x se tiene que (x- {14..

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

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

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

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

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

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

18 .

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

20 .

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

22 .

Indicaci6n: 8) Si K(a)/K ?'9 + ij3 - 1 sobre <Q donde p es un e27ri/p. coprimos? n(3) na = [K(a) : K]. na . Suponiendo que el polinomio minimo de a es x3 + x-I. -J7)/<Q es simple sin usar el teorema del elemento primitivo. <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). n = [K(a. 12) Demostrar que <Q(V3. 23 . nf3 = [K({3) : K] y In y # nf3 n ::. 3) Sea K(a. nf3. 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.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. nf3. 9) Calcular el polinomio minimo de primo. V5. i. comparar los cuerpos <Q(y'nm).1) como una es una extension de grado tres. ij3) /<Q viii) <Q(V5. 4) Hallar [<Q( {/2. (3) una extension algebraica de K. 10) Calcular el grado del polinomio minimo de cos(27r/p) Hallese primero el polinomio minimo de ( = y <Q(yn. {13) : <Q]. 2) Demostrar que una extension de grado primo es simple. tales que [K(a) : K] = m y [K({3) : K] = n. V'5) /<Q ix) A/<Q donde A son los numeros algebraicos sobre <Q. hallar el polinomio minimo de a2. Escribir (a + 1)/(a . 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.Que se puede decir si na y nf3 son ii) Mostrar un ejemplo con na en el que se cumpla n < na .. (3) : K] i) Demostrar que mcm(na. 13) Hallar el grado de la extension <Q(VI + V3)/<Q. calcular [K(a2) : K]. y'rii). 2 E <Q[x].

24 .

todos los si (x.2. Con la ayuda de longitudes antigiiedad es posible comprobar que la suma. Una vez fijada una unidad de medida. y) E IR? es un punta como intersecciones cuadraticas.. L. 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. resta. Construcclon Va. multiplicacion. para el que como coordenada como (1. a • de 1.0) y (1. de un De todo esto se deduce que cualquier exist a una cadena de subcuerpos elemento de un cuerpo real. Construcclon de a . de nuevo.. C L2 C .b 2. 1 .. sucesivas de ellas tienen coordenadas que estan en sucesivas extensiones Por tanto. del circulo") requiere una demostracion pero que. construcciones geometricas sencillas conocidas desde la division y raiz cuadrada con regIa y com pas. como las de segundo grado.. con regIa y compas entonces existe una cadena de cuerpos <Q = La LkJ = 2 y x. Los problemas que consideraremos La utilidad de estos instrumentos conocidos. construibles Todo 10 necesario esta contenido en los siguientes diagramas: con regIa y compas. Va b 1 a-b • de alb . Tres problemas clasicos En este capitulo estudiaremos supieron abordar. Y E L de algunas C t...0). CONSTRUCCIONES CON REGLA Y COMPAS. §l.1) puede ser obtenido 25 . 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.. tambien es construible a .1) con [Lk+1 : por (0.. C t. solo tiene sentido dentro del marco de la teoria de cuerpos. 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. Construcclon 3. =L c IR. tratan acerca de construcciones geometricas con regIa y compas. digamos determinada rectas tienen ecuaciones de primer grado y las circunferencias puntos que se pueden construir construible (1.

todas maneras.• Es importante notar que el reciproco no es cierto en general. c L2 c . Por otra parte. Un sencillo result ado que sera crucial en el resto del capitulo es el siguiente Lema 1. En particular. DEM. Ademas x E L :::) <Q implica que [<Q(x) : <QJ divide a [L : <QJ y esto prueba el resultado .lOx3 + 26x2 + 16x . 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. intentaremos demostrar si <Q C M ilustrar brevemente la situacion: Si a es el unico cero real y positivo de P = x4 . Los dos problemas recogidos en el titulo se pueden formular de la manera siguiente: c <Q(a). se tiene [<Q(a) : <QJ = 4.1: Si x es una longitnd construib1e con reg1a y compes. Como fenomeno curioso. se tiene la siguiente caracterizacion tomaremos como definicion: que Un punta (x.14.: Con la notacion introducida anteriormente n se tiene x ELy [L: <QJ = II[Lk k=l : Lk-1J = 2n. ningun contraejemplo involucra la estructura porque la constructibilidad de <Q(x). entonces M = <Q 0 M = <Q(a).. §2.. 26 . que puede ser muy complicada. que a no es construible.. sencillo. 10 cual parece natural de los subcuerpos Es decir. es decir. c t.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. 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. = L donde todas las extensiones son de grado dos. como P es irreducible (por el criterio de Eisenstein). es decir. entonces [<Q(x) : <QJ es una potencia de dos. LA DUPLICACION DEL CUBO Y LA TRISECCION DEL ANGULO. que exist en No conocemos de x De extensiones reales <Q(x)/<Q tales que [<Q(x) : <QJ = 2k con x no construible. se puede (usando teoria de Galois) que <Q(a) no tiene subcuerpos propios.

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

I a edici6n. x. usual. en cierta manera. la cuadratura en ellenguaje de ningun no obstante problema. 20. Resolver este problema para el circulo unidad llevaria a construir un cuadrado de lado se conoce con el nombre de "la cuadratura y7r.. Asf que. cos 20° es una raiz del polinomio de Eisenstein a 8P((x P = x3 - 3x/4 .. Esto no es sencillo en absoluto y. . an) E 7l. En general no es muy diffcil demostrar que si la-nk/mkl<E(k)/mk con E(k)-+O. . Wantzel en 1837 (al menos en el Encylopedic Arithmeticae 0 de la Mathematical Society of Japan). . no es raiz 00. Antes de la llegada de las computadoras este tipo de aproximaciones para valores especiales de funciones como sen x. 3 Cap. entonces obviamente a no es un entero.. . Aplicando el criterio + 1)/2) se deduce que P es irreducible. si quit amos denominadores). nk/mk Y la-nk/mkl<E(k)/mk con E(k)-+O. . 10 que contradice NOTA: Aunque ocupan se atribuye Mathematics la demostracion de los dos problemas a P. es claro que los articulos finales en la indican que el ya conocia en 1801la imposibilide duplicar el cubo). eX. 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.1: Sea P = cnxn sencilla del teorema de los polinomios simetricos.1. entonces a no es racional (basta multiplicar por mk Y el posible denominador de a).. LA CUADRATURADEL cIRCULO El ultimo problema del que nos ocuparemos del drculo" . basta demostrar concluir que tampoco hecho. entonces c~S(al' a2. + Cn_IXn-1 + .Asi pues.1/8. Si S(XI' X2. a2. Por otra parte. . 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. de la imposibilidad por tanto es el polinomio el Lema 1. xn) es un polinomio simetrico con coeficientes enteros de grado k (esto es as(x.. es decir. Por el Lema 1. de de dificultad e imposibilidad sobre <Q. + CIX + Co E 7l[xJ * 28 . entonces a no satisface una ecuaci6n de grado r (vease ej. este problema que [<Q( y7r) : <QJ no es una potencia de dos para tiene solucion. .1. sean aI. "Calculus" de Spivak).. etc..-L. tambien es haber deducido ambas pruebas en sus trabajos.. . cos x. 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. • que nos of Dictionary minimo de cos 20° y se tiene [<Q( cos 20°) : <QJ = 3. nk. con la-nk 1< E(k) Y E(k)-+O. 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. Si la sucesi6n es de mimeros racionales distintos.. x) = k). y tiene el siguiente enunciado P 3: Dado un cfrculo. an SUS rafces en C. construir con regla y compos un cuadrado de igual area. la trascendencia de un numoro a se "reduce" a encontrar buenas aproximaciones por racionales (0 enteros. tenfan gran importancia para hacer calculos..

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

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

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

32 .

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

34 .

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

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

. (Notese que O'(ai) O'(aj) ~ O'(ai . Si a E L es un cero de P. La definicion anterior tiene sentido gracias al siguiente result ado Lema 1. Con este ejemplo vemos que.Ejemplo 2. pero entonces 0'( x las operaciones. 37 . asi que a deja fijo a {/2 y por tanto es <Q({/2)/<Q y la extension trivial <Q/<Q. Como antes. (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. un elemento.: Si x. OBSERVACION: Esto implica que cada a E Q(L/ K) induce una perrnutacion sobre el conjunto {aI. Q(<Q( {/2)/<Q) = {Id}. La proxima proposicion de L/K. y se tiene a = 0'( {i2) ~ la identidad. y la siguiente asegura que Q(L/ K) determina el grado de ciertas subextensiones P E K[x]. a2. Proposici6n 1. de {/2. por ejemplo Q(<Q( {i2)/<Q) = {Id} ~ El teorema fundamental (Q(<Q( {i2)/<Q))' = <Q({i2). el grupo de Galois no "distingue" entre a3 = 0'( {i2)O'( {i2)O'( {i2) = 0'(2) = 2. a E Q(<Q( {/2)/<Q) queda caracterizado por la imagen. y E H' entonces para todo a E Q(L/ K) se tiene o'(x) = x Y O'(y) = y. 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. a.. en principio. Lo mismo se haria con el resto de OBSERVACION: Notese que (Q(L/K))' = K no es cierto en general.3: Sea L/K y para definir los automorfismos de Q(L/ K).2: Si H es un subgrupo de Q(L/ K) entonces H' es un subcuerpo de L DEM. • + y) =x +y y por tanto x +y E H'. . 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). entonces O'(a) actuando = con a E Q(L/ K) tembien 10 es. 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). an} de rakes distintas de P en L. .aj) = 0 ~ ai = aj).

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

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

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

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

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

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

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

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

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 . de grupos 1. normales y subgrupos normales. de la teoria Galois dada en el parrafo anterior para entender que es el Si L / K es normal..M. una vez que se conoce to do el lenguaje Obviamente y de las dos secciones anteriores. TEOREMA FUNDAMENTALDE LA TEORIA DE GALOIS Y EJEMPLOS. 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. Sea P su polinomio minimo sobre M. finita y separable y M es un subcuerpo K c MeL.an) polinomio P E K[x]. para que sus "simetrias" repre- De alguna manera.3 implica que (J(t) = t para todo (J E Q(IF2(t)/IF2(t2)). donde (JI M es la restriccion de (J aM. P se descompone en L y sus rakes son distintas por tanto el Corolario 2.es trivial porque la Proposicion senten la estructura 1. no tenemos suficientes rakes distintas de la extension. 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. Teorema 4.. en ese ceso Q(M/K) es isomorfo a Q(L/K)/Q(L/M). Procedemos por contradicclon porque L / K es separable.: Por definicion Q(L/M) M. §4. suponiendo totalmente que existe x E (Q(L/M))' de la primera seccion (Proposicion 1. es un subgrupo normal.4. por la Proposicion tanto (JI M E Q(M / K). Ademas M/K es normal si y s610 si Q(L/M) es un subgrupo normal de Q(L/K). del grupo de Galois. . es un subgrupo de Q(L/K). Dado (J E Q(L/ K). El teorema fundamental de la teoria de Galois afirma que esta representacion cuando la extension es normal finita y separable. y entre subextensiones intuit iva del teorema fundamental el enunciado concreto. entonces Q(L/M) es un subgrupo de Q(L/K) y M = (Q(L/M))'.6 con K = M nos asegura que existe (J E Q(L/M) ~) tal que (J(x) =1= x. La demostracion resultados no es muy complicada. M = K(al. 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".1 (Teorema fundamental de la teorfa de Galois): OBSERVACION:Notese que tras los resultados el teorema implica [L : M] = Q(L/M).a2. 10 que contradice x E (Q(L/M))'. (Q(L/M))' :::) . .

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

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

automorfismos. que vamos a conseguir un automorfismo de Q(M/K). n = 1. es conveniente i en subextensiones manera la situacion del ejemplo anterior. mas tarde unir ambas informaciones con Q(L/M). consiguiendo L = <Q(. Ejemplo 2. 0". -¢12). = 8 nos faltan otros cuatro ya que Q(L/M) es un subgrupo de Q(L/K).de las funciones trigonometricas no es dificil probar que <Q(cos(27r/5)) = <Q(cos(47r/5)). describiendo uno de ellos y diciendo si da lugar a una extension normal. = Id y algunos calculos demuestran 0" = O"~ Y 0"4 = O"~.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.6 implica que Q(L/M) 0"2. 0"2. el polinomio minimo de -¢12 sobre M es con esta determinado = {0"1. por su valor en -¢12. x4 - "pegando" Comencemos Como [L : M] = [L : KJ/[M 2. Antes de nada. 0"3. 0"4} Como estos automorfismos 0"1 dejan fijos M se cumple O"n(i) = i.2. por tanto su cuerpo de descomposicion "descomponer" la extensi6n que se repita de alguna es <Q(. 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. El calculo de Q(L / K) se basa en calcular los grupos mas sencillos Q(L / M) y Q(M / K). En este. 0"3} rv 7l/471.3. como "extendiendo" Todos estos elementos estan en Q(L/K). Hemos demostrado = (0") Q(L/M) [L : K] = {Id. que 0"3 Obviamente para abreviar.4. 2.3. -¢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. 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. que se pueden poner a este nivel. Simplemente escribamos en lugar de 0"2. 2 son ik -¢12 con k = 0. Por ella consideramos normales que sean mas sencillas. como en otTOS ejemplos. 52 . V ambos grupos. Esta situacion se repetira en ejemplos posteriores. 10 que combinado con el Corolario 2.2. 1. Cada automorfismo de Q(L/M) : K] = 4.

que es ra = a3T.a. 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).a2. concretamente (a. -!-'/. El grupo El ultimo isomorfismo requiere alguna explicacion.T.a3T} rv D«. Concretamente.5 asegura existe que podemos extender cada automorfismo de Q(M/ K) a Q(L/ K). {12 {12 i{12 -{12 -i{12 -!(orden (orden (orden (orden 1) 4) 2) 4) 53 T: ar : a2T: a3T: '/. Quiza componiendo con a2. es conveniente tener una tabla con la accion de todos los automorfismos de Q(L/ K) y sus ordenes. y por el Corolario 2.6). C {Id. por ella la damos a continuacion '/. {12 {12 i{12 -{12 -i{12 -!(orden (orden (orden (orden 2) 2) 2) 2).a2. es el automorfismo dado por la conjugacion..6 se tiene que Q(M/ K) = {Id. 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. es el valor de T( tal que TIM = conj. -'/. g. Ds esta generado por el giro. a3 0 a4.a3. T) En particular se tiene que C Q(L/ K).a2T. -'/. s. conj. podemos suponer que T( (por ejemplo. -'/. Para verificar las afirmaciones del parrafo anterior.a. Tambien sera util disponer de ella en el calculo de los subgrupos de Q(L/ K). si T( T {12) -{12 {12) = {12 tomariamos T = Ta3 en lugar de T). Recuerdese que Ds es el grupo de movimientos del plano (giros y simetrias) que dejan fijo un cuadrado ABeD.2 (por el = Corolario 2.aT.a3. ya con el mismo orden (cuatro y y satisfacen la relacion que caracteriza a Ds. respectivamente) con s. . T(i) = -i. esto es. '/. La proposicion no nos dice cual {12) pero como sabemos que tiene que ser una raiz de x4 .a2T. '/. Id: a: a2 : a3 : -!'/.La extension M/ K es normal.T.aT.} donde conj. de 90 y la simetria. '/.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. T E Q(L/K) La Proposicion 2.

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

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

. 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). por el Corolario 2. donde w = (-1 + iV3)/2. quiza componiendo con a 0 a2. = <Q(w).Las rakes de P son {/2. entonces T( {/2) = {/2 0 w{/2 o w {/2. De nuevo. (a) es el unico subgrupo normal. Es decir. {/2) M = <Q(w) K=<Q entonces L/M y M/ K son extensiones simples normales de grados 3 y 2 respectivamente.6. conj. la unica sub extension normal sobre K es M/K. 56 .T. se tiene I I Q(M/ K) = {Id. as! que el cuerpo de descomposicion es <Q(w.a. 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. {/2).aT. 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. M2 = (T)'. w{/2. Los subcuerpos propios son Ml = (a)'. M3 = (aT)' y M4 = (a2T)'. a( {/2) = w{/2 a(w) = w a tiene orden 3 y T T( {/2) = {/2 T(W)=W=w2. donde a( {/2) = w{/2.}. que ocurre el primer caso. 2 Sea T E Q(L/ K) tal que TIM =conj. puede comprobar (ejercicio) que M. w2{/2. pero siempre podemos suponer.a2T}. tiene orden 2.a2. Consideramos L = <Q(w.

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

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

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

60 .

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

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 .

. entonces NI(HI n H2) / NI(HI n N2) rv HI n H2/ (HI n N2)(H2 n NI). las Sea G un grupo finito. .2. y el Corolario 2. el "factorizaba" el cuerpo de descomposicion en ciertos subcuerpos Gracias al teorema fundamental que diferian uno de otro en un radical. de la teoria de Ga- lois esto nos lleva al problema de "factorizar".4. El ultimo es de menor importancia. . el grupo de Galois en notacion y daremos ciertos resultados varios temas. entonces HI (H n N). 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. N <J G y N GIN /HIN 2Q Teorema de isomorffa Si H rv c H. DEFINICION: estudio de la resolubilidad por radicales son las definiciones de grupo simple y soluble. el lector debe saber y entender el primero de ellos y al menos recordar los dos siguientes.4 y 2. 67. n. A pesar de que solo tendran un papel auxiliar en algunas demostraciones del resto del curso. 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. Aunque se trataran Proposiciones 2. en algun sentido. entonces GIH.5. ciertos subgrupos.. La principal motivacion de Galois fue el estudio de la resolubilidad por radicales de ecuaciones algebraicas. De alguna manera. 1er Teorema de isomorffa Si H <J G.8. H NIN 3er Teorema de isomorffa Si NI <J HI <J G. Teorema del isomorfismo Si ¢ : G -----+ G' es un homomorfismo de grupos. §2. REPASO DE TEO RIA DE GRUPOS. Grupos finitos y cuerpos finitos § 1. en particular los resultados de isomorfia que damos a continuacion. . 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. SERIES DE COMPOSICION Y GRUPOS SOLUBLES. 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. cG rv y N <J G. entonces Nuc ¢ es un subgrupo normal de G y GINuc¢ rv Im o. 10 iinico esencial para el En esta seccion introduciremos que ponen en rigor esta idea.

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

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

. En particular. de la arden mayor que p tiene un subgrupo normal propio.grupo de Conociendo este resultado.5: Sea N <J. (y nada facil) result ado de teoria de grupos afirma: Todo p.2)(3. .(1. = G es sbeluuio.3)(2. . i = 1. un ejemplo de ella es el siguiente result ado que algunos autores usan como definicion de grupo soluble Corolario 2.4).5 70 . G.2 se deducen condiciones menos restrictivas que aseguran que un grupo sea soluble. 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.de modo que GdGi-1 rv 7lpi' con Pi primo. ¢} Una formulaclon casi equivalente de este result ado es Corolario 2. n.4))c {e} C An C s.6: Todo p-grupo es soluble. entonces G soluble ¢} G/ N y N son solub1es. proposicion anterior se puede deducir por induccion Corolario 2.4 y 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. El otro result ado que utilizaremos el proximo capitulo es Teorema 2.2. {e} C A3 C S3. {e}c ((1.4))CS4.8: An es simple para n ~ 5.2)(3. De la Proposicion 2. todo grupo ebelieno es soluble. es un p-grupo de p. y Sn es soluble n < 5. Concluimos esta seccion con las demostraciones de la proposiciones 2. (con p primo) si su orden es una potencia Ejemplo . A continuacion damos los resultados que utilizaremos en el problema de la solubilidad Proposici6n 2.. H C G tembien 10 es. G.4: Si G es soluble. Ds y tlg son p-grupos Un importante con p = 2 y p = 3 respectivamente. Proposici6n 2. ((1.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.

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

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

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

74 .

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

76 .

donde Ln :::) .. C t. = Li-I (rn~) indica un e1emento tal que xmi = ai.. .. C t. que las rakes de xP1 quiza aiiadiendo - podemos suponer que los con L. EL TEOREMA DE GALOIS A 10 largo de to do este capitulo son de caracteristica la separabilidad.2. # Li-I.. aiiadiendo radicales. una raiz ( # 1 de xP1 1). L.e. Por tanto. Gracias a los dos resultados consecuencia siguientes.. extensiones de IFp. i ::.5.2. n que Ln/ K es normal y contiene un tanto distintas tienen ciertas propiedades aparte. 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. Pi primo. de la unidad rakes Pi +esimas de la unidad. L y K es e1 cuerpo generado por las rafces de 1a unidad (elementos del cuerpo de descomposicion de xn -1) en L. quiza introduciendo son primos ya que Pf/Z = ~. n. i = 1. De la misma manera. L2 se extiende. Resolubilidad por radicales § 1. L. si existe una cadena de subcuerpos K = La C LI C L2 C . entonces se tiene una eucesion de subcuerpos K = La C LI C L2 C . tales que Ln :::)L Y L. algunos cuerpos intermedios. 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. con ai ELi-I. . L/ K es radical si los elementos de L se pueden expresar en texminos de radica1es.. en particular.. Ln/ K es normal. = Li-I ( # Li-I. n.1: Si L/ K es finita y radical.. cero. (i. 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. m. a (. 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. 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. Tambien.. casi reciprocos. y asi se puede suponer 1 ::. en la definicion de extension radical siempre podemos suponer L. En conclusion. = Li-I ( p~) con ai ELi-I. es decir. K contiene todas las rafces pi-esimas de 1a unidad. i = 1. . Las rakes radicales. se puede extender rakes P2-esimas de los generadores a las de L~ y de la unidad. . sucesivamente. es decir. 77 .

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

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

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

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

82 .

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

84 .

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->