13.

13.3.

Teor a de Campos
Construcciones cl asicas de Regla y Comp as

Como una aplicaci on simple de los resultados que hemos obtenido en las extensiones algebraicas, y en particular en la multiplicatividad de grados de extensi on, podemos responder (negativamente)los siguientes problemas geom etricos propuestos por los Griegos: 1. (Duplicar el Cubo) Es posible usando s olo regla y comp as construir un cubo con precisamente el doble del volumen de un cubo dado? 2. (Trisecar un Angulo) Es posible usando s olo regla y comp as trisecar un angulo dado ? 3. (Cuadratura del C rculo) Es posible usando s olo regla y comp as construir un cuadrado cuya a rea es precisamente el area de un c rculo dado? Para responder estas preguntas debemos trasladar la construcci on de longitudes por comp as y regla en t erminos algebraicos. Denote 1 una unidad ja de distancia dada. Entonces cualquier distancia es determinada por su longitud a R, lo cual nos permite ver las distancias geom etricas como elementos de n umeros reales R. Usando la unidad de distancia dada 1 para denir la escala en los ejes, podemos entonces construir el plano Cartesiano usual R2 y ver todas nuestras construcciones ocurriendo en R2 . Un punto (x, y ) R2 es entonces construible empezando con la distancia dada 1 si y solo si sus coordenadas x e y son elementos construibles de R. Los problemas de arriba entonces consisten en determinar si unas longitudes particulares en R pueden ser obtenidas por construcciones por regla y comp as a partir de una distancia unidad ja. La colecci on de tales n umeros reales junto con sus negativos ser an llamados elementos construibles de R, y no haremos distinci on entre las longitudes que con construibles y los n umeros reales que son construibles. Cada construcci on por regla y comp as consiste de una serie de operaciones 1

de los siguientes cuatro tipos: (1) conectar dos puntos dados por una l nea recta, (2) encontrar un punto de intersecci on de dos l neas rectas, (3) dibujar un c rculo con un radio y centro dados, y (4) encontrar el punto(s) de intersecci on de un l neas recta y un c rculo o la intersecci on de dos c rculos. Es un hecho elemental de la geometr a que si dos longitudes a y b son dadas, una podr a construir usando regla y comp as las longitudes a b, ab y a/b (los primeros dos son claros y los u ltimos dos son dados por construcci on de l neas paralelas (Figura 1)).

Figura 1:

Es tambi en un construcci on geom etrica elemental el construir

a si a es

dado: construya el c rculo con di ametro 1 + a y trace la perpendicular al di ametro como se indica en la Figura 2. Entonces a es la longitud de esta perpendicular.

Figura 2:

Se sigue que las construcciones con regla y comp as dan todas las operaciones algebraicas de adici on, sustracci on, multiplicaci on y divisi on (entre 2

elementos no nulos) en lo reales as que la colecci on de elementos construibles es un subcampo de R. Uno podr a tambi en tomar ra ces cuadradas de elementos construibles. Veremos ahora que estas son esencialmente las u nicas operaciones posibles. A partir de una longitud dada 1 es posible construir por estas operaciones todos los n umeros racionales Q. Entonces uno podr a construir todos los puntos (x, y ) R2 cuyas coordenadas son racionales. Podr amos construir elementos adicionales de R al tomar ra ces cuadradas, as que la colecci on de elementos construibles a partir de 1 de R forman un campo estrictamente mayor que Q. La f ormulas usual (forma de dos puntos) para la recta que conecta dos puntos cuyas coordenadas en alg un campo F dan una ecuaci on para la recta de la forma ax + by c = 0 con a, b, c F . Resolviendo dos de tales ecuaciones simult aneamente para determinar el punto de intersecci on de tales rectas da soluciones tambi en en F . Se sigue que si las coordenadas de dos puntos yacen en el campo F entonces las construcciones rectas solas no producir an puntos adicionales cuyas coordenadas no est an tambi en en F . Un construcci on con comp as (de tipo(3) o (4) arriba) denen puntos obtenidos por la intersecci oon de un c rculo con una l nea recta u otro c rculo. Un c rculo con centro (h, k ) y radio r tiene ecuaci on (x h)2 + (y k )2 = r2 As que cuando consideramos el efecto de construcciones de comp as en elementos de un campo F estamos considerando soluciones simult aneas de tal ecuaci on con una ecuaci on lineal ax + by c = 0 donde a, b, c, h, k, r F , o las soluciones simult aneas de dos ecuaciones cuadr aticas. En el caso de una ecuaci on lineal y la ecuaci on de un c rculo, resolviend ose digamos para y , en la ecuaci on lineal y sustituyendo da una ecuaci on cuadr atica para x (e y es dado l nealmente en t erminos de x). Entonces las coordenadas del punto de intersecci on son en el peor de los caso extensiones cuadr aticas de F. En el caso de la intersecci on de dos c rculos, digamos (x h)2 + (y k )2 = r2

y (x h )2 + (y k )2 = (r )2 La sustracci on de la segunda ecuaci on de la primera muestra que tenemos la misma intersecci on al considerar las dos ecuaciones (x h)2 + (y k )2 = r2 y 2(h h)x + 2(k k )y = r2 h2 k 2 (r )2 + (h )2 + (k )2 la cual es la intersecci on de un c rculo con una l nea recta(la l nea recta que conecta los dos puntos de intersecci on, de hecho) del tipo que se acaba de considerar. Se sigue que si una colecci on de elementos construibles es dado, entonces uno puede construir todos los elementos en el subcampo F de R generado por estos elementos y que cualquier operaci on de recta y comp as en elementos de F produce elementos en el peor de los casos una extensi on cuadr atica de F. Dado que las extensiones cuadr aticas tienen grado 2 y los grados de extensi on son multiplicativos, se sigue que si R es obtenido a partir de elementos en un campo F por una serie (nita) de operaciones de regla y comp as entonces es un elemento de una extensi on K de F de grado de un potencia de 2: [K : F ] = 2m para alg un m. Dado que [F () : F ] divide este grado de extensi on, tambi en sebe ser una potencia de 2. Proposici on 1. Si el elemento R es obtenido a partir de un campo F R por una serie de construcciones con relga y comp as entonces [F () : F ] = 2k para alg un entero k 0 Teorema 2. Ninguno de los problemas griegos cl asicos: (I) Duplicar el cubo, (II) Trisecar el angulo, y (III) La cuadratura del c rculo, es posible Demostraci on. (I) Duplicar el cubo involucra construir 3 2 en los reales em pezando con la unidad 1. Dado que [Q( 3 2) : Q] = 3 no es una potencia de 2, esto es imposible, (II) Si un a ngulo puede ser construido, entonces determinar el punto a una distancia 1 del origen y a ngulo a partir del eje x 4

positivo de R2 muestra que cos() (la coordenada x de este punto) purde ser construida (as que sin() tambi en puede ser construido). Rec procamente si cos(), entonces sin(), puede ser construido, el punto con esas coordenadas da el angulo . El problema de trisecar el a ngulo es entonces el equivalente al problema: dado cos() construya cos()/3 Para ver que esto no es siempre posible (es ciertamente posible ocasionalmente, por ejemplo para = 180 ), considere = 60 . Entonces cos() = 1 . Por la f ormula del a ngulo triple para 2 cosenos: cos() = 4 cos3 (/3) 3 cos(/3) sustituyendo = 60 , vemos que = cos(20 ) satisface la ecuaci on 4 3 3 1/2 = 0 O 8 3 6 1 = 0. Esto puede ser escrito como (2 )3 3(2 ) 1 = 0. Sea = 2 . Entonces es el n umero real entre 0 y 2 que satisface la ecuaci on 3 3 1 = 0 Pero consideramos esta ecuaci on en la u ltima secci on y determinados que [Q() : Q] = 3, y como antes vemos que no es construible. (III) La cuadratura del c rculo es equivalente a determinar si el n umero real = 3,14159 . . . es construible. Como se mencion o previamente, es un dif cil problema incluso probar que este n umero no es racional. Es de hecho transcendente (lo cual asumiremos sin demostraci on), as que [Q( ) : Q] no es ni siquiera nito, y menos a un una potencia de 2, mostrando la imposibilidad de la cuadratura del c rculo por regla y comp as.

Observaci on: La demostraci on de arriba muestra que si cos(20 ) y sin(20 ) no puede ser construido. Surge la pregunta de cu ales a ngulos enteror (medidos en grados) son construibles? Los angulos 1 y 2 no son construibles, dado que de otra forma las formulas adicionales para senos y cosenos dar an la construibilidad de 20 . Por el otro lado, construcciones elementales geom etricas (del pent agono regular para un a ngulo de 72 y del tri angulo equil atero 5

para un angulo de 60 ) junto con la f ormula de adici on y a ngulo medio muestran que cos(3 ) y sin(3 ) son construibles. Se sigue de esto que las funciones trigonom etricas de un a ngulo de grados enteros son precismaente construibles cuando el a ngulo es un m ultiplo de 3 . Expl citamente, 1 cos(3 ) = ( 3 + 1) 8 cos(3 ) = 5+ 5+ 1 ( 6 2)( 5 1) 16

1 1 ( 6 + 2)( 5 1) ( 3 1) 5 + 5 16 8 mostrando que estas son obtenidas a partir de Q por extracci on sucesiva de ra ces cuadradas y operaciones de campo. Despu es de discutir los campos ciclot omicos en la secci on 14.5 consideraremos otra pregunta geom etrica cl asica: Cu ales de los pol gonos regulares pueden ser construidos con regla y comp as? (ver Proposici on 14.29) Hemos sido cuidados aqu hemos sido cuidadosos de considerar las construcciones usando un regla sin graduar. Si uno usa una regla graduada, es posible construir muchos elementos geom etricos adicionales. Por ejemplo, suponga que es un angulo dado y la distancia unidad 1 est a marcada en la regla. Dibuje un c rculo de radio 1 con angulo central como se muestra en la Figura 3 y luego deslice la regla hasta que la distancia entre los puntos A y B en el c rculo es 1. Entonces algo de geometr a elemental muestra que el a ngulo indicada es /3, es decir (debida a Arqu medes) triseca a . En particular, el segundo problema cl asico en el Teorema 24 (Trisecar un a ngulo) puede ser resuelto con regla graduada y comp as

Figura 3:

El primero de los problemas cl asicos en el Teorema 2 (Duplicaci on del Cubo), el cual consiste en la construcci on de 3 2, puede ser tambi en resuelto 6

con regla graduada y comp as. Lo que sigue da una construcci on para k 1/3 para cualquie real positivo dado k el cual es menor que 1. Esta construcci on nos fue mostrada por J.H. Conway. Dibujar un c rculo de radio 1 y usando el punto A = (k, 0) como centro, construya el punto B = (0, 1 k 2 ). 1 Dividiendo esta distancia por 3, construya el punto (0, 3 1 k 2 ) y dibuje la l nea que conecta este punto con A. Deslice la regla con longitud unidad 1 marcada tal que pasa a trav es del punto B y tal que la distancia a partir del punto de intersecci on C al punto de intersecci on D con el eje x es de longitud 1, como se indica en la Figura 4. Entonces la distancia entre A y D es 2k 1/3 y la distancia entre B y C es 2k 2/3 .

Figura 4:

13.4.

Cuerpos de Descomposici on y Clausuras Algebraicas

Sea F un campo. Si f (x) es cualquier polinomio en F [x] entonces hemos visto en la Secci on 2 que existe un campo K el cual puede (Identicando F con una copia isom orca de F ) ser considerado una extensi on de F en el cual f (x) tiene una ra z . Esto es equivalente a armar que f (x) tiene un factor linear x en K [x] (Esta es la proposici on 9 del Cap tulo 9) Denici on 1. El campo extensi on K de F es llamado un cuerpo de descomposici on para el polinomio f (x F [x]) si f (x) se factoriza completamente en factores lineales (o se descompone completamente) en K [x] y f (x) no se 7

factoriza completamente en factores lineales sobre cualquier subcampo propio de K que contiene a F. Si f (x) es de grado n, entonces f (x) tiene como m aximo n ra ces en F (Proposici on 17 del Cap tulo 9) y tiene precisamente n ra ces (contando multiplicidades) en F si y s olo si f (x) se descompone completamente en F [x] Teorema 3. Para cualquier campo F , si f (x) F [x] entonces existe una extensi on K de F el cual es un cuerpo de descomposici on para f (x) Demostraci on. Primero mostramos que existe una extensi on E de F sobre la cual f (x) se descompone completamente en factores lineales por inducci on en el grado n de f (x). Si n = 1, entonces tomamos E = F . Suponga ahora que n > 1. Si los factores irreducibles de f (x) sobre F son todos de grado 1, entonces F es un cuerpo de descomposici on para f (x) y podr amos tomar E = F . De otra manera, al menos uno de los factores irreducibles, digamos p(x) de f (x) en F [x] es de grado al menos 2. Por el Teorema 3 existe una extensi on E1 de F que contiene una ra z de p(x). Sobre E1 el polinomio f (x) tiene el factor lineal x . El grado del factor restante f1 (x) de f (x) es n 1, as que por inducci on existe una extensi on E de E1 que contiene todas las ra ces de f1 (x). Dado que E , E es una extensi on de F que contienen todas las ra ces de f (x). Ahora sea K la intersecci on de todos los subcampos de E que contienen a F el cual tambi en contiene todas las ra ces de f (x). Entonces K es un campo el cual es un cuerpo de descomposici on para f (x). Pronto veremo que cualquiera dos cuerpos de descomposici on para f (x) son isomorfos (lo cual extiende el teorema 8), as (por abuso) frecuentemente nos referiremos a el cuerpo de descomposici on de un polinomio. Denici on 2. Si K es una extensi on algebraica de F el cual es un cuerpo de descomposici on sobre F para una colecci ond de polinomios f (x) F [x] entonces K es llamada una extensi on normal de F

Generalmente usaremos el t ermino cuerpo de descomposici on en lugar de extensi on normal Ejemplos 1. El cuerpo de descomposici on para x2 2 sobre Q es tan solo Q( 2), dado que las dos ra ces son 2 y 2 Q( 2) 2. El cuerpo de descomposici on para (x2 2)(x2 3) es el campo Q( 2, 3) generado sobre Q por 2 y 3 dado que las ra ces del polinomio son 2, 3. Ya hemos visto que esta es una extensi on de grado 4 sobre Q y tenemos el siguiente diagrama de subcampos conocidos:

3. El cuerpo de descomposici on de x3 2 sobre Q no es tan solo Q( 3 2) dado que, como se hizo notar previamente,las tres ra ces de este polinomio en C son 1 + i 3 1 i 3 3 3 2, 2( ), 2( ) 2 2 y estas dos u ltimas ra ces no son elementos de Q( 3 2), dado que los elementos de este campo son de la forma a + b 3 2 + c 3 4 con a, b, c 3 racionales y todos estos n umeros son reales. El cuerpo de descomposici on K de este polinomio es obtenido al adjuntar todas estas tres ra ces a Q. Note que dado que K contiene a las primeras dos ra ces de arriba, entonces contiene a su cociente 1+2 3 por tanto K contiene al ele mento 3. Por otro lado, cualquier campo que contiene a 3 2 y 3 contiene todas las tres ra ces de arriba. Se sique que: 3 K = Q( 2, 3) 9

es el cuerpo de descomposici on de x3 2 sobre Q. Dado que

2

3 3 satisface la ecuaci on x + 3 = 0, el grado de esta extensi on sobre Q( 2) es como m aximo 2, por tanto debe ser 2 dado que antes hemos visto 3 que Q( 2) no es un cuerpo de decomposici on. Se sigue que 3 [Q( 2, 3) : Q] = 6

Note que podr amos haber procedido de una manera ligeramente difer ente al nal notando que Q( 3) es un subcampo de K , as que el ndice [Q( 3) : Q] = 2 divide [K : Q]. Dado que este grado de ex tensi on es tambi en divisible por 3 (dado que Q( 3 2) K ), el grado es divisible por 6, por tanto debe ser 6. Esto nos da el diagrama de subcampos conocidos: donde

1 =

1 + i 3 1 i 3 3 3 2, 2 = 2( ), 3 = 2( ) 2 2

4. Uno debe ser cuidado en el c alculo de cuerpos de descomposici on. El cuerpo de descomposici on para el polinomio x4 + 4 sobre Q es m as peque no de lo que uno podr a en principio sospechar. De hecho este polinomio se factoriza sobre Q: x4 + 4 = x4 + 4x2 + 4 4x2 = (x2 + 2)2 4x2 = (x2 + 2x + 2)(x2 2x + 2) donde estos dos factores son irreducibles (Eisenstein de nuevo). Resolviendo para las ra ces de los dos factores por la f ormula cuadr atica, encontramos las cuatro ra ces 1 i 10

as que el cuerpo de descomposici on de este polinomio es tan s olo el campo Q(i), una extensi on del grado 2 de Q En general, si f (x) F [x] es un polinomio de grado n, entonces adjuntando una ra z de f (x) a F genera una extensi on F1 de grado como m aximo n (e igual a n si y s olo si f (x) es irreducible). Sobre F1 el polinomio f (x) ahora tiene al menos un factor linea, as que cualquier otra ra z de f (x) satisface una ecuaci on de grado a lo m as n 1 sobre F1 . Adjuntado tal ra z a f1 obtenemos entonces una extensi on de grado a lo m as n 1 de F1 , etc. USando la multiplicatividad de los grados de extensi on, esto prueba Proposici on 4. Un cuerpo de descomposici on de un polinomio de grado n sobre F es de grado a lo m as n! sobre F Como muestran los ejemplos anteriores, el grado de un cuerpo de descomposici on podr a ser menor a n!. Ser a probado luego usado Teor a de Galois que un polinomio general de grado n (en un sentido bien denido) sonre Q tiene un cuerpo de descomposici on de grado n!, as que esto puede ser visto como la situaci on gen erica (Aunque la mayor a de ejemplos interesantes que consideraremos tiene cuerpos de descomposici on de grado menor) Ejemplo:(Cuerpo de descomposici on de xn 1: Campos ciclot omicos) Considere el cuerpo de descomposici on del polinomio xn 1 sobre Q. Las ra ces de este polinomio son llamados las n-esimas raices de unidad Recuerde que todo n umero comple no cero a + bi C puede ser escrito de manera u nica en la forma rei = r(cos() + i sin()) r > 0, 0 < 2 el cual es simplemente representar el punto a + bi en el plano complejo en t erminos de coordenadas polares: r es la distancia de (a, b) desde el origen y es el angulo hecho con el eje real positivo. Sobre C existen n soluciones distintas de la ecuaci on xn = 1, a saber los elementos e2ki/n = cos( 2k 2k ) + i sin( ) n n 11

para k = 0, 1, . . . , n 1. Estos puntos son dados geom etricamente por n puntos espaciados igualmente empezando con el punto (1,0) (correspondiente a k = 0) en un c rculo de radio 1 en el plano complejo (Vea la gura 6). El hecho que estos son la n- esimas ra ces de unidad es inmediato, dado que (e2ki/n )n = e(2ki/n)n = e2ki = 1 Se sigue que C contiene al cuerpo de descomposici on para xn 1 y veremos frecuentemente que el campo de descomposici on para xn 1 sobre Q como el campo generado sobre Q en C por los n umeros de arriba.

Figura 5:

En cualquier cuerpo de descomposici on K/Q para xn 1 la colecci on de la n- esimas ra ces de unidad forman un grupo bajo la multiplicaci on dado que si n = 1 y n = 1 entonces ( )n = 1, as que el subconjunto de K es cerrado bajo la multiplicaci on. Se sigue que este es un grupo c clico (Proposici on 18 del cap tulo 9); veremos que existen n ra ces distintas en K as que tiene orden n. Denici on 3. Un generador del grupo c clico de todas la n- esimas ra ces de unidad es llamado una ra z n- esima primitiva de unidad 12

a Denote n donde 1 a < n es un entero primo entre s con n, dado que

estos son los otros generados para el grupo c clico de orden n. En particular existen precisamente (n) ra ces n- esimas primitivas de unidad, donde (n) denota la funci on de Euler. Sobre C podemos ver todo esto directamente al hacer n = e2i/n (las primeras n- esimas ra ces de unidad en sentido antihorario desde 1). Entonces todas las otras ra ces de unidad son potencias de n :
k e2ki/n = n

as que n es un posible generador para el grupo multiplicativo de ra ces n- esimas de unidad. Cuando vemos las ra ces de unidad en C usualmente usaremos n para denotar la elecci on de un ra z n- esima primitiva de unidad. Las ra ces primitivas de unidad en C para algunos valores peque nos de n son 1 = 1 2 = 1 1 + i 3 3 = 2 4 = i 51 5 = + i( 4 1+i 3 6 = 2 2 2 8 = +i 2 2

10 + 2 5 ) 4

(Esta f ormulas se siguen a partir de la geometr a elementa de pol gonos y en cualquier caso pueden ser vericas directamente al elevarlas a las potencias apropiadas). El cuerpo de descomposici on xn 1 sobre Q es el campo Q(n ) y a este campo se le da un nombre: Denici on 4. El campo Q(n ) es llamado el campo ciclot omico de ra ces n- esimas de unidad. 13

Determinar el grado de esta extensi on requiere cierto an alisis de polinomios m nimos sobre n sobre Q y ser a pospuesto para despu es (Secci on 6). Un caso especial importante el cual ya hemos en realidad considerado es cuando n = p es un primo. En este caso, tenemos la factorizaci on xp 1 = (x 1)(xp1 + xp2 + . . . + x + 1) y dado que p = 1 se sigue que p es una ra z del polinomio p (x) = xp 1 = xp1 + xp2 + . . . + x + 1 x1

el cual mostramos que era irreducible en la secci on 9.4. Se sigue que p (x) es el polinomio m nimo de p sobre Q, as que [Q(p ) : Q] = p 1 Veremos luego que en general [Q(n ) : Q] = (n), donde (n) es ela funci on phi de Euler de n (as que (p) = p 1). Ejemplo: Cuerpo de Descomposici on de xp 2, p un primo Sea p un primo y considere el cuerpo de descomposici on de xp 2. Si es una ra z de esta ecuaci on, es decir, p = 2, entonces ()p = 2 donde es cualqui er p- esima ra z de unidad. Dadp qie las soliciones de esta ecuaci on son p 2, una raiz p esima de unidad donde como es usual el s mbolo p 2 denota la p- esima ra z real positiva de 2 si deseamos ver estos elementos como n umeros complejos, y denota a cualquiera de las soluciones de xp = 2 si vemos estas ra ces de manera abstracta. Dado p p que el cociente de dos soluciones p 2 y 2 para una p- esima ra z primitiva de unidad p es tan solo p , el cuerpo de descomposici on de xp 2 sobre Q contiene a Q( p 2, p ). Por el contrario, todas las ra ces de arriba yacen en este campo, as que el cuerpos de descomposici on es precisamente p Q( 2, p ) Este campo contiene campo ciclot omico de p- esimas ra ces de unidad y es generado sobre el por p 2, por tanto es una extensi on de grado a lo m as p. Se 14

sigue que el grado de esta extensi on sobre Q es p(p 1). Dado que tanto p Q( 2) y Q(p ) son subcampos, el grado de la extensi on sobre Q es divisible por p y por p 1. Dado que estos dos n umeros son primos entre s se sigue que el grado de extensi on es divisible por p(p 1) as que debemos tener p [Q( 2, p ) : Q] = p(p 1) (Este es el corolario 22akdpadkspdas). Note en particular que themos probado que xp 2 permanece irreducible sobre Q(p ), lo cual no es del todo obvio. Tenemos el siguiente diagrama de subcampos conocidos:

El caso especial p = 3 fue el ejemplo 3 anterior, donde simplemente indicamos la ra ces 3ras de unidad expl citamente. Ahora regresamos al problema de robar que no exite diferencia en c omo el cuerpo de descomposici on de un polinomio f (x) sobre un campo F es construido. Como en el teorema 824432424234324 es conveniente enunciar el resultado para un isomorsmo arbitrario : F F entre dos campos. Teorema 5. Sea : F F un isomorsmo de campos. Sea f (x) F [x] un polinomio y sea f (x) F [x] el polinomio obtenido al aplicar a los coecientes de f (x). Sea E un cuerpo de descomposici on para f (x) sobre F y sea E un cuerpo de descomposici on para f (x) sobre F . Entonces el isomorsmo se extiende a un isomorsmo : E E , es decir, es restringido a F es el isomorsmo :

15

Demostraci on. Procederemos por inducci on en el grado n de f (x). Como en la discusi on antes del Teorema 82139102312093, recuerde que un isomorsmo de un campo F a otro campo F induce un isomorsmo natural entre los anillos polin omicos F [x] y F [x]. En particular, si f (x) y f (x) corresponden el uno al otro bajo este isomorsmo entonces los factores irreducibles de f (x) en F [x] corresponden a los factores irreducibles de f (x) en F [x]. Si f (x) tiene todas sus ra ces en F entonces f (x) se descompone completamente en F[x] y f (x) se descompone completamente F [x] (con sus factores lineales siendo las im agenes de los factores lineales para f (x)). Por tanto E = F y E = F , y en este caso podr amos tomar = . Esto muestra que el resultado es verdadero para n = 1 y en el caso donde todos los factores irreducibles de f (x) tienen grado 1. Asuma ahora por inducci on que el teorema ha sido probado para cualquier campo F , isomorsmo , y polinomio f (x) F [x] de grado < n. Sea p(x) un factore irreducible de f (x) en F[x] de grado al menos 2 y sea p (x) el factor irreducible correspondiente de f (x) en F [x]. Si E es una ra z de p(x) y E es una ra z de p (x), entonces por el teorema 8123123 podemos extender a un isomorsmo : F () F ( ):

Sea F1 = F (),F1 = F ( ), tal que tenemos el isomorsmo : F1 F1 . Tenemos f (x) = (x )f1 (x) sobre F1 donde f1 (x) tiene grado n 1 y f (x) = (x )f1 (x). El campo E es un cuerpo de descomposici on para f1 (x) sobre F1 : todas las ra ces de f1 (x) est an en E y si estuviesen contenidos en cualquier extensi on menor L que contiene a F1 , entonces, dado que F1 contiene a , L tambi en contendr a todas las ra ces de f (x), lo cual contradir a la minimalidad de E como un cuerpo de descomposici on de f (x) sobre F. Similarmente E es un cuerpo de descomposici on para f1 (x) sobre F1 . Dado que los grados de f1 (x) y f1 (x) son menores que n, por inducci on existe un mapeo : E E que extiende el isomorsmo : F1 F1 . Esto da el diagrama extendido: 16

Luego como el diagrama indica, restringido a F1 es el isomorsmo , asi que en particular restringido a F es restringido a F, el cual es , mostrando que es una extensi on , completando la prueba. Corolario 6. Unicidad de los cuerpos de descomposici on Cualquiera dos cuerpos de descomposici on para un polinomio f (x) F [x] sobre un campo F son isom orcos. Demostraci on. Tome como el mapeo identidad de F en s mismo y E y E como dos cuerpos de descomposici on para f (x)(= f (x)) Como mencionamos antes, este resultado justica la terminolog a de el cuerpo de descomposici on de f (x) sobre F, dado que cualquiera dos de ellos son isom orcos. Los cuerpos de descomposici on juegan un rol natural en el estudio de elementos algebraicos (Si usted est a adjuntando una ra z de un polinomio, Por qu e no adjuntar todas las ra ces?) y por tanto toman un role particularmente importante en la Teor a de Galois. Terminamos esta secci on con una discusi on de campos de extensi on de F que contienen todas la ra ces de todos los polinomios sobre F. Denici on. El campo F es llamada una cerradura algebraica de F si F es algebraica sobre F y si todo polinomio f (x) F [x] se descompone completamente sobre F (As que se puede decir que F contiene todos los elementos algebraicos sobre F) Denici on. Se dice que un campo K es algebraicamente cerrado si todo polinomio con coecientes en K tiene una ra z en K. No es obvio que los campos cerrados algebraicamente existen ni que existe una cerradura algebraica de un campo dado F (probaremos esto en pronto) 17

Note que si K es algebraicamente cerrado, entonces de hecho todo f (x) K [x] tiene todas sus ra ces en K, dado que por denici on f (x) tiene una ra z K , por tanto tiene un factor x en K [x]. El factor restante de f (x) entonces es un polinomio en K[x], por tanto tiene una ra z, as que tiene un factor l neal, etc., as que f (x) debe descomponerse completamente. Por tanto si K es cerrado algebraicamente, entonces K en en s mismo una cerradura algebraica de K y el rec proco es tambi en obvio, as que K = K si y s olo si K es cerrado algebraicamente. El siguiente resultado muestra que el proceso de tomar la cerradura algebraica.en realidad para luego de un paso - tomar la cerradura algebraica de una cerradura algebraica no da un campo mator: el campo es ya algebraicamente cerrado (simb olicamente: F = F ) Proposici on 7. Sea F una cerradura algebraica de F. Entonces F es cerrado algebraicamente. Demostraci on. Sea f (x) un polinomio den F [x] y sea una ra z de f (x). Entonces genera una extensi on algebraica F () de F , y F es algebraica sobre F. Por el teorema 20!!!, F () es algebraica sobre F as que en particular su elemento es algebraico sobre F. Pero entonces F , mostrando que F es cerrado algebraicamente. Dado un campo F ya hemos mostrado c omo construir extensiones (nitas) de F que contengan todas las ra ces de un polinomio dado f (x) F [x]. Intuitivamente, una cerradura algebraica de F es dada por el campo generado por todos estos subcampos. La dicultada con es generado d onde?, dado que no todos son subcampos de un campo dado. Para una colecci on nita de polinomios f1 (x), . . . , fk (x), podemos identicar sus cuerpos de descomposici on como subampos de un cuerpo descomposici on del polinomio producto f1 (x) . . . fk (x), pero la misma idea usada para un n umero innito de polinomios requiere numerosas identicaciones bookkeeping!!! una aplicaci on del Lema de Zorn. Construiremos en lugar de ello una cerradura algebraica de F construyendo primero un campo cerrado algebraicamente que contiene a F. La prueba usa un idea astuta de Artin el cual resuelve elegantemente 18
2

el problema de bookkeepingde construir un campo que contiene las ra ces apropiadas de polinomios (el cual tambi en se apoya nalmente en el Lema de Zorn) al introducir una variable separada para todo polinomio. Proposici on 8. Para cualquier campo F existe un campo K cerrado algebraicamente que contiene a F Demostraci on. Para todo polinomio m onico no constante f = f (x) con coecientes en F, denote xf una inc ognita y considere el anillo polin omico F [. . . , xf , . . .] generado sobre F por las variables xf . En este anillo polin omico considere el ideal I generado por los polinomios f (xf ). Si este ideal no es propio, entonces 1 es un elemento del ideal, por tanto tenemos la relaci on g1 f1 (xf1 ) + g2 f2 (xf2 ) + . . . + gn fn (xfn ) = 1 donde los gi ,i = 1, 2, . . . , n son polinomios en los xf . Para i = 1, 2, . . . , n sea xfi = xi y sea xn+1 , . . . , xm el resto de variables que aparecen en los polinomios gj , j = 1, 2, . . . , n. Entonces la relaci on de antes ser a g1 (x1 , x2 , . . . , xm )f1 (x1 ) + . . . + gn (x1 , x2 , . . . , xm )fn (xn ) = 1 Sea F una extensi on nita de F que contiene una ra z i de fi (x) para i = 1, 2, . . . , n. Haciendo xi = i , i = 1, 2, . . . , n y haciendo xn+1 = . . . = xm = 0, digamos, en la ecuaci on polin omica de arriba implicar a que 0 = 1 en F , claramente imposible. Dado que el ideal I es un ideal propio, est a contenido en un ideal m aximo M (aqu es donde el torema de Zorn es usado). Entonces el cociente K1 = F [. . . , xf , . . .]/M es un campo que contiene a (una copia isom orca de) F. Cada uno de los polinomios f tiene una ra z en K1 por construcci on, a saber la imagen de xf , dado que f (xf ) I M . Hemos construido un campo K1 en el cual todo polinomio con coecientes de F tiene una ra z. Realizando la misma construcci on con K1 en lugar de F da un campo K2 que contiene a K1 en el

19

cual todos los polinomios con coecientes de K1 tiene una ra z. Continuando de este modo obtenemos una sucesi on de campos F = K0 K1 K2 . . . Kj Kj +1 . . . donde todo polinomio con coecientes en Kj tiene una ra z en Kj +1 , j = 0, 1, . . .. Sea K = j 0 Kj la uni on de estos campos. Entonces K es claramente un campo que contiene a F. Dado que K es la uni on de campos Kj , todos los coecientes de todo polinomio h(x) en K[x] yacen en alg un campo KN para N sucientemente grande. Pero entonces h(x) tiene una ra z en KN +1 , as que tiene una ra z en K. Se sigue que K es cerrado algebraicamente, completando la prueba. Ahora usamos el campo cerrado algebraicamente que contiene a F para construir una cerradura algebraica de F: Proposici on 9. Sea K un campo cerrado algebraicamente y sea F un subcampo de K. Entonces la colecci on de elementos F de K que son algebraicos sobre F es una cerradura algebraica de F. Una cerradura algebraica de F es u nica con respecto a isomorsmos. on algebraica de F. Todo poliDemostraci on. Por denici on, F es una extensi nomio f (x) F [x] se descompone completamente sobre K en factores lineales x (lo mismo es verdad para todo polinomio par en K[x]). Pero cada es una ra z de f (x), as que es algebraica sobre F, por tanto es un elemento de F . Se sigue que todos los factores lineales x tiene coecientes en F , es decir, f (x) se descompone completamente en F [x] y F es una cerradura algebraica de F. La unicidad (con respecto a isomorsmos) de la cerradura algebraica es natural en vista de la unicidad (respecto a isomorsmos) de cuerpos de descomposici on, y es probado siguiendo los mismos lineamientos junto con una aplicaci on del Lema de Zorn y ser a omitido Probaremos m as adelante usando la teor a de Galois el siguiente resultado (las pruebas puramente anl ticas usando an alisis complejo tambi en existen) 20

 Teorema 10. (Teorema Fundamental del Algebra) El campo C es algebraicamente cerrado. Por la proposici on 9, obtenemos inmediatamente: Corolario 11. El campo C contiene una cerradura algebraica para cualquier de sus subcampos. En particular, Q, la colecci on de n umeros complejos algebraicos sobre Q, es una cerradura algebraica de Q. El punto de estas consideraciones es que todos los c alculos que involucran elementos algebraicos sobre un campo F podrian ser vistos como tomando lugar en un campo (amplio), a saber F . Similarmente, podemos hablar de manera sensata de la composici on de cualquier colecci on de extensiones algebraicas viendo todos los subcampos de una cerradura algebraica. En el caso de Q o extensiones nitas de Q podriamos considerar todos nuestros c alculos como realizados en C.

21