L G E B R A II

A
Fernando Chamizo Lorente

3o de Matematicas. Curso 1996-1997

Version del 21/1/2002

Indice
Ideas que subyacen a la Teora de Galois
1. Cuerpos y sus extensiones
-De

-Automor. El grupo de Galois. Extensiones normales y separables.nicion de cuerpo : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 -Polinomios : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 -Extensiones de cuerpos : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11 2. Tres problemas clasicos -Construcciones con regla y compas : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 25 -La duplicacion del cubo y la triseccion del angulo : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 26 -La cuadratura del crculo : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 28 3.

smos y grupo de Galois : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 36 -Extensiones normales : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 41 -Extensiones separables : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 46 -Teorema fundamental de la teora de Galois y ejemplos : : : : : : : : : : : : : : : : : : : : : : : : : : 49 4. Grupos .

nitos y cuerpos .

-Repaso de teora de grupos : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 67 -Series de composicion y grupos solubles : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 67 -Cuerpos .nitos.

\Galois Theory". Clark. . Alhambra. Resolubilidad por radicales. Ed Chapman and Hall. -El teorema de Galois : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 77 -Algunas aplicaciones : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 79 Bibliografa: I. \Elementos de Algebra Abstracta". Ed.nitos : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 71 (Apendice de teora elemental de grupos). Stewart.  A. 5.

.

se puede a.Ideas que subyacen a la Teora de Galois De forma poco precisa pero ilustrativa.

y con el que a veces se la identi.rmar que la Teora de Galois estudia las \simetras" de las soluciones de ecuaciones algebraicas xn +an 1 xn 1 +: : :+a1 x+a0 = 0. El resultado mas conocido de esta teora.

es que si n > 4 hay ecuaciones para las que x no se puede despejar a partir de los coe.ca.

restas. la contribucion de Galois fue dar condiciones necesarias y su. En realidad este resultado es algunos a~nos anterior al famoso trabajo de Galois y fue probado en 1826 por Abel (RuÆni haba obtenido con anterioridad una demostracion poco rigurosa).cientes en terminos de sumas. multiplicaciones divisiones y radicales. Como veremos. por tanto no existe ninguna formula de este tipo que resuelva la ecuacion general de grado n > 4.

En la practica suele ser difcil veri.cientes para la resolubilidad por radicales en terminos de un grupo. que re eja las \simetras" de las soluciones de la ecuacion. el grupo de Galois.

RuÆni y Abel. Gauss. permitiendo perfeccionar y aclarar ideas de Lagrange. El grupo de Galois.car estas condiciones para una ecuacion dada porque el grupo de Galois puede ser muy complicado de calcular. x1. pero desde el punto de vista matematico la relacion entre grupos de simetras y resolucion de ecuaciones es muy reveladora. es facil comprobar que sus coe. Descomponiendo el polinomio P (x) = xn + an 1 xn 1 + : : : + a1 x + a0 = 0 en factores.

xn (se tiene por ejemplo a0 = ( 1)n x1 x2 : : : xn y an 1 = x1 + x2 + : : : + xn ).cientes se pueden expresar como polinomios simetricos de las races x1 . por tanto cualquier permutacion de las races deja invariantes los coe. x2 : : : .

cientes. El grupo de Galois se de.

x3 = x31 . Como en general no hay relaciones entre las races. Grupo de Galois y resolucion de ecuaciones. Por ejemplo.ne como el conjunto formado por las permutaciones que son compatibles con las relaciones algebraicas que pudiera haber entre las races. Resolver P (x) = 0 implica pasar de los coe. x2. el grupo de Galois suele ser el grupo Sn de todas las permutaciones de n letras. las races de x4 + x3 + x2 + x +1 son x1 = e2i=5 . x2 = x21 . x4 = x41 y la permutacion que intercambia x1 y x2 no se incluye en el grupo de Galois porque si x1 pasa a ser x2 entonces x2 = x1  x1 debiera pasar a ser x2  x2 = x4 y no a x1 . De hecho no es difcil comprobar que solo hay cuatro permutaciones validas.

cientes que son invariantes por todas las \simetras" (permutaciones) a las races que son intercambiadas por ellas. El grupo de Galois mide el numero mnimo de simetras para que una funcion de las races se pueda escribir en terminos de los coe.

Concretamente. Galois demostro que una funcion i .cientes.

racional (cociente de polinomios) de las races se puede escribir como una funcion racional de los coe.

cientes si y solo si es invariante por el grupo de Galois. tercer y cuarto grado se usan radicales para ir rompiendo poco a poco p 2 las simetras de los coe. En las formulas clasicas para resolver las ecuaciones de segundo.

al resolver x + bx + c = 0 aparecep b 4c que pasa de la funcion simetrica b2 4c = (x1 + x2 )2 4x1 x2 a la no simetrica b2 4c = (x1 x2 ). Por otra parte q 2 r q 2 p3 1 2 2 + = (x1 + x2 +  2 x3 )3 con  = cos + i sen 4 27 27 3 3 implica que la raz cubica de esta expresion no es invariante por nada distinto de la identidad. mientras que algunos calculos prueban que 1 q 2 p3 + = (x x )2 (x x )2 (x x )2 4 27 108 1 2 1 3 2 3 y por tanto p q 2 =4 + p3 =27 solo es invariante por A3 (permutaciones pares). La idea fundamental de Galois es que los radicales reducen las simetras de una forma muy particular que queda . observese que p y q son invariantes por S3 (en el sentido de que no varan al cambiar x1 . x3 por x(1) . x3 a las races de la ecuacion anterior. Un ejemplo un poco mas complicado es la ecuacion de tercer grado x3 + px + q = 0 cuya solucion viene dada por s x= 3 q + 2 r q2 4 + p3 p 3 27  s 3 q + 2 r q 2 p3 + : 4 27 Obteniendose las tres races a base de elegir los tres posibles valores (complejos) para la raz cubica. x3 + px + q = (x x1 )(x x2 )(x x3 ) ) p = x1 x2 + x1 x3 + x2 x3 . q = x1 x2 x3 : De nuevo. x(2) . x(3) con  2 S3 ).cientes. x2 . x2 . Por 2 ejemplo. Si llamamos x1 .

Radicales. x3.elmente re ejada en la estructura del grupo de Galois. es decir. Supongamos ahora que tenemos una formula p para resolver la ecuacion general de grado n (cuyo grupo de Galois es Sn ) y que r = A es uno de los radicales mas interiores p (podemos suponer p primo porque p = p ). A es una funcion racional de los p ab a b ii . grupos y la ecuacion general de grado n.

coe.

x2 .cientes y por tanto simetrica en las races x1 . Consideremos el homomor. as pues rp es invariante por Sn . : : : . xn .

x2. xn ): p Notese que  2 Nuc  si y solo si r es invariante por  . : : : x(n) r(x1. como ademas ( ) p = 1 (porque rp es invariante por Sn ).  2. hay elementos en la imagen distintos de 1. esto es p Im  = f1. : : : .  3 .smo (pruebese que lo es)  : Sn   ! C f0g. Si  ha roto algunas simetras. . : : : .  p 1 g con  = cos 2p + i sen 2p : Como Im  (con la multiplicacion) es isomorfo a ZZp . se deduce que la imagen de  esta formada por las races de la unidad de ndice p. x(2). por el teorema del isomor.  Æ ! r x(1) .

La demostracion de que A5 (y en general An ) no tiene subgrupos normales no triviales es un poco tediosa pero no excesivamente complicada. 3)(1. Todo esto queda resumido en el siguiente resultado: p 0 Si la ecuacion de grado n es soluble por radicales. (2. Esencialmente.smo se tiene Æ Sn Nuc   = ZZp : Recapitulemos todo lo hecho: Hemos p partido de la expresion A que es invariante por G0 = Sn y hemos demostrado que A es invariante por G1 = Nuc  y que si G1 G0 se 6 = debe tener G0 =G1  = ZZp . las cadenas son S2  fIdg. iii i . 1  i  m. 2)(3. Para las ecuaciones de grados n = 2. se prueba que Æ 1 si  2 A5 . entonces f   2 A5 g = A5 y por tanto no existe ningun fIdg 6= H 6= A5 tal que  1H = H para todo  . 4). Lo mismo ocurre siempre que n  5. 3 y 4. pero no existe ninguna cadena similar en el caso n = 5. S4  A4  h(1. existe una cadena de grupos G0 = Sn  G1  G2  : : :  Gm = fIdg tales que cada uno es subgrupo normal del anterior y Gi 1 =Gi  = ZZp . La idea es que esta debiera comenzar por S5  A5 y como A5 no tiene ningun subrupo normal no trivial no podemos completar esta cadena.  6= fIdg. y por tanto no existe una solucion con radicales para la ecuacion quntica general. Todo este proceso se puede repetir al a~nadir un nuevo radical \reduciendo" G1 a G2 con G1 =G2  = ZZp y as sucesivamente hasta llegar a fIdg que corresponde a una expresion que no es invariante por nada y de la que podemos despejar las races. S3  A3  fIdg. 4)i  fIdg.

fue Galois quien puso de mani.x4. El teorema de Galois. A pesar de que una parte de las ideas de la seccion anterior estan implcitas en el trabajo de Abel sobre la imposibilidad de resolver la quntica por radicales.

esto la estrecha relacion entre la resolubilidad por radicales y la teora de grupos. Su resultado principal contempla ecuaciones cuyo grupo de Galois no es necesariamente Sn y permite dar una condicion necesaria y su.

Teorema (de Galois):La ecuacion P (x) = 0 se puede resolver en terminos de sus coe.ciente para que las races de una ecuacion se puedan expresar mediante radicales.

m. tiene una cadena de subgrupos G = G0  G1 : : :  Gm 1  G cada uno subgrupo normal del anterior y con Gm el grupo trivial. 2 : : : . G. iv . de modo Æm que Gi 1 Gi  ZZpi con pi primo.cientes con expresiones obtenidas por composicion de funciones racionales y radicales si y solo si el grupo de Galois. i = 1.

multiplicacion y division de p racespde polinomios da lugar a nuevas races de polinomios. resta. Cuerpos y sus extensiones x  n de cuerpo. As.1. 1. por ejemplo. como 1 + 2 y 3 2 son races de polinomios p p con coe. Definicio Un sorprendente teorema que demostraremos mas adelante implica que la suma.

entonces (1 + 2)( 3 2) es tambien raz de un polinomio con coe.cientes en Q. 2 2 concretamente de x 2x 1 y x + 4x + 1.

concretamente de x4 + 8x3 10x2 8x + 1 = 0. la cual corresponde a la idea intuitiva de cuerpo. Esto sugiere que la estructura algebraica natural para estudiar races de polinomios es aquella en la que podemos sumar.cientes en Q. restar. K es un anillo tal que K respecto a la multiplicacion.  n: Definicio f0g es un grupo abeliano con Para aquellos que tengan problemas para identi. multiplicar y dividir (salvo por cero). Un cuerpo.

car la de.

nicion anterior con su signi.

de modo que se veri.cado intuitivo. es un conjunto dotado con dos operaciones cerradas. se recuerdan los conceptos de anillo y de grupo que ya se introdujeron el curso pasado. A. (suma y multiplicacion). Un anillo.

G. Un grupo. . iii) Se cumplen las leyes distributivas (a  b) c = (a c)  (b c) y c (a  b) = (c a)  (c b). es un conjunto dotado con una operacion cerrada. ii) es una operacion asociativa en A.can las siguientes propiedades:  n: Definicio y i) A es un grupo abeliano con respecto a . tal que se veri.

Observese que intuitivamente un anillo (conmutativo) es un conjunto en el que podemos sumar. 1 . mientras que un grupo abeliano es un conjunto en el que podemos sumar y restar (sumar el inverso). Æ iii) Existe el elemento inverso: 8g 2 G 9h 2 G h  g = g  h = e. restar y multiplicar.can las siguientes propiedades:  n: Definicio  es asociativa: g  (h  f ) = (g  h)  f . Si ademas  es una operacion conmutativa (g  h = h  g ) se dice que el grupo i) Nota: es abeliano o conmutativo. Æ ii) Existe el elemento neutro: 9e 2 G e  g = g  e = g 8g 2 G.

Ejemplo 2. anillos y grupos respectivamente. C = a + b 2 a. Para comprobarlo. sin indicar explcitamente que lo son siempre que ello no de lugar a confusion. Ejemplo 4. es decir.  p Æ Ejemplo 5. de un anillo (conmutativo). 3) son todas las combinaciones lineales enteras de 2 y 3. en los que es una operacion conmutativa y tiene elemento neutro. A y G para designar cuerpos. es un subconjunto de A cerrado con respecto a la suma y tal que si a pertenece a A y x pertenece a I . as I = (2) en ZZ son los numeros pares. Su estructura se conoce con el nombre de semigrupo. ZZ es un grupo abeliano con la suma. por ejemplo. ZZ es una anillo. Q es un cuerpo. ZZ no es un grupo con el producto (porque no existe elemento inverso). Muchas veces se indican los ideales por sus generadores. de hecho en este ejemplo forman un cuerpo. I . y (2. entonces su producto pertenece a I . No es difcil ver que (2. La notacion A=I indica las clases de equivalencia modulo el ideal. en este curso solo se consideraran anillos conmutativos y unitarios. Nota: Es conviente recordar tambien que en un anillo puede haber elementos con inverso multiplicativo. Ademas. Tambien es importante recordar que un ideal. y se les llama unidades. b 2 ZZ es un anillo con respecto a la suma y el producto habituales. ZZ=(2) (escrito tambien ZZ=2ZZ o a veces ZZ2 ) son las clases de numeros pares e impares. Veamos algunos ejemplos de cuerpos y anillos: Ejemplo 1.En estas notas se usaran las letras K . A. Ejemplo 3. Estas clases tienen de nuevo estructura de anillo. observese que la suma y el producto estan bien p de. 3) = ZZ.

nidas en pC . es decir. . .

2 C ) + .

2 C yp .

2 C . Porque si = a + b 2 y p.

= c + d 2
entonces +

= (a + c) + (b + d) 2 2 C y

= (ac + 2bd) + (ad + bc) 2 2 C . Una
vez realizadas estas comprobaciones, las propiedades i), ii) y iii) de la de

nicion de anillo estan garantizadas porque se cumplen en IR y C  IR. C 0 = a + b 2 a. A este cuerpo se le denota con Q( 2) (el porque de esta notacion quedara claro mas adelante). Se puede demostrar que C 0 es un anillo procediendo como en el ejemplo anterior porque all no usamos la hipotesis de que a y b eran enteros (solo que la multiplicacion era cerrada para ellos). As pues solo falta comprobar que C 0 es un grupo abeliano con respecto al producto. b 2 Q es un cuerpo p con respecto a la suma y el producto habituales. p Æ  Ejemplo 6. Obviamente el producto es conmutativo y asociativo (porque C 0 es 2 .

p un anillo conmutativo) y tiene elemento neutro 1 = 1 + 0 2. Es un cuerpo con un numero . 1. es decir. Ademas como p 1 p = aa2 b2b22 = a2 a 2b2 a+b 2 a2 b 2b2 p 2 2 C0. Recuerdese que ZZ=pZZ son las clases de congruencia modulo p: 0. Este cuerpo se suele denotar con IFp . Si p es primo ZZ=pZZ es un cuerpo. Ejemplo 7. tambien existe elemento inverso. : : : . p 1. todos los posibles restos al dividir por p.

nito de elementos. A pesar de que existen otros cuerpos .

nitos seguramente es demasiado prematuro introducirlos ahora. Esta propiedad es tan importante a la hora de clasi. Observese que en IFp se cumple 1 + 1 + 1 + p: :veces : : : : + 1 = 0.

car los cuerpos que requiere una de.

bajo la relacion de equivalencia r=s  t=u . el cuerpo de fracciones de D es el conjunto de expresiones de la forma r=s con r.nicion especial. Dado un dominio de integridad. s 2 D. As por ejemplo IR y Q tienen caracterstica cero y IFp tiene caracterstica p. Notese que D se puede identi. Ejemplo 8. (esto es. Diremos que un cuerpo tiene caracterstica n si n es el menor numero natural tal que 1 + 1 + n: :veces : : : : + 1 = 0. ru = ts. Si esta suma fuera siempre distinta de cero se dice  n: Definicio que el cuerpo tiene caracterstica cero. s 6= 0. D. un anillo conmutativo con unidad tal que ab = 0 ) a = 0 o b = 0).

car con los elementos de la forma r=1. Por ejemplo. 1. entonces A=(1+ p p 2) Notese primero que n + m 2 = n m + m(1 + 2) = n m. Por otra parte. digamos p = n2 + 2m2 . m 2 ZZ . el cuerpo de fracciones de D es el cuerpo que resulta si permitimos dividir en D. se puede demostrar que A=(n + m 2) es \isomorfo" a IFp . Con ello hemos demostrado que A=(1 + 2) es practicamente identico a IF3 . En general. 2 (es facil comprobar p que estas tres clases son distintas). n = n + (1 2)(1 + 2) = n 3: As pues A=(1 + 2) = 0. Si A  C es el anillo A = n + m es un cuerpo de tres elementos.  Ejemplo 9. 3 . y por tanto basta considerar p clasesp cuyos representantes sean numeros p enteros. Intuitivamente. si un primo p es suma de un cuadrado y el p doble de un cuadrado. el cuerpo de fracciones de ZZ es Q. p p Æ 2 n.

x 2. Polinomios. Un polinomio es una expresion de la forma an xn + an 1 xn una indeterminada y los coe.

cientes ai pertenecen a un anillo. 1 + : : : + a0 donde x es El conjunto de todos los polinomios sobre el anillo A (con coe.

Si P = 0 escribiremos formalmente @P = 1. x2 . etc. x3]. Q 2 A[x] 1) @ (P + Q)  max(@P. x2 ].1 : Si A es un dominio de integridad. etc. @Q) 2) @ (P Q) = @P + @Q. A[x1 ] [x2 ] [x3 ]. A[x1 .: Las propiedades 1) y 2) se siguen f acilmente de la de. Dem. Abreviaremos la notacion A[x1 ] [x2 ]. Ademas si P. escribiendo simplemente A[x1 . Se dice que A[x] es   el anillo de polinomios sobre A.  n: Definicio Proposicion 2. A[x] tambien lo es. Si P 2 A[x]. Observese que estos anillos corresponden a los polinomios de varias variables.cientes en A) en la indeterminada x se denota con A[x] y tiene una estructura natural de anillo. P = an xn + an 1 xn 1 + : : : + a0 con an 6= 0 diremos que P tiene grado n y se escribe grad P = n o tambien @P = n.

K [x] es un dominio eucldeo. entonces existiran P y Q 2 A[x] f0g tales que P Q = 0 y esto contradice 2). Es decir  Æ A(x) = P=Q P. Q 2 K [x] con Q 6= 0 entonces existen dos polinomios C y R determinados unicamente tales que P = QC + R con @R < @Q: El principal interes de los dominios eucldeos es que se puede de. Q 6= 0 : Proposicion 2. Mas concretamente. Si A es un dominio de integridad. por la proposicion anterior tiene sentido considerar el cuerpo de fracciones que se denota con A(x).nicion de grado (ejercicio).2 : Si K es un cuerpo. Por otra parte si A[x] no fuera un dominio de integridad. si P. Q 2 A[x].

los recordamos aqu. A pesar de que estos conceptos seguramente son ya conocidos por el lector. Si P. de modo que el maximo comun divisor de P y Q tambien se puede de.  n: Definicio Recuerdese que un dominio eucldeo es en particular un dominio de ideales principales (todo ideal se puede generar con un elemento). Q 2 K [x] se dice que D 2 K [x] es un maximo comun divisor de P y Q si DjP . DjQ y cualquier otro divisor comun de P y Q divide a D.nir el maximo comun divisor y se tiene el \algoritmo de Euclides" para hallarlo.

Q). Nota: * Para una de.nir como un generador del ideal (P.

4 .203. Clark p.nicion mas formal vease el libro de A.

Es decir. Q 2 K [x] f0g y D es su maximo comun divisor.5 : Sean P. B 2 K [x] tales que D = AP + BQ: La demostracion de estas dos ultimas proposiciones se basa en el algoritmo de Euclides que consiste en hallar el maximo comun divisor aplicando repetidamente el siguiente lema Lema 2.2. entonces existen A. Si D es un maximo comun divisor de P y Q entonces tambien lo es de Q y R.3): Dem. De P = QC + R se deduce que S 2 K [x] es divisor comun de P y Q si y solo si lo es de Q y R.: (de la proposicion 2.4 : Si P.Proposicion 2. si D1 y D2 son dos maximos comunes divisores de P y Q entonces D1 = kD2 con k 2 K f0g. Como los divisores comunes coinciden. Dem. Q 2 K [x] y sean C y R como en la Proposicion 2. tambien coinciden los maximos comunes divisores. tienen un maximo comun divisor y es unico salvo unidades.3 : Dados dos polinomios en K [x] no simultaneamente nulos. de. Proposicion 2. Dados P1 = P y P2 = Q en K [x] con Q 6= 0.

2.namos P3 como el polinomio R en la Proposicion 2. Ahora repetimos el proceso para de.

Pn 2 = DCn 2 + D: La penultima igualdad permite escribir D en terminos de Pn 3 y Pn 2 . y obviamente este debe ser Pn 1 o kPn 1 . aplicando el Lema 2. : : : Pn 3 = Pn 2 Cn 3 + D. es decir P1 = P2 C1 + P3 . Como ya indicamos en la demostracion de la Proposicion 2. la antepenultima igualdad permite escribir D en terminos de Pn 4 y Pn 3 . La aplicacion repetida del Lemma 2. P2 = P3 C2 + P4 . Q = P3 C2 + P4 . D = (1+ Cn 3 Cn 4 )Pn 3 Cn 3 Pn 4 . concretamente D = Pn 3 Pn 2 Cn 3 . el proceso anterior termina con cierto Pn = 0 y por tanto Pn 2 = Pn 1 Cn 2 . y as sucesivamente. Iterando este proceso se obtiene .4): Dem.5 implica que un maximo comun divisor de P y Q es tambien un maximo comun divisor de Pn 1 y 0. (de la proposicion 2. : : : Como @P2 > @P3 > @P4 > : : :.3. P3 = P4 C3 + P5 .5 se tiene P = QC1 + P3 .nir P4 a partir de P2 y P3 y as sucesivamente.

Calcular el maximo comun divisor de P = x4 + x3 5x2 + 4x + 3 y Q = x3 6x + 9. 5 . Ejemplo .4.nalmente la igualdad que asegura la proposicion. y expresarlo de la manera indicada en la Proposicion 2.

Procedemos con el algoritmo de Euclides: x4 + x3 5x2 + 4x + 3 = (x3 6x + 9)(x + 1) + x2 + x 6 x3 6x + 9 = (x2 + x 6)(x 1) + x + 3 x2 + x 6 = (x + 3)(x 2): Por tanto el maximo comun divisor es x + 3. ademas x + 3 = (x 1)(x2 + x 6) + x3 6x + 9  = (x 1) x4 + x3 5x2 + 4x + 3 (x + 1)(x3 6x + 9) + x3 6x + 9.4 se puede repetir paso por paso en otros dominios eucldeos. y 2 ZZ (de hecho tiene in. en ZZ. si d es el maximo comun divisor de a y b. entonces la ecuacion d = ax + by tiene solucion con x. de donde x + 3 = (1 x)P + x2 Q. Notese que la demostracion de la Proposicion 2. As por ejemplo.

4 puede usarse como algoritmo para calcular el inverso en algunos cuerpos de.nitas). La demostracion de la Proposicion 2.

Hallar el inverso de 8 en ZZ=29ZZ. Para mayor claridad veamos primero un ejemplo en ZZ.4 en ZZ se tiene que 1 = 29n + 8m se cumple para ciertos n.nidos como cocientes de anillos por ideales. segun el analogo de la Proposicion 2. Sean P = x4 + x3 + x2 + x + x + 1 y Q = x2 + x + x + 1. Concretamente 29 = 8  3 + 5 8=51+3 5=31+2 3=21+1 1=12+0 ) (4a (3a (2a (1a ecuacion) 1 = 3 2  1 ecuacion) 1 = 3 (5 3  1)  1 = 5  ( 1) + 3  2 ecuacion) 1 = 5  ( 1) + (8 5  1)  2 = 8  2 + 5  ( 3) ecuacion) 1 = 8  2 (29 8  3)  3 = 29  ( 3) + 8  11: As pues podemos tomar n = 3 y m = 11 y se concluye que 11 es el inverso de 8. Ejemplo 2. Ejemplo 1. Calcular el inverso de Q en Q[x]=(P ). m 2 ZZ. . Observese que los razonamientos son analogos a los del ejemplo anterior. por tanto 1 = 8  m y m es la clase que buscamos.4. Para calcular m y n se puede proceder usando el algoritmo de Euclides como en la demostracion de la Proposicion 2. Veamos ahora un ejemplo con polinomios. Como el maximo comun divisor de 29 y 8 es 1. 6.

7 (Teorema Fundamental del Algebra): P 2 C[x] es irreducible .6 : Todo polinomio de K [x] se puede descomponer como producto de polinomios ireducibles. P . todo polinomio no constante de C[x] se puede descomponer Nota: en factores lineales. Recuerdese que un polinomio.8 (Criterio de Eisenstein): Si P = an xn + an 1 xn 1 + : : : + a0 es un polinomio con coe. tambien se cumple Proposicion 2. el maximo comun divisor de P y Q es 1. 2 2 Q. El polinomio P = x2 6x + 7 es irreducible en Q[x] porque no se ppuede escribir como a(x 1p )(x 2 ) con p 1 . es irreducible si no puede escribirse como P = QR con @Q.Como comprobaremos inmediatamente con el algoritmo de Euclides. al igual que en ZZ todo numero se puede descomponer en factores primos. Si K 6= C. @R < @P . Equivalentemente. ademas esta descomposicion es unica salvo el orden de los factores y multiplicacion por elementos de K f0g. Proposicion 2. Otra propiedad interesante de los dominios eucldeos es que son de factorizacion unica. Calculemos A y B procediendo como en el ejemplo anterior: P = Q  x2 + (x + 1) Q = (x + 1)  x + 1 x + 1 = 1  (x + 1) + 0 ) (2a ecuacion) 1 = Q x(x + 1) (1a ecuacion) 1 = Q x(P x2 Q) = xP + (x3 + 1)Q: Por tanto el inverso de Q es x3 + 1. Un criterio que es de utilidad en algunos casos es el siguiente. Ejemplo . @P  1. en general es muy difcil saber si P 2 K [x] es irreducible. es decir. sin embargo P no es irreducible en Q( 2)[x] porque P = (x 3 + 2)(x 3 2) En C[x] la cuestion de irreducibilidad de un polinomio es muy sencilla gracias al siguiente resultado  Teorema 2. con lo cual B es el inverso de Q. B 2 Q[x] y por tanto 1 = BQ. as pues 1 = AP + BQ para ciertos A.

cientes enteros y p es un primo tal que p6 jan , pjai si 0  i < n y
p26 ja0 entonces P es irreducible en Q[x].
Dem.: Por el Lema de Gauss (v
ease mas abajo), si P no es irreducible se puede
l
l
1
escribir como P = (bl x + bl 1 x + : : : + b0 )(cm xm + cm 1 xm 1 + : : : + c0 ) con l + m = n
y bi ; ci 2 ZZ. Igualando los coe

cientes de los terminos del mismo grado, se tiene
a0 = b0 c0 ; a1 = b1 c0 + b0 c1 ; a2 = b2 c0 + b1 c1 + b0 c2 ; : : :
7

Por hipotesis pja0 pero p26 ja0 , as pues p divide a b0 o a c0 pero no a ambos simultaneamente.
Supongamos por ejemplo que p divide a b0 , entonces por la segunda igualdad, pjb1 y por
la tercera pjb2 y en general pjbi 0  i  l, lo que implica que p divide a todos los ai lo que
contradice nuestra hipotesis p6 jan .
Damos tambien otro criterio de irreducibilidad que es muy simple pero efectivo (la
demostracion se deja como ejercicio).

Proposicion 2.9 : Sea P

2 ZZ[x] monico y sea P 2 IFp [x] el polinomio que resulta al

reducir los coe

Gauss demostro que en ambos anillos el concepto de irreducibilidad es el mismo. si P es irreducible Q = (x + 1)p 1 + (x + 1)p 2 + : : : + (x + 1) + 1 tambien lo es (ejercicio) y como (x + 1)p 1 = xp Q= x+1 1 1+ p 1 xp 2 + p 2 xp 3 + : : : +  p p 2  x+  p p 1  . Dem. As pues.cientes modulo p. Para ello basta comprobar que todo elemento no nulo tiene inverso multiplicativo. A pesar de que no es posible aplicar directamente el criterio anterior. El polinomio x3 17x2 + 105 es irreducible en Q[x].: Si P = P1 P2 con P1 . En general. el criterio de Eisenstein es aplicable sobre Q (ejercicio). porque al tomar modulo 2 obtenemos x3 + x2 + 1 y si este polinomio se pudiera descomponer en IF2 se podra escribir como (x2 + ax + b)(x c) pero esto es imposible porque ni x ni x 1 dividen a x3 + x2 + 1. n. en general. Por ejemplo. (Polinomio Ciclotomico) Gauss demostro que si p es primo el polinomio (ciclotomico) P = xp 1 + xp 2 + : : : + x + 1 es irreducible en Q[x]. K [x]=(P ) es un cuerpo. Lema 2. es un cuerpo. B es el inverso de Q y existe siempre que que Q 6= 0. El recproco. no se cumple. Si Q 62 (P ). Hay cierta falta de simetra en los criterio anteriores. umero natural.  n: Observacio Ejemplo 1. Como consecuencia del ejemplo anterior deducimos que Q[x]=(P ). B 2 Q[x] tales que 1 = AP + BQ. P = x2 + x + 1 es irreducible en Q[x] pero no lo es en IF3 . como P es irreducible en Q[x]. Si @P = @P y P es irreducible en IFp [x] entonces P es irreducible en Q[x]. Ejemplo 2. donde P = xp 1 + xp 2 + : : : + x + 1. porque partimos de un polinomio en ZZ[x] y concluimos que es irreducible en Q[x]. Ejemplo 3. P2 2 Q[x] multiplicando por cierto n 8 .10 (de Gauss): Si P 2 ZZ[x] es irreducible en ZZ[x] tambien lo es en Q[x]. si P es irreducible en K [x]. el maximo comun divisor de P y Q es 1 y existen A.

ci 2 ZZ: Supongamos que n es el menor numero tal que nP se descompone en ZZ[x]. sea p un divisor primo de n.que cancele todos los denominadores tenemos que (2:1) nP = (bl xl + bl 1 xl 1 + : : : + b0 )(cm xm + cm 1 xm 1 + : : : + c0 ) con bi . entonces no todos los bi ni todos los ci pueden ser divisibles por p (ya que en ese caso podramos simpli. Supongamos que n > 1. si n = 1 el lema esta probado.

p6 jcj pero pjbr . Sean bi y cj tales que p6 jbi .1) los coe. j = 0). entonces igualando en (2.car por p en (2.1) reduciendo n a n=p). s < j (podra ocurrir que i. pjcs si r < i.

p6 jcj .  n: Sea un cero de P 2 K [x].11 (Regla de RuÆni): es un cero de un polinomio de K [x] si y solo si x divide a ese polinomio. Proposicion 2.12: El numero de races de P 2 K [x] contadas con su multiplicidad es menor o igual que @P .  n: Se dice que 2 A es un cero o una ra Definicio z de P 2 A[x] si P ( ) = 0. Nota: A un cero de multiplicidad uno se le suele llamar cero simple. Un polinomio de A[x] se puede considerar tambien como una funcion A ! A sin mas que sustituir la variable indeterminada por elementos del anillo. Corolario 2.  n: Se dice que un polinomio de K [x] es m Definicio onico si su coe.cientes de grado i + j se tiene nai+j = bi+j c0 + bi+j 1 c1 + : : : + bi cj + : : : + b0 ci+j y de aqu se deduce que pjbi cj en contra de nuestra hipotesis p6 jbi . Se dice que tiene multiplicidad n si Definicio (x )n jP y (x )n+16 jP .

ciente de mayor grado es 1. Supongamos que un polinomio monico P tiene @P races. entonces por la Regla de RuÆni se descompone en factores lineales P = xn + an 1 xn 1 + : : : + a0 = (x 1 )(x 2 ) : : : (x n ) y operando en el segundo miembro e igualando coe.

cientes. se tiene que los coe.

: : : . : : : . 2 . xn ) se le suele llamar polinomio simetrico elemental de grado k y n variables. : : : . 2 = 1 2 + 1 3 + : : : + n 1 n . x2 . En general se dice que un polinomio en varias variables es simetrico si queda invariante bajo cualquier permutacion de sus variables. n ) donde k es un polinomio en 1 . 9 . : : : n = 1 2 : : : n Notacion: A k (x1 . n igual a la suma de todos los posibles productos de k de estas variables. 2 . Por ejemplo 1 = 1 + 2 + : : : + n .cientes se pueden expresar en terminos de las races con la formula an k = ( 1)k k ( 1 .

El siguiente resultado justi.

: : : . Ahora repetimos el proceso con Q escogiendo el monomio 3x1 x2 x3 lo que implica 1 = 2 = 3 = 1 y por tanto (2:3) Q = 33 + Qe con Qe = 2x1 + 2x2 + 2x3 : Observese que Qe = 21 .2) y (2. x3 ] dado por P = x21 x2 + x21 x3 + x22 x1 + x22 x3 + x23 x1 + x23 x2 + 2x1 + 2x2 + 2x3 en terminos de los polinomios simetricos elementales. 2) Sea Q = P k1 1 2 2 2 3 : : : n . Apliquemos el siguiente algoritmo: 1) Seleccionar el monomio kx 1 1 x 2 2 : : : x n (algunos i pueden ser nulos) que tiene mayor grado en x1 . etc. Observese que el monomio selecionado en 1) no aparece en Q y que el algoritmo siempre termina porque al aplicarlo sucesivas veces o bien el grado en x1 se ha reducido o ha quedado igual. etc. as pues de (2. Por la simetra de P se tiene 1  2  : : :  n (ejercicio). es posible probar la unicidad de esta expresion. si todava hubiera varios escojase entre ellos el de mayor grado en x2 y si hubiera varios el de mayor grado en x3 . xn ] sim etrico. Ejemplo Escribir el polinomio P 2 Q[x1 . y en este ultimo caso el grado en x2 se habra reducido o habra quedado igual. (Ejercicio: dar una demostracion detallada de esto). Dem. Entonces P = k1 1 2 2 2 3 : : : n + Q y ahora se repite todo el proceso con Q hasta llegar a Q = 0.: Sea P 2 D [x1 . x2 . x2 . 3 = 0 y se tiene (2:2) P = 1 2 + Q con Q = 3x1 x2 x3 + 2x1 + 2x2 + 2x3 : (Recuerdese que 1 = x1 + x2 + x3 y 3 = x1 x2 x3 ).3) obtenemos . por tanto 1 = 2. 2 = 1. Aunque no lo haremos aqu.ca por que a los k se les llama elementales Teorema 2.13 : Cualquier polinomio simetrico sobre un dominio de integridad se puede expresar como un polinomio sobre dicho dominio cuyas variables son los polinomios simetricos elementales. Segun el proceso descrito en 1) debemos escoger el monomio x21 x2 .

nalmente P = 1 2 33 + 21 : Nota: n n n El teorema anterior tiene gran importancia historica en el desarrollo de la teora de Galois y la teora de grupos en general. 10 . Para ilustrar su interes demostraremos el siguiente resultado Corolario 2.14: Si P 2 Q[x] es un polinomio monico que se descompone en C[x] como P = (x 1 )(x 2 ) : : : (x n ).

entonces para cualquier Q 2 Q[x] el polinomio pertenece a Q[x]. PQ = (x Q( 1 ))(x Q( 2 )) : : : (x Q( n ))  Los coe.

lo que considerando los i como variables de. : : : .cientes de PQ son an k = ( 1)k k Q( 1). Q( n ) . Q( 2).

2 . : : : . Por el teorema anterior. n ].ne un polinomio simetrico de Q[ 1 . an k se puede escribir como un polinomio con coe.

cientes racionales evaluados en 1 ( 1 . 2 . n ). salvo un signo. n ). : : : . y estas ultimas cantidades son racionales porque coinciden.: : : etc. : : : . con los coe. 2 . 2 ( 1 .

: x p3 4 p3  2 ) (x p3 p 4 ( 1 i 3)=2 p3 p es un polinomio de Q[x]. En particular se deduce que con coe. Tomando Q = x2 + x se tiene que Dem. p p p p p Ejemplo . 3 2 ( 1 + i 3)=2 y 3 2 ( 1 i 3)=2.cientes de P . Las races de P = x3 2 son 3 2.

y una vez que hemos \extendido" su. Una de las ideas basicas que aparece en el trabajo de Gauss en ciclotoma es que resolver una ecuacion algebraica requiere a veces pasar por las soluciones de otras ecuaciones auxiliares. x  2 ( 1 + i 3)=2  p p  x 3 4 ( 1 + i 3)=2 p3 p3 p  2 ( 1 i 3)=2 p 4 + 3 2 es raz de un polinomio 3.cientes racionales. Extensiones de cuerpos.

Mas adelante.cientemente el numero de cantidades conocidas podremos factorizar la ecuacion original. Galois demostrara que la naturaleza de estas extensiones queda .

si K es un subcuerpo de L.elmente re ejada en la estructura de cierto grupo. es decir. K  L y las operaciones + y  en K coinciden con las de L. Aunque la de. La notacion que se usa habitualmente para designar una extension es L=K o tambien se usa L : K .  n: Decimos que el cuerpo L es una extensi Definicio on de K .

nicion anterior es satisfactoria en casi todos los casos que apareceran en el curso conviene al menos mencionar otra de.

 n: (generalizada) Decimos que el cuerpo L es una extensi Definicio on de K .nicion un poco mas general y mas conveniente desde el punto de vista abstracto. si existe un monomor.

 n: Un monomor.smo f : K ! L.

smo es una funci Observacio on inyectiva que preserva las operaciones del cuerpo. Esto podra dar la idea de que ambas de.

Por ejemplo.niciones son identicas. es obvio que C es una extension de IR con la primera y la 11 . pero no es exactamente as.

segunda de.

pero si escribimos los elementos de IR usando un sistema de numeracion que utilice letras en vez de numeros y llamamos IR0 al conjunto formado por esas nuevas sucesiones de smbolos.nicion. en rigor no podemos a.

y que IR0 esta incluido en C en el sentido de que existe una funcion inyectiva de IR0 en C. El lector podra arguir que IR y IR0 son esencialmente lo mismo (isomorfos).rmar que IR0  C porque C es un conjunto de numeros y IR0 lo es de letras. con lo cual estara usndo la segunda de.

Si tanto L como K pertenecen a un cuerpo mayor.nicion. apareceran de forma natural al estudiar cuerpos de descomposicion. muchas veces lo mas comodo para de. Aunque estas distinciones no tendran relevancia en general.

nir L es decir que cantidades nuevas a~nadimos a K . esto motiva la de.

3) es simple porque como veremos en un proximo ejemplo. El siguiente teorema es casi trivial. es decir. Q(x)=Q y IR(x. pero ocupa un papel destacado en la teora.p As p por ejemplo. Definicio y se escribe K (C ). Q( 2)=Q y Q(x)=Q(x2 ) son simples y algebraicas. si no es algebraica. entonces L es un espacio vectorial sobre K . 3)  fa + b 2 + c 3 + d 6 a. Q( 2) = fa + b 2 a. en breve veremos que ambos conjuntos son iguales. y )=IR(x) son simples y trascendentes. Ejemplo 2. Ejemplo 2. L=K . (Lindemann 1882) Q( )=Q es trascendente.nicion siguiente. p Ejemplo 1. al menor subcuerpo de M que contiene a K [ C . x) = Q(x2 ) (x). Q( 2. p Q( p 2. c. d 2 Qg. p p Æ Ejemplo 1. De hecho. si L = K ( ) con 2 L. 12 . Q( 2. es 1) simple. IR(i) = C. b 2 Qg. existe un polinomio P 2 K [x] tal que P ( ) = 0. se llama subcuerpo generado por C .1 : Si L=K es una extension de K . 3) = Q( 2 + 3).  Notese en el segundo caso que Q(x) = Q(x2 . p p p p p Æ Ejemplo 3. Teorema 3. Destacamos varios tipos de extensiones de cuerpos:  n: Se dice que una extensi Definicio on. Ejemplo 3. 3) trascendente. 2) algebraica.  n: Sea M=K y C un subconjunto de M . En el proximo captulo veremos una demostracion de este hecho. b.  n: Una extensi on puede ser simple aunque este generada Observacio p aparentemente p por un conjunto de varios elementos. si todo 2 L es algebraico sobre K .

pero antes de enunciarlas es conveniente introducir algunas de. De ello tratan las proposiciones siguientes.Este resultado no sera tan importante si no tuvieramos maneras de calcular dimensiones y bases.

Si el grado es . A la dimension de L como espacio vectorial sobre K se le llama grado de L=K y se escribe [L : K ].niciones.

nito se dice que la extension es .

en caso contrario se dice que es in.nita.

es un cero de P y no hay otro polinomio de grado menor con estas caractersticas. El polinomio mnimo de 4 3 sobre Q es x4 p 3 y sobre Q( 3) es x2 p 3. Proposicion 3.nita. de esta unicamente determinado.2 : Si K  L  M entonces [M : K ] = [M : L][L : K ]: De hecho. P . Q( ) = 0 ) P jQ: p Ejemplo . se dice que P 2 K [x] es el polinomio mnimo de si P es monico. y ademas cumple (ejercicio) 1) P es irreducible 2) Q 2 K [x]. si L=K y M=L son .  n: Definicio No es difcil demostrar que el polinomio mnimo.  n: Definicio Si es algebraico sobre K .

xr g. xr ys g es una base de M=K . x2 . : : : . ys g son sus bases. y2 .nitas y fx1 . : : : . : : : .3 : Toda extension . fy1 . Proposicion 3. entonces fx1 y1 . x1 y2 .

nita es algebraica.4 : K ( )=K es . Proposicion 3.

La hipotesis K  C no es realmente necesaria.5 : Si K  C. En primer lugar deduciremos el teorema que anunciamos en la primera seccion: Teorema 3.nita si y solo si es algebraico sobre K . Nota: Tenemos que demostrar que si y . de hecho  K ( ) = 0 + 1 + 2 2 + : : : + n 1 n 1 con i 2 K : Antes de dar la demostracion de estas proposiciones veamos algunas consecuencias. 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. los numeros algebraicos sobre K forman un cuerpo. Ademas en ese caso [K ( ) : K ] = n donde n es el grado del polinomio mnimo de .

6= 0 son algebraicos. + .

. .

. .

y =.

Por la Proposicion 3.3 basta demostrar que K ( . tambien lo son. .

)=K es .

Pero por la Propoposicion 3. .nita.2 [K ( .

) : K ] = [K ( . .

) : K (.

)][K (.

) : K ] y los dos terminos del segundo miembro son .

4 Dem.nitos por la Proposicion 3.: 13 .

d 2 Q : Notese que no es en absoluto trivial probar que el segundo miembro es un cuerpo sin usar esta igualdad. p p Los polinomios mnimos sobre Q de 2 y 3 son x2 2 y x2 3 respectivamente. La Proposicion 3. c. ya que . El mismo resultado p4 pse podrpa haber deducido de la Proposicion 3. 3).2 considerando las extensiones Q( 3)=Q( 3) y Q( 3)=Q. 3 mnimo de 2 en lap extension Q(p2. b. Las letras cursivas indican los correspondientes grados. x2 2 p es tambi p p p p en elp polinomio Q 2.4 asegura que [Q( 4 3) : Q] = 4 y ademas p  p p p Æ Q( 4 3) = a + b 4 3 + c 4 9 + d 4 27 a. El prop o sito de este ejemplo es comparar los cuerpos Q( 2 . p p p Ejemplo 2. Q( 2+ p p p 3).p Ejemplo 1. 3)=Q(p 3). En este y en otros casos es conveniente representar las extensiones con un diagrama como el que aqu se adjunta. Q( 3) y Q. Q( 2).

. .

se tiene que ambos cuerpos son iguales o equivalentemente. entonces los coe. p p Ejemplo 3. debe tener grado 4. p p Por el ejemplo anterior [Q 2 + 3 : Q] = 4.a c si factorizase en Q( 3) se tendra 2 = r + s 3 con r. as que el polinomio mnimo. 4. por p un divisor p pen Q( 2+ 3)[x] es x 2. Esto permite concluir Q( 2 + 3)  Q( 2. por tanto b . Digamos que es P = x4 + ax3 + bx2 + cx + d. s 2 e p p Q y esto no es posible (basta elevar al cuadrado). Notese que a = 4 es imposible porque 2 + 3 62 Q (de nuevo basta elevar al cuadrado). Q p p 2 Veamos que a = 1 y b = 4.2 asegura ab = cd = ef = 4. para ello consid e rense los polinomios x ( 2+ p p p 3) 3 y 2 x 2. 3) y 3 = ( 2p+ 3)p 2 2 Q( p p y como Q( 2 + 3)  Q( 2. 6 son una base de Q 2.2). 3) es trivial. Como p p p p p p p 1. a = 1 y por tanto b = 4. asp que p2 2 Q( p2+ p3) p tantopsu mapximo com 2 + 3). 2. entonces p p p p p p p p ( 2 + 3 4 + a( 2 + 3 3 + b( 2 + 3 2 + c( 2 + 3 + d = 0: p p p Operando obtenemos una expresi o n de la forma A + B 2 + C 3 + D 6 = 0. P . Ambos estan en Q( 2+ 3)[x] y ambos p pson distintospy tienen a xp= 2 como p ra pz. Calcular el polinomio mnimo de 2 + 3 sobre Q. 3. Q 3) Q 2) La Proposicion 3. c = 2 y las unicas posibilidades para a y b son b = 4=a f d con p ap= 1. 2. Estas Q 2+ 3 p p consideraciones permiten concluir que d = f = e = 2. 3 = Q 2 + 3 (ver Proposicion 3.

14 . c y d) deben ser nulos. B .cientes A. C y D (que dependen de a. Esto nos lleva al sistema de ecuaciones A = 49 + 5b + d = 0 B = 11a + c = 0 C = 9a + c = 0 D = 20 + 2b = 0. b.

4 todo elemento de Q( ) es una combinacion lineal racional de 1. Obviamente 2 + 3 es una raz de Q. y 2 . se tiene . hallar a. por tanto P = x4 10x2 + 1. Otra elppolinomio Q = p 2 manera mas sencilla p de pproceder en este caso es considerar 2 (x 2) 3. ademas @P = [Q 2 + 3 : Q] = 4 implica que es el polinomio mnimo.cuya solucion es a = c = 0. Consideremos el polinomio P = x3 + 3x + 3 2 Q[x].4 existen A. d 2 Q tales que 1 = a + b + c 2 : +1 Sea Q = x + 1. Para eliminar los radicales podemos \multiplicar por el conjugado". b = 10. es decir. pero Q = x 2 2 x 1 62pQ[x]. El proposito de este ejemplo es escribir 1=( + 1) de esta forma. B 2 Q[x] tales que 1 = AP + BQ: En nuestro caso es facil ver que puede tomarse A = 1 y B = x2 x + 4. es el polinomio mnimo de y segun la Proposicion 3. Ejemplo 4. Dividiendo por Q y sustituyendo . d = 1. as P = (x2 2 2 x p p p 1)(x2 + 2p2 x p 1) es un polinomio en Q[x] que tiene a 2 + 3 como raz. y sea una de sus races. b. como P es irreducible el maximo comun divisor de P y Q es 1 y por la Proposicion 2. c. Como P es monico e irreducible (por Eisenstein).

a grado de Q( 3 7. entonces por la Proposicion 3. Calcular el grado del polinomio mnimo de 3 7 en Q( 5 2). se tiene que a = 3. 2) : Q( 5 2)]. es decir. el problema se reduce a calcular p5 3 a =p[Q(p 7. 5 2)=Q. 2 n = 5a y n p= 3pb dondepb es. as pues el grado del polinomio mnimo es menor o .nalmente 1 = 4 + 2 : +1 p p Ejemplo 5.4. igual que 3. 5 2)=Q( 3 7). De hecho. Esto implica que 3 divide a a b y 5 divide a b. Como ya hemos probado que 3 5 3 divide a a. a  3.2 se cumple p3 p5  Q 7. Por otra parte. Designemos por n el grado de Q( 3 7. este mismo argumento ha probado que b = 5 y que n = 15. el . P = x3 7pes un polinomio p p3 p5 de Q( 5 2)[x] (y tambien de Q[x]) tal que 3 7 es uno de sus Q 7) Q 2) ceros. como indica el esquema. Q 15 . Porpla Proposici onp3.

(de la Proposici on 3.2): Nos restringiremos al caso en que las extensiones son .A continuacion daremos la demostracion de las tres proposiciones anteriores. Dem. Observese que en todas ellas el punto crucial esta en la estructura de espacio vectorial.

1) se obtiene que z es una combinacion lineal de elementos de B con coe. como i 2 L (3:2) i = i1 x1 + i2 x2 + : : : + ir xr con ir 2 K: Sustituyendo (3. xr ysg es una base de M=K . Toda la proposicion se reduce a probar que B = fx1y1 . de la misma forma. : : : . ysg (3:1) z = 1 y1 + 2 y2 + : : : + s ys con i 2 L: Pero. x1y2. 1) B es un sistema de generadores: Si z 2 M entonces como M es un espacio vectorial sobre L con base fy1 . y2 . : : : .nitas (el otro queda como ejercicio).2) en (3.

por tanto r X i=1 ij xi = 0 1  j  s: Como los xi son una base de L=K . 2) Los elementos de B son linealmente independientes:. se concluye . ij xi yj = 0 entonces podemos reescribirla como s X r X j =1 i=1  ij xi yj = 0: Los terminos entre parentesis pertenecen a L y los yj son una base de M=L. Supongamos que tenemos una combinacion lineal nula r X s X i=1 j =1 con ij 2 K.cientes en K .

nalmente ij = 0.(de la Proposici on 3.3): Sean L=K y 2 L. Dem. entonces como L=K es .

. existen i 2 K no todos nulos y n 2 IN tales que n n + n 1 n 1 + : : : + 1 + 0 = 0. : : :.nita hay alguna combinacion lineal no trivial nula entre los elementos 1. Dem.4): Considerese el conjunto  A = 0 + 1 + 2 2 + : : : + n 1 n 1 con i 2 K : 16 .(de la Proposici on 3. por tanto es algebraico. 3 . esto es. 2 .

Si a. dividiendo por Q2 y susituyendo . pQuiza p el lector este un poco asombrado por el ejemplo 2 en el que demostramos que Q( 2. Q2 ( ) y por la Proposicion 2. basta ver que no existe ninguna combinacion lineal no trivial nula. lo cual es una contradiccion. Esta claro que A es cerrado por sumas y restas. sino que casi todas las extensiones en las que uno piensa normalmente son simples.4 existen A. Terminamos este captulo mencionando un sorprendente teorema del que se deduce que este no es un caso aislado. Q2 y P son primos entre s y por la Proposicion 2. entonces sera raz de un polinomio de grado menor que n. como @Q2 < @P = n. B 2 K [x] tales que 1 = AP + BQ2 : Multiplicando por Q1 . Si 0 + 1 + : : : + k k con k < n.6 (del elemento primitivo): Si K tiene caracterstica cero y L=K es . basta ver que tambien es cerrado por divisiones (la multiplicacion se reduce a dos Æ divisiones: a  b = a 1=b).3) prueba el resultado. si demostramos que A es un cuerpo se tiene K ( ) = A (porque K ( ) es el menor cuerpo que contiene a ). Sea P el polinomio mnimo de . 3) es simple. b 2 A entonces a=b = Q1 ( )=Q2 ( ) donde Q1 y Q2 6= 0 son polinomios de grado menor que n.2 Q1 B = P C + R con @R < @P = n. lo que sustituyendo en (3.Obviamente 2 A y A  K ( ). para comprobar que [K ( ) : K ] = n. Teorema 3. se tiene (3:3) Q1 ( ) = Q1 ( )B ( ). Finalmente.

entonces es simple. que de. En realidad se puede extender el teorema a cuerpos de caracterstica positiva siempre que se cumpla cierta condicion.nita.

210. Nota: 17 .niremos mas adelante. p. Hay una version mas fuerte (y aparentemente muy distinta) de este teorema en el libro de Stewart. llamada \separabilidad".

18 .

6) Demostrar que si la caracterstica de un cuerpo no es cero. y escribirlo en la forma AP + BQ. p Æ p Æ iii) fa + b 4 3 a. b 2 Qg no es un anillo. c 2 Qg es un cuerpo.Hoja 1 1) Demostrar que ZZ=6ZZ no es un cuerpo. 2) Hallar el inverso multiplicativo de 5 en ZZ=21ZZ usando el algoritmo de Euclides 3) Demostrar que p Æ i) fn + m 3 n. Hallar las unidades. 7) Demostrar que Q[x]=(x2 5x + 6) no es un dominio de integridad. ii) fa + b 3 a. 5) Hallar el generador monico del ideal I = (x3 + 1. entonces es un numero primo. Sea . 4) Hallar el maximo comun divisor de P = x4 + 6x3 + 13x2 + 12x + 3 y Q = x4 + 5x3 + 9x2 + 8x + 2. b. b 2 Qg es un cuerpo. m 2 ZZg es un anillo. x2 + 1) en IF2 [x]. 8) El polinomio f = x3 3x + 1 es irreducible en Q[x]. p p Æ *iv) fa + b 3 3 + c 3 9 a.

Hallar . = x4 3x2 + 2x + 3 2 Q[x]=(f ).

1 y .

2 expresandolos como combinacion lineal de f1. x. 9) Demostrar que en ZZ y en k[x] (k un cuerpo) hay in. x2 g.

e. todo polinomio de grado 1 es irreducible y un polinomio de grado 2 o 3 es irreducible si y solo si no tiene una raz (un cero) en k. (i. 10) Si k es un cuerpo . Se dice que k es algebraicamente cerrado cuando todo polinomio irreducible en k[x] es de grado 1. Observacion: Sea k un cuerpo.nitos irreducibles no asociados. cuando todo polinomio de grado 1 tiene una raz).

IF7 [x]. 11) Estudiar la irreducibilidad de P = x2 + 1 en IF3 [x]. 3 y 4?  13) Demostrar que IF2 [x] (x2 + x + 1) es un cuerpo con cuatro elementos. >Cuantos irreducibles hay de grado 2. IF13 [x] y IF17 [x]. (Notese que esto prueba que existen cuerpo .nito no es algebraicamente cerrado. IF5 [x]. Dar sus tablas de suma y producto. 12) Hallar todos los polinomios irreducibles de grado 4 en IF2 [x]. Intentar inducir (sin demostracion) una regla general que permita decidir la irreducibilidad de P sin calcular sus races. IF11 [x].

nitos distintos de IFp ). 19 .

20 .

como raz. f es irreducible si y solo si a0 xn + a1 xn 1 + a2 xn 2 + : : : + an es irreducible. x6 + x3 + 1 5) Hallar en Q[x] el polinomio monico de grado mnimo (polinomio mnimo) que tenga i a e . x3 7x + 1: 2) Demostrar que x3 x + 1 es irreducible en IF3 [x]. 9) Sea f = a0 + a1 x + a2 x2 + : : : + an xn en K [x] con a0 . Indicacion: Pruebese primero que no admite una raz en ZZ. 10) Demostrar que 2x4 + 4x2 + 1 es irreducible en Q[x]. 3) Demostrar que x5 x2 + 1 es irreducible en IF2 [x]. i) x4 + 3x + 6 ii) x4 + 1 iii) x3 + 1111 x + 1313 iv ) x4 x3 x 1 8) Demostrar que x5 9x2 + 1 es irreducible en Q[x] (Sugerencia: ver problema 3). y que.Hoja 2 1) Decir si son irreducibles en Q[x] los polinomios 3x2 7x 5.  = 2=7. 6x3 3x 18. Demuestrese . Q y C. si fPno es irreducible f = gh con grad g  2 grad h  2. 7) Decidir si los siguientes polinomios son reducibles en IR. 6) Demostrar que xm p (p primo) es irreducible en Q[x]. an 6= 0. x6 6x + 2 x2 + 1. 11) Demostrar que un polinomio de la forma f = xn + px + p2 es irreducible en ZZ[x]. xp 1 + xp 2 + : : : + x + 1 (con p primo). x4 + 1. 4) Los siguientes polinomios son irreducibles en Q[x] x5 3x + 3. por tanto.

de donde se deduce en particular que p2 jp = g0 h1 + g1 h0 (absurdo).nalmente que si g = gi xi P y h = hj xj . hj  0 (p) 8j < grad h. se tiene que gi  0 (p) 8i < grad g . Demostrar las \identidades de Newton" ( 1)k+1 sk = ( 1)k+1 sk = kX1 ( 1)i si k i i=0 kX1 i=k n ( 1)i si k i para 0 < k  n para k > n donde i son los polinomios simetricos elementales. 13) Sea sk = xk1 + xk2 + : : : + xkn para 0 < k y s0 = k. Indicacion: Defnase i = 0 para i > n y aplquese induccion para demostrar simultaneamente ambas identidades. 12) Escribir x21 + x22 + x23 y x31 + x32 + x33 en terminos de los polinomios simetricos elementales. 21 .

22 .

. 2) Demostrar que una extension de grado primo es simple. 3)=Q viii) Q( 5. 3) Sea K ( .Hoja 3 1) Hallar el grado de las siguientes extensiones y decir de que tipo son: p p i) Q( 4 2)=Q( 2) ii) Q(e2i=5 )=Q p p iii) IR( 3)=IR iv ) IR( 4 3)=IR v ) IF7 (t)=IF7 (t2 ) vi) IF7 (t)=IF7 p p3 p p vii) Q( 3. 6 5)=Q ix) A=Q donde A son los numeros algebraicos sobre Q.

) una extension algebraica de K . n = [K ( ) : K ]. n.

= [K (.

) : K ] y n = [K ( . .

n. ) : K ] i) Demostrar que mcm(n .

)jn y n  n  n.

. >Que se puede decir si n y n.

son coprimos? ii) Mostrar un ejemplo con n 6= n.

en el que se cumpla n < n  n.

5 3) : Q]. . p p 4) Hallar [Q( 7 2. 5) Sean y .

en L=K tales que [K ( ) : K ] = m y [K (.

Demostrar que el grado del polinomio mnimo de . ) : K ] = n.

en K ( ) es n si y solo si el grado del polinomio mnimo de en K (.

Indicacion: Hallese primero el polinomio mnimo de  = e2i=p . 23 . 7)=Q es simple sin usar el teorema del elemento primitivo. Suponiendo que el polinomio mnimo de es x3 + x 1. Q( n + m) y Q( nm). hallar el polinomio mnimo de 2 . m). calcular [K ( 2 ) : K ]. p p p 12) Demostrar que Q( 3. ) es m. y 2 . p p p 6) Calcular el polinomio mnimo de 3 + 5 en Q( 15). 8) Si K ( )=K es una extension de grado tres. Escribir ( + 1)=( 1) como una combinacion lineal de 1. p p 13) Hallar el grado de la extension Q 1 + 3 =Q. 7) Sea una raz de P = x3 x 2 2 Q[x]. p p 9) Calcular el polinomio mnimo de 3 9 + 3 3 1 10) Calcular el grado del polinomio mnimo de cos(2=p) sobre Q donde p es un primo. 5. comparar los cuerpos p p p Q( n. 11)pSi n y mp son enteros positivos y no son cuadrados perfectos.

24 .

Construcciones con regla y compa Los problemas que consideraremos tratan acerca de construcciones con regla y compas. y el compas solo se puede usar para trazar una circunferencia de la que se conocen centro y radio. El principal interes de tratarlos aqu es comprobar la profundidad del lenguaje introducido en el captulo anterior. Concretamente veremos que dos de estos problemas clasicos (\La duplicacion del cubo" y \La triseccion del angulo") se vuelven muy sencillos tras algunas consideraciones acerca del grado de ciertas extensiones. mientras que un tercer problema (\La cuadratura del crculo") requiere una demostracion complicada pero que.2. La utilidad de estos instrumentos en las construcciones geometricas clasicas queda limitada de manera que la regla solo se puede usar para trazar una recta que pasa por dos puntos conocidos. Tres problemas clasicos En este captulo estudiaremos tres problemas que los antiguos geometras griegos no supieron abordar. x  s. de nuevo. Una vez . solo tiene sentido dentro del marco de la teora de cuerpos. 1.

como las rectas tienen ecuaciones de primer grado y las circunferencias de segundo grado. Todo lo necesario esta contenido en los siguientes diagramas: b a a a−b b a a/b 1 1 a p 1. Por tanto. tambien es construible con regla y compas. si (x. todos los puntos que se pueden construir como intersecciones sucesivas de ellas tienen coordenadas que estan en sucesivas extensiones cuadraticas. L. Con la ayuda de algunas construcciones geometricas sencillas conocidas desde la antiguedad es posible comprobar que la suma. resta. multiplicacion. digamos determinada por (0. Construccion de a.jada una unidad de medida. De todo esto se deduce que cualquier elemento de un cuerpo real.1) puede ser obtenido como coordenada de un 25 . Construccion de a b 2. para el que exista una cadena de subcuerpos como (1. 0). Construccion de a=b 3. y 2 L  IR. 0) y (1. division y raz cuadrada de longitudes construibles con regla y compas. y ) 2 IR2 es un punto construible con regla y compas entonces existe una cadena de cuerpos (1:1) Q = L0  L1  L2  : : :  Ln = L con [Lk+1 : Lk ] = 2 y x.

es decir.punto construible con regla y compas. se tiene la siguiente caracterizacion que tomaremos como de.

nicion: Un punto (x. y ) 2 IR2 es construible con regla y compas si y solo si x e y pertenecen a un cuerpo L  IR tal que existe una cadena de subcuerpos Q = L0  L1  L2  : : :  Ln = L donde todas las extensiones son de grado dos.1 : Si x es una longitud construible con regla y compas. entonces M = Q o M = Q( ). Dem. se tiene [Q( ) : Q] = 4. Es importante notar que el recproco no es cierto en general. Por otra parte. observese que en el contraejemplo anterior podemos expresar en terminos de radicales cuadraticos y cubicos resolviendo la ecuacion P = 0 (lo cual es bastante complicado) y la no constructibilidad de implica que no es posible suprimir los radicales cubicos a pesar de que [Q( ) : Q] = 4. Como fenomeno curioso. De todas maneras. que existen extensiones reales Q(x)=Q tales que [Q(x) : Q] = 2k con x no construible. No conocemos ningun contraejemplo sencillo. como P es irreducible (por el criterio de Eisenstein). x  n del cubo y la triseccio  n del a  ngulo. que puede ser muy complicada.: Con la notacion introducida anteriormente se tiene x 2 L y [L : Q] = n Y [Lk : Lk 1 ] = 2n : k=1 Ademas x 2 L  Q implica que [Q(x) : Q] divide a [L : Q] y esto prueba el resultado. se puede demostrar (usando teora de Galois) que Q( ) no tiene subcuerpos propios. intentaremos ilustrar brevemente la situacion: Si es el unico cero real y positivo de P = x4 10x3 + 26x2 + 16x 14. no es construible. lo cual parece natural porque la constructibilidad de x involucra la estructura de los subcuerpos de Q(x). La duplicacio Los dos problemas recogidos en el ttulo se pueden formular de la manera siguiente: 26 . Tambien usaremos el termino \longitud construible" para referirnos a aquellas longitudes que pueden aparecer como coordenadas de puntos construibles. Un sencillo resultado que sera crucial en el resto del captulo es el siguiente Lema 1. que si Q  M  Q( ). es decir. En particular. entonces [Q(x) : Q] es una potencia de dos. 2. Es decir.

hallar un metodo para trisecarlo con regla y compas. P 2: Dado un angulo. Eratostenes transmitio dos leyendas acerca del primer problema. Tambien re. construir con regla y compas la arista de un cubo de volumen doble.P 1: Dada la arista de un cubo. Segun dijo. en cierta obra tragica un personaje legendario propona duplicar la tumba de su hijo que era cubica y tena 100 pies de lado.

 n: En particular se deduce que tampoco se puede trisecar el  angulo de Observacio 0 120 y por tanto el eneagono regular no es construible con regla y compas. 0). lo cual intereso a algunos miembros de la Academia de Platon quienes encontraron soluciones valiendose de curvas auxiliares (distintas de la recta y la circunferencia). 3 =2). ya que as como la biseccion del angulo (que es facilmente realizable con regla y compas) permite construir el octogono regular y el hexagono regular a partir del cuadrado y del triangulo equilatero. Tambien hallaron soluciones por procedimientos mecanicos que involucraban la regla y el compas pero usandolos de manera no convencional. Si pudi p3 eramos construir un segmento de longitud a (la arista del cubo) y en podramos otro de longitud a 2 (la arista del pcubo de volumen doble) entonces tambip 3 construir unpsegmento de longitud 2. Dem. la del cubo de volumen doble no lo es. (Estos tipos de soluciones tambien eran conocidos para trisecar el angulo). Proposicion 2.: Proposicion 2. Trisecar Pd OQ equivale a construir (cos 200 . Las proposiciones siguientes demuestran que ninguno de estos problemas tiene solucion. se tiene [Q( 3 2) : Q] = 3 y esto contradice el Lema 1. Dem. Q = (1=2.1. la constructibilidad con regla y compas de los polgonos regulares esta estrechamente relacionada con la teora de Galois. construir el eneagono (polgono de 9 lados) regular.1 : Si la arista de un cubo es constructible con regla y compas. pero como el polinomio mnimo de 3 2 es x2 2. por ejemplo. El segundo problema es bastante natural desde el punto de vista geometrico.: Sea el  angulo dep600 grados Pd OQ formado por los puntos construibles P = (1.ere como origen del problema que en Delos el oraculo ordeno duplicar el volumen del altar de Apolo (>para acabar con cierta plaga?).2 : El angulo de 600 no puede trisecarse con regla y compas. O = (0. sen 200 ). 0). la triseccion del angulo permitira. Por la formula del angulo triple o utilizando dos veces la formula para cos( + . Como veremos en captulos posteriores.

). se tiene 1 = cos 600 = 4 cos3 200 2 27 3 cos 200 : .

Wantzel en 1837 (al menos en el Encylopedic Dictionary of Mathematics de la Mathematical Society of Japan). por tanto es el polinomio mnimo de cos 200 y se tiene [Q(cos 200 ) : Q] = 3. Aplicando el criterio de Eisenstein a 8P (x + 1)=2 se deduce que P es irreducible. es claro que los artculos . Nota: Aunque la demostraci on de la imposibilidad de los dos problemas que nos ocupan se atribuye a P. cos 200 es una raz del polinomio P = x3 3x=4 1=8.-L.1.As pues. lo que contradice el Lema 1.

Por otra parte. Resolver p Por el Lema 1. de hecho. Esto no es sencillo en absoluto y. x 3. tambien es claro que Abel (1802-1829) o Galois (1811-1832) podran haber deducido ambas pruebas de imposibilidad a partir de los conceptos introducidos en sus trabajos. basta demostrar que [Q(  ) : Q] no es una potencia de dos para concluir que tampoco este problema tiene solucion. y tiene el siguiente enunciado P 3: Dado un crculo.nales en la obra de Gauss Disquisitiones Arithmeticae indican que el ya conoca en 1801 la imposibilidad de trisecar el angulo (y posiblemente de duplicar el cubo).1. la cuadratura del crculo ha quedado como paradigma de di. construir con regla y compas un cuadrado de igual area. La cuadratura del c rculo El ultimo problema del que nos ocuparemos se conoce con el nombre de \la cuadratura del crculo". este problema para el crculo unidad llevara a construir un cuadrado de lado p.

2 . no obstante es difcil resistir la tentacion de incluirla despues de la relevancia historica del problema. Lema 3. n sus races en C. : : : . Antes de entrar en las demostraciones de trascendencia veamos el siguiente lema que es una consecuencia sencilla del teorema de los polinomios simetricos. es decir. La demostracion de la trascendencia de  es bastante misteriosa y se sale un poco fuera del contenido del curso. x2 . En esta seccion demostraremos que  es trascendente sobre Q.cultad e imposibilidad en el lenguaje usual. xn ) es un polinomio simetrico con coe.1 : Sea P = cn xn + cn 1 xn 1 + : : : + c1 x + c0 2 ZZ[x] y sean 1 . Si S (x1 . no es raz p de ningun polinomio de Q[x] y por tanto [Q(  ) : Q] = 1. : : : .

2 . entonces obviamente no es un entero. : : : . n ) 2 ZZ. nk =mk y j nk =mk j<(k)=mk con (k)!0. la trascendencia de un numero se \reduce" a encontrar buenas aproximaciones por racionales (o enteros. tenan gran importancia para hacer calculos. en cierta manera. entonces no satisface una ecuacion de grado r (vease ej. si quitamos denominadores). x) = k). 20. x.cientes enteros de grado k (esto es @S (x. \Calculus" de Spivak). entonces ckn S ( 1 . cos x. 3 Cap. As que. Antes de la llegada de las computadoras este tipo de aproximaciones para valores especiales de funciones como sen x. 1a edicion. ex . nk . entonces no es racional (basta multiplicar por mk y el posible denominador de ). Si la sucesion es de numeros racionales distintos. * Para el lector interesado damos algunas ideas que subyacen a la mayora de las demostraciones de irracionalidad y trascendencia: Si 2IR y encontramos una sucesion de enteros distintos. 28 . En general no es muy difcil demostrar que si j nk =mk j<(k)=mrk con (k)!0. : : :. con j nk j< (k) y (k)!0. etc.

el teorema de los polinomios simetricos (Teorema 2. : : : . n ) = ( 1)j cn j =cn : Por otra parte.Factorizando P=cn se tiene que j ( 1 .13 Cap.1) a. 2 .

rma que S ( 1 . : : : . n ) se puede escribir como un polinomio (con coe. 2 .

2 .2 : Si P 2 ZZ[x] con @P = n y sus races en C. multiplicando por cn se cancelan todos los denominadores. 1 . como el grado de este polinomio no excede k. de e y de algunas cantidades relacionadas. n . son no nulas. entonces EP = e 1 + e 2 + : : : + e 62 ZZ f0g.cientes enteros) en los j ( 1 . n ). estan contenidas en la demostracion del siguiente resultado Teorema 3.: : : . Las ideas principales para abordar la trascendencia de  .: De. : : : . Dem. 2 .

permite deducir que cada uno de sus sumandos es un polinomio en r con coe.: n P= n X r=1 e r Z 1 xp 1 e x  P (x) p dx (p 1)! y r Q= Z 1 xp 1 e x  P (x) p dx 0 (p 1)! donde p es un numero primo que se escogera mas adelante. Un argumento similar con P . de todas formas es siempre posible pasar a integrales reales con el cambio x0 = x r . Gracias a la formula 1 xp 1 e x (p + k 1)! xk dx = (p 1)! 0 (p 1)! Z se deduce que Q 2 ZZ y tomando p6 jP (0) se tiene p6 jQ. Notese que las integrales tienen sentido aunque los r sean complejos. tras el cambio x0 = x r .namos Dem.

cientes enteros multiplos de p (notese que P (x0 + r ) no tiene termino independiente). 2 . n multiplicado por p y el lema anterior asegura que cnp n P 2 ZZ (donde cn es el coe. As pues. : : : . P puede considerarse como un polinomio simetrico en 1 .

ciente de np mayor grado de P ). La clave de la demostracion (vease la anterior nota a pie de pagina) es que si p es grande el numero racional P =Q aproxima muy bien a EP y ambas cantidades no son iguales. tomando p > cn EP se tiene p 6 jcnp n EP Q cn P y por tanto 1  jcn jnp jE PQ Pj = jcn . np Si EP 2 ZZ f0g. y ademas pjcn P . lo que llevara a una contradiccion si EP es entero.

jnp .

n X r=1 e r 29 Z r p 1 x x e 0 (p 1)! p P (x) .

dx.

K2  K1p < (p 1)! .

una vez .donde.

jado P . K1 y K2 son constantes. Notese que tomando p su.

k1 EP1 + k2 EP2 + : : : + km EP 62 ZZ f0g. : : : . Dem.: T omese P1 = x 1. P2. km 2 ZZ no simultaneamente nulos. Teorema 3. Dem. En ese caso. Peque~nas variaciones en la demostracion permiten probar un resultado mas general. 1873): e es trascendente sobre Q. P2 = x 2. entonces dados k1 . i tambi en lo sera (donde i = 1). Corolario 3. sea Q 2 ZZ[x] un polinomio con coe. k2 .cientemente grande se llega a contradiccion.5 (Lindemann.n son las races de Pi . : : : . Corolario 3.4 (Hermite. 1882):  es trascendente sobre Q. Pm = x m en el teorema anterior.: : : .2 .3 : Sean P1 .1 .: Si  fuera algebraico.: Basta proceder como en el teorema anterior pero tomando m P= m X i=1 Pi con Pi = ki ni X r=1 Z e i. Pm 2 ZZ[x] tales que P = P1  P2  : : :  Pm cumple P (0) 6= 0. i. i.r donde i. p Dem. : : : .r 1 xp 1 e x  P (x) p dx (p 1)! i.

ciente de mayor grado cn y cuyas races son 1 = i . 2 .1 a sus coe. : : :. n . entonces P 2 ZZ[x] (basta aplicar el Lema 3. La formula de Euler implica e 1 = 1 con lo cual i n Y k=1 k Operando en esta igualdad se obtiene X X 1 + e 1 + e 1 + 2 + j j1 j j1 <j2  1 + e = 0: X j j1 <j2 <j3 e 1 + 2 + 3 + : : : = 0 j j j Q K Si consideramos cK n k (x ek ) donde ek denota todos los exponentes no nulos que aparecen en al formula anterior.

3. Decidir la trascendencia sobre Q de un numero dado es. en general. La igualdad anterior se podra escribir entonces como 1 + r + EP = 0 donde r es el numero de posibles exponentes nulos. muy difcil. y esto contradice el Teorema 3. . Entre los resultados mas espectaculares obtenidos desde la demostracion de Hermite.cientes). se encuen30.

tran el teorema de Lindemann y el teorema de Gelfond-Schneider que a.

que e y . respectivamente.rman.

. son trascendentes sobre Q cuando .

6= 0. 1 son algebraicos con .

2 y e son trascendentes (notese que e = i 2i ). Sus demostraciones utilizan en gran pmedida p2 las ideas originales de Hermite. Por otra parte. que e . irracional. por ejemplo. 3 De estos teoremas se deduce. la trascendencia de numeros tales como e +  . 31 . se desconoce. e o  e .

32 .

11. r 1+ q p p 2 + 3 3.Hoja 4 1) Decir cuales de las siguientes longitudes son construibles con regla y compas p q p 2 + 3. p p p Q(. 4) >Es el pentagono regular construible con regla y compas? Indicacion: Hallar cos(2=5) + cos(4=5) y cos(2=5)  cos(4=5). Indicacion: Considerense las races del polinomio irreducible xp 1 + xp 2 + : : : + x + 1 = (xp 1)=(x 1) con p primo. 13 y 19 lados no son construibles con regla y compas. 5) Decir si las siguientes extensiones son algebraicas o trascendentes. 3)=Q( 3). q 3 p 7 + 5 2. Q( )=Q( ). ei=8 + e i=8 : 2) Dise~nar un metodo sencillo parapconstruir con regla y compas la longitud p 1+ 3 p : 2 3) Demostrar que los polgonos regulares inscritos en el crculo unidad de 7. Q(e)=Q(e5 e3 + 7e2 + 100e 1): 6) Demostrar que si y .

son trascendentes sobre Q. entonces + .

o  .

. son trascendentes sobre Q. Dar un contraejemplo a la implicacion: .

trascendentes ) + .

Nota: Esta construcci on geometrica es una de las pocas que haba escapado al ingenio de los antiguos geometras griegos. Segun se dice. Gauss demostro (a los 19 a~nos) que r q q p 1 p q p p 1 1p 1 2 + 17+ 34 2 17+ 17 + 3 17 34 2 17 2 34 + 2 17 cos = 17 16 16 16 8 Deducir que el polgono regular de 17 lados se puede construir con regla y compas. 9) >Se puede triplicar el cubo? 10) >Se puede trisecar el angulo de =2n radianes? 11) Supongamos que disponemos de una regla curva cuyo borde tiene la forma de la gra. 8) Demostra que si los polgonos regulares de n y m lados son construibles con regla y compas. 7) Usando los principios de lo que mas tarde sera la teora de Galois. trascendente. tambien lo es el de mcm(n. Gauss mando que fuera inscrita en su tumba. m) lados. Concluir del ejercicio anterior que el polgono regular de 204 lados es construible con regla y compas.

compas y regla curva se puede duplicar el cubo. >Se puede cuadrar el crculo? >Y trisecar el angulo? 33 .ca de y = x3 para x  0. Demostrar que con regla. uno de ellos situado en el origen de la regla. Esta regla esta sin graduar (aunque tiene marcado el cero) y solo puede ser usada para trazar la curva que une dos puntos construibles.

34 .

Extensiones Normales y Separables.3. La dimension es su. Grupo de Galois.

ciente en algebra lineal para clasi.

car (salvo isomor.

As por ejemplo p p p [Q( 4 2) : Q] = [Q( 2 + 3) : Q] = 4 p p p y sin embargo. en el sentido de que contengan todas las races del polinomiopmnimo p pde sus generadores. Pero es evidente que L1 y L2 son \esencialmente" distintos porque tienen diferente grado sobre Q. al menos en apariencia. Con esto hemos querido mostrar que podemos restringirnos a comparar cuerpos \simetricos". 3) 3) p 4 porque L1 esta generado p porp las races del polinomio mnimo de 2 y L2 por las races del polinomio mnimo de 2+ 3.  =Q( 4 2. i 4 2. 5) que tiene el mismo grado que L1 sobre Q. Ya antes de Galois se conocan diferentes versiones del teorema de los polinomios simetricos (Teorema 2. p 2 p p p  =Q( 2. 4 2) p p p L2 = Q( 2 + 3. Q( 4 2)=Q y Q( 2 + 3)=Q son bien distintas. 3.13 del Captulo 1) y por tanto que todas las races del polinomio mnimo juegan un papel \sim p4 etrico" cuando p las p consideramos sobre Q.smos) los espacios vectoriales sobre IR.  . 2 p 3. i) p p 2 + 3. pero la situacion es bien distinta en lo que respecta a extensiones de cuerpos (que son espacios vectoriales con mas estructura). Supongamos ahora que L1 es como antes pero L2 = Q( 2. i 4 2. Tambien podr p4 amosp4 comprobar que L1 y L2 son bien distintos viendo que la \simetra". que pasa 2 a i 2 y deja i . Por eso no parece descabellado decir que si Q( 2)=Q y Q( 2 + 3)=Q fueran \isomorfas" tambien lo seran L1 =Q y L2 =Q con p p p p p L1 = Q( 4 2.

 ( i 4 2) = 4 2.jo tiene orden 4. En este captulo de. 3 y 5. p p p mientras que todas las p\simetr  as" de Q( 2. 3.  (i 4 2) = 4 2.  ( 4 2) = i 4 2. 5) son de orden 2 porque corresponden p p a cambios de signo de 2. concretamente p p p p p p p p  ( 4 2) = i 4 2.

niremos rigurosamente estas \simetras" (automor.

demostraremos que el grupo de \simetras" re eja .smos) de una extension y probaremos que forman un grupo (el grupo de Galois). Siempre que la extension contenga a cada elemento y su \simetrico" (que sea normal) y satisfaga una condicion tecnica (que sea separable).

elmente 35 .

Automorfismos y grupo de Galois. Este Galois. x 1. Aunque nuestro principal interes son los cuerpos. constituye el teorema fundamental de la teora de toda la estructura de la extension. sera util tener las siguientes de.

niciones en el marco general de los anillos  n: Sean A y B anillos (conmutativos y unitarios) un homomor.

smo de Definicio anillos es una funcion  : A ! B que respeta la suma. esto es i) (a1 + a2 ) = (a1 ) + (a2 ) ii) (a1 a2 ) = (a1 )(a2 ) iii) (1A ) = 1B :  n: i) Si  es inyectiva se dice que es un monomor. la multiplicacion y el elemento unidad.

Definicio ii) Si  es sobreyectiva se dice que es un epimor.smo.

iii) Si  es biyectiva se dice que es un isomor.smo.

smo. iv) Si  es biyectiva y A = B se dice que es un automor.

smo. Los dos ultimos apartados de la de.

nicion anterior solo los usaremos para cuerpos. Los automor.

smos (o isomor.

smos) que dejan .

se llaman K -automor.jos los elementos de cierto subcuerpo K .

smos (o K -isomor.

smos).  n: Definicio Dada L=K . al conjunto de K -automor.

 n: Definicio Otras notaciones que se utilizan (por ejemplo en el libro de Stewart) en lugar de G (L=K ) son (L : K ) y en cierto contexto K  . Dem. Lema 1.: La composici on es cerrada porque si  y  son K -automor.1 : G (L=K ) es un grupo (con la composicion).smos de L se le llama grupo de Galois de L=K y se escribe G (L=K ).

dejan .smos. es decir.

jo K . entonces  Æ  (que abreviaremos con  ) tambien deja .

a. de 2.  . y se tiene p p p a =  ( 2) ) a2 =  ( 2) ( 2) =  (2) = 2: p p Por tanto  puede dejar . G (Q( 2)=Q)  = ZZ=2ZZ. de G (Q( 2)=Q) queda caracterizado por la imagen.jo K . p Ejemplo 1. p p Un elemento. El resto de las propiedades de grupo se siguen facilmente de las propiedas de la composicion de funciones.

( p a + b 2) = a bp 2 que obviamente p es un Q-automor. en el primer p caso  es la identidad y en el segundo caso es la conjugaci p on.jo a 2 o puede mandarlo a p2. conj.

Con ello hemos demostrado p G (Q( 2)=Q) = fId. conj.g  = ZZ=2ZZ: Nota: 36 .smo (porque conj.((a+b 2)+(c+d 2)) = conj. etc) y tiene orden 2.(c+d 2).(a+b 2)+conj.

y se tiene p p p p a =  ( 3 2) ) a3 =  ( 3 2) ( 3 2) ( 3 2) =  (2) = 2: p p p Pero el unico a 2 Q( 3 2) que cumple a3 = 2 es 3 2. a. as que  deja . p3 Como antes.p Ejemplo 2.  2 G (Q( 2)=Q) queda caracterizado por la imagen. un elemento. de p3 2. G (Q( 3 2)=Q) = fIdg.

el grupo de Galois no \distingue" entre Q( p2)=Q y la extension trivial Q=Q. en principio. El intento de recuperar la estructura de una extension a partir de G sugiere la siguiente de. p3 Con este ejemplo vemos que. Mas adelante veremos p que esto ha ocurrido porque 3 Q( 2) no contiene a las otras races del polinomio mnimo de 3 2 (diremos que la extension no es normal).jo a 3 2 y por tanto es la identidad.

nicion  n: Sea H un subgrupo de G (L=K ). se dice que Definicio Æ fx 2 L (x) = x para todo  2 H g es el subcuerpo .

La de.jo por H y a veces se denota con H 0 o H y .

  n: N Observacio otese que G (L=K ) 0 = K no es cierto en general. pero entonces  (x + y ) = x + y y por tanto x + y 2 H 0 .nicion anterior tiene sentido gracias al siguiente resultado Lema 1.: Si x. por ejemplo p p p  G (Q( 3 2)=Q) = fIdg ) G (Q( 3 2)=Q) 0 = Q( 3 2): El teorema fundamental de la teora de Galois a. y 2 H entonces para todo  2 G (L=K ) se tiene  (x) = x y  (y ) = y .2 : Si H es un subgrupo de G (L=K ) entonces H 0 es un subcuerpo de L 0 Dem. Lo mismo se hara con el resto de las operaciones.

rmara que esta igualdad (y de hecho una mas general) se cumple bajo ciertas condiciones. La proxima proposicion asegura que hay restricciones para de.

nir los automor.

y la siguiente asegura que G (L=K ) determina el grado de ciertas subextensiones de L=K . Si 2 L es un cero de P . Proposicion 1. n g de races distintas de P en L. (Notese que  ( i ) =  ( j ) )  ( i j ) = 0 ) i = j ).3 : Sea L=K y P 2 K [x]. entonces  ( ) con  2 G (L=K ) tambien lo es. 37 . 2 .smos de G (L=K ). : : : .  n: Esto implica que cada  2 G (L=K ) induce una permutaci on actuando Observacio sobre el conjunto f 1 .

Proposicion 1.4 : Sea H un subgrupo .

nito de G (L=K ). Si H 0 es el subcuerpo .

jo por los automor.

entonces [L : H 0 ] = jH j: De esta proposicion se deduce inmediatamente Corolario 1.smos de H .5: Sea L=K una extension .

entonces [H 0 : K ] = [L : K ] jH j : Notese que de estos resultados se deduce que a cada subgrupo de G (L=K ) se le puede asociar de forma unvoca un subcuerpo de L conteniendo a K . como  es raz del polinomio (ciclotomico) irreducible x16 + x15 + : : : + x + 1. 3. Sea  = e2i=17. as pues [Q( ) : Q] = 16. 6.  n: Observacio Ejemplo . se tiene [Q( ) : Q] = 16: Obviamente Q( ) 6= Q(cos 217 ) y Q( )  Q(cos 217 ). Mas adelante demostraremos que G (Q(cos 217 )=Q) = fId. 7g  = ZZ=8ZZ  donde  cos 217 = cos 617 . 4. .nita y sea H un subgrupo de G (L=K ). En este ejemplo veremos como se deduce la estructura de Q(cos 217 )=Q a partir de la informacion contenida en ZZ=8ZZ. porque cos 217 = ( +  1 )=2.4 el grado de Q(cos 217 ) sobre el subcuerpo . [Q( ) : Q(cos 2 )] > 1 17 ) [Q(cos 217 ) : Q]  8: Pero por la Proposicion 1. 5. 2.

 6g.2. ZZ=8ZZ tiene subgrupos de orden 1. H2 = fId.  4g.jo por el grupo de Galois es 8 y como este subcuerpo incluye a Q concluimos [Q(cos 2 ) : Q] = 8: 17 Por otra parte. H4 = fId.  2. 4 y 8 que corresponden a H1 = fIdg. 38 H8 = G (Q(cos 2 )=Q): 17 .  4 .

Segun el Corolario 1.5 se tiene [Q(cos 217 ) : Q] 8 0 [Hn : Q] = = n n n = 1. 2. por tanto. De hecho. hallando explcitamente los Hn0 uno podra obtener un metodo para construirlo. el polgono de 17 lados es construible con regla y compas. Los razonamientos con los subcuerpos . 8: Por tanto 2 Q = H80  H40  H20  H10 = Q(cos ) 17 es una cadena de subcuerpos tal que todas las extensiones son de grado dos. en particular cos 217 es una longitud construible con regla y compas y. 4.

jos guardan una analoga esencial con la demostracion original de Gauss de que el polgono de 17 lados es construible con regla y compas. Con ello. Partiendo de  . ya que sabiendo la suma y el producto de dos numeros se pueden calcular con una ecuacion de este tipo. Partiendo de ellas pudo recuperar las expresiones polinomicas en  resolviendo sucesivas ecuaciones de segundo grado. Gauss construa polinomios en  que eran invariantes al cambiar  por algunas de sus potencias. Por ejemplo  +  16 es invariante al cambiar  por  16 y  +  4 +  13 +  16 es invariante al cambiar  por  13 o por  16 .  rica: Nota histo Gauss dio condiciones necesarias y su. lograba una mayor invariancia (por ejemplo. Considerando sumas y productos de estos polinomios.  +  16 y  4 +  13 son invariantes por  7!  16 mientras que ( +  16 )+( 4 +  13 ) y ( +  16 )( 4 +  13 ) tambien lo son por  7!  13 ) hasta llegar a cantidades que eran racionales (simetricas en todos los  j ). expreso cos 217 en terminos de numeros racionales y sucesivas races cuadradas.

para ello. tuvo que calcular G (Q(cos 2p )=Q) (a~nos antes de que Galois naciera) lo que conllevaba utilizar algunas ideas fundamentales de la teora de Galois (incluso la resolubilidad de ecuaciones por radicales se menciona en el Art. esencialmente. hay una parte de este calculo que Gauss no publico (o al menos no ha llegado hasta nosotros).cientes para la constructibilidad del polgono de n lados. Hablando en rigor. 359 de las \Disquisitiones Arithmeticae" de Gauss). ademas no esta clara la in uencia de Gauss sobre Galois ni de Lagrange sobre Gauss (vease x27 en \Galois Theory" de Edwards) y lo cierto es que el trabajo posterior de Galois es mas general porque se aplica a otras extensiones y permite una solucion de.

3): Sea P = an xn + an 1 xn Dem. Si es un .nitiva del problema de resolubilidad por radicales. 39 1 +:::+a 1 x + a0 . (de la Proposicion 1.

si 1 .4 necesitaremos el siguiente lema Lema 1. esto es. Es decir. (1:1) 1 1 ( ) + 2 2 ( ) + : : : + n n ( ) = 0 8 2 L: Como es arbitrario lo podemos sustituir por . Sea 1 1 + 2 2 + : : : + n n con 1 6= 0. 2 .: Procedemos por reduccion al absurdo. n 2 L no son simultaneamente nulos entonces 1 1 + 2 2 + : : : + n n no es la funcion identicamente nula en L. : : : . entonces el conjunto f1 . Para demostrar la Proposicion 1. Dem.cero de P 0 = an n + an 1 n  =an  ( ) n + an 1 1 + : : : + a1 + a0   ( ) n 1  + : : : + a1  ( ) + a0 porque ai 2 K: Por tanto  ( ) tambien es una raz de P . : : : .6 : Sean 1 . 2 . : : : . n2G (L=K ) distintos. n g es linealmente independiente sobre L. la combinacion lineal mas corta (con n mas peque~no) que produce la funcion nula en L. 2 .

donde .

por tanto (1:2) 1 1 ( )1 (. 2 L se escogera a continuacion.

) + 2 2 ( )2 (.

) + : : : + n n ( )n (.

) = 0 8 2 L: Elijamos .

tal que 1 (.

) 6= n (.

esto es posible por que 1 y n son distintos. ). Multiplicando (1.1) por n (.

2 .2) se tiene 01 1 ( ) + 02 2 ( ) + : : : + 0n 1 n 1 ( ) = 0 8 2 L con 01 6= 0. Sean f 1 .4): a) [L : H 0 ]  jH j. r g una base de L=H 0 y sea H = f1 . (de la Proposicion 1. Consideremos el sistema de ecuaciones 1 ( 1 )x1 + 2 ( 1 )x2 + : : : + n ( 1 )xn = 0 1 ( 2 )x1 + 2 ( 2 )x2 + : : : + n ( 2 )xn = 0 ::: ::: ::: ::: ::: 1 ( r )x1 + 2 ( r )x2 + : : : + n ( r )xn = 0: 40 . : : : . pero esto contradice que hubieramos tomado la combinacion lineal mas corta. Dem. : : : . 2 . n g (por tanto r = [L : H 0 ] y n = jH j). ) y restandole (1.

xn = n . r g. r g es una base esto implica 1 1 ( ) + 2 2 ( ) + : : : + n n ( ) = 0 8 2 L: Lo cual contradice el lema anterior. x2 = 2 . Quiza reordenando las variables. digamos x1 = 1 . 2. entonces el sistema (1:3) 1 ( 1 )x1 + 1 ( 2 )x2 + : : : + 1 ( r )xr = 0 2 ( 1 )x1 + 2 ( 2 )x2 + : : : + 2 ( r )xr = 0 ::: ::: ::: ::: ::: n ( 1 )x1 + n ( 2 )x2 + : : : + n ( r )xr = 0 es compatible indeterminado. 2. x2 = 2 . y hay r n de las variables que se pueden elegir arbitrariamente (las soluciones dependen de r n parametros). : : : . b) [L : H 0 ]  jH j Sean f 1 . r y n como en a). Ademas por el teorema de Rouche-Frobenius existen soluciones no triviales. xn = n de modo que 1 1 ( i ) + 2 2 ( i ) + : : : + n n ( i ) = 0 1  i  r. si [L : H 0 ] < jH j) tiene una solucion trivial x1 = 1 . pero como f 1 . : : : . : : : . De.Si r < n (es decir. Supongamos r > n. : : : . podemos suponer que estas son las r n primeras. Tenemos que demostrar r  n.

2 . donde la ultima igualdad esta justi.namos i = 1 (i ) + 2 (i ) + : : : n (i ) para 1  i  r. Por otra parte r X i=1 i i = n X j =1 j X r i=1 j 1 ( i )i  = 0. Como H es un grupo  (i ) = i para todo  2 H (ya que r = s ) r = s ) y por tanto i 2 H 0 . r n son arbitrarios. Como 1 . pueden escogerse de manera que i sea no nulo cuando 1  i  r n (recuerdese que los j son independientes). : : : .

Pero esto implica que f 1 . x 2.cada porque el termino entre parentesis es una de la ecuaciones de (1. lo que contradice nuestras hipotesis. Extensiones normales. : : : . 2 .3) (notese que j 1 2 H ). Para que G (L=K ) tenga informacion signi. r g es un conjunto linealmente dependiente sobre H 0 y por tanto no es una base.

cativa acerca de L=K . Intuitivamente. se puede a. los polinomios de K [x] deben factorizar completamente en L[x].

rmar que como 41 .

las races de un polinomio juegan un papel simetrico las necesitamos a todas para obtener todas las \simetras" que caracterizan a la extension. Un primer problema tecnico es saber si un polinomio se factoriza en alguna extension. Lema 2.1 : Dado P P tiene una raz en L. 2 K [x] no constante. existe una extension .

si K = IF2 y P = x2 + x + 1. tal que Este teorema es trivial si K  C. L=K . existe un monomor.nita.  n: Observacio Podemos suponer que P es irreducible (en otro caso tomese uno de sus factores irreducibles) y que @P > 1 (Si @P = 1. Consideremos el anillo Æ L = K [x] (P ): Obviamente K esta \incluido" en L. el lema asegura que existe una extension de IF2 que contiene a las races de P lo cual no es en absoluto evidente. porque en ese caso podemos aplicar  el teorema fundamental del Algebra. L = K ). pero por ejemplo. o mas concretamente.

smo  : K ! L. Ademas L es de hecho un cuerpo.4 del primer captulo implica que 8Q 62 (P ) 9A. B 2 K [x] AP + BQ = 1 y por tanto el inverso de la clase Q = Q + (P ) es B = B + (P ). notese que L=K es . lo cual se puede deducir sabiendo que (P ) es maximal (usando teoremas del curso anterior) o directamente observando que la Æ Proposicion 2. Por ultimo.

). Sea K = IF2 . se tiene que P = x2 + x + 1 factoriza en L = IF2 [x]=(P ) (considerando L como extension de IF2 ). En un ejercicio (vease la Hoja 1) habamos visto que L = f0. Segun la demostracion del lema anterior.nita y que x = x + (P ) es una raz de P (hablando en rigor. etc. Llamando a x y . x + 1g (notese que x2 = x 1 = x + 1. Dem. x. ya que P (x) = P (x) coincide con la clase de cero en L. En dicho ejercicio tambien habamos calculado las tablas de suma y multiplicacion de este cuerpo de cuatro elementos.: Ejemplo . de su imagen en L[X ] inducida por ). 1.

1 con 0 y 1. a x + 1 y abreviando 0. dichas tablas son + 0 1 .

.

.

.

.

.

.

.

.

.

.

0 0 1 .

1 1 0 .

.

0 1  .

.

1 0 0 1 .

.

.

.

.

.

.

.

.

.

.

0 0 0 0 0 1 0 1 .

0 .

1 .

0 .

1 Observese que usando estas tablas se tiene que y .

son races de P porque 2 + + 1 = .

+ + 1 = 1 + 1 = 0 : .

2 + .

+ 1 = + .

+ 1 = 1 + 1 = 0 42 .

As que podramos escribir P = (x )(x .

Lema 2. ) en L[x]. que extiende a IF2 de manera que P factoriza. En las demostraciones de esta seccion apelaremos al siguiente lema que concreta mas la idea de la demostracion del resultado anterior. de.2 : Sea L=K y sea P el polinomio mnimo de 2 L sobre K . entonces Æ : K ( ) ! K [x] (P ) con ( ) = x = x + (P ). Mas adelante llamaremos IF4 a este cuerpo. L.

ne un K -isomor.

En particular. si .smo.

2 L es otra raz de P . existe un K -isomor.

smo i : K ( ) ! K (.

) con i( ) = .

: Es obvio que deja . Dem. Por la Proposicion 3. 1 2 = Q3 ( ) con @Qi < @P . 2 = Q2 ( ). 2 2 K ( ) ) 1 = Q1 ( ).4 del Captulo 1 se tiene que 1 . .

jo K (lo de.

por tanto es divisible por P y su clase en K [x]=(P ) es la clase de cero. Por tanto ( 1 ) ( 2) ( 1 2 ) = Q1 (x)Q2 (x) Q3 (x) = 0: Como aplica el generador de K ( ) en el generador de K [x]=(P ) (siempre sobre K ). es un epimor.nimos as) y que  ( 1 + 2 ) = Q1 ( ) + Q2 ( ) = Q1 (x) + Q2 (x) = ( 1 ) + ( 2 ): Notese que Q1 Q2 Q3 se anula en .

smo. Ademas ( 1) ( 2 ) = 0 ) Q1 Q2 2 (P ) ) P jQ1 Q2 y como @Qi < @P . Q1 = Q2 y tambien es un monomor.

Sea P 2 K [x] y L=K una extension.smo. si se veri. @P > 1. Se dice que L es un cuerpo de descomposicion de P .

can las condiciones:  n: Definicio a) P se descompone en factores lineales en L[x]. Con la notacion de la de. P = k(x 1 )(x 2 ) : : : (x n ) en L[x]: b) L=K es la menor extension de K tal que se cumple a). esto es.

3 : Para cada P 2 K [x] existe un cuerpo de descomposicion de P y ademas es unico salvo K -isomor.nicion anterior. Nota: Proposicion 2. : : : . 2 . n ). se tiene que el cuerpo de descomposicion de P es L = K ( 1 .

x 2 . n ) es el cuerpo de descomposicion de K . 2. Para la existencia basta aplicar repetidas veces el Lema 2. Dem.smos.1 hasta obtener un L en el que P se descomponga en factores lineales x 1 .: 43 .: : : . entonces K ( 1 . : : : .x n .

Para demostrar la unicidad salvo K -isomor.

smos supongamos que L1 y L2 son cuerpos de descomposicion de P . .

.

.

.

Si @P = 1 es trivial. Si . Procedemos por induccion en @P .

.

.

.

@P > 1. entonces K ( 1 ) K (. sea Q un factor monico irreducible de P .

i ~i y K [x]=(P ) Q = (x .1 ) Q = (x 1 )(x 2 ) : : : (x n ) en L1 [x] & .

1 )(x .

2 ) : : : (x .

2 se tienen K -isomor.n ) en L2 [x]: L1 L2 Por el Lema 2.

smos i : K ( 1 ) ! K [x]=(P ) ei : K (.

1 ) ! K [x]=(P ). por tanto K ( 1 ) y K (.

L1 es una extension de K ( 1 ) y tambien L2 puede considerarse que extiende a K ( 1 ) por medio del K -monor.1 ) son K -isomorfos por ei 1 Æ i.

! L2 donde j : K (.smo j Æei 1 Æ i : K ( 1 ) .

1 ) . Notese que L1 y L2 son obviamente cuerpos de descomposicion de P sobre K ( 1 ) y como 1 2 K ( 1 ) tambien lo son de Pe = P=(x 1 ). p Ejemplo .! L2 es la inclusion. El cuerpo de descomposicion de P = x4 5x2 + 6 2 Q[x] es Q( 2. 3) (notese que P = (x2 2)(x2 3)). El concepto fundamental de esta seccion se recoge en la de. La demostracion se concluye por la hipotesis de induccion (ya que @ Pe < @P ). El cuerpo de descomposicion de P = x2 2 2 Q[x] es Q( 2). p p Ejemplo .

La de.nicion siguiente  n: Se dice que una extensi Definicio on. L=K es normal si todo polinomio irreducible P 2 K [x] que tiene una raz en L se descompone en factores lineal en L[x].

una extension normal debe contener los cuerpos de descomposicion de \muchos" polinomios. en principio. Sin embargo se tiene el siguiente resultado Proposicion 2.4 : L=K es normal y .nicion de extension normal parece ser mucho mas restrictiva que la de cuerpo de descomposicion en el sentido de que.

: )) Sea L = K ( 1.: : : . coincide con el. () Sea L el cuerpo de descomposicion de Q 2 K [x]. sus polinomios mnimos sobre K y sea P = P1  P2  : : :  Pn . Como L=K es normal. 2. n). por tanto L contiene al cuerpo de descomposicion de P y como L esta generado por la races de P . Sean P1.Pn . Basta demostrar que si y . : : : . L es el cuerpo de descomposicion de un polinomio de K [x].nita . P2. cada Pi se descompone en factores lineales y lo mismo ocurre con P . Dem.

son races de un polinomio monico irreducible. 2 K [x]. entonces 2 L ) .

44 . 2 L.

2 existe un K -isomor.Por el Lema 2.

smo i : K ( ) ! K (.

). L( ) es un cuerpo de descomposicion de Q 2 K ( )[x] y tambien L(. Por otra parte.

) puede considerarse como otro i cuerpo de descomposicion teniendo en cuenta la \K -inclusion" K ( ) ! K (.

) .! L(.

3 implica que L( ) y L(. La Proposicion 2. ).

) son isomorfos como extensiones de K ( ). por tanto [L( ) : K ] = [L(.

Si 2 L. se tiene 1 = [L( ) : L] = [L( ) : K ] [L(. ) : K ].

) : K ] = = [L(.

[L : K ] [L : K ] es decir. . ) : L] = 1.

Terminamos esta seccion con una proposicion que se sera fundamental en el calculo explcito de grupos de Galois Proposicion 2.5 : Sea L=K normal y . 2 L.

nita y sean M1 y M2 dos subcuerpos de L conteniendo a K . Si i : M1 ! M2 es un K -isomor.

Si P es un polinomio irreducible y .3 Corolario 2.smo.6: Sea L=K normal. entonces existe  2 G (L=K ) tal que restringido a M1 coincide con i. . De aqu se deduce un resultado mas fuerte que la Proposicion 1.

2 L son races de P . entonces existe  2 G (L=K ) con  ( ) = .

.: Basta aplicar la proposici on tomando M1 = K ( ). Dem. M2 = K (.

) y el isomor.

Dem.5): Como [L : M1 ] < 1.smo i : M1 ! M2 del Lema 2.2. basta aplicar repetidas veces que si 2 L entonces se puede extender a un K -isomor.(de la Proposici on 2.

smo ei : M1 ( ) ! M2 (.

) con cierto .

Sea P2 = i(P1 ) (i actua sobre los coe. 2 L. Sea P el polinomio mnimo de sobre K y sea P1 el polinomio mnimo sobre M1 . obviamente P1 jP . El resto de la demostracion se dedica a construir ei. Podemos suponer que @P1 > 1 (en otro caso tomaramos ei = i).

como L=K es normal. y por tanto tambien las de P2 . P2 es monico e irreducible y divide a P .cientes). estan en L. todas las races de P . Sea . porque P = P1  Q1 ) P = i(P ) = i(P1 )  i(Q1 ).

2 L con P2 (.

2 se tiene un M1 -isomor. ) = 0. por el Lema 2.

smo. i1 . y un M2 -isomor.

i1 : M1 ( ) ! M1 [x]=(P1 ).smo. i2 . i2 : M2 (.

i induce un K -isomor. ) ! M2 [x]=(P2): Por otra parte.

vemos como se aplican estos resultados en un caso sencillo: 45 . 1 as pues basta tomar ei = i2 Æ i3 Æ i1 . i3 : M1 [x]=(P1) ! M2 [x]=(P2 ).smo. i3 . Aunque dedicaremos casi toda la seccion 4 a dar ejemplos explcitos del calculo del grupo de Galois.

Las races del polinomio ciclotomico x4 + x3 + x2 + x + 1 son  . cada  2 G Q( )=Q esta determinado por su valor en  .6 implica que existen Q-automor. Hallar G Q( )=Q donde  = e2i=5 . Ejemplo .  2 . el Corolario 2.  3 y  4 .  Como la extension es simple y generada por  . as pues.

2 . 4g  G Q( )=Q . 3 ( ) =  3 . Por otra parte. ya que [Q( ) : H 0 ]  [Q( ) : Q] = 4. Por tanto la unica posibilidad es  G Q( )=Q = f1 . 3.smos 1 . 4 ( ) =  4 :  Con lo cual se tiene f1. 3. 2. la Proposicion 1. 3 y 4 tales que 1 ( ) = . 2 ( ) =  2 . 2. 4g: Notese que 1 =Id y que 2 genera al resto de los automor.4 con  H = G Q( )=Q implica jG Q( )=Q j  4.

Se dice que un polinomio irreducible P 2 K [x] es separable sobre K si cuando lo descomponemos en su cuerpo de descomposicion como P = k(x 1 )(x 2 ) : : : (x n ) todos los i son distintos. y se dice que L=K es una extension separable si todo elemento de L es separable sobre K .3). ya que 22 ( ) =2 (2 ( )) = 2 ( 2 ) =  4 = 4 ( ) 23 ( ) =2 (22 ( )) = 2 ( 4 ) =  8 =  3 = 4 ( ):  ZZ=4ZZ. tiene interes considerarla desde una perspectiva general. A pesar de que esta condicion tecnica se cumple en todas las extensiones algebraicas relevantes en este curso. ya que en otro caso la informacion contenida en el grupo de Galois puede ser muy pobre (vease la observacion que sigue a la Proposicion 1. Por consiguiente G Q( )=Q =  x 3. Antes de enunciarla necesitaremos una de. En caso contrario se dice que es inseparable.  n: Definicio Dado 2 L algebraico sobre K .smos. se dice que es separable sobre K si su polinomio mnimo lo es.  n: Definicio Hay una condicion muy sencilla para saber si un polinomio es irreducible es separable sobre K y esta condicion se satisface trivialmente cuando K  C. Una condicion tecnica que necesitaremos mas adelante es que las races de un polinomio irreducible sean distintas. Extensiones separables.

al polinomio P 0 = nan xn 1 + (n 1)an 1 xn 46 2 + : : : + 2a2 x + a1 .nicion. .  n: Definicio Dado P = an xn + an 1 xn 1 + : : : + a1 x + a0 2 K [x].

Corolario 3. no tiene sentido el concepto de lmite y con este nombre queremos hacer hincapie en que la de. () Si P fuera separable P = k(x 1 )(x 2 ) : : : (x n ) con i 6= j perteneciendo al cuerpo de descomposicion de P sobre K . P0 = n X i=1 Pi Pi (x) = donde P (x ) : x i Como x 1 jPi para 2  i  n y x 1 6 jP1 (porque 1 no coincide con ninguna otra raz) se tiene que x 1 6 jP 0 y por tanto P 0 = 0 es imposible.1 : Un polinomio irreducible P 0 P = 0. 2 K [x] es inseparable si y solo si De aqu se deduce inmediatamente Corolario 3. P 0 ) es un factor no trivial de P . Proposicion 3.3 se pueden escribir como (notese que en IFp . ap = a para todo a 2 IFp . P = an xnp + an 1 x(n 1)p + : : : + a1 xp + a0 (de la Proposicion 3. Por el peque~no teorema de Fermat. todo polinomio irreducible es separable.3: Si K es un cuerpo de caracterstica p > 0 entonces los unicos polinomios inseparables son de la forma con ai 2 K . 0 < i  n. por ejemplo en IFp . P 0) < @P y por tanto mcd (P.2: Si K es un cuerpo de caracterstica cero. P 0): Si P 0 6= 0 entonces 1  @ mcd (P.se le llama derivada formal de P . existe en el cuerpo de descomposicion tal que (x )2 jP y se tiene P = (x )2 R ) P 0 = 2(x )R + (x )2 R0 ) x jP 0 y x jmcd (P.1): )) Como P es inseparable. as que todos los polinomios de los que habla el Corolario 3. * Quiza al lector le sorprenda que no llamemos a P simplemente derivada de P . (a + b)p = ap + bp ) an xnp + an 1 x(n 1)p + : : : + a1 xp + a0 =apn xnp + apn 1 x(n 1)p + : : : + ap1 xp + ap0 =(an xn + an 1 xn 1 + : : : + a1 x + a0 )p . Entonces Dem. La razon para ello es 0 que en muchos cuerpos. lo que contradice que sea irreducible.

nicion es puramente formal y no tiene nada que ver con la de.

47 .nicion habitual a pesar de comparte las mismas propiedades.

y por tanto no son irreducibles. La situacion se puede generalizar un poco mas de. de donde se deduce que no hay polinomios irreducibles inseparables sobre IFp .

niendo el mor.

smo dado por \elevar a p".  n: Sea K un cuerpo de caracter Definicio stica p > 0. se llama mor.

o bien si tiene caracDefinicio terstica cero.smo de Frobenius p a la funcion  : K ! K dada por (x) = x . o bien si tiene caracterstica p > 0 y el mor.  n: Se dice que un cuerpo K es un cuerpo perfecto.

smo de Frobenius es un isomor.

Los cuerpos IFp son perfectos. ya que el automor. Ejemplo .smo.

smo de Frobenius es  = Id (por el peque~no teorema de Fermat) y por tanto es un isomor.

smo. Cualquier extension algebraica de IFp es separable.4 : Si K es un cuerpo perfecto. Proposicion 3. la no separabilidad de una extension constituye una di. M=K es separable. Ejemplo 2. En cualquier cuerpo K  C o en IFp todo polinomio irreducible es separable. combinada con el Corolario 3. K ( )=K es separable. El teorema anterior combinado con la siguiente proposicion (que no demostraremos) asegura que casi todas las extensiones que podamos imaginar son separables. entonces todo polinomio irreducible es separable. Como hemos comentado al principio de esta seccion. Ejemplo 1.2.5 : Sean K  L  M cuerpos y algebraico sobre K . entonces a) Si es separable sobre K . La misma demostracion que hemos hecho para demostrar que en IFp no hay polinomios irreducibles inseparables. b) Si M=L y L=K son separables. sirve para demostrar Teorema 3.

cultad para que la teora de Galois sea util en dicha extension. todos los resultados anteriores sugieren que los ejemplos de extensiones no separables son un poco arti. Afortunadamente.

1 o bien notando que sus races. t y t. El polinomio mnimo de t sobre IF2 (t2 ) es P = x2 t2 P 2 IF2 (t2 )[x]: Se puede comprobar que este polinomio es inseparable con la Proposicion 3. Notese que la extension IF2 (t)=IF2 (t2 ) es normal porque es . Consideremos la extension IF2 (t)=IF2 (t2 ).ciales. Ejemplo . Por tanto IF2 (t)=IF2 (t2 ) no es una extension separable. Veamos uno. coinciden en IF2 (t) (ya que 1 = 1 en IF2 ).

nita y coincide con el cuerpo de descomposicion de P (utilcese la Proposicion 2. Sin embargo G IF2 (t)=IF2 (t2 ) 48 .4).

 es trivial porque la Proposicion 1. De alguna manera. no tenemos su.3 implica que  (t) = t para todo  2 G IF2 (t)=IF2 (t2 ) .

cientes races distintas para que sus \simetras" representen la estructura de la extension. Teorema fundamental de la teor a de Galois y ejemplos. x 4. Recuerdese que los ejemplos al comienzo del captulo hacan pensar que algunas propiedades de las extensiones de cuerpos quedaban representadas por sus \simetras". El teorema fundamental de la teora de Galois a.

rma que esta representacion es \exacta" cuando la extension es normal .

1 (Teorema fundamental de la teora de Galois): Si L=K es normal. . y entre subextensiones normales y subgrupos normales. Es muy conveniente recordar la formulacion intuitiva del teorema fundamental de la teora Galois dada en el parrafo anterior para entender el enunciado concreto. en el sentido de que existe una correspondencia uno a uno entre subcuerpos y subgrupos del grupo de Galois. que es el siguiente Teorema 4.nita y separable.

 n: N Observacio otese que tras los resultados de la primera seccion (Proposicion 1. Ademas M=K es normal si y solo si G (L=M ) es Æ un subgrupo normal de G (L=K ). entonces G (L=M ) es un 0 subgrupo de G (L=K ) y M = G (L=M ) . 0 Dem.4) el teorema implica [L : M ] = G (L=M ).: Por de. en ese caso G (M=K ) es isomorfo a G (L=K ) G (L=M ). La demostracion no es muy complicada. una vez que se conoce todo el lenguaje y resultados de las dos secciones anteriores. En particular el grado de la extension es el orden del grupo de Galois.nita y separable y M es un subcuerpo K  M  L.

donde  jM es la restriccion de  a M . Procedemos por contradiccion suponiendo que existe x 2 G (L=M ) M . M = K ( 1. Esto de. : : : . P se descompone totalmente en L y sus races son distintas porque L=K es separable.nici on G (L=M ) es un subgrupo de G (L=K ). )) Por la Proposicion 2. 2. n) donde i son las races de un polinomio P 2 K [x]. por la Proposicion 1.3 se tiene  (M ) = M y por tanto  jM 2 G (M=K ). Sea P su polinomio mnimo sobre M . lo que contradice x 2 G (L=M ) 0 . Veamos ahora que M=K es normal si y solo si G (L=M ) es un subgrupo normal.6 con K = M nos asegura que existe  2 G (L=M ) tal que  (x) 6= x.4. Dado  2 G (L=K ). Obviamente G ( L=M )  0 M . por tanto el Corolario 2.

ne un homomor.

smo de grupos  : G (L=K )  ! G (M=K ) ! jM 49 .

por tanto el teorema del isomor.5 con M1 = M2 = M ) y cuyo nucleo es G (L=M ).que es sobreyectivo (por la Proposicion 2.

con dos races .smo (vease el repaso de teora de grupos del proximo captulo) implica que G (L=M ) es un grupo normal de G (L=K ) y que G (M=K ) es isomorfo Æ a G (L=K ) G (L=M ). () Si M=K no fuera normal. . P . entonces existe un polinomio.

2 L tales que 2 M y .

5 existe  2 G (L=K ) tal que  ( ) = . 62 M . Por el Corolario 2.

. Como .

el Corolario 2. 62 M y L=M es separable (por que L=K lo es).6 asegura que tambien existe  2 G (L=M ) tal que  (.

) = 6 .

Segun lo visto en las dos secciones anteriores. entonces  1  ( ) = 6 y por tanto 1  G (L=M ) = 6 G (L=M ). si K tiene caracterstica cero o K = IFp (o incluso si K es una extension . pero esto contradice que G (L=M ) sea un subgrupo normal de G (L=K ). .

entonces decir que L=K es normal.nita de IFp ). .

Esto sugiere la siguiente de.nita y separable es lo mismo que decir que L es el cuerpo de descomposicion de un polinomio sobre K con races distintas.

. Dedicaremos el resto de la seccion a calcular el grupo de Galois de algunas extensiones normales. en general.  n: Definicio 2 K [x] al grupo de Galois de su cuerpo Dado un polinomio arbitrario es realmente difcil. calcular su grupo de Galois incluso usando computadoras.nicion Se llama grupo de Galois de P de descomposicion sobre K .

as pues tenemos que calcular G = G (Q( )=Q). Ejemplo 1.  3 . sus races son  . x4 + x3 + x2 + x +1 Como x4 + x3 + x2 + x + 1 = (x5 1)=(x 1) (polinomio ciclotomico). lo que permite que los calculos se puedan llevar a cabo.  4 con  = e2i=5 . los cuerpos estaran generados por combinaciones sencillas de radicales). Cada automor.nitas y separables de las que tenemos una descripcion bastante explcita (fundamentalmente. Calcular el grupo de Galois del (cuerpo de descomposicion del) polinomio sobre Q.  2 . describiendo explcitamente todos los subcuerpos intermedios.

6 existen automor.smo en G esta determinado por su accion sobre  y segun el Corolario 2.

4 2 G tales que 1 ( ) =  2 ( ) =  2 3 ( ) =  3 4 ( ) =  4 : Como jGj = [Q( ) : Q] = 4 ya no hay mas automor. 2 .smos 1 . 3 .

4 g: * En principio hay un algoritmo (basado en la de. 2 . 3 .smos. es decir. G = G (Q( )=Q) = f1 .

incluso para grados peque~nos.nicion de grupo de Galois del propio Galois) pero requiere tantos calculos que es casi inviable en la practica. 50 . Stewart. El lector interesado lo puede encontrar en el apendice a la segunda edicion de \Galois Theory" de I.

22. el unico subcuerpo entre Q y Q( ) es M = H 0 . g2 : : :). Este cuerpo se puede calcular explcitamente usando la de. 22g y el grupo trivial fIdg. 22 ( ) = 2 ( 2 ) = 2 ( ) 2 =  4 ) 4 = 22 . Obviamente 1 = Id. Veamos que estructura tiene G. 22 . Como hay una correspondencia uno a uno entre subgrupos y subcuerpos. As pues G es cclico generado por 2 G = G (Q( )=Q) = h2 i = fId. g2. Segun el teorema fundamental de la teora de Galois se tiene G = fId. 23g j H = fId. 22g j H = fIdg = G (Q( )=Q)   = ZZ=4ZZ = G (Q( )=M )   = ZZ=2ZZ = G (Q( )=Q( ))   = feg donde M es un cuerpo intermedio con [M : Q] = jGj=jH j = 2. Los unicos subgrupos de G son fId. 2 . 23g  = ZZ=4ZZ: (Recuerdese que. la notacion hg1 . 2 . : : :i indica el subgrupo generado por g1 . en general. Tambien 23 ( ) = 2 ( 4 ) =  8 ) 3 = 23 .

y f1. se tiene  Æ M = a + b + c 2 + d 3 22 (a + b + c 2 + d 3 ) = a + b + c 2 + d 3 .nicion Æ M = H 0 = fx 2 Q( )  (x) = x 8 2 H g: Como H = fId. 2  3 . a. .  2.  2. . d 2 Q : Un calculo prueba 22 (a + b + c 2 + d 3 ) = a + b 4 + c 3 + d 2 = (a b) b + (d b) 2 + (c b) 3 donde en la segunda igualdad hemos usado  4 = 1  una base de Q( ). b. 22 (a + b + c 2 + d 3 ) = a + b 4 + c 3 + d 2 . 22g. Como f1.  3 g es una base de Q( ).  3 g es a b=a b=b d b = c c b = d: Resolviendo este sistema se tiene . c.

nalmente  Æ M = a + c( 2 +  3 ) a. usando las formulas de adicion 51 .  n: Quiz Observacio a al lector le parezca que Q(cos(2=5)) es \otro" cuerpo intermedio. c 2 Q : Como  2 +  3 = e4i=5 + e6i=5 = 2 cos(4=5). Como H es un subgrupo normal de G (porque G  = ZZ=4ZZ que es abeliano). se puede escribir mas explcitamente M = Q(cos(4=5)). en realidad. entonces M=Q es una extension normal. contradiciendo al teorema fundamental.

5 que dice intuitivamente que podemos obtener automor. Veamos ahora uno de los ejemplos mas completos que se pueden poner a este nivel. Notese como entra en juego de forma fundamental la Proposicion 2.de las funciones trigonometricas no es difcil probar que Q(cos(2=5)) = Q(cos(4=5)).

Cada automor. Como [L : M ] = [L : K ]=[M : K ] = 4. 3. Por ello consideramos p L = Q(i. consiguiendo que se repita de alguna manera la situacion del ejemplo anterior. es conveniente \descomponer" la extension en subextensiones normales que sean mas sencillas. Calcular el grupo de Galois (del cuerpo de descomposicion) del polinomio 4 x 2 sobre Q y calcular el numero de subcuerpos intermedios. el polinomio p4 4 mnimo de p4 2 sobre M es x 2. Antes de nada. describiendo explcitmente uno de ellos y diciendo si da lugar a una extension normal. Comencemos con G (L=M ). 2. 1. por tanto su cuerpo de descomposicion es Q(i. Ejemplo 2. Esta situacion se repetira en ejemplos posteriores.smos en una extension grande ampliando otros de una extension menor mas sencilla. calculemos [L : K ] para saber el orden del grupo de Galois p p  p p [L : Q( 4 2)] = 2 porque i 62 Q( 4 2) ) [L : K ] = [L : Q( 4 2)][Q( 4 2) : Q] = 8: El calculo de G (L=K ) se basa en calcular los grupos mas sencillos G (L=M ) y G (M=K ). p Laspraces de x4 2 son ik 4 2 con k = 0. 4 2) j M = Q(i) j K=Q Notese que L=M es normal (porque L=K lo es) y M=K tambien es normal porque M es el cuerpo de descomposicion de x2 + 1. intentando mas tarde unir ambas informaciones \pegando" ambos grupos. 4 2). como en otros ejemplos. En este.

3 .6 implica que G (L=M ) = f1 .smo de G (L=M ) esta determinado por su valor en 2. lo que combinado con el Corolario 2. 4 g con p p p p p p p p 1 ( 4 2) = 4 2 2 ( 4 2) = i 4 2 3 ( 4 2) = 4 2 2 ( 4 2) = i 4 2: Como estos automor. 2 .

smos dejan .

jos M se cumple n (i) = i. Obviamente 1 = Id y algunos calculos demuestran que 3 = 22 y 4 = 23 . 2. . 3g  = ZZ=4ZZ: Todos estos elementos estan en G (L=K ). como [L : K ] = 8 nos faltan otros cuatro automor. 3. escribamos  en lugar de 2 . Hemos demostrado G (L=M ) = hi = fId. 2. 4. n = 1. Simplemente para abreviar. ya que G (L=M ) es un subgrupo de G (L=K ).

smos. que vamos a conseguir \extendiendo" un automor.

52 .smo de G (M=K ).

es el automor.6 se tiene que G (M=K ) = fId.La extension M=K es normal. conj.g donde conj. y por el Corolario 2.

5 asegura que podemos extender cada automor. La Proposicion 2.smo dado por la conjugacion.

.smo de G (M=K ) a G (L=K ).. . Concretamente. La proposicion no nos dice cual es el valor de  ( 4 2) pero como sabemos que tiene que ser una raz de x4 p2 (porpel Corolario 2.  (i) = i. esto es. 3 o 4 . podemos suponer que  ( 4 2) = 4 2 p4 p4a componiendo 2 tomaramos e = 3 en lugar de  ). 2. Quiz con 2 .6). si  ( 2) = hemos conseguido un nuevo elemento de G (L=K ) sino que tambien todos los productos de  con los elementos ya calculados tambien estaran en G (L=K ). 3 g  G (L=K ) y como todos estos automor. 3.  i  G (L=K ): En particular se tiene que fId. Con esto no solo (por ejemplo. . existe  2 G (L=K ) tal p que  jM = conj. 2. concretamente h.

smos son distintos y [L : K ] = 8 se tiene que este es el grupo de Galois G (L=K ) = fId. 2. 3. 2. . . . 3 g  = D8 : El ultimo isomor.

smo requiere alguna explicacion. Recuerdese que D8 es el grupo de movimientos del plano (giros y simetras) que dejan .

por una de las diagonales D C C B D ! g: A B C A C A D ! s: D B A B Los grupos G (L=K ) y D8 son isomorfos porque  puede identi. de 90o y la simetra. g .jo un cuadrado ABCD. El grupo D8 esta generado por el giro. s.

respectivamente) y satisfacen la relacion que caracteriza a D8 .carse con g y  con s. que es  =  3  . Para veri. ya que ambos son generadores de los grupos correspondientes con el mismo orden (cuatro y dos.

car las a.

rmaciones del parrafo anterior. es conveniente tener una tabla con la accion de todos los automor.

Tambien sera util disponer de ella en el calculo de los subgrupos de G (L=K ).smos de G (L=K ) y sus ordenes. por ello la damos a continuacion i Id : : 2 : 3 : # i i i i p4 2 # p4 p4 2 i p2 4 p4 2 i 2 i :  : 2 : 3 : (orden 1) (orden 4) (orden 2) (orden 4) 53 # i i i i p4 2 # p4 p4 2 i p2 4 p4 2 i 2 (orden 2) (orden 2) (orden 2) (orden 2). .

Los subgrupos de orden 2 de G (L=K ) contienen un elemento de orden 2 y la identidad. Con estas observaciones y la tabla anterior. y los subgrupos de orden 4 estan generados por un elemento de orden 4 (si es que son  = ZZ=4ZZ) o  por dos de orden 2 que conmutan (si es que son = ZZ=2ZZ  ZZ=2ZZ). no es difcil comprobar que el retculo de subgrupos (diagrama de subgrupos indicando inclusiones) queda representado con el siguiente esquema G (ÆL=K ).Para hallar los subcuerpos de L tenemos que calcular los subgrupos G (L=K ).

= h. i ! orden 8 .

Æ h2.

 i h..

Æi h2.

 i  .

2 .

.

d. c. Veamos. b. y se tiene p Æ p p p h i0 = a + c 4 2 + e 4 22 + g 4 23 a. 4 22 . la segunda igualdad Æ h i0 = fx 2 L  (x) = xg: p p p Como f1. f. h i es un subgrupo normal de G (L=K ) (un subgrupo de ndice dos es siempre normal) y por tanto hi0 es una extension normal de Q. 4 23 g son bases de M=K y L=M .  g. g. por ejemplo. M . g 2 Qg = Q( 4 2) como habamos a.  g 6= fId. e. = = Algunos de ellos dan lugar a extensiones normales de K y otros no. c. Por ejemplo. Del esquema anterior deducimos que hay 8 subcuerpos. e. h i no es un subgrupo normal de G (L=K ) ya que  1 fId. ig y f1. por los resultados del primer captulo se obtiene una base de L=K multiplicando los elementos de estos dos conjuntos. h 2 K . 4 2. Sin embargo. b = d = f = h = 0. tales que K  M  L. ! orden 4 h2 i h i h i h i h3 i ! orden 2 Para mayor simplicidad hemos omitido el grupo trivial fIdg que esta contenido en todos ellos. as pues p p p p p p x 2 L ) a + bi + c 4 2 + di 4 2 + e 4 22 + fi 4 22 + g 4 23 + hi 4 23 con a. 6 6 p No es difcil comprobar que h i0 = Q(i) y h i0 = Q( 4 2). por tanto h i0 no es una extension normal de Q. como  es la conjugacion  (x) = x .

p p Ejemplo 3. Calcular el grupo de Galois de Q( 2. 54 .rmado. 3)=Q.

3) M = Q( 2) j Q p p Las extensiones L=M = M ( 3)=M y M=K = K ( 2)=K son normales de grado dos. de lo cual se deduce (ver Corolario 2. g G (M=K ) = fId. 0g donde  y  0 son los automor.6) G (L=M ) = fId.La extension es normal. Consideramos p p j p L = Q( 2.

5 para obtener un 0 automor. pero tenemos que extender  0 con la Proposicion 2.smos p p p p : 3 ! 3  0 : 2 ! 2:  2 G (L=K ).

Con ello tenemos que .  ( 2) = 2.  ( 3) = 3.smo p p pde G (L=K ).  2 G (L=K ) y p p p p p p p p  ( 3) = 3. pero podemos suponer  ( 3) = 3 porque si este no fuera el caso consideraramos  en lugar de  . en principio  podra enviar 3pa 3 op 3 (las races del polinomio mnimo de 3 sobre K ). Sea  2 G (L=K ) tal que  jpM =  .  ( 2) = 2: Ahora podemos combinar estos automor.

Ejemplo 4. h(0. respectivamente (ejercicio). 1)i. M3 = hi . 55 2 . h(1. 2g. a + b 2 + c 3 + d 2 3 = a b 2 c 3 + d 2 3 p lo que implica b = c = 0 y por tanto M3 = Q( 6). M2 = hi . Es muy sencillo comprobar G (L=K )  = ZZ2  ZZ2 : Como ZZ2 solo tiene tres subgrupos propios. 3g son bases de L=M y M=K ) f1. c. Como [L : K ] = 4 estos son todos los elementos de G (L=K ). 2. g. L=K solo tienen 0 0 0 tres subcuerpos propios p quepson M1 = h i . d 2 Qg. 2 3g es base de L=K . 1)i. Hallar el grupo de Galois del cuerpo de descomposicion de P = x3 sobre Q. Los dos primeros subcuerpos son Q( 3) y Q( 2). 3. pero p p pp p p pp  (x) = x . . . Hallemos M3 Æ M3 = fx 2 L  (x) = xg: p p p p pp f1. a. b. h(1. as pues p p pp Æ M3 = fx = a + b 2 + c 3 + d 2 3  (x) = x. obteniendose fId. 0)i.smos de todas las formas posibles . f1.

quiza componiendo con  o  2 .p p p p Las races de P sonp3 2. Es decir.. Sea  2 G (L=K ) tal que  jM =conj. p p p  ( 3 2) = ! 3 2  (! ) = ! p  ( 3 2) = 3 2  (! ) = ! = ! 2 :  tiene orden 3 y  tiene orden 2. 3 2). Consideramos p L = Q(!. ! 2 3 2. De nuevo. p p p p p dondep ( 3 2) = ! 3 2. que ocurre el primer caso. multiplicando potencias de ambos obtenemos 6 automor. donde ! = ( 1 + i 3)=2.6. . ! 3 2. conj.g. se tiene G (L=M ) = fId. por el Corolario 2. pero siempre podemos suponer. 2g G (M=K ) = fId. entonces  ( 3 2) = 3 2 o ! 3 2 o ! 2 3 2. as que el cuerpo de descomposicion es Q(!. 3 2) j M = Q(! ) j K=Q entonces L=M y M=K son extensiones simples normales de grados 3 y 2 respectivamente.

la unica subextension normal sobre K es M=K . . M3 = h i0 y M4 = h 2  i0 . y que como h i es el unico subgrupo normal. 56 . Se puede comprobar (ejercicio) que p p p M2 = Q( 3 2). Los subcuerpos propios son M1 = h i0 . 2 g: p Es facil comprobar que el grupo no es abeliano y que actua sobre ! y 3 2 como en la siguiente tabla ! # Id : ! : ! 2 : ! p3 2 # p3 p2 ! 3p2 23 ! 2 ! #  : !2  : ! 2 2 : !2 (orden 1) (orden 3) (orden 3) p3 2 # p3 p2 ! 3p2 23 ! 2 (orden 2) (orden 2) (orden 2) G (L=K ) es isomorfo a D6 (compruebese la relacion  = 2  ) que a su vez es isomorfo a S3 . .smos distintos que forman el grupo de Galois porque [L : K ] = 6 G (L=K ) = fId. M1 = Q(! ). M4 = Q(! 3 2). M2 = h i0 . M3 = Q(! 3 4). . 2.

veamos un ejemplo en el que extender los automor.Solo a modo ilustrativo.

se tiene que sus races son p Resolviendo p  1 2. as que el cuerpo de descomposici on es q p q p L = Q 1 + 2.smos requiere alguna consideracion mas precisa. para ello notese que qsimpli. Ejemplo 5. la ecuacion bicuadrada P = 0. intetemos los generadores. 1 2: p p  1 + 2. Hallar el grupo de Galois del cuerpo de descomposicion de P = x4 2x2 1 sobre Q. Antes de nada.

de. p p por tanto.car p q p p 1+ 2 1 2= 1 = i.

p p El polinomio mnimo de en Q( 2) es x2 (1 + 2). ) j p M = Q(i. y L = Q( . G (M=K ) se puede calcular como en el ejemplo 3 p G (M=K ) = fId. eso nos lleva a considerar L = Q(i. p i= . as pues G (L=M ) = fId. Observese que esta en una extension de grado 4 que contiene a 2. i). . g ( ) = : Por otra parte. 2) j Q(i) j K=Q donde todas las extensiones son de grado 2. i= .niendo = 1 + 2 se tiene que las races de P son . .

1 . .

2. .

1.

2 g con p .

1 (i) = i .

1 ( 2) = 2 p .

2 (i) = i .

2 ( 2) = p 2: Sean 1 y 2 2 G (L=K ) tales que 1 jM = .

1 y 2 jM = .

2 . as pues se tiene que i ( ) 2 f . es decir. 2. i= g. i = 1. que en principio 1 y 2 podran tomar cuatro valores * Es posible considerar otras extensiones. pero hemos elegido esta porque en ella aparece de manera natural el problema de la extension de automor. . su polinomio mnimo sobre Q es P . i= . Como esta en una extension de grado 4.

smos. 57 .

y componer con  solo permite pasar de uno de los valores a otro. Cuando sucede esto es que hay algunas extensiones de .distintos.

1 y .

por ejemplo p p 2 ( ) = ) 2 ( 2 ) = 2 ) 2 ( 2) = 2 lo que contradice 2 jM = .2 que no son posibles.

2. 1. . 2 ( ) = . con un poco de trabajo se puede comprobar que G (L=K )  = D8 . : : : . Dem. por tanto jG (Q( )=Q)j = n 1.3 : Si n > 2 entonces [Q( ) : Q] = (n) donde  es la funcion de Euler. El grupo de Galois viene entonces dado por G (L=K ) = fId.: Claramente Q( ) es el cuerpo de descomposici on del polinomio ciclotomico n 1 n 2 P = x + x + : : : +1. 12g: Notese que no es abeliano 1 2 ( ) = 1 (i= ) = i= 2 1 ( ) = 2 ( ) = i= : Aunque no lo haremos aqu. de P . i= g. Lema 4. 2 .  j . porque su efecto es enviar  a otra raz. y. 2. [Q( ) : Q] = n 1. G (Q( )=Q) esta formado por los automor. Clark. Recuerdese que (n) da el numero de enteros positivos menores que un numero n y primos con el. quiza componiendo con  . Concluimos esta seccion calculando el grupo de Galois de la extension ciclotomica Q( )=Q donde  = e2i=n . Como P es irreducible y tiene a  como raz. Q (n) = n pjn (1 p 1 ).2 : Si n es primo. 1. Por otra parte es claro que j 2 G (Q( )=Q).2 . 1 ( ) = i= . 1 ( ) = i= . G (Q( )=Q) = 1 . 2 ( ) 2 fi= . Aqu solo daremos una demostracion suponiendo conocido el siguiente lema (su prueba puede encontrarse en \Elementos de algebra abstracta" de A. n 1 donde j :  ! j. 12 . De la misma forma. g.  Proposicion 4. siempre podemos suponer 1 ( ) = y 2 ( ) = i= . Proposicion 4. El caso n = p primo. Extender el resultado anterior al caso general (n no necesariamente primo) no es en absoluto sencillo.4 : Si n > 2. as pues 1 ( ) 2 f . son imposibles. es bastante sencillo.

como j k 7! jk. Ademas. 11 : Mediante la correspondencia j 7! j podemos asignar de forma unica a cada elemento del grupo de Galois de la proposicion anterior un elemento invertible de ZZ=nZZ.smos j :  !  j donde 1  j < n con j y n primos entre s. Por ejemplo. 5. 7. se puede reformular el resultado como 58 . como consecuencia se tendra  G (Q(e2i=12)=Q) = 1.

por tanto (usando el teorema fundamental de la teora de Galois) se tiene que la extension Q(cos 217 )=Q es normal y que  Æ G Q(cos 217 )=Q  = G (Q( )=Q) H  = ZZ8  De hecho. G (Q( )=Q)  = ZZn donde ZZn es el grupo de unidades (elementos con inverso multiplicativo) del anillo ZZ=nZZ. sugiere calcular primero G (Q( )=Q). 2. : : : . entonces la inclusion debe ser una igualdad. lo unico que podemos asegurar es  G (Q( )=Q)  1 .5: (de la Proposicion 4. as que Q(cos 217 ) = H 0 donde H es un subgrupo de orden dos. 16g: Se reduce a unos cuantos calculos comprobar que 3 genera todo el grupo. : : : . 3. 8 = 310 porque 3 ( ) =  3 ) 32 ( ) =  9 ) 34 ( ) =  81 =  13  ) 310( ) = 34 34(32( )) =  91313 =  8: As pues G (Q( )=Q) = h3i  = ZZ16 : Observese que [Q( ) : Q(cos 217 )] = 2. no podemos asegurar que el polinomio Dem. : : : . como podemos obtener automor. La relacion cos 217 = ( +  1 )=2 con  = e2i=17.4): En este caso. Como las races de P son . n) = 1 : Como jG (Q( )=Q)j = (n) (por el lema) y el cardinal del segundo conjunto es tambien (n). entonces j 62 G (Q( )=Q) ya que en ese caso j ( n=d ) = e2ij=d = 1.  2 . Calcular G Q(cos 217 )=Q . n) = d > 1.Si n > 2. n 1 : Si mcd(j. As pues  Æ G (Q( )=Q)  j mcd(j. P = xn 1 + xn 2 + : : : + 1 sea irreducible (de hecho no lo es si n no es primo).  Ejemplo 6. Corolario 4. Notese que este subgrupo es normal porque ZZ16 es abeliano. por ejemplo. 2. lo que es imposible porque  n=d = 6 1.  n 1 . que segun los resultados anteriores es G (Q( )=Q) = fId = 1 .

(por ejemplo 3 :  !  3 actua sobre cos 217 =  ( +  1 )=2 como 3 cos 217 = ( 3 +  3 )=2 = cos 617 ) se tiene  G Q(cos 217 )=Q  = h i con  cos 59 2  6 = cos : 17 17 .smos de G Q(cos 217 )=Q restringiendo al subcuerpo Q(cos 217 ) los de G (Q(  )=Q).

60 .

Hoja 5 1) >Cuales son los automor.

smos de Q? >y los IR-homomor.

smos (homomor.

smos que dejan .

Hallar sus automor. y )=Q(x + y. xy + xz + yz. xy )) y G (Q(x. z )=Q(x + y + z. y. L. de P = x2 + x + 1 2 IF2 [x] es un cuerpo de cuatro elementos. 4) Recuerdese que el cuerpo de descomposicion.jo IR) de C en C? 2) Calcular G (Q(x. y ) y Q(x. xyz )) (Q(x. y. *3) Calcular G (Q(x)=Q). z ) denotan los cuerpos de funciones racionales en dos y tres variables respectivamente).

smos y sus IF2 -automor.

7) Sea L el cuerpo de descomposicion de x2 + x 1 2 Q[x]. 6) Sea P 2 K [x] irreducible de grado tres. Hallar G (L=Q). 5) Hallar el cuerpo de descomposicion de x3 5 2 Q[x]. es decir. y sea L su cuerpo de descomposicion. G Q( 4 2)=Q . p p  p p p  p  8) Hallar G Q( 4 2)=Q( 2) . G Q( 2 + 3)=Q( 3) . G (L=IF2).smos. Demostrar que o bien [L : K ] = 3 o bien [L : K ] = 6. p p  9) Hallar G Q( 5 + 7)=Q poniendo especial cuidado en demostrar que realmente cada \posible" Q-automor.

 4. H 0 = Q(x1 . Demostrar que.  2.  6. x2 ). x2 ) donde 17 17 x1 = cos 217 + cos 2617 y x2 = cos 217  cos 2617 .  3 .  g. de hecho. demostrar que cos 2 Q(cos )  cos 17 2 2 17 17 2k 6k 4 0 y que  (cos ) = cos .  5 . comprobar que H  Q(x1 . .  7g  = ZZ=8ZZ donde 1 3 3 2 +   + 2k 2  = = con  = e2i=17. 12) Sabiendo que G (Q( )=Q) con  = e2i=7 esta generado por el automor. (Sugerencia: Si es un cero de este polinomio entonces 2 tambien lo es). Si H = fId. demostrar que L=IF2 es simple. 11) Si L es el cuerpo de descomposicion de x3 + x2 + 1 2 IF2 [x].smo en realidad lo es. 10) Sabiendo que G (Q(cos 217 )=Q) = fId.

demostrar que jG (Q( )=Q)j = 6 y encontrar los elementos de G (Q( )=Q) que dejan .smo  :  !  3 .

Si ademas K es un subcuerpo  de C. demostrar que las funciones k : K (x) ! C(x) de.jo a  +  2 + 3 3 +  4 + 3 5 + 3 6 . 13) Demostrar que Y n xn es irreducible en K (xn )[Y ].

nidas por k f (x)=g (x) = f (e2ki=n x)=g (e2ki=nx). con 1  k  n. son homomor.

smos y son los unicos que .

14) Hallar G (Q(x)=Q(xn )).jan K (xn ). G (C(x)=C(xn )) y G (K (x)=K (x15)) con K = Q(e2i=3). calculando en cada caso los cuerpos que quedan .

jos por todos los automor.

61 . 15) Demostrar que K1 = IF2 [x]=(x3 + x + 1) y K2 = IF2 [x]=(x3 + x2 + 1) son cuerpos de descomposicion de x8 x 2 IF2 [x].smos. Concluir que K1 y K2 son isomorfos.

62 .

demostrar i) L=K normal ) L=M normal. iii) M=K . iv) L=K separable ) L=M separable. 2) Demostrar que dada una extension . v) M=K separable 6) L=K separable. L=M normales 6) L=K normal.Hoja 6 1) Si K  M  L y [L : K ] < 1. ii) L=K normal 6) M=K normal.

4) Estudiar si Q(x)=Q(x3 ) es normal. .nita M=K siempre existe un L. Hallar la clausura normal de Q( 5)=Q. Al menor cuerpo con estas caractersticas p5 se le llama clausura normal (o cierre normal) de M=K . L  M  K tal que L=K es normal. 3) Demostrar que toda extension de grado dos es normal.

5) Si L es el cuerpo de descomposicion de P 2 K [x]. demostrar que [L : K ].

pero existen in. p 6) Sea L = IF3 ( 3 x.(@P )!. y ). Demostrar que L=K es normal y [L : K ] = 9 < 1. p3 y) y K = IF3 (x.

>Por que esto no contradice el teorema fundamental de la teora de Galois? 7) Hallar una extension separable y normal que no sea .nitos subcuerpos intermedios K  M  L.

es normal y de grado 6. 9) Si H Æy N son subgrupos de G (L=K ) cuyos cuerpos . 8) Probar que P = x6 + x3 + 1 es irreducible en Q[x] y utilizarlo para demostrar que la extension Q(e2i=9)=Q.nita.

5-2) que si L = Q(x. z ) y K = Q(x + y + z. xy + xz + yz. xyz ) entonces G (L=K ) = S3 . 63 . 10) Recuerdese (Ej.   2 H. calcular h. 3)i0 = K (x1 x2 )(x1 x3 )(x2 x3 ) . y. 2.jos son H 0 = L1 y N 0 = L2 .  2 N i0 . Demostrar que h(1.

64 .

M=Q. 3) Lo mismo para P = x5 + 3x3 3x2 9. Q  M  L. . 2) Hallar el grupo de Galois del cuerpo de descomposicion de P = (x2 3)(x2 + 3) sobre Q. 5) Lo mismo para P = x7 + 4x5 x2 4. de estas extensiones. hallando todas las subextensiones normales.Hoja 7 1) Demostrar que si L es un cuerpo de descomposicion de un polinomio sobre Q y G (L=Q) es abeliano. entonces M=Q es normal para todo subcuerpo M . p p p p 6) Calcular G (Q( 3 + 8)=Q) y G (Q( 3 + 10)=Q). 7) Sabiendo que L=Q es normal y [L : Q] = p. calculando los subcuerpos intermedios. hallar un grupo isomorfo a G (L=Q). 8) Si G (L=Q)  ZZ=pq ZZ (donde p y q son primos distintos) con L=K normal. 4) Lo mismo para P = x4 + 1.

nita y separable. >cuantos subcuerpos. . M . hay con K  M  L? 9) Demostrar que si Q  M  Q(e2i=k ) G (M=Q) es abeliano.

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

Demostrar 2 2 que existe Q  M  Q(e2i=n ) tal que [Q(e2i=n ) : M ] = n. 65 2 . demostrar que el polgono de 257 lados es construible con regla y compas. 11) Sabiendo que G (Q(e2i=257)=Q)  ZZ=256ZZ.[Q(e2i=n ) : Q].

66 .

Grupos .4.

nitos y cuerpos .

A pesar de que solo tendran un papel auxiliar en algunas demostraciones del resto del curso.nitos x 1. La primera idea al incluir esta seccion era recordar algunos de los conceptos y resultados mas avanzados que se vieron el curso pasado. en particular los resultados de isomorfa que damos a continuacion. Repaso de teor a de grupos. El ultimo es de menor importancia. el lector debe saber y entender el primero de ellos y al menos recordar los dos siguientes. Teorema del isomor.

smo Si  : G ! G0 es un homomor.

entonces HN=N  = H=(H \ N ): 3er Teorema de isomorfa Si N1 < H1 < G. 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 resolva. De alguna manera. el grupo de Galois en ciertos subgrupos. N2 < H2 < G. 2. N< G y N  H . lo unico esencial para el estudio de la resolubilidad por radicales son las de. En esta seccion introduciremos notacion y daremos ciertos resultados que ponen en rigor esta idea. el \factorizaba" el cuerpo de descomposicion en ciertos subcuerpos que diferan uno de otro en un radical. Gracias al teorema fundamental de la teora de Galois esto nos lleva al problema de \factorizar". entonces Æ N1 (H1 \ H2 )ÆN1 (H1 \ N2 )  = H1 \ H2 (H1 \ N2 )(H2 \ N1 ): x  n y grupos solubles.smo de grupos. en algun sentido. La principal motivacion de Galois fue el estudio de la resolubilidad por radicales de ecuaciones algebraicas. entonces G=N ÆH=N  = G=H: 2o Teorema de isomorfa Si H  G y N< G. entonces Nuc  es un subgrupo normal de G y G=Nuc   = Im : 1er Teorema de isomorfa Si H< G. Aunque se trataran varios temas. Series de composicio El teorema fundamental de la teora de Galois es un arma muy poderosa que permite traducir teoremas de teora de grupos en teoremas de teora de cuerpos.

5. y el Corolario 2.4 y 2.  n: Sea G un grupo .niciones de grupo simple y soluble.8. las Proposiciones 2.

67. : : : . .nito. 2. se dice que una cadena de subgrupos de G Definicio feg = G0  G1  G2 : : :  Gn = G es una serie normal si Gi 1 < Gi para i = 1. n.

1. dos series normales seran feg  hi  D8 feg  h2i  hi  D8 : Los ejemplos anteriores sugieren que debieramos de. 2. f0g  f0. 3g es una serie normal de G. 2g  f0. 2. 3g: Æ Ejemplo .  =  3  i.Recuerdese que A< B< C 6) A< C .  n: Observacio Ejemplo . 2. 1.  2 = e. Tambien serie serie normal f0g  f0.   4 = e. Para D8 = h. 1. ZZ4 = f0. as que Gi no tiene por que ser en general un subgrupo normal de G. 3g.

nir algo as como la serie normal mayor. ese es el contenido de la siguiente de.

Porque si n no es primo existe un elemento distinto de 0 de orden menor que n y por tanto genera un subgrupo. es natural pensar que existe algun resultado que a. H . f0g  H  ZZn . Ejemplo . 6 6 6 es una serie de composicion de G si no puede ampliarse. Ejemplo . f0g  ZZ4 no es una serie de composicion de ZZ4 porque H = f0. H es normal en ZZn porque ZZn es abeliano.nicion  n: Definicio Se dice que una serie normal de un grupo G feg = G0 = G1 = G2 : : : = Gn = G. es decir. hallar la serie de composicion de un grupo es descomponerlo lo mas posible. 6= 6= De alguna manera. n = p primo. si para ningun 1  i  n existe H tal que Gi 1 < H< Gi . f0g  ZZn es una serie de composicion de ZZn . 2g amplia esta serie normal. Guardando esta analoga.

ese es el contenido del teorema de Jordan-Holder que damos a continuacion Teorema 2. 68 .rme que la descomposicion es unica en algun sentido.1 (Jordan-Holder): Si tenemos dos series de composicion para G feg = G0  G1  G2 : : :  Gn = G feg = H0  H1  H2 : : :  Hm = G entonces n = m y los cocientes Gi =Gi 1 Hi =Hi 1 son isomorfos pero quiza apareciendo en distinto orden.

De.

niendo los grupos Geqm+r = Gq (Gq+1 \ Hr ) He qm+r = Hq (Hq+1 \ Gr ) se tienen las siguientes series normales feg = Ge0  Ge1 : : :  Gem  : : :  Ge2m  : : :  Genm = G jj jj jj jj G0 G1 G2 Gm Dem. Por la de.: y feg = He 0  He 1 : : :  He n  : : :  He2n  : : :  He nm = G: jj H0 jj H1 jj H2 jj Hn Usando el tercer teorema de isomorfa se puede demostrar (ejercicio) que los cocientes de la forma Geum+v =Geum+v 1 y He vn+u =He vn+u 1 son isomorfos. las dos series normales anteriores tienen cocientes isomorfos (quiza en diferente orden). por tanto.

H2. Esto.nicion de serie de composicion en estas series todos los grupos estan repetidos excepto G1 . los \grupos primos" seran los que responden a la siguiente de. Gm (en el primer caso) y H1 . : : : . Insistiendo en la analoga entre factorizacion y series de composicion. G2 . : : : . prueba el teorema. Hm (en el segundo). y lo dicho anteriormente acerca de los cocientes.

n. : : : . i = 1. Gi =Gi 1 es simple. 2.2 : Una serie normal feg = G0  G1  G2 : : :  Gn = G es de composicion .: )) Si Gi =Gi 1 no es simple ) 9G=G serie de composicion. feg  G es serie de composicion. e i 1 < Gi =Gi 1 ) Gi 1 < G< e Gi ) no es Dem. e Gi ) G=G e i 1 < Gi =Gi 1 ) () Si no es una serie de composicion ) 9Ge Gi 1 < G< Gi =Gi 1 no es simple.nicion Se dice que un grupo G es simple si no tiene subgrupos normales propios (distintos del trivial y de el mismo). Ahora daremos la de.  n: Definicio G simple . En este contexto el siguiente resultado parece bastante natural Proposicion 2.

intuitivamente son grupos que se pueden descomponer del todo  n: Se dice que un grupo (.nicion central de este captulo que es la de grupos solubles.

G.nito). es soluble si tiene una serie de comDefinicio Nota: posicion feg = G0  G1  G2 : : :  Gn = G 69 .

De la Proposicion 2. i = 1. con pi primo. : : : .de modo que Gi =Gi 1  = ZZpi . 2. n. un ejemplo de ello es el siguiente resultado que algunos autores usan como de.2 se deducen condiciones menos restrictivas que aseguran que un grupo sea soluble.

G=N y N son solubles. Una de.5 : Sea N< G. entonces G soluble .4 : Si G es soluble. Proposicion 2. H  G tambien lo es. En particular.nicion de grupo soluble Corolario 2.3: G es soluble si y solo si existe una serie de normal feg = G0  G1  G2 : : :  Gn = G de modo que Gi =Gi 1 es abeliano. A continuacion damos los resultados que utilizaremos en el problema de la solubilidad por radicales Proposicion 2. todo grupo abeliano es soluble.

nicion que tiene bastante interes en teora de grupos (gracias a los llamados \teoremas de Sylow") es la siguiente Se dice que un grupo .

G. Un importante (y nada facil) resultado de teora de grupos a.nito. D8 y ZZ9 son p grupos con p = 2 y p = 3 respectivamente. es un p grupo (con p primo) si su orden es una potencia de p.  n: Definicio Ejemplo .

c) Si n = 4 feg  h(1. Conociendo este resultado.rma: Todo p grupo de orden mayor que p tiene un subgrupo normal propio. 3)(2. 2)(3.4 y 2. 2)(3. n < 5. b) Si n = 3 feg  A3  S3 . El otro resultado que utilizaremos el proximo captulo es Teorema 2.7 : Una serie de composicion para Sn viene dada por feg  S2 . de la proposicion anterior se puede deducir por induccion Corolario 2. (1. Concluimos esta seccion con las demostraciones de la proposiciones 2.5 70 . a) Si n = 2 Una formulacion casi equivalente de este resultado es Corolario 2.8: An es simple para n  5.6: Todo p grupo es soluble. 4). d) Si n  5 feg  An  Sn . y Sn es soluble . 4)i  S4 . 4)i  h(1.

(de la Proposicion 2. Dem.4): G soluble implica que feg = G0  G1  G2 : : :  Gn = G. i 6= 6= 6= entonces de. 6= 6= 6= es serie de composicion con Gi =Gi 1  = ZZp . Sea feg = G0 \ H  G1 \ H  G2 \ H : : :  Gn \ H = H.

A pesar de que la teora de Galois clasica se centra sobre extensiones . () De nuevo es un ejercicio con el primer teorema de isomorfa comprobar que si feg = N0  N1  N2 : : :  Nn = N feg = G0 =N  G1 =N  G2 =N : : :  Gm =N = G=N son series de composicion con Ni =Ni 1  = ZZp (Gi =N )=(Gi 1 =N )  = ZZp .4 N es soluble.5): )) Por la Proposicion 2.niendo Hi = Gi \ H . Cuerpos finitos. Dem. es serie de composicion con Gi =Gi 1  = ZZp .(de la Proposici on 2. cada factor es trivial o isomorfo a ZZp . es una serie normal para G=N en la que todos los factores de grupos sucesivos son cierto cociente de Gi =Gi 1 y por tanto. i 1 i por tanto H es soluble. i i i 0 i x 3. entonces la serie feg = N0  N1  N2 : : :  Nn = N = G0  G1  G2 : : :  Gm = G tambien tiene esa propiedad y por tanto G es soluble. Si feg = G0  G1  G2 : : :  Gn = G. se tiene (utilcese el segundo teorema de isomorfa) Hi  Gi \ H  Gi \ H G  (Gi \ H )  = = = i 1 Hi 1 Gi 1 \ H Gi 1 \ (Gi \ H ) Gi 1 y Gi 1  (Gi \ H )  G =G Gi 1 = ZZpi i 1 i ) HHi  = ZZp o Hi = Hi 1 . Del primer y segundo teorema de isomorfa se deduce (ejercicio) que feg = G0 N=N  G1 N=N  G2 N=N : : :  Gn N=N = G=N.

no queremos terminar estas notas sin hacer una breve mencion a la teora en cuerpos 71 .nitas de Q.

.

ya que los cuerpos .nitos. Su estudio no es una abstraccion innecesaria.

Notese que si L es un cuerpo . teora de codigos y teora de numeros.nitos aparecen de manera natural en geometra algebraica. ZZ se puede considerar a veces como un \lmite" de IFp y por ello no es del todo sorprendente su conexion con la aritmetica. En algun sentido.

entonces su caracterstica es positiva (porque (L. +) es un grupo .nito.

El siguiente resultado limita el orden que puede tener un cuerpo . y como ya mencionamos en su da. la caracterstica (si no es nula) es siempre un numero primo.nito).

1 : Sea L un cuerpo .nito Proposicion 3.

nito de caracterstica p.! L x . entonces la funcion f : IFp .: Si la caracterstica es p. Dem.! 1 + 1 + x: :veces :::: + 1 es un monomor. entonces jLj = pn para algun n > 0.

una base de L sobre IFp (o si uno quiere ser muy riguroso. es decir. : : : . Sea b1 . : : : . 2 . bn con n = [L : IFp ]. b2 . jLj = pn . entonces Æ L = f1 b1 + 2 b2 + : : : n bn i 2 IFp g y L tiene tantos elementos como posibles valores de 1 .smo. n . y por tanto L se puede considerar como una extension de IFp . El siguiente resultado nos da tambien una limitacion sobre la estructura de un cuerpo . una base sobre f (IFp )).

nito Proposicion 3.2 : Si L es un cuerpo .

n0 .  q 1 = 1 porque jL j = jL f0gj = q 1. pero esto implica que el polinomio xn0 +1 x tiene jLj = q soluciones. Por tanto. el teorema de estructura de grupos abelianos). Como L solo tiene q 1 elementos el orden de x0 debe ser n0 = q 1. para todo x 2 L se tiene xn0 = 1.nito con jLj = q . lo que implica que n0 + 1  q . por ejemplo. el orden de cualquier elemento de L divide a n0 (utilcese. como L es abeliano. Sea x0 un elemento de Dem. en L . entonces el grupo multiplicativo. lo que prueba el resultado.: x 2 L ! x orden maximo. Entonces. L = L f0g es cclico e isomorfo a ZZq 1 . Con la siguiente de.

nicion vamos a introducir una generalizacion de los IFp  n: Definicio Se llama IFq con q = pn al cuerpo de descomposicion de xq x sobre IFp . El objetivo de esta seccion es el siguiente resultado. que a.

rma que los IFq son los unicos cuerpos .

72 .nitos y calcula el grupo de Galois de sus extensiones.

3 : Si L es un cuerpo .Teorema 3.

entonces L es isomorfo a IFq con q = pn = jLj.nito de caractersitca p. ademas G (IFq =IFp ) es un grupo cclico de orden n generado por el automor.

como L tiene exactamente q = @P elementos.  : x ! xp . L es (isomorfo) al cuerpo de descomposicion de P sobre IFp . . esto es.smo de Frobenius.  es cclico. todo elemento de x es raz de P = xq x 2 IFp [x] Dem.: Como L (aqu consideramos la \inclusion" IFp . Observese que L=IFp  = IFq =IFp es normal.! L de la primera demostracion). a IFq .

nita y separable. as pues Æ jG (IFq =IFp )j = [L : IFp ] = n ( porque L = f1 b1 + 2 b2 + : : : n bn i 2 IFp g). por ser cuerpo de descomposicion sobre IFp . por tanto basta probar que el automor.

Observese en primer lugar que realmente  es un automor.smo de Frobenius tiene orden mayor o igual que n.

ya que es monomor.smo.

smo (x) = (y ) ) xp = y p ) (x y )p = 0 ) x y = 0 y como  : L ! L con L .

monomor.nito.

smo ) epimor.

Ademas  deja .smo.

sea x0 generador de IFq . 2 g. Para calcular G (IF81 =IF9 ). se tiene x = m (x) = xp ) xp = 1 ) pm 1  q 1 = pn 1 ) m  n lo que concluye la demostracion. . . 3g y viendo la de. G (IF8 =IF2 ) = fId.jo IFp por el peque~no teorema de Fermat. Ejemplo 1. entonces x0 tiene orden q 1 y si el orden de  es m. 2. Ejemplo 2. Para ver que  tiene orden n. observese que segun el teorema G (IF81 =IF3 ) = fId.

nicion de IF9 se observa que solo 2 (y la identidad) dejan .

En general G (IFp =IFp ) = hk i. m m nk 73 k . 2 g.jo a IF9 . por tanto G (IF81 =IF9 ) = fId.

74 .

Hoja 8 1) Demostrar que no existe un epimor.

3) Hallar todos los subgrupos de D6 (el grupo de movimientos del plano que dejan invariante el triangulo equilatero). 4) Demostrar que S4 no tiene ningun subgrupo normal de orden 3. G. 5) Hallar un grupo. 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. 6) Demostrar que ZZ8 no es cclico.smo  : S4 ! ZZ7 ni  : S4 ! ZZ7 . 7) Estudiar si las dos funciones siguientes son homomor. H1  H2  G de manera que H1 sea normal en H2 y H2 sea normal en G pero H1 no sea normal en G. y dos subgrupos suyos.

smos y en caso a.

i) Dado g 2 G. 9) Demostrar que en Sn todo elemento de orden tres es producto de 3 ciclos disjuntos. a3bg donde a y b tienen orden 4 y se cumple b2 = a2 y aba = b. demostrar que g (gi ) = ggi de. gn g. b. a3. Ya sabemos que D8 es isomorfo al grupo de Galois del cuerpo de descomposicion de x4 2 sobre Q. 10) El grupo de cuaterniones. 12) Sea un grupo de orden n. Q. 11) Se puede demostrar que D8 y Q son los unicos grupos no abelianos de orden 8. es un grupo de orden 8 no abeliano dado por Q = fe. a2. Demostrar que es soluble escribiendo explcitamente una cadena de subgrupos feg = G0  G1  : : :  Gn = Q con Gi =Gi 1  = ZZp . : : : . g2 . a.rmativo decir de que tipo 1 : S4 ! S4 1 ( ) =  3 2 : ZZ7 ! ZZ7 2 (x) = x3 : 8) Demostrar que un subgrupo de ndice dos es siempre normal. G = fg1 . ab. Demostrar que Q no es el grupo de Galois cuerpo de descomposicion de ningun polinomio de cuarto grado. Sugerencia: Demostrar que Q no es isomorfo a ningun subgrupo de S4 . a2b.

ii) Demostrar que  : G ! Biyecciones de G de.ne una biyeccion en el conjunto G.

es un homomor.nido por (g ) = g .

: : : .smo de grupos. : : : . 2 . xn )=Q(1 . n los polinomios simetricos elementales en las variables indeterminadas x1 . n ) es una extension normal . x2 . 2 : : : . x2. iii) Concluir que G es isomorfo a un subgrupo de Sn (Teorema de Cayley). xn . 13) Sean 1 . Sabiendo que Q(x1 . : : : .

nita y separable con grupo de Galois isomorfo a Sn . que todo grupo . aplicando iii) del ejercicio anterior. demostrar.

Nota: Este resultado es todav i 75 .nito es el grupo de Galois de alguna extension. a una conjetura si se pide que la extension sea sobre Q.

76 .

El teorema de Galois A lo largo de todo este captulo supondremos que todos los cuerpos que aparecen son de caracterstica cero. Esta hipotesis no es solo una cuestion tecnica para asegurar la separabilidad.5. Resolubilidad por radicales x 1. se puede comprobar que el teorema de Galois no es cierto para algunas extensiones de IFp .  n: Se dice que una extensi Definicio on .

nita.  n: Se dice que un polinomio P 2 K [x] es soluble por radicales si su cuerpo Definicio de descomposicion es una extension radical de K . es decir. Obviamente en la de. 2. L=K es radical si los elementos de L se pueden expresar en terminos de radicales. : : : . n. i = 1. si existe una cadena de subcuerpos K = L0  L1  L2  : : :  Ln p  con 2 L . donde x = p tales que Ln  L y Li = Li 1 i i i 1 i indica un elemento tal que xm = i .

tomando races p2 esimas de los generadores de L01 y de la unidad. 1  i  n. Li = Li 1 i con Li 6= Li 1 . Las races de la unidad tienen ciertas propiedades un tanto distintas de los otros radicales.e. y as sucesivamente. Tambien. se puede extender L1 a L01 con L01 =K normal. quiza a~nadiendo un subcuerpo intermedio que contenga a  . se puede suponer que Ln =K es normal y contiene a las races pi esimas de la unidad. De la misma manera. quiza introduciendo algunos cuerpos intermedios. por ello conviene considerarlas aparte. a~nadiendo radicales. En conclusion. Notese que todo lo dicho en el parrafo anterior se resume en el siguiente lema Lema 1. Notese ademas son primos ya que z = p p que lasp races de x 1 1 en su cuerpo de descomposicion son de la forma   1 1 donde  = 1 1 es una raz p1 esima de la unidad (i. Por tanto. a L02 con L02 =K normal. L2 se extiende. una raz  6= 1 de xp1 1). podemos suponer que los mi pp  p p z .1 : Si L=K es . es decir.nicion de extension radical siempre podemos suponer Li 6= Li 1 .

en particular. i = 1. entonces se tiene una sucesion de subcuerpos Ke = L0  L1  L2  : : :  Ln p  con 2 L . mi mi i pq q p pi p p pi 77 . Gracias a los dos resultados siguientes. : : : . n. p primo. casi recprocos. donde Ln  L. el teorema de Galois sera una consecuencia del teorema fundamental de la teora de Galois combinado con alguno de los resultado de teora de grupos del captulo anterior. Ln =K es normal. 2. K esimas de la unidad. Li = Li 1 i i 1 i i e y K es el cuerpo generado por las races de la unidad (elementos del cuerpo de descome contiene todas las races pi  posicion de xn 1) en L.nita y radical.

Lema 1. se tiene que Li =Li 1 es normal y G (Li =Li 1 )  = ZZp . Lema 1.2 : Con la notacion e hipotesis del Lema 1.3 : Si M2 =M1 es normal y .1.

4 ( de Galois): Sea L=K normal y . Veamos ahora el teorema central de este captulo Teorema 1.nita con G (M2 =M1 )  = ZZp entonces es radical.

2. en otro caso estos resultados no son ciertos. Por el teorema fundamental de la teora de Galois L = G00  G01  G02 : : :  G0n = K . Dem. n. i = 1. G (L=K ) es un grupo soluble. entonces L=K es una extension radical . se llama grupo de Nota: Recu Galois de un polinomio al grupo de Galois de su cuerpo de descomposicion. Su grupo de Galois sobre K es soluble.  n: Recu Observacio erdese que siempre estamos bajo la hipotesis char K = 0. con cierto abuso de notacion. : : : . () Si G (L=K ) es soluble.nita. Una formulacion equivalente del teorema es Corolario 1. entonces se tiene feg = G0  G1  G2 : : :  Gn = G (L=K ) con Gi =Gi 1  = ZZp . erdese tambien que.(del Teorema de Galois): Las dos implicaciones se reducen a usar el teorema fundamental de la teora de Galois para pasar la informacion acerca de los subcuerpos a los subgrupos y viceversa.5: Un polinomio P 2 K [x] es soluble por radicales .

.

con G (G0i 1 =G0i )  = ZZp (porque .

G (G0i 1 =G0i ).

por tanto. Æ Æ e ). )) Por el Lema 1.2. G (L=K )  = G (K=K = G (Ln =K ) G (Ln =L) y G (Ln =K ) G (Ln =Ke )  78 . = [Gi : Gi 1 ] = pi ).1 se tiene Ke = L0  L1  L2  : : :  Ln : Por el teorema fundamental de la teora de Galois esto se traduce en la sucesion de subgrupos feg = G (Ln =Ln )  G (Ln =Ln 1 )  G (Ln =L0) = G (Ln =Ke ): Aplicando la segunda parte del teorema fundamental y el Lema 1. por tanto. y el Lema 1. se tiene Æ G (Ln =Li 1) G (Ln =Li)  = G (Li =Li 1 )  = ZZp . e e L=K y K=K son normales (K=K es el cuerpo de descomposicion de varios polinomios n de la forma x 1). L=K tambien.3 implica que G0i 1 =G0i es radical y. i i i i por tanto G (Ln =Ke ) es soluble.

2): Li =Li 1 es simple.  ( ) =  )  ( ) =  ( ) =  rs ) y en particular es soluble.  2 G (K=K ).e y gracias a las Proposicion 2. lo son.4 y 2. Terminamos dando las demostraciones de los dos lemas que hemos utilizado Dem.5 del captulo anterior solo resta demostrar que G (K=K ) es soluble para concluir que G (Ln =K ) y G (Ln =L). as  que todo automor.(del Lema 1. y por tanto G (L=K ). Pero e es el cuerpo generado por las races de la unidad y por tanto G (K=K e notese que K ) es r s e e abeliano (porque .  2 K raz de la unidad )  ( ) =  .

Las otras races del polinomio mnimo de x sobre Li 1 seran de la forma x donde  6= 1 es una raz de xp 1.smo esta determinado p por su accion sobre x = i . Ademas todo automor.  2 Ke  Li 1 ) x 2 Li y por tanto Li =Li 1 es normal.

G M2( )=M1( )  = G (M2 =M1 ) por restriccion de los automor. entonces pi i i ) x1 62 M1 ) M2 = M1(x1) ) xp1 2 M1. p Si  62 M1 y  2 M2 entonces M2 = M1 ( ) = M1 ( 1). Dem.3): Como [M2 : M1 ] = p. p p por tanto x1 = con 2 M1 y M2 = M1 ( ). Supongamos primero que existe  2 M1 tal que  p = 1. Finalmente.  6= 1.smo (x) = x tiene orden pi y es obvio que [Li : Li 1 ]  pi .(del Lema 1. si  62 M1 . Consideremos x1 = x + (x) +  2 2 (x) + : : : +  p 1 p 1 (x) donde  es el generador de G (M2 =M1 ). por tanto G (Li =Li 1 ) = hi  = ZZp . M2. debe cumplirse M2 = M1 (x) para cualquier x 2 M2 M1 .

p x 2. La primera es la mas conocida y a. M1 ( )=M1 radicales implica M2 =M1 radical.smos a M2 y se aplicara p (x1 ) =  p 1 x1  (xp1 ) = (x1 ) p = xp1 p p p la primera parte de la demostracion para concluir M2 ( ) = M1 ( )( ). y M2 ( )=M1 ( ). Algunas aplicaciones En esta seccion veremos algunas aplicaciones a problemas clasicos de las ideas que rodean al teorema de Galois.

n  5. Esto cierra el problema de la solubilidad por radicales de las ecuaciones algebraicas.rma que no existe una formula general con radicales para resolver todas las ecuaciones de un grado dado. ya que desde el siglo XVI se conocen formulas para tratar los casos n  4.1 (Abel): No existe ninguna extension radical del cuerpo generado por los coe. Teorema 2.

: Sea la ecuaci on xn + an 1 xn 1 + an 2 xn 2 + : : : + a1 x + a0 = 0 79 . Dem.cientes de la ecuacion general de grado n  5 que contenga a sus races.

con coe.

: : : . x2 . 2 . Si las races de este polinomio son x1 . donde i son los polinomios simetricos elementales. : : : . : : : . Por el Corolario 2. xn . Pero se tiene   G K (x1. n)  = Sn porque an i = ( 1)i i (x1 . xn)=K (an 1. 2. : : : . x2 . Notese que el resultado anterior a. xn ). : : : . n ) es invariante solo por las permutaciones de las n variables x1 . an 1 .8 del captulo anterior se tiene que Sn no es soluble si n  5 y el resultado se deduce del teorema de Galois. xn)=K (1. an 2.cientes variables indeterminadas a0 . a0) =G K (x1 . x2. : : : . y es evidente que K (1 . : : : . an 2 . x2 . : : : . : : : . x2 . a1 . a2. : : : . a0 ) no es radical. : : : . queremos demostrar que K (x1 . xn . xn )=K (an 1 . x2.

rma que no existe una formula con radicales que sirva para resolver todas las ecuaciones de grado n cuando n  5. Sin embargo. Esto no debiera extra~narnos. en el siguiente resultado emplearemos algunos arti. porque calcular el grupo de Galois del cuerpo de descomposicion de un polinomio es en general muy difcil. pero es obvio que hay algunas que se pueden resolver con radicales (por ejemplo x5 a = 0). Galois no dio ningun ejemplo de una ecuacion que no fuera soluble por radicales.

cios de teora de grupos para simpli.

car este calculo en un ejemplo explcito. P es irreducible por el criterio de Eisenstein y tiene tres races reales y dos complejas conjugadas (dibujese la gra. Proposicion 2.2 : Sea L el cuerpo de descomposicion de P = x5 6x + 3 2 Q[x]. entonces L=Q no es una extension radical. es decir. las soluciones de P = 0 no pueden expresarse mediante radicales.

Como los elementos de G (L=Q) permutan las cinco races se tiene que G (L=Q) . as pues  = conj. 2 G (L=Q).ca del polinomio).! S5 (monomor.

Si es .smo) y  (que intercambia dos races) corresponde a una trasposicion.

5 = [Q( ) : Q] ) 5. raz de P .

y un teorema de teora de grupos (Teorema de Cauchy) implica que si p divide al orden de un subgrupo. H . as pues G (L=Q)  = S5 que no es un grupo soluble. de Sp entonces H contiene un p ciclo.jG (L=Q)j. un 5 ciclo y una trasposicion cualesquiera generan todo S5 (ejercicio). Finalmente. De la teora del segundo captulo se deduce que si L es una extension real y .

: 80 .nita de Q que solo contine elementos construibles).3 : Si Q  L  IR y L=Q es normal. Por el Corolario 2.: Como [L : Q] = 2 . G (L=Q) es un 2 anterior feg = G0  G1  G2 : : :  Gk = G (L=Q) con Gi =Gi 1  = ZZ2 . Por el teorema fundamental de la teora de Galois L = G00  G01  G02 : : :  G0k = Q Dem. k grupo. entonces [L : Q] = 2k . entonces [L : Q] = 2k . Los elementos de L son construibles con regla y compas.6 del captulo Dem. Si L=Q es normal. usando las ideas de la prueba del teorema de Galois se puede demostrar el recproco. concretamente Proposicion 2.

con [G0i 1 : Gi ] = 2. si es la raz real y positiva de P = x4 10x3 + 26x2 + 16x 14. en particular (p) = p 1).3 se deduce el siguiente bellsimo teorema de Gauss. Por ejemplo. quien lo enuncio en el ultimo artculo de su obra maestra \Disquisitiones Arithmeticae" 30 a~nos antes de que Galois diera sus teoremas. lo que prueba el resultado. ya que se puede probar que el grupo de Galois de P es A4 que no tiene subgrupos de orden 6 y por tanto Q( )=Q no tiene subcuerpos intermedios propios. Si L=Q no es normal el resultado puede no ser cierto. De este resultado y de la Proposicion 2. y sin embargo no es construible con regla y compas. entonces (n) = p 1 1 1 (p1 1)p 2 2 1 (p2 1) : : : p n 1 (pn 1). [Q( ) : Q] = 4 = 22 . Aunque Gauss a. En el tercer captulo enunciamos que [Q(e2i=n ) : Q] = (n) donde  es la funcion de Euler (recuerdese que si n = p 1 1 p 2 2 : : : p n con pi primos distintos.

solo ha llegado hasta nosotros la demostracion que dio de una de las implicaciones (la difcil desde el punto de vista actual).4 (Gauss): El polgono regular de n lados es construible con regla y compas si y solo si n = 2k p1 p2 : : : pn con pi primos de Fermat distintos. Nota: Para el que desconozca su de. Para el autor de estas notas este es el teorema mas bello que ha visto nunca en Matematicas Corolario 2.rmo tener una prueba completa y rigurosa de su resultado.

se llama primos de Fermat a aquellos de la forma 22 + 1. en honor a Fermat. El polgono de 289 lados no es construible porque 2 289 = 17  17 17 = 22 + 1: pero no son primos de Fermat distintos. El polgono de 15 lados es construible porque 0 1 15 = 3  5 = (22 + 1)(22 + 1):  n: Observacio n n m m Ejemplo 2. El polgono de 380 lados no es construible porque 1 15 = 22  5  19 y 5 = 22 + 1. pero 19 6= 22 + 1: m Ejemplo 3.nici on. Ejemplo 1. quien penso erroneamente que 22 + 1 era primo para todo m 2 IN. 81 . El primer contraejemplo ocurre para m = 5.

82 .

demostrar que N  1 + 2 + : : : + n . 2 ) = (x1 + x2 . Æ 2) Demostrar que ZZ2  S3 es soluble. si feg = G0  G1  : : :  GN = G con Gi subgrupo normal de Gi+1 (i. 1 2 ) ) .  ) x 2 ZZ2 .Hoja 9 1) Sea G soluble de orden n = p 1 1 p 2 2 : : : p n . es una serie normal) y Gi+1 =Gi abeliano no trivial.  2 S3 g con la operacion (x1 . 1 )  (x2 . (Recuerdese que ZZ2  S3 = f(x.e.

3) Un teorema demostrado por Sylow implica que si p.

p =primo. entonces existe un monomor.jGj.

n  1). 5) Si L es el cuerpo de descomposicion de x3 + x2 2 2 IF3 [x]. 8) >Cuantos subcuerpos hay entre IF4 y IF256 ? 9) >Cual es el cuerpo de descomposicion de (x9 x)(x27 x) 2 IF3 [x]? n n 83 . 7) Halar todos los generadores del grupo G (IF256 =IF4 ). 4) Demostrar que el grupo aditivo de IFp es ZZp  n :veces : :  ZZp . entonces existe un elemento de orden p". hallar G (L=IF3 ). demostrar el Teorema de Cauchy: \Si p primo divide al orden de un grupo. 6) Estudiar si el polinomio x2 + x + 1 es irreducible en IF2 [x] y en IF8 [x].smo  : Gp ! G donde Gp es un p grupo (grupo de orden pn . Sabiendo este resultado y que todo p grupo es soluble.

84 .

Sign up to vote on this title
UsefulNot useful