Escolar Documentos
Profissional Documentos
Cultura Documentos
EXTENSIONES DE CUERPOS
Teora de Galois
Granada, 20012017
Primera redaccin: 2001.
Segunda redaccin: Julio 2014.
Tercera redaccin: Septiembre 2016.
Introduccin general
Introduccin general I
I Extensiones de cuerpos 1
Introduccin 3
I Extensiones de cuerpos 5
1 Teora de cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2 Clausura algebraica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3 Construcciones con regla y comps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4 La cbica y Tartaglia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Bibliography 259
Index 261
Parte I
Extensiones de cuerpos
Introduccin
Uno de los problemas fundamentales en la Matemtica actual es el determinar las races de una
ecuacin polinmica, en una variable, o de sistemas de ecuaciones polinmicas en varias variables.
El segundo caso corresponde a la Geometra Algebraica, mientras que el primero es el que vamos a
estudiar en este curso.
La teora clsica trata de determinar las races y expresiones de las mismas; fue Kronecker quien cam-
bi el paradigma, despus de Kronecker se trata, mas que de determinar las races, ver qu relaciones
verifican sin necesidad de determinarlas explcitamente. Por esta razn, y ya que los polinomios se
supone que tienen coeficientes en un cuerpo, trataremos de trabajar con las races considerndolas
en un cuerpo extensin finita del cuerpo base.
La teora pues est dedicada al estudio de cuerpos y sus extensiones, finitas o infinitas. A este respecto
tenemos que destacar que hasta el momento las nicas herramientas que tenemos para trabajar con
un cuerpo son los espacios vectoriales, la pena es que slo con espacios vectoriales no podemos
distinguir entre cuerpos; esto nos obligar a introducir nuevas herramientas asociadas a extensiones
de cuerpos.
Dada una extensin de cuerpos K F , tenemos que F es un espacio vectorial sobre F y tambin
sobre K. En este segundo caso tenemos informacin importante que podremos explorar, por ejemplo
la dimensin; el valor de la dimensin ya nos da una primera forma de clasificar cuerpos. Tambin
F es una Klgebra, por tanto para cada x F tendremos expresiones del tipo an x n + + a1 x + a0 ,
con los ai K; si dimK (F ) < , entonces existen expresiones an x n + + a1 x + a0 = 0 en las que no
todos los coeficientes ai son nulos; esto es, x es una raz del polinomio f (X ) = an X n + + a1 X + a0 .
Puede ser que x sea raz de un polinomio f (X ) incluso cuando dimK (F ) no sea finita. Esto nos da
una clasificacin de los elementos de F en trminos de K.
Observa los siguientes ejemplos: en la extensin R C todo elemento de C es raz de un polinomio
no nulo con coeficientes en R; diremos que los elementos de C son algebraicos sobre R. En cambio,
en la extensin Q R esto no ocurre, por ejemplo R no es raz de ningn polinomio no nulo
con coeficientes en Q; diremos que es un elemento trascendente sobre Q. La existencia de ele-
mentos algebraicos o trascendentes produce una nueva clasificacin de las extensiones de K. Ms
herramientas irn apareciendo a lo largo del texto.
Captulo I
Extensiones de cuerpos
1 Teora de cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2 Clausura algebraica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3 Construcciones con regla y comps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4 La cbica y Tartaglia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Introduccin
En el estudio de las estructuras algebraicas, la principal herramienta que hemos utilizado ha sido la
de mdulos, esto es, hemos utilizado representaciones del anillo y del grupo para obtener propieda-
des de los mismos. En el caso de cuerpos podemos comprobar que el simple estudio de los espacios
vectoriales no es suficiente, pues slo con espacios vectoriales no podemos distinguir entre cuerpos;
los espacios vectoriales tiene la misma estructura sobre todos los cuerpos. Por esta razn, vamos a
estudiar homomorfismos entre cuerpos, esto es, subcuerpos y extensiones, para ubicar a cada cuerpo
en la clase de todos los cuerpos.
Existen cuerpos que contiene una copia de Q; son aquellos que tambin contiene una copia de Z: los
cuerpos de caracterstica cero. Por otro lado, hay cuerpos, como F2 , que no contienen una copia de Z.
En este caso F2 contiene una copia del grupo aditivo Z2 . Tenemos pues una primera clasificacin de
cuerpos atendiendo a su caracterstica. El resultado fundamental es que si dos cuerpos no tienen la
misma caracterstica no puede existir un homomorfismo entre ellos. Otro resultado, tambin obvio,
es que todo cuerpo finito de caracterstica p tiene exactamente p r , para r N.
El tener la misma caracterstica
p p no garantiza la existencia de un homomorfismo entre dos cuerpos;
este es el caso de Q( 2) y Q( 3), de F4 y F8 . Ms tarde veremos que, en el caso de cuerpos finitos,
dos cuerpos con el mismo nmero de elementos son isomorfos.
Dados dos cuerpos K y F y un homomorfismo f : K F , tenemos que f es siempre una aplicacin
inyectiva, y por tanto F es un espacio vectorial sobre K. Cuando dimK (F ) < tenemos que cada
elemento x F es raz de un polinomio no nulo con coeficientes en K; estos elementos son esenciales
4161-00.tex
6 CAP. I. EXTENSIONES DE CUERPOS
en nuestro estudio, y los llamaremos elementos algebraicos sobre K. Puede ocurrir que todos los
elementos de F sean algebraicos sobre K y que dimK (F ) sea infinita.
Si 0 6= x F es un elemento algebraico sobre K, entonces el conjunto de los polinomios en K[X ] de
los que x es una raz es un ideal principal, ya que K[X ] es un DIP, por lo que toda la informacin
sobre x est en el generador de este ideal, sea f (X ). Como f (X ) es irreducible sobre K[X ], ya que
tenemos la siguiente situacin:
K[X ] eval x
Im(eval x ) = K[x] F,
( f (X ))
1. Teora de cuerpos
Lema. 1.1.
Si F /K es una extensin de cuerpos, entonces F tiene estructura de espacio vectorial sobre K.
Lema. 1.2.
Si K F E es una torre de cuerpos, son equivalentes:
(a) E/K es una extensin finita.
(b) F /K y E/F son extensiones finitas.
DEMOSTRACIN. (a) (b). Si E/K es una extensin finita, supongamos que [E : K] = r, entonces,
ya que F es un K-subespacio vectorial de E, tenemos que [F : K] r. Por otro lado, existe una base
de E como K-espacio vectorial, sea {e1 , . . . , e r }; estos elementos ei son un sistema de generadores de
E como F -espacio vectorial, y por tanto [E : F ] r.
(b) (a). Supongamos que [F : K] = n y [E : F ] = m, consideramos bases de F como K-espacio vec-
torial y de E como F -espacio vectorial { f1 , . . . , f n } y {e1 , . . . , em } respectivamente. Para un elemento
x E existen x 1 , . . . , x m F verificando:
m
X
x= x i ei .
i=1
4161-01.tex
Corolario. 1.3.
Si F0 F1 Fm es una torre de cuerpos, siendo Fi+1 /Fi una extensin finita para 0 i m 1,
entonces Fm /F0 es una extensin finita y
Este hecho es importante, ya que limita el nmero de posibles cuerpos intermedios entre dos cuerpos
dados K E. As, si la extensin es finita, los cuerpos intermedios F han de verificar
[E : K] = [E : F ][F : K].
Lema. 1.4.
Si F /K es una extensin de cuerpos e Y y Z son dos subconjuntos de F , entonces
(1) K[Y Z] = K[Y ][Z] = K[Z][Y ] y
(2) K(Y Z) = K(Y )(Z) = K(Z)(Y ).
Proposicin. 1.5.
Sea F /K una extensin de cuerpos, e Y un subconjunto de F , entonces para cada elemento de
K(Y ) existe un subconjunto finito Z Y , tal que K(Z).
Lema. 1.6.
Si F /K es una extensin de cuerpos y F , definimos un homomorfismo de anillos
Proposicin. 1.7.
Sea F /K una extensin de cuerpos y F un elemento algebraico sobre K, existe un polinomio
irreducible f (X ) K[X ] verificando f () = 0.
Este polinomio f (X ) est determinando de forma nica, salvo asociados en K[X ], y es el polinomio
de K[X ] de menor grado del que es una raz.
Corolario. 1.8.
Sea F /K una extensin de cuerpos y F un elemento algebraico sobre K, entonces existe un
isomorfismo de cuerpos entre K[X ]/( f (X )) y K(). En particular K[] = K().
Proposicin. 1.9.
Sea F /K una extensin de cuerpos y F un elemento algebraico sobre K. Si gr(Irr(, K)) = n,
entonces [K() : K] = n y una base de K() como K-espacio vectorial es {1, 1 , . . . , n1 }.
Proposicin. 1.10.
Toda extensin finita de cuerpos F /K es una extensin algebraica.
DEMOSTRACIN. Basta ver que cada elemento F es algebraico sobre K. Ya que la extensin es
finita, [F : K] = n < , los elementos 1, , . . . , n no son linealmente independientes, luego existen
k0 , k1 , . . . , kn K, no todos nulos, tales que k0 + k1 +. . .+ kn n = 0, entonces es raz del polinomio
f (X ) = k0 + k1 X + . . . + kn X n ,
y es algebraico sobre K.
Si E y F son dos subcuerpos de un cuerpo L que contienen un subcuerpo comn K, llamamos el
compuesto de E y F en L, al menor subcuerpo de L que contiene a E y F , lo representamos por E F .
E F@ F
~~ @@
~~ @@
~~ @@
~~ @
E@ F K(1 , . . . , n )
@ @@ ~~
@@ ~~~
@@ ~
~~
K K
Lema. 1.11.
Toda extensin finita F /K es una extensin de generacin finita.
Proposicin. 1.12.
Sea F = K(1 , . . . , n ) una extensin de generacin finita y cada i , 1 i n, es algebraico sobre
K, entonces F /K es una extensin finita.
K K(1 ) . . . K(1 , . . . , n ) = F ;
basta ver que K(1 )/K es una extensin finita. Ya que 1 es algebraico sobre K, tenemos que K(1 ) =
K[1 ] y [K(1 ) : K] = n, siendo n = gr(Irr(1 , K)).
Teorema. 1.13.
Toda extensin generada por elementos algebraicos es una extensin algebraica.
DEMOSTRACIN. Supongamos que F /K es una extensin y que F est generado sobre K por elemen-
tos algebraicos {i | i I}. Para cada F , por la Proposicin (1.5.), existen i1 , . . . , i r I tales que
K(i1 , . . . , ir ); por la proposicin anterior la extensin de generacin finita K(i1 , . . . , ir )/K es
algebraica, luego es algebraico sobre K.
Teorema. 1.14.
(1) Si K F E es una torre de cuerpos, son equivalentes:
(a) E/K es una extensin algebraica (resp. finita);
(b) E/F y F /K son extensiones algebraicas (resp. finitas).
(2) Si K L E y K F E son dos torres de cuerpos, y L/K es una extensin algebraica (resp.
finita), entonces LF /F es una extensin algebraica (resp. finita).
(3) Si K L E y K F E son dos torres de cuerpos y L/K, F /K son extensiones algebraicas
(resp. finitas), entonces LF /K es una extensin algebraica (resp. finita).
algebraica, y por tanto finita, entonces la extensin K(a0 , a1 , . . . , an1 , )/K es finita, luego algebrai-
ca.
(2). Si L/K es una extensin algebraica, para cada L la extensin K()/K es finita, entonces
aplicando (2) para extensiones finitas, tenemos que F K()/F K es una extensin finita, pero F K() =
F (), y F K = F , luego resulta que F ()/F es una extensin finita, y por tanto que es algebraico
sobre F . Ya que todo elemento de LF puede escribirse como un polinomio en los elementos de L, con
coeficientes en F , LF = F [L]. La extensin LF /F es algebraica, ya que est generada por elementos
algebraicos.
(3). Por (2) resulta que LF /F es algebraica, y como F /K es tambin algebraica, por (1) tenemos que
L F /K es algebraica.
Una clase de extensiones que verifica las condiciones del teorema se llama una clase distinguida de
extensiones. Las condiciones del teorema se pueden expresar grficamente mediante:
1.1. Ejercicios
Teora de cuerpos
Ejercicio. 1.15.
Sea F un cuerpo finito de caracterstica p. Demuestra que |F | = p n para algn entero positivo n.
Ref.: 4161e_001 SOLUCIN
Ejercicio. 1.16.
Razona, sabiendo que y e son trascendentes, cuales de los siguientes nmeros complejos son
algebraicos
p o trascendentes sobre Q.
(1) p7.
3
(2) 3.
(3) 2 .
e3 + 1.
(4) p
(5) i + 2.
Ejercicio. 1.17.
Sea F /K una extensin de cuerpos y F un elemento algebraico sobre K. Demuestra que los
elementos + 5 y 2 son algebraicos sobre K. En cada uno de los casos, es cierto el recproco?
Ref.: 4161e_003 SOLUCIN
Ejercicio. 1.18.
Sea K un cuerpo, K[X ] el anillo de polinomios con coeficientes en K, y K(X ) su cuerpo de fracciones.
Demuestra que cada elemento de K[X ], que no est en K, es trascendente sobre K. Demuestra el
resultado anlogo para K(X ).
Ref.: 4161e_004 SOLUCIN
Ejercicio. 1.19.
Demuestra que el polinomio f (X ) = X 3 + 3X + 1 es irreducible en Q[X ]. Si es una raz de f (X ) en
una extensin de Q, calcula (1 + )(1 + + 2 ) y (1 + )/(1 + + 2 ).
Ref.: 4161e_005 SOLUCIN
Ejercicio. 1.20.
Demuestra que el polinomio f (X ) = X 3 + X + 1 es irreducible sobre F2 [X ]. Si es una raz de f (X )
en una extensin de F2 , calcula todas las potencias de .
Ref.: 4161e_006 SOLUCIN
Ejercicio. 1.21.
Calcula Irr(, Q) en los siguientes casos:
p
(1) = p2+ p 5.
(2) = p5 + p5.
4
3
(3) = 2 + 4.
3
Ejercicio. 1.22.
Calcula Irr(, Q) en los siguientes casos:
(1) = 2 1, siendo una raz del polinomio X 3 2X 2.
(2) = 2 + , siendo una raz del polinomio X 3 + 3X 2 3.
(3) = 1/ 2 , con una raz del polinomio X 4 + X + 1.
Ejercicio. 1.23.
Calcula [F : Q] en los siguientes casos:
p
(1) F = Q(p7, p i).
(2) F = Q(p5, p
3
2).
4
(3) F = Q(p18, 2). p
(4) F = Q(p8, p 3 + 50).
(5) F = Q(p2, p3). p
(6) F = Q(p3, 5, 7).
3
(7) F = Q( 2, ), donde Irr(, Q) = X 4 + 6X + 2.
Ejercicio. 1.24.
Razona si el elemento genera cada una de las siguientes extensiones de Q:
p p p p
(1) = 2 + p 5 Q(
p 2, 5).
3
(2) = 2p + 9 Q(
3
21
p 3).
(3) = 1+ 2 Q( 2).
p
Ejercicio. 1.25.
Demuestra que si f (X ) es un polinomio irreducible sobre K de grado n y si F /K es una extensin
finita de grado primo relativo con n entonces f (X ) es irreducible sobre F .
Ref.: 4161e_011 SOLUCIN
Ejercicio. 1.26.
Demuestra que si F /K es una extensin de grado primo entonces para todo F \ K, se tiene
F = K().
Ejercicio. 1.27.
Demuestra que si [K() : K] es impar entonces K() = K(2 ).
Ref.: 4161e_013 SOLUCIN
Ejercicio. 1.28. p
3
Sea F = Q(u1 , . . . , un ) donde u2i Q para i = 1, . . . , n. Demuestra que 2
/ F.
Ref.: 4161e_014 SOLUCIN
Ejercicio. 1.29. p p
Demuestra que Q( i) = Q(i, 2).
Ref.: 4161e_015 SOLUCIN
Ejercicio. 1.30.
p p p
Prueba que Q( 2 + i) = Q( 2)(i) =: Q( 2, i).
Ref.: 4161e_081 SOLUCIN
Ejercicio. 1.31.
Calcula
p
p + i 3)/2, Q) y
(1) Irr((2
(2) Irr( t + 1, F3 (t)), siendo t trascendente sobre F3 .
Ejercicio. 1.32. p
Calcula el polinomio mnico irreducible de = t 3 + 1 sobre F3 (t), donde t es trascendente sobre
F3 .
Ref.: 4161e_051 SOLUCIN
Ejercicio. 1.33.
Demuestra que cualquier dominio de integridad conteniendo a un cuerpo K, y contenido en una
extensin algebraica de K, es un cuerpo.
Ref.: 4161e_017 SOLUCIN
Ejercicio. 1.34.
Sea F /K una extensin de cuerpos. Si F es un elemento algebraico sobre K() para algn F
y es trascendente sobre K entonces demuestra que es algebraico sobre K().
Ref.: 4161e_018 SOLUCIN
Ejercicio. 1.35.
Sea F /K una extensin de cuerpos y a F un elemento algebraico sobre K. Debe necesariamente
Irr(a, K) factorizarse en factores lineales en K(a)?
Ref.: 4161e_019 SOLUCIN
Ejercicio. 1.36.
Sea f K[X ] un polinomio irreducible de grado n. Sea g K[X ] arbitrario. Demuestra que todo
factor irreducible del polinomio h(X ) = f (g(X )) tiene grado divisible por n.
Ref.: 4161e_020 SOLUCIN
Ejercicio. 1.37.
Sea K un cuerpo de caracterstica distinta de 2, f (X ) = X 2 + aX + b un polinomio irreducible en K.
Demuestra que existe un d tal que d 2 K y f (X ) se factoriza en K(d).
Ref.: 4161e_050 SOLUCIN
Ejercicios complementarios
Ejercicio. 1.38.
Sean F1 /K1 y F2 /K2 extensiones de cuerpos y h : K1 K2 un homomorfismo de cuerpos.
(1) h induce un homomorfismo de h : K1 [X ] K2 [X ] mediante h(X ) = X .
(2) Si h se extiende a un homomorfismo h0 : F1 F2 , para cada polinomio f (X ) K1 [X ], y cada
F1 tal que f () = 0, se tiene que h0 () es una raz de h( f (X )).
K1 [X ] K2 [X ]
(3) h se extiende a un homomorfismo h : .
( f (X )) (h( f (X )))
(4) Si F1 es una raz de f (X ) y f (X ) K1 [X ] es irreducible, entonces h se extiende a un
homomorfismo h0 : K1 () K2 ( f ()).
Ejercicio. 1.39.
Si F /K una extensin de cuerpos y f (X ) K[X ] es un polinomio, se verifica:
(1) Si h : F /K F /K es un automorfismo y F es una raz de f (X ), entonces h() es tambin
una raz de f (X ).
(2) Si f (X ) K[X ] es irreducible y , son races de f (X ), existe un automorfismo h : K()/K
K()/K que verifica h() = .
Ejercicio. 1.40.
Sea f (X ) = X 2 + X + 1 F5 [X ]. Consideramos el anillo cociente K = F5 [X ]/(X 2 + X + 1).
(1) Prueba que K es un cuerpo extensin de F5 .
Ejercicio. 1.41. p
6
Sea C/K una extensin de cuerpos, siendo K = Q, Q(i), Q() Q( 2). Clasifica como algebraico o
transcendente sobre K cada uno de los siguientes elementos
p
1+ 2
(1) 2 .
(2) 1 + i.
(3) 2
p. p
(4) p2 + p 3
3.
(5) p 1 + 2.
(6) .
Ejercicio. 1.42. p p
Se considera la extensin de cuerpos Q( 3, 5)/Q.
p p
(1) Demuestra
p p que cualquier
p elemento de Q( 3, 5) puede expresarse, de forma nica, como a +
b 3 + c 5 + d p15, donde
p a, b, c, d Q.
(2) Prueba que = 3 + 5 genera la extensin,py calcula p Irr(, Q).
(3) Calcula explcitamente el inverso de = 1 + 3 15.
Ejercicio. 1.43. p
3
Demuestra que Q( 2)/Q es una extensin finita de cuerpos. Halla una base de ella y expresa
p 3 p p
p 1+ 2+ 4
3 3
p
3 3 1 1 4
4+5 2 , p
3
y p
3
+ p
3
21 2+1 2 2
Ejercicio. 1.44. p p
Encuentra una base de la extensin Q( 2 + 2). Expresa en funcin de dicha base el inverso de
p p
2 + 2.
Ref.: 4161e_025 SOLUCIN
Ejercicio. 1.45. p p
3
Demuestra que Q( 5, 2)/Q es una extensin finita de cuerpos. Halla una base de ella y expresa
p p
( 5 + 2)1 en funcin de los elementos de la base.
3
Ejercicio. 1.46. p p
Estudio de la extensin Q( 2, 3)/Q.
p p
(1) Calcula Irr( 2 +p 3, Q).p p p
(2) Demuestra que 3p / Q(
p 2). Deduce
p que
p [Q( 2, 3) : Q] = 4.
(3) Demuestra que Q( 2, 3) = Q( 2 p + p 3).
(4) Describe dos bases diferentes de Q( 2, 3)/Q.
Ejercicio. 1.47.
Sean n y m dos nmeros naturales distintos mayores que 1 y libres de cuadrados.
p p
(1) Demuestra que mp / Q(
p n).
(2) Demuestra que [Q( n, m) : Q] = 4.
p p p
(3) Demuestra que p nm Q(p n + pm). p
(4) Demuestra que p n mp+ m n p Q( pn + m).
(5) Demuestra que m, p n p Q( n +
p m). p
(6) Demuestra p que Q(
p n, m) = p n +p m).
Q(
(7) Calcula Irr( n + m, Q) e Irr( n, Q( m)).
Ejercicio. 1.48.
Demuestra que si Irr(, Q) = X 2 2 e Irr(, Q) = X 2 4X + 2, entonces Q() = Q().
Ref.: 4161e_029 SOLUCIN
Ejercicio. 1.49.
Sea una raz de X 3 + 2X + 2 Q[X ]. Demuestra explcitamente (mediante un polinomio) que los
elementos siguientes son algebraicos sobre Q. Cules son sus grados?
(1) + 1.
(2) 2 .
Ejercicio. 1.50.
Sea E/K una extensin de cuerpos y E un elemento algebraico sobre K. Demuestra, mediante
un polinomio, que los elementos + 1 y 2 son algebraicos sobre K. Es cierto que si alguno de esos
elementos es algebraico sobre K, entonces lo es ?
Ref.: 4161e_031 SOLUCIN
Ejercicio. 1.51.
Sea F /K una extensin de grado [F : K] = n.
(1) Para todo u F definimos u : F F como la multiplicacin por u, esto es: u (v) = uv.
Demuestra que u es una aplicacin Klineal.
(2) Demuestra que F es isomorfo a un subcuerpo del anillo Mn (K) de matrices cuadradas n n con
coeficientes en K.
(3) Razona que Mn (K) contiene una copia isomorfa de toda extensin F /K de grado n.
Ejercicio. 1.52.
Sea Mu la matriz de la transformacin u definida en el Ejercicio (1.51.). Demuestra que u es raz
del polinomio caracterstico de Mu .
(Observacin. Esto da un procedimiento efectivo para determinar una ecuacin de grado n del que
u
p F psea unapraz). Usa este procedimiento para obtener el polinomio mnico irreducible de 1 +
3 3
2 + 4 Q( 2).
3
Ejercicio. 1.53.
Determina el conjunto de los polinomios mnicos irreducibles sobre R.
Ref.: 4161e_052 SOLUCIN
Ejercicio. 1.54.
Sea F /K una extensin. Si X n a K[X ] es irreducible, F es una raz, y m N un divisor de
n, demuestra que el grado de m sobre K es n/m. Cul es el polinomio mnico irreducible de m
sobre K?
Ref.: 4161e_053 SOLUCIN
Ejercicio. 1.55.
Sea F /K una extensin y sean , F algebraicos sobre K de grados, respectivamente n y m.
(1) Demuestra que K[(, ) : K] n m.
(2) Demuestra que si n y m son primos relativos, entonces [K(, ) : K] = n p
m. p
m
(3) Si n y m son primos relativos y a, b Z mayores que 1. Demuestra que [Q( n a, b) : Q] = n m.
Ejercicio. 1.56.
Sea p un entero primo positivo. Prueba que existe a lo sumo un nmero finito de polinomios mnicos
irreducibles de grado n en F p . Describe un mtodo para obtener estos polinomios.
Ref.: 4161e_055 SOLUCIN
Ejercicio. 1.57.
p p
Sean p, q Z primos positivos distintos y F = Q( p, q). Prueba que:
p p p
(1) [F : Q] = 4 y {1, p, q, pq} es una Qbase de F .
p p
(2) Irr( p + q) = X 4 (p + q)X 2 + (p q)2 .
p p
(3) F = Q( p + q).
p p
(4) Q( p) 6= Q( q).
Ejercicio. 1.58.
Determina los polinomios mnicos irreducibles sobre F2 y F3 de grados 1, 2, 3 y 4. Construye cuerpos
finitos de 2, 4, 8, 16, 25 y 27 elementos.
Ref.: 4161e_057 SOLUCIN
Ejercicio. 1.59.
Sea K un cuerpo de caracterstica p 6= 0, y q una potencia de p. Definimos K q = {aq | a K}. Prueba
que K q es un cuerpo y que la aplicacin a 7 aq es un isomorfismo de K en K q .
Ref.: 4161e_058 SOLUCIN
Ejercicio. 1.60.
Demuestra que existen infinitos polinomios mnicos irreducibles sobre Q[X ].
Ref.: 4161e_059 SOLUCIN
Ejercicio. 1.61. p p
3
Determina el polinomio mnico irreducible de = 2 + 2 sobre Q.
Ref.: 4161e_061 ver Ref.: 203e_56 SOLUCIN
Ejercicio. 1.62. p p
4
Determina el polinomio mnico irreducible de = 2 + 2 sobre Q.
Ref.: 4161e_062 ver Ref.: 203e_57 SOLUCIN
Ejercicio. 1.63.
Sean , elementos algebraicos no nulos sobre un cuerpo K con polinomios irreducibles f (X ) =
Irr(, K) y g(X ) = Irr(, K), respectivamente. Determina:
(1) El polinomio irreducible de = + .
(2) El polinomio irreducible de = .
(3) El polinomio irreducible de = 1/.
Ejercicio. 1.64.
Sea F /K una extensin de cuerpos de grado finito y : F F 0 un homomorfismo de cuerpos.
Demuestra que [F : K] = [F : K ].
Ref.: 4161e_066 SOLUCIN
Ejercicio. 1.65.
Sea F /K una extensin de cuerpos de grado finito. Demostrar que cada endomorfismo de Klgebras
de F que deja fijo K es un automorfismo.
Ref.: 4161e_067 SOLUCIN
Ejercicio. 1.66.
Demuestra que todo automorfismo de un cuerpo deja elementalmente fijo al subcuerpo caractersti-
co.
Ref.: 4161e_068 SOLUCIN
Ejercicio. 1.67. p p
Demostrar que las extensiones Q( 2)/Q y Q( 3)/Q no son isomorfas.
Ref.: 4161e_069 SOLUCIN
Ejercicio. 1.68.
Demostrar que el polinomio X 4 2X 2 2 es irreducible sobre Q[X ], y encontrar dos pares de races
que generan extensiones no isomorfas.
Ref.: 4161e_070 SOLUCIN
Ejercicio. 1.69.
Encontrar, si es posible, en cada uno de los casos siguientes un elemento tal que Irr(, K) sea el
polinomio dado:
(1) X 2 4, siendo K = R.
(2) X 2 + 1, siendo K = F3 .
(3) X 2 + 1, siendo K = F5 .
(4) X 7 3X 6 + 4X 3 X 1, siendo K = R.
Ejercicio. 1.70.
2
Si es una raz del polinomio X 2 + X + 1 Q[X ], expresar 32 + +4 como un polinomio en .
Ref.: 4161e_072 SOLUCIN
Ejercicio. 1.71.
Sea F /K una extensin de cuerpos y F algebraico sobre K. Entonces toda expresin polinmica
no nula de con coeficientes en K es un elemento algebraico sobre K. Recprocamente, si f () es
una de tales expresiones que es algebraica sobre K, entonces es algebraico sobre K.
Ref.: 4161e_073 SOLUCIN
Ejercicio. 1.72.p p
3
Demostrar que 2 + 3 no es un nmero racional, pero es algebraico sobre Q. Cul es su grado?
Ref.: 4161e_074 SOLUCIN
Ejercicio. 1.73.
Demostrar que el polinomio X 4 2X 2 + 9 es irreducible sobre Q.
Ref.: 4161e_075 SOLUCIN
Ejercicio. 1.74.
1 n1
Encuentra el polinomio irreducible de = 1 + 2 n + + 2 n sobre Q.
Ref.: 4161e_082 SOLUCIN
Ejercicio. 1.75. p p p p p p
Se considera = 2 + 3 + 5 F = Q( 2, 3, 5).
p p p
(1) Prueba que [Q( 2, 3, 5) : Q] = 8.
(2) Prueba que F = Q().
(3) Calcula Irr(, Q).
(4) Encuentra elementos F , de grado cuatro sobre Q.
Ejercicio. 1.76. p p p p
3 3
Se considera = 2 + 2 F = Q( 2, 2).
(1) Prueba que F = Q().
(2) Calcula Irr(, Q).
p p
3
Se considera ahora la extensin Q( 3, 2).
p p p p
(3) Estudia si existe un isomorfismo Q( 2, 2)/Q
3 3
= Q( 3, 2)/Q
Ejercicio. 1.77.
Hallar Irr(u + v, Q) para
p p
3
(1) u = 2, v p = 3
(2) u = pi, v = 2p
(3) u = 5, v = 7
3 5
Ejercicio. 1.78.
Consideramos Z Q y f (X ) Z[X ] un polinomio de grado positivo.
(1) Si f (X ) Z[X ] es irreducible, prueba que f (X ) es irreducible sobre Q.
Q[X ]
(2) Si f (X ) Z[X ] es irreducible, entonces F = es un cuerpo y tenemos inclusiones Z
( f (X ))
Q F.
(3) Si llamamos x = X + ( f (X )) F , prueba que x es una raz de f (X ) F [X ].
Ejercicio. 1.79.
F2 [X ]
Describe los elementos del cuerpo , completando las tablas de la suma y el producto.
(X 3
+ X + 1)
Ref.: 4161e_090 SOLUCIN
Ejercicio. 1.80. p
Calcula el polinomio mnico irreducible de = t 2 + 1 sobre F3 (t).
Ref.: 4161e_091 SOLUCIN
Ejercicio. 1.81.
F2 [X ]
Se considera f (X ) = X 4 +X +1 F2 [X ] y el cuerpo F16 = . Sea = X = X +(X 4 +X +1)
(X 4
+ X + 1)
F16 .
(1) Prueba que es una raz de X 4 + X + 1 en F16 .
(2) Prueba que el orden de en F16 = F16 \ {0} es 15.
(3) Observa que 3 es un elemento de orden 5 y que 5 es un elemento de orden 3. Haz un listado
de todos los elementos de orden 3 y de todos los elementos de orden 5.
(4) En F16 hay pues ocho elementos de orden 15. Cualquiera de ellos es un elemento primitivo.
Determina un elemento primitivo F16 que no sea raz de f (X ) = X 4 + X + 1.
(5) El polinomio g(X ) = X 4 + X 3 + X 2 + X + 1 F2 [X ] es un polinomio irreducible, si es una raz
de g(X ), entonces es elemento de orden 5.
Ejercicio. 1.82.
Se considera una raz del polinomio X 6 3X 3 6 Q[X ]. Determina el grado [Q(2 + 1) : Q].
Ref.: 4161e_093 SOLUCIN
Ejercicio. 1.83.
Sea f K[X ] un polinomio irreducible de grado n y F /K una extensin de grado m. Sea d =
mcd{n, m} y g F [X ] un factor irreducible de f . Prueba que
n
(1) divide a gr(g) y
d
(2) f tiene como mximo d factories irreducibles en F .
2. Clausura algebraica
f () = f ((X )) = ( f (X )) = 0.
Corolario. 2.2.
Sea K un cuerpo y f1 (X ), . . . , f n (X ) K[X ] polinomios no constantes, existe una extensin F /K en
la que cada f i (X ), 1 i n, tiene al menos una raz.
4161-03.tex
Lema. 2.3.
Sea K un cuerpo, son equivalentes:
(a) Todo polinomio no constante f (X ) K[X ] tiene al menos una raz en K.
(b) Todo polinomio no constante f (X ) K[X ] descompone en K.
(c) Los polinomios no constantes irreducibles en K[X ] son de grado uno.
(d) K no tiene extensiones algebraicas propias.
(e) No existen extensiones algebraicas F /K con F 6= K.
DEMOSTRACIN. (a) (b). Si f (X ) K[X ] es un polinomio no constante, entonces existe una raz
1 K, y por tanto f (X ) = (X 1 ) f1 (X ), con f1 (X ) K[X ]; si f1 (X ) no es constante, existe una
raz 2 K tal que f1 (X ) = (X 2 ) f2 (X ), con f2 (X ) K[X ], y as seguimos hasta que f n (X ) sea
un polinomio constante, entonces f (X ) admite la expresin f (X ) = (X 1 ) . . . (X n ) f n (X ), con
f n (X ) K.
(b) (c). Si f (X ) K[X ] es un polinomio no constante e irreducible y gr( f (X )) = n, entonces f (X )
admite la expresin f (X ) = a(X 1 ) . . . (X n ), con a, 1 , . . . , n K, lo que implica que n = 1.
(c) (d). Si F /K es una extensin algebraica de K y existe F \K, entonces f (X ) = Irr(, K) es un
polinomio irreducible de grado mayor que 1, lo que es una contradiccin, entonces necesariamente
F = K.
(d) (a). Si f (X ) K[X ] es un polinomio no constante, entonces existe una extensin F /K en la
que f (X ) tiene al menos una raz , entonces K()/K es una extensin algebraica de K, y por la
hiptesis K() = K, luego K y f (X ) tiene una raz en K.
Un cuerpo verificando las condiciones del lema se llama un cuerpo algebraicamente cerrado.
Vamos a ver que cada cuerpo K est contenido en un cuerpo algebraicamente cerrado; y que para ca-
da cuerpo K podemos elegir una extensin algebraica F /K en la que F es un cuerpo algebraicamente
cerrado.
con g1 (S), . . . , g r (S) K[S]. En este caso, si consideramos el subconjunto de S formado por las
indeterminadas X i = X fi , 1 i r, las indeterminadas que aparecen en los polinomios g i (S),
1 i r y una extensin F /K en la que cada f i (X ) tenga al menos una raz i , 1 i r, al hacer
la evaluacin del anillo K[S] que aplica X i en i , 1 i r, y las dems indeterminadas a cero,
entonces el primer miembro de la expresin (I.1) se aplica en cero, y el segundo se mantiene en 1,
lo que es una contradiccin.
Llamamos m a un ideal maximal de K[S] que contiene al ideal anterior, tenemos que K[S]/m es un
cuerpo, y existe un homomorfismo sobreyectivo de anillos : K[S] K[S]/m.
Dado un polinomio no constante f (X ) K[X ], el polinomio ( f (X )) tiene una raz en K[S]/m.
Tenemos que si identificamos K con su imagen por , entonces E1 = K[S]/m es una extensin de K
en la que cada polinomio no constante tiene al menos una raz.
Podemos construir ahora una extensin E2 de E1 en la que todo polinomio no constante con coefi-
cientes en E1 tenga al menos una raz. Este proceso se puede continuar. Se obtiene as una torre de
cuerpos
K E1 E2 En ,
en la que cada polinomio no constante con coeficientes en En tiene al menos una raz en En+1 . Si
llamamos F = {En | n N }, resulta que F es un cuerpo algebraicamente cerrado que es extensin
de K.
Corolario. 2.5.
Si K es un cuerpo, existe una extensin de K que es algebraica y algebraicamente cerrada.
DEMOSTRACIN. Por el teorema de Steinitz, existe una extensin F /K, con F algebraicamente ce-
rrado. Llamamos E a { F | es algebraico sobre K}; es un cuerpo intermedio. Falta ver que es
algebraicamente cerrado, para ello, supongamos f (X ) E[X ] un polinomio no constante, f (X ) tie-
ne al menos una raz en F , llammosla , entonces es un elemento algebraico sobre E, y tambin
sobre K, luego pertenece a E y E es un cuerpo algebraicamente cerrado.
Una extensin de cuerpos F /K se llama una clausura algebraica de K si
(I) es una extensin algebraica y
(II) F es un cuerpo algebraicamente cerrado.
Como consecuencia del corolario, todo cuerpo K tiene al menos una clausura algebraica. Ms tarde
veremos que las clausuras algebraicas verifican una cierta unicidad.
Vamos a estudiar propiedades elementales de homomorfismos de cuerpos para aplicarlos al estudio
de la clausura algebraica.
Si F /K y F 0 /K 0 son extensiones de cuerpos y : K
= K 0 es un isomorfismo de cuerpos, un homomor-
fismo de anillos : F F 0 se llama un homomorfismo de cuerpos sobre si (k) = (k) para
todo k K. Cuando = 1K , en vez de homomorfismo de cuerpos sobre 1K usamos homomorfismo
de cuerpos sobre K, y se representa por : F /K F 0 /K.
Lema. 2.6.
Sea : F /K F /K un homomorfismo de cuerpos sobre K, si F /K es una extensin algebraica,
entonces es un automorfismo.
Proposicin. 2.7.
Sea : K
= K 0 un isomorfismo de cuerpos, F /K y F 0 /K 0 extensiones de cuerpos, F un elemento
algebraico sobre K con f (X ) = Irr(, K). Llamamos f (X ) a la imagen de f (X ) por el isomorfismo
: K[X ]
= K 0 [X ] inducido por . Entonces para cada F 0 tal que f () = 0 existe un nico
isomorfismo de cuerpos : K() = K 0 () sobre tal que () = .
0
F F
{{{ yyy
{ yy
{{ yy
{{
y
K()C _ _ _ _ _ _ _/ K 0 ()E
CC EE
CC EE
CC EE
C E
/ K0
K
K()
= K[X ]/( f (X ))
= K 0 [X ]/( f (X ))
= K 0 ().
7 X + ( f (X )) 7 X + ( f (X )) 7
La unicidad de se deduce de que () = y de que |K = .
Corolario. 2.8.
En la situacin anterior, si F 0 es algebraicamente cerrado, existen exactamente r extensiones de a
K(), donde r es el nmero de races distintas de f (X ).
DEMOSTRACIN. Es claro que para cada raz de f (X ) existe un homomorfismo de K() en F 0 que
extiende a , y que cada homomorfismo est asociado a una raz de por la proposicin anterior,
adems dos races distintas determinan homomorfismos distintos, por tanto tenemos el resultado.
Procedamos ahora a estudiar las propiedades de la clausura algebraica de un cuerpo K respecto a
homomorfismos sobre K.
Lema. 2.9.
Sean : K = K 0 un isomorfismo de cuerpos, K E F una torre de extensiones algebraicas y K 0
una clausura algebraica de K 0 , entonces cualquier homomorfismo de cuerpos : E/K K 0 /K 0
sobre se puede extender a un homomorfismo : F /K K 0 /K 0 sobre .
F _ _ _ _ _ _q8/ K 0
q q
qqqqq
qq
qqq
E
/ K0
K
DEMOSTRACIN. Llamamos
Corolario. 2.10.
Si K es un cuerpo y K 0 , K 00 son dos clausuras algebraicas de K, existe un isomorfismo : K 0 /K
K 00 /K sobre K.
Lema. 2.11.
Sea K un cuerpo, K una clausura algebraica de K, y , K, son equivalentes:
(a) y son K-conjugados;
(b) Irr(, K) = Irr(, K);
(c) Existe un isomorfismo : K() K() sobre K tal que () = ;
(d) Existe un homomorfismo : K() K sobre K tal que () = .
DEMOSTRACIN. (a) (b). Existe un isomorfismo : K/K K/K tal que () = , para
f (X ) = Irr(, K) tenemos 0 = ( f ()) = f (()) = f (), luego Irr(, K) | f (X ), ya que f (X ) es
mnico irreducible, resulta que Irr(, K) = f (X ) = Irr(, K).
(b) (c). Si Irr(, K) = f (X ) = Irr(, K), entonces existe un isomorfismo
= /
K[X ]
= / K()
K()
( f (X ))
/ X + ( f (X )) /
(c) (d). Si existe un isomorfismo : K()/K K()/K tal que () = , ya que K() K,
se prolonga a un homomorfismo : K()/K K/K, entonces () = .
(d) (a). Si existe : K()/K K/K tal que () = , es posible extender a un homomorfis-
mo : K/K K/K, ya que K/K es algebraica, resulta que es un isomorfismo, luego y son
K-conjugados.
Dos notas sobre cardinalidad de conjuntos y cuerpos.
Observacin. 2.12.
(1) Si K es un cuerpo finito, entonces K no puede ser algebraicamente cerrado, ya que si K tiene
p elementos, todos sus elementos verifican x p = x ( equivalentemente x p1 = 1), luego el
polinomio X p X +1 no tiene races en K. Como consecuencia todos los cuerpos algebraicamente
cerrados tienen cardinal infinito.
(2) Si F /K es una extensin algebraica, entonces conocemos una cota para el cardinal de F , esta
es card(K[X ]) card(N), ya que F est contenido en la unin de los conjuntos formados por las
races de todos los polinomios con coeficientes en K. Entonces si card(K) es finito, tenemos que
card(K[X ]) = 0 = card(N), luego card(F ) 0 . Si card(K) es infinito, entonces card(F ) =
card(K).
Teorema de Steinitz
Este ltimo resultado nos permite desarrollar una demostracin alternativa del Teorema de Steinitz.
Lema. 2.13.
Sea K un cuerpo con cardinal , y un cardinal infinito; si F /K una extensin algebraica,
entonces card(F ) .
DEMOSTRACIN. Como card(K) , se tiene card(K[X ]) . Por otro lado, como cada polinomio
tiene un nmero finito de races, el cardinal del conjunto de cualquier extensin algebraica F /K est
acotado por card(N) = ; esto es, card(F ) .
algebraicas: F0 Fn , se tiene que x es algebraico sobre F0 . Por tanto F 0 /F0 es una extensin
algebraica. Aplicando el lema de Zorn tenemos que cada subcuerpo F de C est contenido en uno
maximal F 0 tal que la extensin F 0 /F es algebrica.
En particular, existe un subcuerpo maximal F de C que contiene a K y tal que la extensin F /K es
algebraica, por tanto card(F ) < , y se tiene F $ C. Falta ver que F es algebraicamente cerrado; si
existe F ()/F algebraica propia, como card(F ()) < , podemos meter F () en C extendiendo a F ,
y llegaramos a que F no es maximal, lo que es una contradiccin.
2.1. Ejercicios
Clausura algebraica
Ejercicio. 2.15.
Sea E/K una extensin algebraica tal que para cualquier extensin finita F /K existe un K-
homomorfismo : F /K E/K. Demuestra que entonces E es una clausura algebraica de K.
Ref.: 4161e_043 SOLUCIN
Ejercicio. 2.16.
Sea F /K una extensin algebraica con la propiedad de que cada polinomio no constante con coe-
ficientes en K descompone en F (factoriza en factores lineales). Demuestra que F es un cuerpo
algebraicamente cerrado.
Ref.: 4161e_044 SOLUCIN
Ejercicio. 2.17.
Demuestra que la clausura algebraica de Q no es una extensin finita de Q.
Ref.: 4161e_045 SOLUCIN
Ejercicio. 2.18.
Prueba que la clausura algebraica Q de Q es numerable.
Ref.: 4161e_078 SOLUCIN
Ejercicio. 2.19.
Sea K E F una torre de cuerpos. Demuestra que F es una clausura algebraica de K si, y slo si,
F es una clausura algebraica de E y E/K es algebraica.
Ref.: 4161e_046 SOLUCIN
Ejercicio. 2.20. p p
Demuestra que existe una clausura algebraica de Q( 2) que lo es tambin de Q( 7). Deduce que
p p
cualquier clausura algebraica de Q( 2) es isomorfa a cualquier clausura algebraica de Q( 7).
Ref.: 4161e_047 SOLUCIN
Ejercicio. 2.21. p p
Demuestra que las extensiones Q( 2) y Q( 5) de Q tienen clausuras algebraicas isomorfas.
Ref.: 4161e_048 SOLUCIN
Ejercicio. 2.22.
Sea K una clausura algebraica de K. Demuestra que toda extensin algebraica de K es Kisomorfa
a una subextensin de K.
Ref.: 4161e_049 SOLUCIN
Ejercicio. 2.23.
Sea F /K una extensin con F algebraicamente cerrado. Si llamamos
Ejercicio. 2.24.
Construir un subcuerpo K $ R tal que K = C.
Ref.: 4161e_080 SOLUCIN
Ejercicio. 2.25.
Si K = F p = Z p , con p Z primo, y E/F p es una clausura algebraica, tenemos varias torres de
cuerpos:
F p F p t F ps E.
Ejercicio. 2.26.
Prueba que ningn cuerpo algebraicamente cerrado es de cardinal finito.
Ref.: 4161e_079 SOLUCIN
Ejercicio. 2.27.
Encuentra una raz primitiva de F16 = F2 [X ]/(X 4 + X 3 + X 2 + X + 1).
Nota. Observa que x = [X ] no es una raz primitiva, ya que x 5 = 1.
Ref.: 4161e_064 SOLUCIN
Ejercicio. 2.28.
Sea K una extensin de F2 de grado n > 1, y f (X ) F2 [X ] un polinomio no constante.
n1
(1) Prueba que si K es una raz de f (X ), entonces {2 , 4 , 8 , 16 , . . . , 2 } son races de f (X )
en K.
n1
(2) Prueba que, en general, {, 2 , 4 , 8 , 16 , . . . , 2 } no son todas las races de f (X ) en K.
(3) Prueba que si es una raz primitiva de K, que es raz de f (X ), entonces el grado de f (X ) es
mayor o gual que n.
Resolvente cbica.
Ejercicio. 2.29.
Sea una raz real de un polinomio f (X ) Q[X ] curtico irreducible cuya resolvente cbica tambin
es irreducible. Demuestra que no es construble con regla y comps.
Hacer uso de grupos de Galois.
Ref.: 4161e_041 SOLUCIN
Las construcciones geomtricas han sido desde la antigedad una fuente de problemas amn de una
forma amena de entretenerse y pasar el tiempo. Con la regla y el comps es posible construir un
gran nmero de figuras en el plano, por ejemplo todo el mundo recuerda cmo en la escuela se
construan perpendiculares a una recta dada pasando por un punto exterior, se bisecaba un ngulo
se construa un hexgono regular. (Es conveniente sealar que la regla nicamente sirve para trazar
rectas y no para medir.)
La construccin de polgonos regulares de n lados es el problema que mayor atractivo ha tenido.
La construccin para n = 3, 4, 5 6 es bien conocida; sin embargo, como ms adelante veremos, la
construccin para n = 7 es imposible.
Existen otros problemas relativos a las construcciones con regla y comps, que son tambin insolu-
bles, y que ya fueron estudiados por los sabios griegos son:
la triseccin del ngulo,
la duplicacin del cubo y
la cuadratura del crculo.
Todos estos problemas tienen como justificacin prctica la medicin de tierras, la arquitectura
simplemente el pasar de forma agradable el tiempo en las largas noches de invierno, y al no encontrar
solucin con regla y comps se impuls el desarrollo de nuevas herramientas de dibujo, y tambin
sirvieron para desarrollar la matemtica.
El problema que nos ocupa ahora, es el de estudiar la posibilidad o la imposibilidad de hacer ciertas
construcciones geomtricas con regla y comps; por ejemplo, el determinar si un polgono regular
de p lados, con p primo, es construible con regla y comps1 . Es de sealar que la importancia de la
construccin con regla y comps de polgonos regulares es puramente terica, ya que en la prctica
los errores aportados por los instrumentos junto con el nmero de operaciones que es necesario
realizar hacen que sea impensable la construccin explcita en la mayor parte de los casos.
El problema de las construcciones con regla y comps es el siguiente: dado un conjunto de puntos
X = {P1 , . . . , Pn } en el plano eucldeo E, definimos nuevos conjuntos X i de forma recursiva mediante;
X1 = X ,
Lema. 3.1.
Con las notaciones anteriores, C(X ) es el subcuerpo ms pequeo de C que contiene a los nmeros
complejos z1 , . . . , zn , y es cerrado para tomar races cuadradas y conjugados.
C(X ) es cerrado para tomar opuestos. Si z C(X ), entonces z se obtiene como la interseccin de
la recta que pasa por 0 y z y la circunferencia de radio el mdulo de z.
C(X ) es cerrado para el producto. Si z, z 0 C(X ), entonces escribindolos en forma polar tenemos
0
z = r e i y z 0 = r 0 e i .
X 2 + Y 2 + dX + eY + f = 0, con d, e, f R K.
Los puntos interseccin de dos rectas (de K) tienen coordenadas en R K (son las soluciones al
sistema
a 1 X + b 1 Y + c1 = 0
a2 X + b2 Y + c2 = 0.
Los puntos interseccin de una recta y una circunferencia (de K) tienen tambin coordenadas en
R K (son soluciones reales al sistema
X + Y 2 + dX + eY + f = 0
2
aX + bY + c = 0,
que se expresan en funcin de los coeficientes y races cuadradas de los mismos). Los puntos inter-
seccin de dos circunferencias (de K) tienen tambin coordenadas en R K. Entonces, ya que se
verifica X K, tambin X i K, i N, y por tanto C(X ) K. Como consecuencia C(X ) es el menor
subcuerpo de C que contiene a K y es cerrado para races cuadradas y conjugados.
Una propiedad del cuerpo C(X ), que se desprende de la demostracin, es que C(X ) contiene todos
los nmeros complejos de la forma p + iq, con p, q Q, y por tanto C(X ) es un subconjunto denso
de C, para la topologa usual.
Teorema. 3.2.
Si z1 , . . . , zn C y llamamos K = Q(z1 , . . . , zn , z 1 , . . . , z n ), entonces para un nmero complejo z son
equivalentes:
(a) z C(z1 , . . . , zn );
(b) Existe una torre de cuerpos K K(u1 ) . . . K(u1 , . . . , u r ) tal que ui C, 1 i r, z
K(u1 , . . . , u r ) y u2i K(u1 , . . . , ui1 ).
DEMOSTRACIN. (a) (b). Llamamos H al conjunto de los nmeros complejos que verifican la
condicin (b). Si z, z 0 H con z K(u1 , . . . , u r ) y z 0 K(v1 , . . . , vs ), entonces z + z 0 , zz 0 , z 1
K(u1 , . . . , u r , v1 , . . . , vs ), y tenemos una torre de cuerpos
Corolario. 3.3.
Si z C(z1 , . . . , zn ), entonces z es algebraico sobre K = Q(z1 , . . . , zn , z 1 , . . . , z n ) y su grado es 2s para
algn s N.
Aplicaciones.
Proposicin. 3.4.
No es posible dividir un ngulo, arbitrario, en tres ngulos iguales con regla y comps.
p p p
i 3, 1/2 i 3) = Q( 3), ya que [K : Q] = 2, el grado de las componentes reales de z3 sobre Q
es tambin igual a una potencia de 2. Sin embargo de las relaciones
y
cos( + ) = cos() cos() sen() sen ),
se obtiene que cos( ) = 4 cos3 ( /3) 3 cos( /3), tenemos la relacin
y por tanto cos( /3) es raz del polinomio 4X 3 3X 1/2, que es irreducible sobre Q, por tanto el
polinomio mnico irreducible de cos( /3) sobre Q es 4X 3 3X 1/2, y su grado es igual a 3, que
no es una potencia de 2. Tenemos que cos( /3) no es construble sobre {z0 , z1 , z2 }.
Proposicin. 3.5.
No es posible duplicar un cubo, de lado uno, con regla y comps.
p3
DEMOSTRACIN. Duplicar el cubo de lado igual a 1 exige construir un segmento de longitud 2,
equivalentemente
p probar que 2 es construble sobre el conjunto {0, 1}, lo que implica que el grado
3
de 2 sobre
p Q sea una potencia de 2, pero el polinomio X 3 2 es irreducible en Q, y por tanto el
3
grado de 2 sobre Q es igual a 3.
Proposicin. 3.6.
No es posible construir un cuadrado, con regla y comps, con el mismo rea que un crculo arbitrario
dado.
DEMOSTRACIN. Si consideramos el crculo de radio 1, construir un cuadrado con rea igual al rea
del crculo es equivalente a probar que es un nmero construble sobre el conjunto {0, 1}, como
consecuencia tiene grado una potencia de 2 sobre Q, en particular es un elemento algebraico sobre
Q, pero es bien conocido (Teorema de Lindemann, 1882) que no es algebraico sobre Q.
Polgonos regulares.
El otro problema clsico relativo a construcciones con regla y comps es el de la construccin de
polgonos regulares. Vamos a estudiar un caso particular, cuando el nmero de lados es igual a un
nmero primo p. Construir con regla y comps en polgono de p lados es equivalente a construir
el nmero complejo z = cos(2/p) + i sen(2/p). Este nmero z verifica z p = 1, luego es raz del
polinomio X p 1 = (X 1)(X p1 + + X + 1), entonces z es raz del polinomio X p1 + + X + 1.
Este polinomio es irreducible en Q, y por tanto el grado de z sobre Q es p 1. Por los resultados
estudiados anteriormente, una condicin necesaria para poder construir el polgono de p lados es
que p 1 sea una potencia de 2, equivalentemente que p sea de la forma 2s + 1.
Como consecuencia los polgonos regulares de 7, 11, 13, 19, 23, 29, 31, 37, 39, 41, 43, 47, 49, 51,
53, 59, 61, 67, 71, 73, 79, . . . lados no pueden ser construidos con regla y comps. Una condicin
necesaria para que 2s + 1 sea primo es que s sea de la forma 2 t , para algn t N, ya que si s = uv
Entonces los nmeros primos p para los que puede ser posible construir un polgono regular con
t
regla y comps son de la forma 22 + 1. Estos primos se llaman primos de Fermat porque este
t
matemtico los estudi y conjetur que para todo t 0, 22 + 1 es un primo. Esto ocurre para los
primeros valores:
t: 0 1 2 3 4
2t
F t = 2 + 1: 3 5 17 257 65537
5
Pero el siguiente nmero F5 = 22 +1 = 4294967297 = 6416700417 no es primo. (La demostracin
ms corta es la siguiente: El nmero 641 = 54 + 24 = 5 27 + 1 divide a los dos nmeros siguientes:
a = 54 228 + 232 y b = 54 228 1 y por tanto divide a su diferencia a b = 232 + 1 = F5 ).
Queda abierta la cuestin de si F t es primo para algn valor de t mayor que 5. Se ha demostrado que
F t es primo si, y slo si, F t divide a 3(F t 1)/2 . Utilizando este criterio (y efectuando los clculos por
ordenador) se ha demostrado que F t es compuesto para todo 5 t 22. Por ello la construccin de
Hermes que citaremos despus es la ltima que se intentar nunca.
Ms adelante, cuando desarrollemos la teora de Galois, veremos que esta condicin tambin es
suficiente. Pero ahora vamos a analizar un poco ms esta construccin. Es curioso que histricamente
se demostr antes la suficiencia de esta condicin que su necesidad.
Si se puede construir un polgono de n lados con regla y comps, es tambin posible construir pol-
gonos de 2n, 22 n, . . . lados, ya que con regla y comps podemos hacer la biseccin de un ngulo, y
tambin polgonos de m lados, para m un divisor de n. Como consecuencia se pueden construir con
regla y comps polgonos regulares de 3, 4, 5, 6, 8 y 10 lados.
Hasta ahora hemos estudiado slo las construcciones de polgonos regulares de n lados cuando n es
primo. El caso general se reduce a ste por las observaciones siguientes:
Si n = mq y el polgono regular de n lados es construble, sea ste P0 P1 Pn1 . El polgono regular
de m lados est formado por los vrtices P0 Pq Pq(m1) , y por tanto es construble. As por ejemplo,
el polgono ms fcil de construir es el hexgono regular, y el tringulo equiltero se obtiene uniendo
los vrtices alternos del hexgono (Hay dos de tales tringulos, formando una estrella de David).
Por otra parte, supongamos que mcd{m, n} = 1 y que el polgono regular de m lados y el polgono
regular de n lados son construbles. Existen r, s N tales que sn r m = 1 y dividiendo por mn
1 s r
=
mn m n
La demostracin de la otra mitad (la suficiencia de la condicin sobre n) requiere teora de Galois y
la haremos en su momento.
Hasta finales del siglo XVIII no se conocan ms polgonos regulares constructibles que los expuestos
en los Elementos. Pero el 30 de Marzo de 1796 el joven Gauss (tena 19 aos) escribe en su diario
que haba hallado el principio sobre el que se basa la divisin de la circunferencia y en particular la
divisin de la misma en 17 partes. En otras palabras, haba demostrado que el polgono regular de
17 lados es construble. Posteriormente deca que este descubrimiento le haba influido con fuerza
para dedicar su vida a las matemticas.
Vamos a describir directamente la construccin del pentgono y del heptadecgono regular. Como
dice Jacob Steiner, haremos nuestras construcciones simplemente por medio del lenguaje. Es decir,
no nos interesa realizar explcitamente las construcciones geomtricas ms elegantes, sino asegurar-
nos de que esas construcciones son realmente posibles.
La construccin del pentgono regular equivale a la de la raz quinta de la unidad = cos(2/5) +
i sen(2/5). Sabemos que es raz del polinomio 5 = X 4 +X 3 +X 2 +X +1. Sea = +1 = +4 .
Un poco de manipulacin muestra que es raz de X 2 + X 1 Q[X ] y es raz de X 2 X + 1
Q()[X ]. Tenemos la torre de extensiones cuadrticas
Q() Q() Q
= cos(2/17) + i sen(2/17)
= + 1 = + 16
= + 1 + 4 + 4
= + 1 + 4 + 4 + 9 + 9 + 2 + 2
y formamos la torre
Q() Q() Q() Q() Q
donde cada paso es una extensin cuadrtica, ya que se verifican las siguientes ecuaciones cuadr-
ticas:
2 + 1 = 0
2 ( 3 6 + 3)/2 = 0
2 1 = 0
2 + 4 = 0
Recientemente se ha publicado una construccin algebraica explcita del polgono regular de 257
lados, donde los clculos se han realizado con ayuda del programa de ordenador MAPLE V.
Cada una de las construcciones algebraicas anteriores se pueden trasladar paso a paso a una cons-
truccin geomtrica, pero como ya hemos dicho, dicha construccin no ser ni la ms corta ni la
ms elegante de las posibles. Adems de las construcciones expuestas en los Elementos, Ptolomeo
y Richmond (1893) dieron construcciones del pentgono regular ms sencillas que las de Euclides.
Richmond (1909) tambin describe una construccin sencilla del heptadecgono regular.
Richelot y Schwendenwein construyeron en 1832 el polgono regular de 257 lados y J. Hermes
invirti diez aos sobre el de 65537 lados. Deposit su trabajo en una gran caja que an se encuentra
en la Universidad de Gottingen.
3.1. Ejercicios
Ejercicio. 3.8. p p p p p
4
Demuestra que u = 1 + 2 3 + 5 + 6 es un nmero construible.
Ref.: 4161e_034 SOLUCIN
Ejercicio. 3.9.
Demuestra la imposibilidad de construir con regla y comps:
(1) Un ngulo de 1 .
(2) Un 9-gono regular.
(3) La triseccin de un ngulo cuyo coseno sea 2/3.
(4) El radio de una esfera cuyo volumen sea la suma de los volmenes de dos esferas de radios
construibles.
(5) Un tringulo issceles dados su permetro y su rea.
Ejercicio. 3.10.
Determina los enteros n N tales que el ngulo de n grados es construible con regla y comps.
Ref.: 4161e_036 SOLUCIN
Ejercicio. 3.11.
Sea un ngulo tal que cos( ) = 11/16. Demuestra que s puede trisecarse con regla y comps.
Ref.: 4161e_037 SOLUCIN
Ejercicio. 3.12.
Encuentra un ngulo que no pueda construirse con regla y comps, pero que el ngulo 3 pueda
trisecarse con regla y comps.
Ref.: 4161e_038 SOLUCIN
Ejercicio. 3.13.
Sean n y m enteros positivos y M = mcm{n, m}, demuestra que los polgonos regulares de n y m
lados son construbles con regla y comps si, y slo si, lo es el de M lados.
Ref.: 4161e_039 SOLUCIN
Ejercicio. 3.14.
Es posible construir con regla y comps el radio de un crculo cuyo rea sea igual a la suma de las
reas de dos crculos de radios conocidos?
Ref.: 4161e_040 SOLUCIN
Ejercicio. 3.15.
Es posible cuadrar el tringulo? (Es decir, dado un tringulo arbitrario, es posible construir con
regla y comps el lado de un cuadrado que tenga la misma rea?)
Ref.: 4161e_042 SOLUCIN
Ejercicio. 3.16.
Sea F /R una extensin de cuerpos y P, S dos puntos del plano eucldeo cuyas coordenadas pertenecen
a F . Demostrar que:
(1) La lnea recta que pasa por P y S tiene una ecuacin de la forma aX + bY + c = 0 con a, b, c F .
(2) La circunferencia con centro P y radio el segmento PS tiene una ecuacin de la forma X 2 + Y 2 +
aX + bY + c = 0, con a, b, c F .
Ejercicio. 3.17.
Sean c y d nmeros reales construibles. Demostrar que:
(1) c + d y c d son construibles.
(2) Si d 6= 0, entonces c/d es construible.
(3) cd es construible.
(4) Los nmeros reales construibles forman unpsubcuerpo de R.
(5) Si c es construible, entonces tambin lo es c.
4. La cbica y Tartaglia
Polinomios cuadrticos
Observa que es necesario trabajar con polinomios f (X ) K[X ] y sus races. Tradicionalmente las
races de f (X ) Q[X ] se pueden calcular si f (X ) es de grado dos, por ejemplo f (X ) = X 2 + bX + c;
en este caso las races de f (X ) son
p p
b + b2 4c b b2 4c
1 = y 2 = .
2 2
Polinomios cbicos
En el caso de polinomios de grado tres podemos seguir un mtodo similar. Dado f (X ) = X 3 + bX 2 +
cX + d Q[X ], desarrollando por Taylor en a Q, resulta
D2 f (a) D3 f (a)
f (X ) = f (a) + D f (a)(X a) + (X a) +
2
(X a)3 .
2! 3!
en donde p = 31 3c b2 , y q = 27
1
2b3 9bc + 27d .
Podemos considerar pues un polinomio de grado tres de la forma X 3 + pX + q Q[X ]. Supongamos
que X = u + v; desarrollando se tiene
4161-04.tex
p 3
Como consecuencia u3 + v 3 + q = 0 y 3uv + p = 0, y por tanto u3 v 3 = 3 . Entonces u3 y v 3 son
p 3
races del polinomio de grado dos X 2 + qX 3 , y se tiene:
p p
q + q
u = 3
y v =
3
.
2 2
p 3
Donde es el discriminante del polinomio de grado dos, esto es, = q2 + 4 3 .
Caso 1.
p 3
q
q 3 q p
Si = 0, q2 = 4 3 , entonces u3 = 2 = v 3 ; si u = real, como uv = 3 , entonces v
2 , es q
3 q
tambin es real, luego v = u. Si u es complejo no real, sea u = 2 , entonces v es complejo no
q
3 q
real, y es de la forma 2 2 . Las races del polinomio de grado tres son:
q q q q
q q 3 q p
1 = +=2 2 =2
3 3
,
q2 2 q q 3q
3 q 3 q 3 q p
2 = 2 + 2 2 = 2 = 3 ,
q q q q
3 q 3 q 3 q p
3 = 2 2 + 2 = 2 = 3 .
3q2 p
Como 2p2 = 3 , la anterior expresin es:
3q
1 = p ,
3q
2 = 2p ,
3q
3 = 2p .
Tenemos que el polinomio tiene races reales: una simple y otra doble.
Caso 2.
p p
3 q+ 3 q
Si > 0, consideramos u = 2 real, y por tanto v = 2 , ya que se tiene
v p v p v
q + 3 q t p 3 p
t
3
t
3
uv = = = .
2 2 3 3
p p
3 q+ 3 q
Si tomamos la raz cbica h
entonces la componente v es de la forma
2 , k
2 , y se
verifica v p v p
p 3 q + 3 q p
t t
= h
k
= h+k ,
3 2 2 3
de donde h + k 0 (mod 3). Como consecuencia las races del polinomio de grado tres son:
p p
3 q+ 3 q
1 = 2 p+ 2 ,
p
3 q+ 3 q
2 = 2 + 2 2 ,
p p
3 q+ 3 q
3 = 2 2 + 2 .
1 = u + u,
2 = u + 2 u = u + u,
3 = 2 u + u = 2 u + 2 u.
Introduccin
Vamos a fijar el tipo de extensiones que sern objeto de nuestro estudios; stas son las extensiones
finitas que son normales y separables, a las que llamaremos extensiones de Galois.
Una extensin F /K es normal si F es el cuerpo de descomposicin de un polinomio f (X ) K[X ];
la propiedad importante de este tipo de extensiones es que si g(X ) K[X ] un polinomio que tiene
una raz en F , entonces g(X ) descompone completamente en F . Las extensiones separables F /K se
caracterizan por ser invariantes por automorfismos de clausuras algebraicas de K. Otra propiedad
importante es que para cada extension intermedia K E F todo homomorfismo : E/K F /K
se puede extender a un automorfismo de F /K.
4162-00.tex
SEC. 5. CUERPOS DE DESCOMPOSICIN . EXTENSIONES NORMALES 67
f (X ) = a(X 1 ) (X n ), con a K y 1 , . . . , n E.
Lema. 5.1.
Sea K un cuerpo, f (X ) K[X ] un polinomio y E1 /K, E2 /K dos cuerpos de descomposicin de f (X )
sobre K, entonces existe un isomorfismo : E1 /K E2 /K.
f (X ) = a(X 1 ) (X n ) E2 [X ],
Es de destacar que las extensiones normales no son una clase distinguida de extensiones, ya que si
K F E es una torre de cuerpos y E/K es una extensin normal, no necesariamente F /K es una
extensin normal. Un ejemplo de que p esto es as lo proporciona el polinomio f (X ) = X 5 2 Q[X ].
5
Su cuerpo de descomposicinp es Q( 2, ), donde es una raz quinta de la unidad distinta de 1. Si
5
tomamos K = Q y pE = Q( 2, ), entonces E/K es una extensin normal. Sin embargo, el cuerpo
5
intermedio F = Q( 2) no es normal sobre K.
Ocurre sin embargo que si K F E es una torre de cuerpos y E/K es una extensin normal,
entonces E/F tambin lo es.
Las extensiones normales pueden ser fcilmente caracterizadas mediante las condiciones equivalen-
tes siguientes:
Teorema. 5.2.
Sea K un cuerpo y E/K una extensin finita, son equivalentes:
(a) E/K es una extensin normal.
(b) Para cada : E/K K/K, donde K es una clausura algebraica de K que contiene a E, se tiene
E = E.
(c) Todo polinomio irreducible f (X ) K[X ] con una raz en E descompone en E.
Para cada : K/K K/K, donde K es una clausura algebraica de K que contiene a E, se tiene E = E.
Las siguientes son propiedades inmediatas que verifican las extensiones normales:
Lema. 5.3.
Sean K E L y K F L dos torres de cuerpos con E/K y F /K extensiones finitas. Se verifica:
(1) Si E/K y F /K son extensiones normales, entonces E F /K tambin lo es.
(2) Si E/K y F /K son extensiones normales, entonces E F /K tambin lo es.
(3) Si E/K es una extensin normal, entonces E F /F tambin lo es.
Lema. 5.4.
Sea K F E una torre de extensiones finitas con E/K una extensin normal, entonces todo
homomorfismo : F /K E/K se puede extender a un automorfismo : E/K E/K.
Teorema. 5.5.
Si F /K es una extensin finita, entonces existe una extensin normal E/K verificando:
(1) F E.
(2) Para cada extensin normal H/K con F H E se tiene H = E.
Si F /K es una extensin finita, una extensin E/K verificando las condiciones del teorema se llama
una clausura normal de F sobre K.
Vamos a probar que la clausura normal tiene una cierta unicidad.
Proposicin. 5.6.
Sea F /K una extensin finita y E1 /K, E2 /K clausuras normales de F sobre K, existe un F -isomorfismo
: E1 /F E2 /F .
K1 8 K2
r rr
r rr
r
E1 _ _ _ _ _ _/ E2
F F
K K
Una consecuencia importante de esta proposicin es que dada una extensin finita F /K, toda clau-
sura normal E de F sobre K es una extensin finita de K.
p5 p5
Si volvemos
p al ejemplo de Q( 2, 5 ), recordemos que Q( 2, 5 )/Q es una extensin normal y que
5
Q( 2)/Q no lo es. Podemos caracterizar las subextensiones normales de una extensin normal me-
diante el siguiente teorema.
Teorema. 5.7.
Sea K F E una torre de extensiones finitas y E/K una extensin normal. Son equivalentes:
(a) F /K es una extensin normal.
(b) Para cada homomorfismo : E/K E/K se tiene F = F .
5.1. Ejercicios
Cuerpos de descomposicin
Ejercicio. 5.8. p p p p
Razona que existe un isomorfismo : Q( 2)
4 4 4 4
= Q(i 2) tal que ( 2) = i 2.
Ref.: 4162e_001 SOLUCIN
Ejercicio. 5.9. p p
4 4
Razona que no existe ningn homomorfismo de cuerpos : Q( 2) Q( 3).
Ref.: 4162e_002 SOLUCIN
Ejercicio. 5.10. p
Demuestra que los cuerpos Q(i) y Q( 2) no son isomorfos.
Ref.: 4162e_003 SOLUCIN
Ejercicio. 5.11. p
Determina todos los homomorfismos de cuerpos Q( 2, i) C que existan. Halla sus imgenes.
Ref.: 4162e_004 SOLUCIN
Ejercicio. 5.12.
Sea una raz del polinomio f (X ) = X 6 + X 3 + 1 Q[X ]. Determina todos los homomorfismos de
cuerpos Q() C que existan. Halla sus imgenes. (Pista: f (X ) divide al polinomio X 9 1).
Ref.: 4162e_005 SOLUCIN
Ejercicio. 5.13.
Demuestra que el polinomio X 4 2X 2 2 es irreducible sobre Q. Encuentra dos pares de races que
generen extensiones no isomorfas.
Ref.: 4162e_006 SOLUCIN
Ejercicio. 5.14.
Demuestra que el cuerpo de descomposicin de un polinomio de grado n est generado por n 1 de
sus races.
Ref.: 4162e_007 SOLUCIN
Ejercicio. 5.15.
Calcula el grado del cuerpo de descomposicin de X 6 + 1 sobre F2 .
Ref.: 4162e_008 SOLUCIN
Ejercicio. 5.16.
Calcula el grado de los cuerpos de descomposicin de los siguientes polinomios sobre Q:
(1) X 2 2,
(2) X 2 1,
(3) X 2 + X + 1,
(4) X 3 X 2 X 2,
(5) X 4 1,
(6) X 4 + 1,
(7) X 4 + 2,
(8) X 4 + 4,
(9) X 4 7,
(10) X 5 2,
(11) (X 2 2)(X 3 2),
(12) X 4 + X 3 4X 2 5X 5,
(13) X 6 1,
(14) X 6 + 1,
(15) X 6 3,
(16) X 6 + 3.
Ejercicio. 5.17.
Calcula el grado de los cuerpos de descomposicin de los siguientes polinomios sobre Q:
(1) X 3 2.
(2) X 4 7.
(3) (X 2 2)(X 2 5).
Ejercicio. 5.18.
Demuestra que el cuerpo de descomposicin del polinomio X n 1 sobre Q es una extensin simple
de Q. Determina un elemento que genere la extensin (elemento primitivo).
Ref.: 4162e_011 SOLUCIN
Ejercicio. 5.19.
8
Determina el cuerpo de descomposicin F del polinomio X p 1 sobre el cuerpo K = F p . Calcula el
grado [F : K].
Ref.: 4162e_012 SOLUCIN
Ejercicio. 5.20.
Sea K un cuerpo y f (X ) K[X ] un polinomio de grado n que se expresa f (X ) = f1 (X ) f t (X ),
siendo cada f i (X ) K[X ] un polinomio irreducible de grado di , y f i (X ) - f j (X ), si i 6= j. Da una cota,
que se alcance, del grado de la extensin K( f (X ))/K.
Ref.: 4162e_093 SOLUCIN
Ejercicio. 5.21.
Sea K un cuerpo y f (X ) K[X ] un polinomio de grado n. Prueba que si el grado del K( f )/K es
igual a n!, entonces f (X ) es irreducible.
Ref.: 4162e_094 SOLUCIN
Ejercicio. 5.22.
Sea f (X ) K[X ] y E su cuerpo de descomposicin. Pon ejemplos de polinomios para los cuales se
tengan las relaciones
(1) [E : K] gr( f (X )).
(2) [E : K] = gr( f (X )).
(3) [E : K]
gr( f (X )).
Ejercicio. 5.23.
Sea K E F una torre de cuerpos y supongamos que 1 , . . . , r son algunas de las races de
f (X ) K[X ] y E = K(1 , . . . , r ). Demuestra que F es el cuerpo de descomposicin de f (X ) sobre
K si, y slo si, F es el cuerpo de descomposicin de f (X ) sobre E.
Ref.: 4162e_117 SOLUCIN
Extensiones normales
Ejercicio. 5.24.
Demuestra que toda extensin de grado 2 es normal.
Ref.: 4162e_013 SOLUCIN
Ejercicio. 5.25. p p
4
Consideramos la torre de cuerpos Q( 2) Q( 2) Q.
p
4 p p
(1) Demuestra que las extensiones p
Q( 2)/Q( 2) y Q( 2)/Q son normales.
4
(2) Demuestra que la extensin Q( 2)/Q no es normal.
Ejercicio. 5.26.
Dada una torre de cuerpos K F E, sabemos que si las extensiones E/F y F /K son algebraicas,
tambin lo es la extensin E/K, y viceversa. En cambio, para extensiones normales este resultado
no se verifica.
(1) Si la extensin E/K es normal, no necesariamente
p la extensin
p F /K es normal. Puedes considerar
3 3
el ejemplo siguiente: K = Q, F = Q( 2) y E = Q(, 2), donde es una raz cbica primitiva
de la unidad. Justifica este hecho. Observa que si E/K es normal, siempre E/F es normal.
(2) Si las extensiones E/F y F /K son normales, no siempre la p extensin E/K es normal. Puedes
p p p
4
considerar el siguiente ejemplo: K = Q, F = Q( 2) y E = Q 2 = Q( 2). Estudia por qu
no es normal.
Ejercicio. 5.27.
Estudia si la extensin F /Q es normal para F cada uno de los siguientes cuerpos:
p
(1) Q(p5),
3
(2) Q(p5),p
3
(3) Q(p 5,p5),
(4) Q(p2, p5),
3
(5) Q(p2, p3),
3
(6) Q(p2, 5),
4
(7) Q(p4),
4
(8) Q(p8),
6
(9) Q(p27),
8
(10) Q( 16),
p p p
(11) Q( a1 , a2 , . . . , a r ).
Ref.: 4162e_015 SOLUCIN
Ejercicio. 5.28.
Estudia la normalidad de las siguientes extensiones:
p
(1) Q(p7)/Q.
3
(2) Q(p7)/Q.
p
3
(3) Q(p7, p3)/Q. p
(4) Q( 3)( 7)/Q( 3).
Ejercicio. 5.29.
Calcula la clausura normal de cada una de las siguientes extensiones:
p p
(1) Q(p2, 5)/Q,
4
(2) Q(p2)/Q,
3
(3) Q(p5)/Q,p3
(4) Q(p5, p5)/Q,
3
(5) Q(p2, 3)/Q,
p
4
(6) Q( 2)/Q( 2).
Ejercicio. 5.30.
Determina todas las extensiones de grado 3 de F2 . Estudia la normalidad de cada una de ellas.
Encuentra un isomorfismo explcito entre aquellas que sean isomorfas.
Ref.: 4162e_019 SOLUCIN
Un polinomio f (X ) K[X ] es normal si su cuerpo de descomposicin est generado por una de sus
races.
Ejercicio. 5.31.
Demuestra que todo polinomio f K[X ] irreducible de grado 2 es normal.
Ref.: 4162e_020 SOLUCIN
Ejercicio. 5.32.
Demuestra que p = X p1 + X p2 + + X + 1 Q [X ] con p primo es un polinomio normal.
Ref.: 4162e_021 SOLUCIN
Ejercicio. 5.33.
Sea una raz del polinomio f (X ) = X 3 3X + 1 Q [X ]. Demuestra que 2 2 es otra raz de f .
Es f (X ) normal?
Ref.: 4162e_022 SOLUCIN
Ejercicio. 5.34. p p
Es la extensin Q 2 + 5 /Q normal?
Ref.: 4162e_100 SOLUCIN
Ejercicio. 5.35.
Sea E/K una extensin (finita) verificando que todo elemento E est contenido en un subcuerpo
intermedio F que es normal sobre K. Demuestra que E/K es una extensin normal.
Ref.: 4162e_118 SOLUCIN
Ejercicio. 5.36.
Prueba que toda extensin F /K generada por elementos de grado dos es una extensin normal.
Ref.: 4162e_135 SOLUCIN
Ejercicio. 5.37.
Sea E/K una extensin normal y f (X ) K[X ] un polinomio (mnico) irreducible. Si f (X ) se fac-
toriza en E como producto de dos polinomios (mnicos) irreducibles f1 (X ) y f2 (X ). Demuestra que
existe un homomorfismo : E/K E/K tal que f1 (X ) = f2 (X ).
Ref.: 4162e_119 SOLUCIN
Ejercicio. 5.38.
Sea E/K una extensin, demuestra que son equivalenes:
(a) La extensin E/K es normal.
(b) Cada polinomio irreducible f (X ) K[X ] factoriza en E[X ] como un producto de polinomios
irreducibles, todos del mismo grado.
Ejercicio. 5.39.
p
Sea a Q y n un nmero entero positivo impar tal que n a R\Q. Demuestra que la extensin
p
Q( n a)/Q no es normal.
Ref.: 4162e_121 SOLUCIN
Ejercicio. 5.40.
Si f (X ) K[X ] es un polinomio de grado n y E/K es su cuerpo de descomposicin, prueba que
[E : K]|n!
Ref.: 4162e_134 SOLUCIN
Ejercicio. 5.41.
Sea K F una extensin normal finita y f (X ) K[X ] un polinomio irreducible. Si f = gh es una
factorizacin en F [X ], con g, h polinomios mnicos irreducibles, demuestra que existe un automor-
fismo Aut(F /K) tal que (g) = h.
Ref.: 4162e_123 SOLUCIN
Sea K un cuerpo, ya conocemos que existe un nico homomorfismo del anillo Z de los nmeros
enteros en K, la imagen de este homomorfismo es un subanillo de K; es el subanillo S de K generado
por el elemento 1. Ya que S K, tenemos que S es un DI, y su cuerpo de fracciones es un subcuerpo de
K, llammoslo C. Este subcuerpo C tiene una propiedad muy interesante: C est contenido en cada
subcuerpo de K, es ms, C es la interseccin de todos los subcuerpos de K. As pues para cada cuerpo
K el cuerpo C est completamente determinado, y se le suele llamar el subcuerpo caracterstico o
el subcuerpo primo de K.
Adems, ya que C es el cuerpo de fracciones de un cociente de Z, que es DI, tenemos que C ha
de ser isomorfo a Q, el cuerpo de los nmeros racionales, a Z p , el cuerpo de la clases de resto
mdulo p, para algn nmero entero primo p. Recordemos que la caracterstica de un anillo R es
el menor entero positivo n que verificaba n1 = 0, en caso de no existir este nmero entero positivo,
la caracterstica de R era igual a cero; equivalentemente el entero positivo que genera el ncleo
del nico homomorfismo existente de Z en K. Podemos pues enunciar el siguiente resultado, cuya
demostracin es inmediata.
Lema. 6.1.
Sea K un cuerpo, la caracterstica de K es cero si, y slo si, su cuerpo caracterstico es isomorfo a Q,
y es p, un nmero entero primo positivo, si su cuerpo caracterstico es F p .
f (X ) = (X 1 )m1 (X r )mr ,
f (X ) = (X 1 )n1 (X s )ns ,
Lema. 6.2.
Sea f (X ) un polinomio no constante con coeficientes en un cuerpo K, son equivalentes:
(a) Todas las races de f (X ) son simples.
(b) f (X ) y D f (X ) son primos relativos.
DEMOSTRACIN. (a) (b). Si todas las races de f (X ) son simples, en un cuerpo de descomposicin
F de f (X ) tenemos que f (X ) tiene la expresin siguiente:
f (X ) = a(X 1 ) (X r ),
Corolario. 6.3.
(1) Si K es un cuerpo de caracterstica cero, entonces todo polinomio no constante e irreducible
tiene todas sus races simples.
(2) Si K es un cuerpo de caracterstica p(6= 0), entonces un polinomio no constante e irreducible
f (X ) tiene races mltiples si, y slo si, D f (X ) = 0.
En el segundo caso el polinomio f (X ) es de la forma g(X p ) para algn polinomio g(X ) K[X ].
DEMOSTRACIN. (1). Por ser f (X ) irreducible tenemos que f (X ) y D f (X ) son primos relativos, ya
que f (X ) no puede dividir a D f (X ) por ser de grado menor, por tanto las races de f (X ) son todas
simples.
(2). (). Si D f (X ) 6= 0, entonces f (X ) y D f (X ) son primos relativos, y por tanto todas las races de
f (X ) son simples.
(). Si D f (X ) = 0, entonces toda raz de f (X ) es tambin raz de su derivada, y por tanto es una
raz mltiple.
Si D f (X ) = 0 y f (X ) = a0 + a1 X + + an X n , entonces para cada ndice 0 i n, se tiene
iai = 0, en particular para cada i verificando 0 i n y p - i se tiene ai = 0, luego f (X ) =
r
a0 + a p X p + + a p r X p = a0 + a p (X p ) + + a p r (X p ) r .
No podemos asegurar que todos los polinomios irreducibles, al igual que en caso de caracterstica
cero, tengan races simples, pues puede ocurrir que la derivada sea igual a cero. Un ejemplo de que
es posible encontrar un polinomio irreducible con races mltiples es el siguiente:
Ejemplo. 6.4.
Sea K un cuerpo de caracterstica p 6= 0, e Y una indeterminada sobre K. Consideramos el anillo
de polinomios K[Y ] y su cuerpo de fracciones K(Y ). En el anillo K(Y )[X ] el polinomio X p Y es
irreducible, su derivada es cero, y si F /K(Y ) es un cuerpo de descomposicin de este polinomio y
F es una raz, se verifica X p Y = (X ) p , por lo tanto X p Y tiene races mltiples.
Vamos a buscar condiciones, sobre el cuerpo K, para que todos los polinomios irreducibles tengan
todas sus races simples. Para ello introducimos el endomorfismo de Frobenius. Si K es un cuerpo
de caracterstica p(6= 0), definimos : K K mediante (x) = x p , para cada x X . As definido
es un homomorfismo de cuerpos, adems si K es finito, entonces es un automorfismo. Este
endomorfismo nos va a permitir dar una caracterizacin de los cuerpos que andamos buscando.
Teorema. 6.5.
Sea K un cuerpo de caracterstica p(6= 0), son equivalentes:
(a) Todo polinomio irreducible no constante f (X ) K[X ] tiene todas sus races simples.
(b) El endomorfismo de Frobenius es un automorfismo.
Los cuerpos K que verifican las condiciones equivalentes del teorema se llaman cuerpos perfectos.
Es claro, de los comentarios anteriores, que todo cuerpo de caracterstica cero es perfecto y que
tambin lo es todo cuerpo finito; no lo es en cambio la extensin de un cuerpo de caracterstica p
por un elemento trascendente, como nos muestra el Ejemplo (6.4.).
Sea K un cuerpo, un polinomio f (X ) K[X ] es un polinomio separable sobre K si sus factores
irreducibles sobre K tienen todas sus races simples. Sea F /K una extensin de cuerpos, un elemento
algebraico F es un elemento separable sobre K si el polinomio Irr(, K) es separable. Una
extensin algebraica F /K es una extensin separable si cada elemento de F es separable sobre K.
(Ms adelante veremos que una extensin F /K es separable si est generada por elementos separables.)
El polinomio X p T p K(T )[X ] es separable, pero X p T p K(T p )[X ] no es separable, cuando T
es una indeterminada sobre K.
Consecuencia inmediata de la definicin es que un cuerpo es perfecto si, y slo si, todo polinomio es
separable.
Las extensiones separables permiten caracterizar a los cuerpos perfectos.
Proposicin. 6.6.
Sea K un cuerpo, son equivalentes:
(a) K es un cuerpo perfecto.
(b) Toda extensin algebraica de K es separable.
(c) Toda extensin finita de K es separable.
DEMOSTRACIN. (a) (b). Si F /K es una extensin algebraica, para cada F tenemos que
Irr(, K) es un polinomio separable sobre K, luego es un elemento separable sobre K, y por tanto
F /K es separable.
(b) (c). Es evidente, ya que cada extensin finita es algebraica.
(c) (a). Si f (X ) K[X ] es un polinomio irreducible no constante, consideramos un cuerpo de
descomposicin de f (X ) sobre K, entonces F /K es una extensin finita y por tanto separable. Como
consecuencia cada raz de f (X ) es separable sobre K, y f (X ) es pues un polinomio separable.
Como consecuencia todo cuerpo algebraicamente cerrado es un cuerpo perfecto.
Lema. 6.7.
Sea K F E una torre de cuerpos, siendo E/K una extensin algebraica y separable, entonces
E/F y F /K son extensiones separables.
elemento E, entonces se verifica Irr(, F ) | Irr(, K), ya que Irr(, K) es separable, resulta que
Irr(, F ) tambin lo es. Luego es separable sobre F .
Teorema. 6.8.
Todo cuerpo, extensin algebraica de un cuerpo perfecto, es un cuerpo perfecto.
6.1. Ejercicios
Ejercicio. 6.9.
Sea K un cuerpo.
(1) Prueba que para cualquier familia de subcuerpos {Ki | i I} se tiene que i Ki es un subcuerpo
de K.
(2) Para cada elemento K, la interseccin de todos los subcuerpos de K que contienen a es el
menor subcuerpo de K que contiene a , lo representamos por .
(3) Llamamos subcuerpo caraterstico o subcuerpo de primo de K al menor subcuerpo de K que
contiene a 1. Existe una nica aplicacin de anillos f : Z K, si nZ = Ker( f ), n Z0 , decimos
que n es la caracterstica de K; la caracterstica de K es 0 o un nmero primo, y el subcuerpo de
primo de K es Q, si la caracterstica es 0, Z p , si la caracterstica es p 6= 0.
(4) El subcuerpo primo queda fijo para todo endomorfismo de K.
(5) Si la caracterstica de K es p 6= 0, entonces p : K K, definido p (x) = x p , se llama
el endomorfismo de Frobenius, y tiene como conjunto de elementos fijos los elementos del
subcuerpo primo.
(6) Al considerar F4 = {0, 1, , + 1}, prueba que 2 () = + 1.
Ejercicio. 6.10.
Demuestra que sobre un cuerpo de caracterstica p 6= 0 el polinomio X p a es irreducible es una
potencia de un polinomio lineal.
Ref.: 4162e_023 SOLUCIN
Ejercicio. 6.11.
Estudia si los siguientes elementos son separables:
p4
(1) p23 sobre Q.p
8
(2) p2 sobre Q( 2),
7
(3) 5 sobre F7 ,
(4) La indeterminada t sobre F p (t p ), con p un entero primo positivo.
Ejercicio. 6.12.
Sea F /K una extensin finita con m = [F : K] y car(K) = p 6= 0 tales que p - m. Demuestra que la
extensin F /K es separable.
Ref.: 4162e_025 SOLUCIN
Ejercicio. 6.13.
Demuestra que una extensin no separable de un cuerpo de caracterstica p tiene grado mayor o
igual a p.
Ref.: 4162e_026 SOLUCIN
Ejercicio. 6.14.
Sea a F p un elemento distinto de cero y f (X ) = X p X + a F p [X ]. Demuestra que si es una
raz de f (X ) entonces tambin lo es + 1. Es f (X ) separable?
Ref.: 4162e_027 SOLUCIN
Ejercicio. 6.15.
Sea K un cuerpo de caracterstica p 6= 0 y un elemento algebraico sobre K. Demuestra que:
n
(1) Existe un n 0 tal que es separable sobre K( p ).
2
(2) es separable sobre K si, y slo si, K() = K( p ) = K( p ) =
Ejercicio. 6.16.
Sea K un cuerpo de caracterstica p 6= 0. Si un elemento de una extensin de K es separable sobre
K( p ), demuestra que K( p ).
Ref.: 4162e_114 SOLUCIN
Ejercicio. 6.17.
r
Sea K un cuerpo de caracterstica p 6= 0, F /K una extensin de cuerpos, y K0 = {a F | a p
K, para algn r 0}. Demuestra que:
(1) K0 es un subcuerpo de F .
(2) Si F es perfecto, entonces tambin lo es K0 .
(3) Todo automorfismo de F /K deja fijo a K0 elemento a elemento.
Ejercicio. 6.18.
Sea K un cuerpo de caracterstica 2. Demuestra que cualquier extensin separable de grado dos
sobre K puede generarse por una raz de un polinomio X 2 + X + a, con 0 6= a K. Recprocamente,
un polinomio del tipo anterior es separable sobre K. Adems si u es una raz del polinomio anterior,
tambin lo es u+1. Demostrar que los automorfismos de K(u)/K son la identidad y , con (b+cu) =
b + c + cu, para b, c K.
Ref.: 4162e_030 SOLUCIN
Ejercicio. 6.19.
Sea K un cuerpo de caracterstica 2. Demuestra que cualquier elemento u, no separable de grado dos
sobre K, es raz de un polinomio de la forma X 2 + a con a K un elemento que no es un cuadrado
en K. Recprocamente, demuestra que cualquier polinomio del tipo anterior no es separable sobre
K.
Ref.: 4162e_031 SOLUCIN
Ejercicio. 6.20.
Sea K un cuerpo de caracterstica 2, y F /K una extensin separable de grado 2. Prueba que existe
F tal que F = K() y 2 + K.
Ref.: 4162e_101 SOLUCIN
Ejercicio. 6.21.
Sea K un cuerpo de caracterstica distinta de 2. Demuestra que toda extensin de grado dos sobre
K es separable y puede ser generada por una raz del polinomio X 2 a, con a K un elemento que
no es un cuadrado en K. Recprocamente, si u es una raz del polinomio anterior, entonces K(u)/K
es separable.
Demuestra que cualquier automorfismo sobre K es la identidad el definido por (b + c) = b c,
para b, c K.
Encuentra los automorfismos de K(u)/K.
Ref.: 4162e_032 SOLUCIN
Ejercicio. 6.22.
Sea K un cuerpo de caracterstica p 6= 0, y a, b K. Si se considera el polinomio f (X ) = X p b p1 X
a, prueba que f (X ) es irreducible f (X ) descompone en K.
Ref.: 4162e_098 SOLUCIN
Ejercicio. 6.23.
Demuestra que un cuerpo de caracterstica p 6= 0 puede tener n races distintas nsimas de la unidad
si, y slo si, p no divide a n.
Ref.: 4162e_113 SOLUCIN
Ejercicio. 6.24.
Sea K un cuerpo de caracterstica p 6= 0 y t una indeterminada sobre K. Prueba que el polinomio
X p t p K(t p )[X ] es irreducible.
Ref.: 4162e_124 SOLUCIN
Ejercicio. 6.25.
Estudiar si son no ciertas las siguientes afirmaciones:
p3
(1) p1 es separable sobre F9 .
3
(2) p1 es separable sobre F49 .
7
(3) 5 es separable sobre F77 .
(4) t es separable sobre F p2 (t p ), siendo p un nmero entero primo positivo y t una indeterminada
sobre F p2 .
Ejercicio. 6.26.
Sea F /K una extensin de cuerpos y , F elementos algebraicos sobre K. Prueba que si es
separable sobre K, entonces existe F tal que K(, ) = K().
Ref.: 4162e_125 SOLUCIN
Ejercicio. 6.27.
Prueba que existen extensiones de cuerpos F /K y elementos , F algebraicos sobre K, tales que
K(, ) no es de la forma K(), para un K(, ), esto es, la extensin K(, )/K no es una
extensin simple.
Ref.: 4162e_127 SOLUCIN
En el estudio de las extensiones de cuerpos F /K, una herramienta fundamental son los automor-
fismos, su uso es debido a R. Dedekind, quin pas de considerar la teora basada en el estudio
de races de polinomios, debida esencialmente a E. Galois, a estudiar las extensiones mediante los
homomorfismos a una clausura algebraica de K.
Aqu vamos a considerar dos extensiones F /K y E/K de un cuerpo K. Para cada homomorfismo de
cuerpos : F /K E/K tenemos que : F E es un homomorfismo de Kespacios vectoriales.
Si llamamos Hom(F /K, E/K) al conjunto de los homomorfismos de cuerpos de F /K a E/K, existe una
inclusin Hom(F /K, E/K) HomK (F, E), donde HomK (F, E) es el conjunto de los homomorfismos
Klineales de F a E. Es claro que podemos dar a HomK (F, E) estructura de Eespacio vectorial si
definimos para e E y para cada HomK (F, E)
Ahora podemos estudiar la dependencia o independencia lineal, sobre E, de los elementos del espacio
vectorial Hom(F /K, E/K). El primer resultado que estudiamos es debido a Dedekind y caracteriza
los conjuntos de elementos de Hom(F /K, E/K) que son linealmente independientes (sobre E).
Tenemos entonces
0 = [e1 e1 1 ( y)n ( y)1 ]1 (x) + + [en1 en1 n1 ( y)n (g)1 ]n1 ( y).
que es una combinacin lineal de n 1 miembros distintos de la familia, entonces todos los coefi-
cientes son nulos, en particular
esto es cierto si, y slo si, e1 = 0 1 ( y) = n ( y). La segunda posibilidad est en contra de la
hiptesis, luego necesariamente e1 = 0, y por tanto tenemos
e2 2 + + en n = 0,
que es otra vez una combinacin lineal de n 1 miembros distintos de la familia, entonces todos los
coeficientes son nulos, y tenemos el resultado.
Podemos ahora contar los elementos de Hom(F /K, E/K) y relacionar este nmero con el grado de
la extensin. En particular tenemos:
Corolario. 7.2.
En la situacin anterior, si F /K es una extensin finita de grado [F : K] = n, entonces se verifica:
| Hom(F /K, E/K)| n.
e0 0 ( f1 ) + e1 1 ( f1 ) + + en n ( f1 ) = 0
..
.
e0 0 ( f n ) + e1 1 ( f n ) + + en n ( f n ) = 0
X 0 0 ( f1 ) + X 1 1 ( f1 ) + + X n n ( f1 ) = 0
..
.
X 0 0 ( f n ) + X 1 1 ( f n ) + + X n n ( f n ) = 0
que tiene n ecuaciones y n + 1 incgnitas. Por ser homogneo, es compatible indeterminado y existe
al menos una solucin no trivial. Existen e0 , e1 , . . . , en E, no todos nulos, que son una solucin del
sistema. Se verifica e0 0 + + en n = 0 y stos no son linealmente independientes, por lo tanto no
son distintos y necesariamente | Hom(F /K, E/K)| es menor o igual que n.
Corolario. 7.3.
Si F /K es una extensin finita entonces | Aut(F /K)| [F : K].
Vamos a contar ahora el nmero de homomorfismos de cuerpos de una extensin finita F /K a una
clausura algebraica K de K.
Proposicin. 7.4.
Si K F E es una torre de extensiones finitas de cuerpos y K es una clausura algebraica de K que
contiene a E, se verifica:
i ( f ) = i j ( f ) = h k ( f ) = h ( f ),
j i
/ /
qq8 K
E K
qq
qq
qqqqqi
qq
F F
K K
Falta probar que todo homomorfismo de E/K a K/K es de esta forma. Sea Hom(E/K, K/K), si
= i j , se debe verificar j = (i )1 , y ste debe ser un homomorfismo de E/F a K/F . Vamos a
ELL /
rrr9A K
L i rrr
L r
L
L
L% rrr r
r
r
K |F
F F
K K
Si F /K es una extensin finita, el nmero de elementos de Hom(F /K, K/K) nos permite dar una
condicin necesaria y suficiente sobre la separabilidad de la extensin. As tenemos:
Lema. 7.5.
Sea F /K una extensin finita y K una clausura algebraica de K que contiene a F , son equivalentes:
(a) F /K es separable.
(b) | Hom(F /K, K/K)| = [F : K].
DEMOSTRACIN. (a) (b). Ya conocemos que | Hom(F /K, K/K)| [F : K]. Si la extensin F /K es
separable y [F : K] = 1, el resultado es cierto. Supongamos que tambin es cierto para toda extensin
E/K de grado menor que n, y sea [F : K] = n. Consideramos F \ K, y llamamos f (X ) = Irr(, K),
con gr( f (X )) = m > 1. Tenemos una torre de cuerpos K K() F y [F : K()] = n/m < n. Ya que
K es tambin una clausura algebraica de K(), podemos aplicar la hiptesis de induccin, y por tanto
| Hom(F /K(), K/K())| = n/m. Por otro lado, ya que es separable sobre K, el polinomio f (X )
tiene exactamente m races, y como consecuencia existen m homomorfismos de K()/K en K/K, ya
que la imagen de ha de ser una raz de f (X ) y para cada raz de f (X ) tenemos un homomorfismo;
as pues | Hom(K()/K, K/K)| = m. Aplicando la Proposicin (7.4.) tenemos | Hom(F /K, K/K)| =
m(n/m) = n.
n
m
/ m /
F K
pppp8 K
pp
ppmp
n
m
pp
pp
K() K()
m
K K
(b) (a). Si F /K es una extensin finita de grado n no es separable entonces existe F tal que
f (X ) = Irr(, F ) no es separable sobre K, y por tanto el nmero de races distintas m0 de f (X ) es
menor que m = gr( f (X )) y | Hom(K()/K, K/K)| = m0 < m. Tenemos | Hom(F /K(), K/K())|
[F : K()] = n/m, luego
Corolario. 7.6.
Sea K F E una torre de extensiones finitas, son equivalentes:
(a) E/K es separable.
(b) E/F y F /K son separables.
[E : K] = [E : F ][F : K]
= | Hom(E/F, K/K)| | Hom(F /K, K/K)|
= | Hom(E/K, K/K)|,
Corolario. 7.7.
Una extensin algebraica F = K(1 , . . . , n ) es separable si, y slo si, los elementos 1 , . . . , n son
separables sobre K.
Siguiendo con la relacin existente entre el grado de una extensin y el nmero de automorfismos,
tenemos que siguiente resultado.
y si E/E G no es finita, es claro que |G| [E : E G ]. Falta pues probar la otra desigualdad. Supongamos
que G = {1 , . . . , n } son los elementos de G. Si e0 , e1 , . . . , en E son linealmente independientes sobre
el cuerpo E G , entonces el sistema homogneo
1 (e0 )X 0 + + 1 (en )X n = 0
..
.
n (e0 )X 0 + + n (en )X n = 0,
7.1. Ejercicios
Automorfismos de extensiones
Ejercicio. 7.9.
Sea K un cuerpo de caracterstica cero, y G el grupo de automorfismos generado por : K(X )
K(X ), definido (X ) = X + 1. Demuestra que G es un grupo cclico infinito, calcula el cuerpo fijo F
de K(X ) bajo G, y calcula [K(X ) : F ].
Ref.: 4162e_033 SOLUCIN
Ejercicio. 7.10.
Si K es un cuerpo perfecto, demuestra que el cuerpo fijo de K bajo todos los automorfismos de K es
perfecto.
Ver el Ejercicio (6.17.).
Ref.: 4162e_034 SOLUCIN
Ejercicio. 7.11.
Sea E/K una de las siguientes extensiones de cuerpos:
(1) K = Q(t), E = Q(t, i)
(2) K = Q(t 2 ), E = Q(t, i) donde t es transcendente sobre Q e i 2 = 1.
Calcula G = Aut(E/K), el grupo de automorfismos de E/K, determina el cuerpo fijo F bajo los
automorfismos de G y calcula el grado [E : F ].
Ref.: 4162e_035 SOLUCIN
Ejercicio. 7.12.
Sea E un cuerpo con infinitos elementos, G un grupo finito de automorfismos de E y F el cuerpo fijo
por G. Razona que F es necesariamente infinito.
Ref.: 4162e_036 SOLUCIN
Ejercicio. 7.13. p p p
3 3
Calcula los grupos de automorfismos Aut(E/Q) y Aut(F /Q), para E = Q(, 2) y F = Q(, 2, 5).
3
Ejercicio. 7.14.
Para las siguientes extensiones de Q y los siguientes Qautomorfismos, calcula los cuerpos fijos.
p p p p p p p p p
(1) E = Q(p2, p3, 5), 1 : p 2 7 p
2;p 3 7 p 3; 5 7 5.
(2) E = Q(p2, p2) 2 : p2 7 p 2; p2 7
p 2.
3 3 3
(3) E = Q( 2,p 2), 3 : p2 7 p2; 2 7 2.
3 3 3
(4) E = Q(, 2), 4 : 2 7 2; 7 .
Ejercicio. 7.15.
Considera los automorfismos de K(X ),
1 : X 7 1 X y 2 : X 7 1/X .
Ejercicio. 7.16.
Sea K un cuerpo y t un elemento trascendente sobre K. Determina
t2 t2
K(t) : K y Aut K(t)/K .
t 1 t 1
Ejercicio. 7.17.
Sean f , g K[X ] polinomios primos relativos, no constantes. Demuestra que se verifica:
(1) X es algebraico sobre K( f /g).
(2) [K(X ) : K( f /g)] = max{grad( f ), grad(g)}.
(3) Si E 6= K es un cuerpo intermedio, K E K(X ), entonces [K(X ) : E] es finito.
(4) El homomorfismo : K(X ) K(X ), definido (X ) = f /g, con f , g K[X ] no constantes
primos relativos, es un Kautomorfismo si, y slo si, max{grad( f ), grad(g)} = 1.
aX + b
(5) Aut(K(X )/K) est formado por todos los Kautomorfismos inducidos por X 7 , con
cX + d
a, b, c, d K y ad bc 6= 0.
Ejercicio. 7.18.
Sea E un cuerpo y {1 , . . . , n } un conjunto de n automorfismos distintos de E. Llamamos K = {e
E | i (e) = e, 1 i n}. Demuestra que [E : K] n
Ref.: 4162e_110 SOLUCIN
Ejercicio. 7.19.
Sea F /K una extensin algebraica. Definimos
Ejercicio. 7.20.
Sea F /K una extensin algebraica. Se llama grado de separabilidad de F /K a [Fs : K], y se repre-
senta por [F : K]s .
Demuestra que [F : K]s es igual al cardinal de Hom(F /K, K/K).
Ref.: 4162e_076 SOLUCIN
Ejercicio. 7.21.
Sea F (K una extensin algebraica. Se llama grado de inseparabilidad de F /K a [F : Fs ], y se
representa por [F : K]i .
Sea K F E una torre de extensiones algebraicas, demuestra que se verifica:
[E : F ]s [F : K]s = [E : K]s .
[E : F ]i [F : K]i = [E : K]i .
Ejercicio. 7.22.
Sea f (X ) K[X ] un polinomio irreducible sobre K, y F el cuerpo de descomposicin de f (X ) sobre
K. Si es una raz de f (X ), prueba que la multiplicidad de , y por tanto de todas las dems races
de f (X ), es [K() : K]i .
Ref.: 4162e_078 SOLUCIN
Ejercicio. 7.23.
Sea F /K una extensin algebraica; un elemento F es puramente inseparable sobre K si Irr(.K)
es una potencia de un polinomio lineal en F [X ], esto es, Irr(, K) = (X )n
Demuestra que un elemento F es separable y puramente inseparable sobre K si, y slo si, K.
Ref.: 4162e_079 SOLUCIN
Ejercicio. 7.24.
Una extensin algebraica F /K es puramente inseparable si todo elemento de F es puramente in-
separable sobre K.
Si K es un cuerpo de caracterstica p 6= 0, para cada extensin algebraica F /K son equivalentes:
(a) F /K es puramente inseparable.
n
(b) Para cada F se tiene que Irr(, K) es de la forma X p a K[X ].
n
(c) Si F , existe n N tal que p K.
(d) Los nicos elementos de F separables sobre K son los elementos de K.
(e) F est generado sobre K por un conjunto de elementos puramente inseparables.
Ejercicio. 7.25.
Demuestra que si K un cuerpo de caracterstica p 6= 0 y F /K una extensin algebraica finita pura-
mente inseparable, entonces [F : K] = p n , para algn n N.
Ref.: 4162e_081 SOLUCIN
Ejercicio. 7.26.
Sea K un cuerpo de caracterstica p 6= 0 y F /K una extensin algebraica; definimos
Demuestra que:
(1) Fs /K es una extensin separable.
Lema. 8.1.
En la situacin anterior se tiene:
(1 ) Si F1 F2 , entonces G F1 G F2 , para cualesquiera F1 , F2 K (E).
(10 ) Si H1 H2 , entonces E H1 E H2 , para cualesquiera H1 , H2 G (G).
F E (G ) para cada F K (E).
F
(2 )
H G (E ) para cada H G (G).
H
(20 )
H
(E )
(3 ) E (G ) = E H , para cada H G (G).
(G F )
(30 ) G (E ) = G F , para cada F K (E).
(E H )
(3). Aplicando (2) tenemos E H E (G )
. Tambin aplicando (20 ) tenemos H G (E ) , luego por (10 )
H
(E H )
se tiene la inclusin E (G )
E H ; juntando ambas obtenemos la igualdad.
Las aplicaciones E () y G () se dice que definen una conexin de Galois entre K (E) y G (G).
Vamos a buscar condiciones sobre subcuerpos F de E y subgrupos H de G para que verifiquen las
propiedades siguientes:
4162-04.tex
H
(C-1) G E = H.
F
(C-2) E G = F .
Existe una biyeccin entre los subcuerpos que verifican (C-2) y los subgrupos que verifican (C-1)
dada por F 7 G F , y su inversa est definida por H 7 E H . Adems los subcuerpos que verifican (C-2)
forman un subretculo de K (E) y los subgrupos que verifican (C-1) forman un subretculo de G (G).
Para determinar estos subcuerpos y subgrupos necesitamos antes algunas definiciones.
Teorema. 8.2.
Sea E/K una extensin finita, son equivalentes:
(a) E/K es una extensin de Galois.
(b) E/K es una extensin normal y separable.
DEMOSTRACIN. (a) (b). Sea E/K una extensin de Galois con K = E G para un subgrupo G
Aut(E).
Recordemos que una extensin E/K es separable si, y slo si, | Hom(E/K, K/K))| = [E : K]. Por el
Lema de Artin tenemos [E : K] = [E : E G ] = |G|, y sabemos que | Aut(E/K)| [E : K]; ya que
G Aut(E/K) se tiene [E : K] = |G| | Aut(E/K)| [E : K].
Cada elemento de Aut(E/K) se prolonga a un homomorfismo hasta K/K, y por tanto
la otra desigualdad se deduce, por ejemplo, del corolario al lema de Dedekind. Como consecuencia
E/K es separable.
Dado un morfismo : E/K K/K, ya que proviene de un automorfismo de E/K, tenemos que
E = E, y E/K es una extensin normal.
(b) (a). Si suponemos que E/K es una extensin normal y separable y [E : K] = n; por ser
separable tenemos | Hom(E/K, K/K)| = n; y por ser normal E/K, tenemos que E = E, para cada
Hom(E/K, K/K), y restringiendo el codominio obtenemos: | Hom(E/K, E/K)| = n; por ser E/K
una extensin algebraica Hom(E/K, E/K) = Aut(E/K), y se tiene | Aut(E/K)| = n. Si llamamos
G = Aut(E/K) y F = E G , se tiene K F E; por el teorema de Artin, [E : F ] = |G| = n y F = K,
esto es, E/K es una extensin de Galois.
Corolario. 8.3.
Sea K F E una torre de extensiones finitas, si E/K es una extensin de Galois, entonces E/F es
una extensin de Galois.
Ms adelante veremos una condicin necesaria y suficiente para que la extensin F /K sea tambin
una extensin de Galois. En general F /K no es una extensin de Galois.
Ejemplo. 8.4. p p
3 3
Se considera las extensiones Q Q( 2) Q( 2, ), donde es una raz cbica primitiva de la
p
3 p
3 p
3
unidad.
p La extensin Q( 2, )/Q es de Galois, y tambin lo es Q( 2, )/Q( 2), pero la extensin
3
Q( 2)/Q no es de Galois.
El siguiente resultado nos proporciona otra caracterizacin interesante de las extensiones de Galois
finitas.
Lema. 8.5.
Sea E/K una extensin finita, son equivalentes:
(a) E/K es una extensin de Galois.
(b) E es el cuerpo de descomposicin de un polinomio separable sobre K.
DEMOSTRACIN. (a) (b). Ya que E/K es una extensin normal, resulta que E es el cuerpo de
descomposicin de un polinomio f (X ) K[X ], ya que E/K es una extensin separable, resulta que
f (X ) es separable sobre K.
(b) (a). Si E es el cuerpo de descomposicin de un polinomio f (X ) K[X ], separable sobre K,
entonces E/K es una extensin normal, adems por ser f (X ) separable sobre K, resulta que E/K es
una extensin separable.
Como consecuencia tenemos un mtodo fcil de construir extensiones de Galois. As, si K es un cuer-
po perfecto, para cada polinomio
p irreducible f (X ), su cuerpo de descomposicin es una extensin de
5
Galois. En particular, Q( 2, )/Q, el cuerpo de descomposicin de f (X ) = X 5 2, es una extensin
de Galois de Q.
Si E/K es una extensin de Galois finita, llamamos grupo de Galois de E/K al grupo Aut(E/K) =
{ Aut(E) | (x) = x, para cada x K} y se representa por Gal(E/K).
Proposicin. 8.6.
Sea E/K una extensin de Galois finita con grupo de Galois G = Gal(E/K), se verifica:
(1) K = E G .
(2) G es el nico subgrupo de Aut(E) tal que K = E G .
Corolario. 8.7.
Si E/K una extensin finita, son equivalentes:
(a) E/K es una extensin de Galois.
(b) K = E G , para G = Aut(E/K) Aut(E).
DEMOSTRACIN. Dada una subextensin F /K de E/K, ya que E/K es normal y separable, tambin
F /K es normal y separable, y por tanto de Galois. Consideramos
G F = { Gal(E/K) | (x) = x, para cada x F },
este grupo es precisamente Gal(E/F ), que por el Corolario (8.7.) est unvocamente determinado.
Se tiene que F = E Gal(E/F ) .
Dado un subgrupo H G = Gal(E/K), tenemos que E H es un subcuerpo de E, y que E/E H es una
extensin de Galois, ya que es normal y separable; su grupo de Galois, Gal(E/E H ), es precisamente
H debido a la Proposicin (8.6.). Tenemos pues la biyeccin anunciada.
F 7 Gal(E/F ) 7 F = E Gal(E/F ) .
H 7 EH 7 H = Gal(E/E H ).
Veamos algunas consecuencias de la conexin de Galois en una extensin de Galois.
Observacin. 8.9.
Sea E/K una extensin de Galois.
(1) Si F /K es una extensin intermedia, K F E, y si Gal(E/F ) = H, entonces se verifica:
[E : F ] = |H|.
[E : K] |G|
[F : K] = = = (G : H).
[E : F ] |H|
(2) Ya que la conexin de Galois es un homomorfismo de retculos que invierte el orden, para F1 /K,
F2 /K extensiones intermedias, se verifica:
Teorema. 8.10.
Sea E/K una extensin de Galois, y sea G = Gal(E/K). Si H1 , H2 son los subgrupos de G que
corresponden a los cuerpos intermedios F1 y F2 respectivamente. Son equivalentes:
(a) H1 y H2 son subgrupos de G conjugados.
(b) F1 y F2 son cuerpos conjugados; existe Gal(E/K) tal que F1 = (F2 ).
Hecho 1 La extensin F /K es siempre separable, y es de Galois si, y slo si, es normal, esto es; para
cada morfismo : F /K K/K, se tiene (F ) = F .
Hecho 2. Supongamos que K es una clausura algebraica de K que contiene a E, todo homomorfismo
: F /K K/K se puede extender a un homomorfismo : E/K K/K, y ya que E/K es
una extensin normal, tenemos (E) = E, y por tanto (F ) E, esto es, todo homomorfismo
: F /K K/K tiene su imagen en E. Por el Hecho 1, la extensin F /K es de Galois si, y
slo si, (F ) = F para cada homomorfismo : F /K E/K.
(a) (b). Si F /K es una extensin de Galois, (F ) = F para cada Gal(E/K), ver (Hecho
2). Aplicando la primera parte tenemos Gal(E/F )1 = Gal(E/F ), y por tanto Gal(E/F ) es un
subgrupo normal de Gal(E/K).
(b) (a). Si suponemos que Gal(E/F ) es un subgrupo normal de Gal(E/K), entonces por la primera
parte, resulta que para cada Gal(E/F ) se tiene (F ) = F , luego F /K es una extensin de Galois.
Si Gal(E/F ) es un subgrupo normal de Gal(E/K), definimos una aplicacin
mediante () = |F ; esto es posible hacerlo por el Hecho 2. Es fcil probar que es un homomor-
fismo de grupos. Es claro que es sobreyectivo, Hecho 3. Falta calcular su ncleo, es claro que se
tienen las equivalencias:
() = 1 |F = 1 Gal(E/F ),
Gal(E/K)
luego Ker() = Gal(E/F ), y por tanto tenemos el resultado: Gal(F /K)
= .
Gal(E/F )
Veamos el comportamiento de las extensiones de Galois con respecto a la composicin de cuerpos.
Proposicin. 8.11.
Sean E/K, F /K extensiones finitas, siendo E/K una extensin de Galois. Se verifica:
(1) E F /F es una extensin de Galois.
(2) Los grupos de Galois son isomorfos: Gal(E F /F )
= Gal(E/E F ).
[E : K][F : K]
(3) [E F : K] = .
[E : E F ]
E F bF
y< FF
yyy FFGal
yy FF
y FF
yy
E Y3bFF x< E F
33 FF Gal xx
F
33 FF x
xx
33 FF xxx
33
Gal 33 E O F
33
33
K
Proposicin. 8.12.
Sean E1 /K, E2 /K subextensiones finitas de Galois de una extensin E/K. Se verifica:
Gal(E1 /K)
(1) E1 E2 /K es una extensin de Galois y su grupo de Galois es: Gal(E1 E2 /K)
= .
Gal(E1 /E1 E2 )
(2) E1 E2 /K es una extensin de Galois, y su grupo de Galois es
Gal(E1 E2 /K)
= {(, ) Gal(E1 /K) Gal(E2 /K) | |E1 E2 = |E1 E2 } = H.
E1 E2cG
w; GG
www GG
w GG
ww GG
ww
E1Z5cG ; E2
55GGG www D
G
55 GG w
55 GG ww Gal
www
55
Gal 55 E1 O
E2 Gal
55 Gal
55
5
K
DEMOSTRACIN. (1). Basta ver que E1 E2 /K es normal. Dado f (X ) K[X ] irreducible con raz en
E1 E2 , esta raz est en Ei , luego todas estn en Ei , y por tanto en E1 E2 . El resto es consecuencia
de la correspondencia de Galois.
(2). Cada Ei es el cuerpo de descomposicin de un polinomio separable f i (X ) K[X ], entonces E1 E2
es el cuerpo de descomposicin de f1 (X ) f2 (X ) y por tanto es una extensin normal.
Definimos : Gal(E1 E2 /K) Gal(E1 /K) Gal(E2 /K) mediante () = (|E1 , |E2 ).
El ncleo de es trivial, tenemos Ker( ) = { Gal(E1 E2 /K) | |E1 = 1, |E2 = 1}, esto es,
fija a E1 y a E2 , luego = 1. La imagen de est contenida en el subgrupo H del enunciado, ya
que (|E1 )|E1 E2 = |E1 E2 = (|E2 )|E1 E2 . Vamos a contar los elementos de H. Dado Gal(E1 /K)
tenemos exactamente | Gal(E2 /E1 E2 )| elementos de la forma (, ) en H, donde es un elemento
de Gal(E2 /E1 E2 ) que verifica |E1 E2 = |E1 E2 . Como consecuencia se tiene:
Corolario. 8.13.
Sean E1 /K, E2 /K extensiones finitas de Galois tales que E1 E2 = K, entonces
Gal(E1 E2 /K)
= Gal(E1 /K) Gal(E2 /K).
Proposicin. 8.14.
Si E/K es una extensin finita de Galois y Gal(E/K) = H1 H2 , entonces E = E H1 E H2 , y E H1 E H2 = K.
8.1. Ejercicios
Ejercicio. 8.15.
Sea f K[X ] un polinomio no constante sin races mltiples y G = Gal( f /K). Prueba que son
equivalentes:
(a) f (X ) es irreducible.
(b) G acta transitivamente sobre las races de f .
Ejercicio. 8.16.
Comprueba que las siguientes extensiones son de Galois. Encuentra los grupos de Galois y los re-
tculos de subgrupos y subcuerpos y determina la correspondencia de Galois para cada una de ellas:
p
4
(1) Q(i, p5)/Q,
4
(2) Q(i,p 5)/Q(i),
p
(3) Q(p2, 5, )/Q, donde 2 + + 1 = 0.
3
3
(4) Q(p2, )/Q, donde 2 + + 1 = 0.
6
(5) Q( 2, )/Q, con = 6 , una raz sexta primitiva de la unidad.
(6) E/F2 donde E es el cuerpo de descomposicin del polinomio X 3 + X + 1 sobre F2 .
Ejercicio. 8.17. p
6
Comprueba que la extensin Q( 2, )/Q, con = 6 , una raz sexta primitiva de la unidad, es
de Galois; encuentra el grupo de Galois y los retculos de subgrupos y subcuerpos y determina la
correspondencia de Galois..
Ref.: 4162e_137 SOLUCIN
Ejercicio. 8.18.
p
8
Sea E = Q( 2, i).
(1) Demuestra que la extensin
p E/Q es depGalois y determina Gal(E/Q).
= C8 , Gal(E/F2 )
(2) Sean F1 = Q(i), F2 = Q( 2) y F3 = Q( 2). Demuestra que Gal(E/F1 ) = D4 y
Gal(E/F3 ) = D4 .
(3) Determina todos los cuerpos intermedios Q F E para los que F /Q es una extensin de
Galois.
Ejercicio. 8.19.
Sea una raz octava primitiva de la unidad.
p
8
(1) Razona que Q( 3,p)/Q, es una extensin de Galois y calcula su grupo de Galois.
8
(2) Determina Gal(Q(
p 3, )/Q(i), el retculo de sus subgrupos y el retculo de subcuerpos de la
8
extensin Q( 3, )/Q(i).
Ejercicio. 8.20. p p
3
Describe una clausura normal E/Q de Q( 2 + 2)/Q. Calcula el grupo de Galois Gal(E/Q) y los
retculos de subgrupos y subcuerpos.
Ref.: 4162e_046 SOLUCIN
Ejercicio. 8.21.
p p
Sea F = Q( 2, 3). Comprueba que la extensin F /Q es de Galois y determina G = Gal(F /Q) y el
retculo de cuerpos intermedios.
Ref.: 4162e_060 SOLUCIN
Ejercicio. 8.22. p p p
Determina el grupo de Galois de Q( 2, 3, 5)/Q, el cuerpo de descomposicin del polinomio
(X 2 2)(X 2 3)(X 2 5) sobre Q. Determina todos los subcuerpos de dicho cuerpo.
Ref.: 4162e_047 SOLUCIN
Ejercicio. 8.23. p
Sea E = Q( 2 + 2). Demuestra que E/Q es de Galois y que Gal(E/Q)
p
= Z4 .
Ref.: 4162e_049 SOLUCIN
Ejercicio. 8.24.
Determina el grupo de Galois de E/Q donde E es el cuerpo de descomposicin del polinomio X 4
14X 2 + 9.
Ref.: 4162e_048 SOLUCIN
Ejercicio. 8.25.
Demuestra que f (X ) = X 4 2X 2 2 es irreducible sobre Q y que las races de esta curtica son
p p p p
1 = 1 + 3, 2 = 1 3, 3 = 1 + 3, y 4 = 1 3.
p
Sean K1 = Q(1 ), K2 = Q(2 ), y K = Q( 3).
p
(1) Demuestra que K1 6= K2 y que K1 K2 = Q( 3) = K.
(2) Demuestra que K1 /K, K2 /K y K1 K2 /K son de Galois, con Gal(K1 K2 /K) isomorfo al grupo de
Klein.
(3) Describe explcitamente sus elementos. Determinar todos sus subgrupos y sus correspondientes
subcuerpos fijos.
(4) Demuestra que el cuerpo de descomposicin de X 4 2X 2 2 sobre Q es de grado 8, con grupo
de Galois isomorfo al didrico D4 .
Ejercicio. 8.26.
Sea Q( f ) el cuerpo de descomposicin sobre Q del polinomio f = (X 2 2X 1)(X 2 2X 7).
Determina el grupo Gal( f /Q) = Gal(Q( f )/Q), y todos los cuerpos intermedios de la extensin.
Ref.: 4162e_068 SOLUCIN
Ejercicio. 8.27.
Demuestra que el grupo de Galois del cuerpo de descomposicin de X 6 3 sobre Q es isomorfo al
grupo didrico D6 . Determina los retculos de subgrupos y de cuerpos intermedios.
Ref.: 4162e_050 SOLUCIN
Ejercicio. 8.28.
Demuestra que el grupo de Galois del cuerpo de descomposicin de X 6 + 3 sobre Q es isomorfo al
grupo didrico D3 . Determina los retculos de subgrupos y de cuerpos intermedios.
Ref.: 4162e_051 SOLUCIN
Ejercicio. 8.29.
Sea = e2i/20 una raz vigsima primitiva de la unidad y sea E = Q(). Razona que E/Q es de
Galois. Calcula Irr(, Q) y demuestra que Gal(E/Q)
= Z4 Z2 . Determina los retculos de subgrupos
y de cuerpos intermedios.
Ref.: 4162e_052 SOLUCIN
Ejercicio. 8.30.
Da un ejemplo de una extensin de Galois E/K con grado [E : K] = 20 de tal forma que tenga un
cuerpo intermedio F tal que F /K no sea de Galois.
Ref.: 4162e_053 SOLUCIN
Ejercicio. 8.31.
Sea K un cuerpo de caracterstica p 6= 0. Sea a K tal que para todo b K se tiene b p b 6= a.
Determina E el cuerpo de descomposicin de f = X p X a sobre K y G = Gal(E/K).
(Pista: Sea una raz de f . Cunto vale f ( + 1)?)
Ref.: 4162e_054 SOLUCIN
Ejercicio. 8.32.
Sea E/K una extensin de Galois de grado [E : K] = p n con p primo. Razona que para todo i n
existe por lo menos un cuerpo intermedio F tal que [F : K] = p i .
Ref.: 4162e_055 SOLUCIN
Ejercicio. 8.33.
Sea E/K una extensin de Galois, F un cuerpo intermedio y H Gal(E/K) el subgrupo de los
automorfismos de E/K que aplican F en s mismo. Demuestra que H es el normalizador de Gal(E/F )
en Gal(E/K) y describe el grupo cociente H/ Gal(E/F ).
Ref.: 4162e_057 SOLUCIN
Ejercicio. 8.34.
Sea E/K una extensin finita y F1 , F2 dos cuerpos intermedios. Demuestra:
(1) Si F1 /K de Galois, entonces F1 F2 /F2 es de Galois y Gal(F1 F2 /F2 )
= Gal(F1 /FT F2 ).
T
1
(2) Si F1 /K y F2 /K son de Galois entonces F1 F2 /K es de Galois. Adems si F1 F2 = K, entonces
Gal(F1 F2 /K) = Gal(F1 /K) Gal(F2 /K).
(3) Si F1 /K y F1 F2 /K son de Galois y F1 F2 = K, entonces
T
Gal(F1 F2 /K)
= Gal(F1 F2 /F1 ) o Gal(F1 F2 /F2 ).
Ejercicio. 8.35.
Se considera el producto semidirecto G = D4 o Z, siendoD4 = , | 4 = 2 = = 1 y
(1)() = 3 , (1)() = . Observa que G es un grupo de orden 16. Supongamos que G es el
grupo de Galois de una extensin E/K.
(1) Determina el retculo de subgrupos de D4 o Z.
(2) Determina los subgrupos normales de G.
Ejercicio. 8.36.
Se considera el producto semidirecto G = Z8 o Z2 , siendo (1)(1) = 3. Observa que G es un grupo
de orden 16. Supongamos que G es el grupo de Galois de una extensin E/K.
(1) Cuntos cuerpos intermedios F /K, con K F E, existen de grado 8? Cuntos con grupo de
Galois Gal(F /K) isomorfo a Z8 ?
(2) Cuntos cuerpos intermedios F /K, con K F E, existen de grado 4? Cuntos con grupo de
Galois Gal(E/F ) isomorfo a Z4 ? y cuntos con grupo de Galois isomorfo al grupo de Klein?
(3) Cuntos cuerpos intermedios F /K, con K F E, existen de grado 2? Cuntos con grupo de
Galois Gal(E/F ) isomorfo a Z8 ?
(4) (Opcional). Determina el retculo de subgrupos de Z8 o Z2 .
Ejercicio. 8.37.
Prueba que existe una extensin K/Q de grado cuatro que no tiene subcuerpos intermedios.
Ref.: 4162e_087 SOLUCIN
Los siguientes ejercicios proporcionan un ejemplo de una extensin de Galois E/K con grupo de
Galois G isomorfo al grupo cuaternio Q 2 .
Ejercicio. 8.38.
p p p p
Sea = (2 + 2)(3 + 3) y F = Q( 2, 3).
p p p p
(1) Comprueba que Q( 2, 3). Deduce que los conjugados de tambin estnpen p
Q( 2, 3).
(2) Determina el subgrupo de G que deja fijo a . Deduce quepQ()
p = F = Q( 2, 3), y con-
cluye que tanto los conjugados de como los generadores 2, 3 se pueden expresar como
polinomios en .
Ejercicio. 8.39. p p
p
Sea = = (2 + 2)(3 + 3) y sea E = Q().
(1) Demuestra que / Q(); (pista: utilizar normas).
(2) Calcula los conjugados de sobre Q.
(3) Comprueba que para cualquier conjugado de sobre Q, Q(). Deduce que E/Q es una
extensin de Galois. Calcula | Gal(E/Q)|.
Ejercicio.
8.40.p p
Sea = (2 2)(3 + 3) y Gal(E/Q) el automorfismo definido por () = .
p p p p
(1) Demuestra que ( 2 ) = 2 . Concluye que ( 2) = 2 y que ( 3) = 3
(2) Demuestra que () = . Deduce que () = .
(3) Demuestra que el orden de es 4. Determina el cuerpo fijo bajo .
Ejercicio.
8.41.p p
Sea = (2 + 2)(3 3) y Gal(E/Q) el automorfismo definido por () = .
p p p p
(1) Demuestra que ( 2 ) = 2 . Concluye que ( 2) = 2 y que ( 3) = 3
(2) Demuestra que () = . Deduce que () = .
(3) Demuestra que el orden de es 4. Determina el cuerpo fijo bajo .
Ejercicio. 8.42.
Demuestra que 2 = 2 y que = 3 . Concluye que Gal(E/Q) = ,
= Q2.
Ref.: 4162e_065 SOLUCIN
Ejercicio. 8.44.
p p p p
Dados a, b Z libres de cuadrados, prueba que Q( a, b) = Q( a + b).
Ref.: 4162e_086 SOLUCIN
Ejercicio. 8.45.
Sea f (X ) = X 4 + bX 2 + c Q[X ] un polinomio bicuadrtico irreducible.
(1) Prueba que Gal(Q( f )/Q) es isomorfo a V , C4 D4 .
p p
(2) Se considera n, m Q tales que n, m, nm no son cuadrados. Prueba que Gal(Q( n, m)/Q) es
isomorfo a V . p p
(3) Determina el polinomio Irr( n + m, Q), y prueba que es un polinomio bicuadrtico.
(4) (Opcional)Prueba que si Gal(F /Q) = V , entonces existen n, m, como en (1) tales que F =
p p
Q( n, m).
(5) Da ejemplos de polinomios bicuadrticos f i Q[X ] tales que Gal(Q( f1 )/Q) = V,
= C4 , y Gal(Q( f3 )/Q) = D4 .
Gal(Q( f2 )/Q) p
(6) Prueba que si pc Q, entonces
p Gal(Q( f )/Q)
= V.
que si b 4c c Q, entonces Gal(Q( f )/Q)
(7) Prueba p 2 = C4 . (Estos dos casos son excluyentes,
ya que b2 4c / Q.)
Ejercicio. 8.46.
Sea E/K una extensin de Galois con grupo G
= Z12 Z2 .
(1) Cuntos cuerpos intermedios F existen tales que [F : K] = 4?
(2) Cuntos tales que [F : K] = 6?
(3) Y cuntos tales que Gal(E/F )
= Z4 ?
(4) Y cuntos tales que Gal(F /K)
= Z4 ?
Ejercicio. 8.47.
Suponemos conocido que y e son nmeros trascendentes. Sea K( f ) el cuerpo de descomposicin
del polinomio f = X 3 +X +6 sobre el cuerpo K = Q(). Demuestra que [K( f ) : K] = 6. Demuestra
que K( f ) es isomorfo al cuerpo de descomposicin de g = X 3 + eX + 6 sobre Q(e).
Ref.: 4162e_070 SOLUCIN
Ejercicio. 8.48.
Sea f K[X ] un polinomio irreducible y separable de grado n. Sea K( f ) el cuerpo de descomposi-
cin, K( f ) una raz de f y F /K cualquier extensin de Galois tal que K F K( f ). Demuestra
que
(Pista: Demuestra primero que la factorizacin de f sobre F es la misma que sobre F K(). Si
H = G F G = Gal(K( f )/K) entonces los factores de f sobre F corresponden a las rbitas bajo H de
las races de f .)
Ref.: 4162e_071 SOLUCIN
Ejercicio. 8.49.
Sea f K[X ] irreducible de grado primo p. Demuestra que para cada extensin de Galois E/K se
tiene que f es irreducible sobre E o descompone en factores lineales sobre E.
Ref.: 4162e_072 SOLUCIN
Ejercicio. 8.50.
Sea K un cuerpo, K una clausura algebraica de K, y Aut(K/K). Si F = K , y F E K verifica
que E/F es una extensin finita, entonces que E/F es una extensin de Galois con grupo de Galois
cclico.
Ref.: 4162e_074 SOLUCIN
Ejercicio. 8.51.
Se considera 5 = e2i/5 una raz quinta primitiva de la unidad sobre Q.
(1) Razona que [Q(5 ) : Q] = 4.
(2) Prueba que cos(2/5), isen(2/5) Q(5 ).
(3) Determina [Q(cos(2/5)) : Q].
(4) Determina el retculo de subgrupos de Gal(Q(5 )/Q) y los cuerpos asociados.
Ejercicio. 8.52.
Se considera 7 = e2i/7 una raz sptima primitiva de la unidad sobre Q.
(1) Razona que [Q(7 ) : Q] = 6.
(2) Prueba que cos(2/7), isen(2/7) Q(7 ).
(3) Determina [Q(cos(2/7)) : Q].
(4) Determina [Q(isen(2/7)) : Q].
(5) Determina el retculo de subgrupos de Gal(Q(7 )/Q) y los cuerpos asociados.
Ejercicio. 8.53.
Prueba que existe un cuerpo K y un polinomio f (X ) K[X ] tal que el cuerpo de descomposicin de
f (X ) sobre K no es una extensin de Galois.
Ver tambin los Ejercicios (10.14.) y (10.12.).
Ref.: 4162e_089 SOLUCIN
Ejercicio. 8.54.
Sea Q L C una torre de cuerpos.
(1) Si L/Q es una extensin de Galois (finita), entonces para cada L se tiene L (el conjugado
complejo).
(2) Si L/Q es una extensin de Galois, prueba que : L/Q L/Q, definido () = tiene orden
1 2.
Ejercicio. 8.55. p
Prueba que no existe ninguna extensin de Galois K/Q con grupo de Galois C4 tal que Q Q( 3)
K.
Ref.: 4162e_091 SOLUCIN
Ejercicio. 8.56.
Sea K = Q(), siendo una raz cbica primitiva de la unidad. Prueba que no existen extensiones
de Galois E/Q tales que K E y Gal(E/Q)
= Z4 .
Ref.: 4162e_096 SOLUCIN
Ejercicio. 8.57.
Sea K = Q(), siendo una raz cbica primitiva de la unidad. Prueba que no existen extensiones
de Galois E/Q tales que K E y Gal(E/Q)
= Q, el grupo cuaternio de 8 elementos.
Ref.: 4162e_097 SOLUCIN
Ejercicio. 8.58.
Sea E/K una extensin de Galois de grado n. Para cada E
(1) Demuestra que el polinomio f (X ) = {(X ()) | Gal(E/K)} pertenece a K[X ].
Q
Ejercicio. 8.59.
Sea E/K una extensin de Galois de grado finito n, y sea Gal(E/K) = {1 , . . . , n }. Para cada sub-
conjunto {1 , . . . , n } E, prueba que son equivalentes:
(a) {1 , . . . , n } es una Kbase de E.
(b) La matriz (i ( j ))i j tiene determinante no nulo.
Ejercicio. 8.60.
Se considera el cuerpo F2 (Y ) y el subcuerpo F2 (Y 2 + Y ). Prueba que la extensin F2 (Y )/F2 (Y 2 + Y )
es de Galois.
Ref.: 4162e_104 SOLUCIN
Ejercicio. 8.61.
Sean K = F2 y E = K(1 , 2 , 3 ), con i , 1 i 3, races del polinomio X 3 + X + 1. Calcular
Gal(E/K).
Ref.: 4162e_107 SOLUCIN
Ejercicio. 8.62. p
Calcular el grupo Aut(F /Q), siendo F = Q( 2, ), donde es una raz cbica primitiva de la
unidad.
Ref.: 4162e_111 SOLUCIN
Ejercicio. 8.63.
Estudia el grupo de Galois del polinomio X 4 3 sobre Q.
Ref.: 4162e_136 SOLUCIN
Ejercicio. 8.64.
Prueba que los subgrupos transitivos de S4 son los subgrupos siguientes:
(1) S4 , que es normal.
(2) A4 , que es normal.
(3) D4 = (1234), (13), y todos sus conjugados.
(4) C4 = (1234), y todos sus conjugados.
(5) V = {1, (12)(34), (13)(24), (14)(24)}, que es normal.
S4 `@
~? @@@
~~~ @@
~ @@
~~
A4 D4
? _@@ ~>
@@
@@ ~~~
@ ~~
~
V C4
Se trata ahora de construir una extensin de cuerpos de Galois E/L cuyo grupo de Galois sea isomorfo
a Sn , y como consecuencia, una extensin de Galois E/E G , para cada grupo finito G Sn . Ya que
para cada grupo finito G existe un n tal que G es isomorfo a un subgrupo de Sn , tenemos una forma
de construir una extensin de Galois con grupo de Galois isomorfos a un grupo finito dado G.
Sea L = K(X 1 , . . . , X n ) el cuerpo de fracciones sobre las indeterminadas X 1 , . . . , X n .
Proposicin. 9.1.
Sea f n K(X 1 , . . . , X n )[Y ] el polinomio definido por:
f n = Y n X 1 Y n1 + + (1)n1 X n1 Y + (1)n X n
Lema. 9.2.
Si e1 , . . . , en son los polinomios simtricos elementales en las indeterminadas X 1 , . . . , X n , resulta que
K(e1 . . . , en ) = K(X 1 , . . . , X n ) .
DEMOSTRACIN. Tenemos que K(e1 , . . . , en ) K(X 1 , . . . , X n ) K(X 1 , . . . , X n ). Para ver que son
iguales basta ver que [K(X 1 , . . . , X n ) : K(e1 , . . . , en )] n!
Pn Qn
Consideramos el polinomio f = Y n + i=1 (1)i ei Y ni . Es claro que f = i=1 (Y X i ), y por tanto
K(X 1 , . . . , X n ) = K(e1 , . . . , en )(X 1 , . . . , X n ) es el cuerpo de descomposicin de f , que como tiene grado
n sobre K(e1 , . . . , en ) se tiene que [K(X 1 , . . . , X n ) : K(e1 , . . . , en )] n!
4162-05.tex
Lema. 9.3.
Existe un isomorfismo : E/K K(X 1 , . . . , X n )/K tal que (K(X 1 , . . . , X n )) = K(e1 , . . . , en ), donde
E es el cuerpo de descomposicin de f n sobre L = K(X 1 , . . . , X n ).
f n (Y ) = (Y n P+ (1)i X i Y ni )
P
= Y n + (1)i ei Y ni
= f (Y ).
=
L = K(X 1 , . . . , X n ) / K(e , . . . , e )
1 n
DEMOSTRACIN. [de la Proposicin] Existe un homomorfismo de grupos:
y ambos grupos son isomorfos. Pero Gal(L/K(e1 , . . . , en )) tiene n! elementos, y por tanto Gal(E/L)
=
Sn .
Una de las aplicaciones de los resultados de esta seccin es el siguiente teorema.
Sea f K[X ] un polinomio no constante, y E su cuerpo de descomposicin; la ecuacin f (X ) = 0
es soluble por radicales si el grupo de Galois de la extensin E/K es un grupo soluble.
9.1. Ejercicios
Ejercicio. 9.5.
Demuestra que para todo grupo finito G existe una extensin de Galois E/K con grupo de Galois
isomorfo a G.
Ref.: 4162e_059 SOLUCIN
Sea F /K una extensin de cuerpos, un elemento F se llama primitivo si F = K(). Una extensin
F /K es una extensin simple si existe F tal que F = K().
K L0 L
q = Irr(, L 0 )
L = L0
F = K() = L() = L 0 ()
[F : L] = gr(q) = [F : L 0 ]
Entonces el nmero de cuerpos intermedios est limitado por el nmero de factores mnicos de
Irr(, K) en F [X ], y por tanto es finito.
(b) (a). Si K es un cuerpo finito, entonces F es tambin un cuerpo finito y est generado por un
elemento (un generador del grupo multiplicativo).
Si K es un cuerpo infinito, haciendo induccin sobre el nmero de generadores de F , basta analizar
el caso en que F = K(, ). Consideramos los subcuerpos de la forma K( + a), con a K. Como
slo hay un nmero finito de cuerpos intermedios, existen a, b K, a 6= b, tales que K( + a) =
K( + b). Se verifica:
= (a b)1 ( + a ( + b)) K( + a) = K( + b)
= + a a K( + a)
Corolario. 10.2.
Sea F /K una subextensin de una extensin de Galois finita, entonces F /K es una extensin simple.
4162-06.tex
Corolario. 10.3.
Sea F /K una extensin separable finita, entonces existe un elemento primitivo.
DEMOSTRACIN. Consideramos una clausura normal E/K, entonces E/K es una extensin de Galois.
Por el corolario anterior tenemos que F /K es una extensin simple.
Sea E/K una extensin de Galois con grupo de Galois G = {1 , . . . , n }, si E es un elemento
primitivo y llamamos i = i () a los distintos conjugados de , resulta que
Y
Irr(, K) = (X i ).
i
En consecuencia, todos los i son distintos y podemos utilizar esto como una caracterizacin de
elementos primitivos.
Teorema. 10.4.
Sea E/K una extensin de Galois y E un elemento de E. Son equivalentes:
(a) es primitivo.
(b) Todos los conjugados de son distintos.
Bases normales
En general, si es un elemento primitivo de una extensin de Galois E/K, no podemos asegurar
que el conjunto {1 (), . . . , n ()} sea linealmente independiente sobre K. Cuando este conjunto es
linealmente independiente decimos que es una base normal.
Lema. 10.6.
Sea F /K una extensin finita y separable de grado n, K/K una clausura algebraica de K, 1 , . . . , n :
F /K K/K homomorfismos distintos, y a1 , . . . , an F . Son equivalentes:
(a) Los elementos a1 , . . . , an F forman una base.
(b) det(i (a j ))i j 6= 0.
Como a1 , . . . , an es una Kbase, resulta det(i (a j ))i j 6= 0, y por tanto la matriz (i (a j ))i j es una
matriz invertible; sea (bi j )i j la matriz inversa. si definimos
n
X
Xj = j (ai )Yi , j = 1, . . . , n,
i=1
entonces n
X
Yj = bi j X i , j = 1, . . . , n.
i=1
Pn Pn
Y resulta que f (X 1 , . . . , X n ) = g b X ,...,
i=1 i1 i
b X
i=1 in i
=0
f (X 1 , . . . , X n ) = det(X i1 j )i j .
Es claro que f (X 1 , . . . , X n ) no es el polinomio cero; basta sustituir X 1 por 1 y las dems indeterminadas
por 0 y obtenemos un nmero distinto de cero.
Como K es un cuerpo infinito, existe un x K tal que el sustituir X i por i (x) el resultado es no
nulo (para todo i = 1, . . . , n). Ver Proposicin (10.7.). Tenemos pues det(i1 j (x))i j 6= 0.
Si los 1 (x), . . . , n (x) son linealmente dependientes, entonces existen k1 , . . . , kn K, no todos
nulos, tales que k1 1 (x) + + kn n (x) = 0. Aplicando i1 , para i = 1, . . . , n, tenemos que k1 , . . . ,
kn es una solucin no trivial de un sistema homogneo de n ecuaciones con coeficientes i1 j (x) y
determinante no nulo, lo que es una contradiccin.
Observa que si x = X , se tiene (a0 +a1 x +a2 x 2 ) = a02 + a12 x 2 + a22 x 4 = a0 + a2 x + (a1 + a2 )x 2 , esto
100
es, est definido por la matriz A = 0 0 1.
011
100
Se tiene A = 0 1 1, A3 = 1. Como consecuencia A3 1 = 0, pero observa que A2 + A + 1 =
2
010
100
0 0 0 6= 0. El grupo de Galois es Gal(F8 /F2 ) = = C3 .
000
Para determinar un elemento primitivo, primero observa que el polinomio caracterstico es X 3 1 =
(X 1)(X 2 + X + 1), y por lo tanto tiene vectores propios v1 = (1, 0, 0), v2 = (0, 1, 0) y v3 = (0, 1, 1),
siendo (v2 )=v3y (v
3) = Un elemento primitivo, que proporciona una base normal, es =
2 .
v
1 0 0
1 + x + x 2 . 0 , 0 , 1 , que, en este caso, son las columnas de la matriz A en la base
0 1 1
{1, x, x 2 }.
Ejemplo. 10.9. (Clculo de bases normales)
Consideramos la extensin F64 /F4 , siendo F64 = F4 [X ]/(X 3 +X +1), y el endomorfismo de Frobenius
: F64 /F4 F64 /F4 , definido (z) = z 4 , para cada z F64 . Supongamos que F4 = {0, 1, a, a + 1},
entonces est definido (a0 + a1 x + a2 x 2 ) = a04 + a14 x 4 + a x =
4 8
2
a0 + (a1 + a2 )x + a1 x 2 , esto es,
100 100
est definido por la matriz A = 0 1 1 , y se tiene A = 0 0 1, A3 = 1. Como consecuencia
2
010 011
100
A 1 = 0, pero observa que A + A + 1 = 0 0 0.
3 2
000
El grupo de Galois Gal(F /F ) =
64 4 = C . En este caso tambin x es un elemento primitivo, y
3
{x, (x), 2 (x)} es una base.
Para calcular un elemento primitivo que genere una base normal, consideramos un elemento gen-
rico = a0 + a1 x + a2 x 2 , calculamos () y 2 (), y vemos las condiciones necesarias para que
sean linealmente independientes.
= a0 + a1 x + a2 x 2 ,
() = a0 + (a1 + a2 )x + a1 x 2 ,
2 () = a0 + a2 x + (a1 + a2 )x 2 .
El determinante de la matriz de coeficientes es: a0 (a12 + a1 a2 + a22 ), que no es cero, por ejemplo, si
= 1 + x.
10.1. Ejercicios
Elementos primitivos
Ejercicio. 10.10.
Sea E/K una extensin de Galois de grado n y E. Demuestra que el polinomio
Y
f (X ) = (X ())
Gal(E/K)
Ejercicio. 10.11.
Halla elementos primitivos para las siguientes extensiones:
p p 3
(1) Q( p 2, 3)/Q,
(2) Q(i,
p 2)/Q,
p p
3 5
(3) Q(p2, p3, 5)/Q,
(4) Q( 2, 3)/Q.
Ejercicio. 10.12.
Sea F /K una extensin separable de grado n (no necesariamente de Galois!). Demuestra que F
es primitivo si, y slo si, tiene n conjugados en cualquier clausura algebraica de K que contenga a F .
Ref.: 4162e_041 SOLUCIN
Ejercicio. 10.13.
Sea K un cuerpo de caracterstica p y F = K(, ) con p , p K y [F : K] = p2 . Demuestra que:
(1) F /K no es simple.
Ejercicio. 10.14.
Ejemplo de una extensin finita con un nmero infinito de cuerpos intermedios.
Ver tambin el Ejercicio (10.13.)
Ref.: 4162e_088 SOLUCIN
Ejercicio. 10.15.
Sea K un cuerpo y K(, )/K una extensin algebraica. Si es separable, prueba que K(, )/K es
una extensin simple (tiene un elemento primitivo).
Ref.: 4162e_099 SOLUCIN
Ejercicio. 10.16.
Determina la matriz del endomorfismo de Frobenius, respecto a la base {1, x, x 2 , . . .}, en cada una
de las extensiones, siendo x la clase de X :
(1) F9 /F3 ,
(2) F27 /F3 ,
(3) F729 /F3 ,
(4) F729 /F9 ,
(5) F729 /F27 .
Ejercicio. 10.17. p p
Dada la extensin E = Q( 2, 3)/Q, determina un elemento primitivo tal que {() |
Gal(E/Q)} sea una base normal.
Ref.: 4162e_103 SOLUCIN
Ejercicio. 10.18. p
3
Determina una elemento primitivo Q( 3, )/Q, donde es una raz cbica primitiva de la
p
3
unidad, de forma que {() | Gal(Q( 3, )Q)} sea una base normal.
Ref.: 4162e_073 SOLUCIN
Ejercicio. 10.19.
Determinar un elemento primitivo del cuerpo de descomposicin, sobre Q, del polinomio X 5 2.
Ref.: 4162e_105 SOLUCIN
Ejercicio. 10.20.
Sea K un cuerpo de caracterstica p 6= 0. Si s, t son indeterminadas sobre K,
(1) Demuestra que [K(s, t) : K(s p , t p )] = p2 .
(2) Si K es infinito, demuestra que hay infinitas extensiones intermedias K(s p , t p ) E K(s, t).
Ejercicio. 10.21.
Sea K un cuerpo, y un elemento algebraico sobre K. Prueba que la extensin K()/K tiene un
nmero finito de cuerpos intermedios.
Ref.: 4162e_126 SOLUCIN
Ejercicio. 10.22. p p p p
Se considera la extensin F = Q( 2, 3, )/Q, donde 2 = (2 + 2)(3 + 3).
(1) Prueba que F = Q(), esto es, que es un elemento primitivo para la extensin.
(2) Determina Irr(, Q) y su cuerpo de descomposicin E sobre Q.
(3) Calcula Gal(E/Q); comprueba que es isomorfo a Q 2 .
El cuerpo C de los nmeros complejos se define como C = R(i). p Cada nmero complejo se escribe,
de forma nica como z = a + bi, con a, b R, y si llamamos |z| = a2 + b2 al mdulo de z, entonces
z = |z|(c + d i), con c + di un nmero complejo de mdulo uno.
Todo nmero complejo de mdulo uno c + di se puede escribir como c + di = cos + isen , donde
0 < 2, que abreviadamente representamos por e i .
La multiplicacin de e i por e i es e i( +) , y como el mdulo es multiplicativo, para dos nmeros
complejos z1 = m1 e i y z2 = m2 e i , la multiplicacin es: z1 z2 = m1 m2 e i( +) . En consecuencia es fcil
p p
determinar la raz cuadrada de un nmero complejo z = me i ; sta es: z = me i 2 .
Lema. 11.1.
C no tiene extensiones de grado 2.
DEMOSTRACIN. Dada una extensin F /C de grado 2, sea F de grado 2 sobre C, con polinomio
mnico irreducible X 2 + bX + c, entonces
b 2
b
X + bX + c = X +
2
c ,
2 2
por tanto F = C() = C(), donde es raz de un polinomio del tipo X 2 d, y por tanto un elemento
de C, lo que es una contradiccin.
Veamos ahora que R no tiene extensiones propias de grado impar.
Lema. 11.2.
R no tiene extensiones propias de grado impar.
DEMOSTRACIN. Sea F /R una extensin propia Pn1 de grado impar, entonces existe F con f (X ) =
Irr(, R) de grado impar. Sea f (X ) = X + i=0 ai X , y tomamos c > max{|ai | | i = 0, l . . . , an1 }
n i
{1}. Se tiene:
Pn1 Pn1
f (nc) = (nc)n + i=0 ai (nc)i < (nc)n + i=0 c(nc)i (nc)n + nc(nc)n1 = 0,
Pn1 Pn1
f (nc) = (nc)n + i=0 ai (nc)i > (nc)n i=0 c(nc)i (nc)n nc(nc)n1 = 0.
4162-07.tex
Como consecuencia del teorema de Bolzano, resulta que f (X ) tiene una raz en el intervalo (nc, nc),
lo que es una contradiccin.
Teorema. 11.3.
C es algebraicamente cerrado.
11.1. Ejercicios
Ejercicio. 11.4.
Probar que C es algebraicamente cerrado.
Ref.: 4162e_106 SOLUCIN
Ejercicio. 11.5.
Sea K C un cuerpo, y el automorfismo de conjugacin en C. Prueba que se verifica:
(1) Q K.
(2) Si L/Q es una extensin finita de Galois, para cada K se tiene () = K.
(3) Gal(K/Q) tiene orden 1 2.
(4) Si Aut(K/Q), entonces ord() = 2 si, y slo si, K * R.
(5) Si Aut(K/Q), entonces [K : K] = 1 2 segn que K R K * R.
Extensiones especiales
Introduccin
Introduccin.
4163-00.tex
SEC. 12. CUERPOS FINITOS 149
Vamos a estudiar en esta leccin cuerpos que tienen un nmero finitos de elementos, los llamaremos
cuerpos finitos cuerpos de Galois. Si el cuerpo F es finito, su caracterstica, car(F ), no es cero,
por lo tanto car(F ) es igual a un nmero primo positivo, si suponemos que es p; entonces el cuerpo
caracterstico K de F es isomorfo a F p = Z p , y lo que es ms importante, F es un espacio vectorial
de dimensin finita sobre F p , por lo tanto el nmero de elementos de F es una potencia de p.
Lema. 12.1.
Si F es un cuerpo finito de caracterstica p que tiene q elementos, entonces existe un nmero entero
positivo n tal que q = p n .
Lema. 12.2.
Sea F un cuerpo, no necesariamente finito, y G un subgrupo finito del grupo multiplicativo F de
F , entonces G es un grupo cclico. En particular el grupo multiplicativo de todos los elementos no
nulos de un cuerpo finito es un grupo cclico.
DEMOSTRACIN. Ya que G es un grupo abeliano finito, ser isomorfo a un producto directo Zn1
n n
. . .Znr , donde ni divide a ni+1 , 1 i < r. Para cada ai Zni tenemos ai i = 1 = ai r , y todo elemento
de G es raz del polinomio X nr 1. Como consecuencia el nmero de elementos de G est acotado
superiormente por n r ; sin embargo el nmero de elementos de G sabemos que es n1 . . . n r , por lo
tanto |G| = n r y G es un grupo cclico.
El caso del cuerpo finito es inmediato.
Vamos ahora a probar que para cada entero primo positivo p y cada nmero entero positivo n existe
un nico, salvo isomorfismo, cuerpo F con p n elementos.
4163-01.tex
( + )q = q + q = + ,
()q = q q = ,
1q = 1;
(1 )q = (q )1 = 1 ,
luego las races forman un subcuerpo de F . Como la derivada del polinomio es:
D(X q X ) = qX q1 1 = 1,
resulta que las races de X q X son simples, y por tanto tenemos un cuerpo de q elementos; contenido
en F en el que el polinomio X q X descompone, entonces coincide con F y F tiene q elementos.
Supongamos ahora que tenemos un cuerpo F con q elementos; el grupo multiplicativo F es cclico
de orden q 1, entonces para cada elemento F se tiene q1 = 1, por lo tanto para cada F
se tiene q = , y cada elemento de F es raz del polinomio X q X ; el nmero de races distintas
de este polinomio es q, entonces F es el cuerpo de descomposicin del polinomio X q X sobre F p ,
y por lo tanto todos los cuerpos de q elementos son isomorfos sobre F p .
Existe una notacin standard para el cuerpo finito de q elementos, esta es Fq , y se llama el cuerpo
de Galois de q elementos. Recordar que q es de la forma p n , siendo p y n nmeros enteros positivos
y p adems primo.
Vamos a estudiar la extensin Fq /F p , identificar sus automorfismos y ver que es una extensin de
Galois con grupo de Galois cclico.
Teorema. 12.4.
En la situacin anterior para p, n y q = p n , tenemos:
(1) Fq /F p es una extensin de Galois.
(2) Gal(Fq /F p ) es un grupo cclico de orden n generado por el automorfismo de Frobenius.
DEMOSTRACIN. (1). Ya que F p es un cuerpo finito entonces es perfecto, y por lo tanto toda extensin
finita de F p es separable; en particular Fq /F p es una extensin separable. Ya que Fq es el cuerpo de
descomposicin del polinomio X q X , resulta que la extensin Fq /F p es normal. Entonces Fq /F p es
una extensin de Galois.
(2). Tenemos [Fq : F p ] = n, y por tanto | Gal(Fq /F p )| = n. Si consideramos el automorfismo
de Frobenius, tenemos que Gal(Fq /F p ) ya que para a F p tenemos que (a) = a p = a. Las
potencias de tambin pertenecen a Gal(Fq /F p ), para 0 i < n y Fq tenemos por induccin:
i1 i1 i
i () = i1 () = ( i1 ()) = ( p ) = ( p ) p = p .
Vamos ahora a ver 0 , , . . . , n1 son todos distintos. Supongamos que i = 1, para 0 i < n,
entonces para cada Fq tenemos:
i
= 1() = i () = p ,
i
y por tanto todo elemento de Fq es raz del polinomio X p X , como consecuencia Fq tiene como
mximo p i elementos, lo que es una contradiccin.
Corolario. 12.5.
Son equivalentes:
r
(a) p = , para cada F pn .
(b) n|r.
DEMOSTRACIN. (a) (b). Si se verifica (a), entonces r = 1, y por tanto n|r, ya que el orden de
Gal(F pn /F p ) es n.
(b) (a). Si n|r, entonces r = 1 y se verifica (a).
Proposicin. 12.6.
Sea q = p n . Los subcuerpos de Fq estn determinados por los divisores de n, esto es; los subcuerpos
de Fq son de la forma F pm , para m|n. Adems son equivalentes:
(a) F pm F p r .
(b) m|r.
La extensin F pm F p r es de Galois con grupo de Galois cclico de orden r/m y generado por m .
Corolario. 12.7.
Si p es un nmero entero primo positivo y n, m nmeros enteros positivos, son equivalentes:
(a) m|n.
(b) p m 1|p n 1.
DEMOSTRACIN. (a) (b). Si m|n, entonces F pm F pn , y por tanto Fpm Fpn , luego p m 1|p n 1.
(b) (a). Supongamos que p m 1|p n 1; para una descomposicin n = cm+ r de n, con 0 r < m,
tenemos
p n = p cm p r ,
luego
p n p r = p r (p cm 1);
por la implicacin (a)(b), tenemos:
p m 1|p cm 1,
y por tanto
pn p r 1 (mod p m 1),
pn pr (mod p m 1),
pn 1 p r 1 (mod p m 1), y tenemos que
pr 1 0 (mod p m 1), lo que implica
p m 1 |p r 1,
pero 0 r < m, luego necesariamente r = 0 y n = cm y m|n.
Teorema. 12.8.
Para cualquier cuerpo finito F y cualquier nmero entero positivo m existe un polinomio irreducible
f (X ) F[X ] de grado m.
DEMOSTRACIN. Supongamos que F = Fq , q = p n , para m existe una extensin Fqm /Fq de grado
m, tenemos que Fqm = F pnm . El grupo multiplicativo Fqm es cclico; sea un generador; si es de
r
grado r sobre Fq , entonces [Fq () : Fq ] = r, luego Fq () = Fq r , y por tanto verifica q = , luego
r
q 1 = 1 y q m 1|q r 1, entonces m|r y m = r; tenemos pues Fq () = Fqm ; si tomamos el polinomio
irreducible de sobre Fq , Irr(, Fq ), entonces Irr(, Fq ) tiene grado m.
El ltimo resultado que vamos a estudiar relativo a cuerpos finitos es el Teorema de Wedderburn
(1905) que caracteriza los anillos de divisin finitos como cuerpos finitos.
Teorema. 12.9.
Todo anillo de divisin finito es conmutativo.
C() = {x F | x = x}
al centralizador de en F , y
x 1 = x 1 xx 1 = x 1 x x 1 = x 1 , para cada F.
entonces X
q m 1 = (q 1) + {(q m 1)/(q mi 1) | 1 i r},
donde ahora los mi verifican mi |m y mi 6= m.
Si consideramos los polinomios ciclotmicos tenemos:
Y
Xm 1 = {d (X ) | d |m},
entonces Y
(X 1)/(X 1) =
m d
{e (X ) | e|m, y e - d};
ya que m 6= 1, para cada tenemos que |q | > q 1, y por tanto |m (q)| > q 1, lo que es una
contradiccin con el hecho de que m (q)|q 1. Como consecuencia no puede ser m 6= 1 y tenemos
que F es conmutativo.
Dado un cuerpo finito Fq , sabemos que existe un polinomio mnico irreducible f (X ) F p [X ] tal
F p [X ]
que F
=
q (f ) . Adems, sabemos que existe un elemento primitivo F tal que F = F (). Sin
q q p
embargo, estamos ms interesados en un generador del grupo multipicativo Fq . este elemento
tendr asociado un polinomio mnico irreducible g(X ) = Irr(, F p ).
El primer problema con el que nos encontramos es el de determinar y/o g(X ).
Problema. 12.10.
Da un algoritmo que, en tiempo polinomial dependiendo de p n , encuentre un elemento primitivo de
F pn .1
Supongamos que tenemos y g(X ); vamos a ver cmo hacer la aritmtica de Fq de forma mas
efectiva.
Dados Fq , existe e Zq1 tal que = e ; esto nos permite definir una aplicacin biyectiva :
Zq1 Fq mediante (m) = m , que evidentemente lleva sumas a productos; es un antilogaritmo;
de esta forma tenemos controlado el producto en Fq . Para controlar la suma necesitamos elemento
0 Fq , para lo que agregamos un elemento nuevo, , a Zq1 , y extendemos la suma a Zq1 {}
definiendo = + = m + = + m, para cada m Zq1 . De este forma : Zq1 {} Fq
es un homomorfismo biyectivo que lleva sumas a productos. La tabla del producto en Fq tendr un
anlogo en la tabla de la suma en Zq1 {}.
Para controlar la suma, definimos una nueva aplicacin : Zq1 {} Zq1 {}, a la que
llamamos logaritmo de Zech, y que est definida por la relacin (m) = m + 1. Observa que es
una biyeccin y que nos permite controlar la suma den Fq , ya que se tiene:
i + j = (i j + 1) j = (i j) j = (i j) + j.
Veamos cmo construir las tablas antes mencionadas. Se tiene (1) = , y para cada m Zq1 se
tiene (m) = m , que se expresa en en la forma f m (), donde f m (X ) es el resto de la divisin de
X m or g(X ). Para simplificar representamos (m)(X ) = f m (X ), y por (s)(X ) (t)(X ) el resto de
la divisin de s t por g(X ). Entonces (m + 1)(X ) = (1)(X ) (m)(X ), y podemos construir la
tabla de la suma en Zq1 {}. La construccin d ela tabla de es ms o mene sdirecta. En el caso
de F16 , siendo una raz de g(X ) = X 4 + X + 1 F2 , tenemos:
1
V. Shoup. Searching form primitive roots in finite fields. Math. Comp. 58 (1992), 369380.
12.1. Ejercicios
Cuerpos finitos
Ejercicio. 12.12.
Identificar los grupos F+4 y F4 .
Ref.: 4163e_001 SOLUCIN
Ejercicio. 12.13.
Escribe las tablas de sumar y multiplicar para F4 y Z4 y compararlas.
Ref.: 4163e_002 SOLUCIN
Ejercicio. 12.14.
Construir cuerpos con 4, 8 y 16 elementos. Da generadores de los correspondientes grupos multipli-
cativos.
Ref.: 4163e_003 SOLUCIN
Ejercicio. 12.15.
Construye una extensin de grado cinco sobre F3 .
Ref.: 4163e_004 SOLUCIN
Ejercicio. 12.16.
Sea p un primo y n 1.
(1) Cuntos elementos de F pn son generadores del grupo Fpn ? (Esto es, verifican Fpn = ).
(2) Cuantos elementos de F pn son primitivos (generadores del grupo multiplicativo) para la exten-
sin F pn /F p ?
Ejercicio. 12.17.
Hallar una raz decimotercera de 3 en el cuerpo F13 .
Ref.: 4163e_006 SOLUCIN
Ejercicio. 12.18.
Para cada entero primo positivo p, llamamos P p,n al nmero de polinomios mnicos irreducibles de
grado n sobre F p .
(1) Prueba que p m = { jP p, j | j|m}.
P
pm p
(2) Si m es primo, prueba que se tiene P p,m = .
m
(3) Determina el nmero de polinomios mnicos irreducibles de grado 3 sobre el cuerpo F3 .
(4) Determina el nmero de polinomios mnicos irreducibles de grado 6 sobre el cuerpo F3 .
Ejercicio. 12.19.
Descompn, en factores irreducibles sobre F3 [X ], los siguientes polinomios:
(1) X 9 X ,
(2) X 27 X .
Ejercicio. 12.20.
Descompn el polinomio X 16 X en los cuerpos F4 y F8 .
Ref.: 4163e_009 SOLUCIN
Ejercicio. 12.21.
Si F es un cuerpo finito, demuestra que para cada entero positivo n existe un polinomio irreducible
de grado n en F [X ]. (Similar al resultado de teora).
Ref.: 4163e_010 SOLUCIN
Ejercicio. 12.22.
Da un isomorfismo explcito entre los cuerpos de descomposicin de X 3 X + 1 y X 3 X 1 sobre
F3 .
Ref.: 4163e_011 SOLUCIN
Ejercicio. 12.23.
Sea F un cuerpo finito.
(1) Demuestra que el producto de todos los elementos no nulos de F vale 1.
(2) Deduce el teorema de Wilson: Un nmero n N, n > 1, es primo si, y slo si, (n 1)! 1
(mod n).
Ejercicio. 12.24.
Demuestra que todo elemento de F p tiene exactamente una raz p-sima. Demuestra la misma pro-
piedad para F pn .
Ref.: 4163e_013 SOLUCIN
Ejercicio. 12.25.
Sea p un primo. Describe los enteros n tales que existen un cuerpo finito Fn y un elemento Fn
con 6= 1 pero p = 1.
Ref.: 4163e_014 SOLUCIN
Ejercicio. 12.26.
Sean p, q enteros primos positivos. Determina el nmero de polinomios mnicos irreducibles de
grado q en F p [X ].
Ref.: 4163e_015 SOLUCIN
Ejercicio. 12.27.
Sea p primo impar.
(1) Demuestra que exactamente la mitad de los elementos de Fp son cuadrados y que si u, v F p
no son cuadrados, entonces uv es un cuadrado.
(2) Demuestra lo mismo que en el apartado anterior para cualquier cuerpo finito de orden impar.
(3) Demuestra que en un cuerpo finito de orden par todo elemento es un cuadrado.
Ejercicio. 12.28.
Demuestra que en un cuerpo finito todo elemento es suma de dos cuadrados.
Ref.: 4163e_017 SOLUCIN
Ejercicio. 12.30.
Demuestra que el polinomio irreducible X 4 + 1 Z[X ] es reducible mdulo cualquier primo p.
Ref.: 4163e_020 SOLUCIN
Ejercicio. 12.31. p p
Sea K = Q( ) = Q( d1 , d2 ) una extensin bicuadrtica, con d1 , d2 Z tales que d1 , d2 , d1 d2 no
son cuadrados en Z y = a + b d1 + c d2 + d d1 d2 , a, b, c, d Z. Demuestra que Irr( , Q) es
p p p
Ejercicio. 12.33.
Si p es un primo, demuestra que cualquier elemento algebraico sobre F p est en algn F pn y deducir
que la clausura algebraica de F p es la union (dirigida) de los F pn con n 1.
Ref.: 4163e_025 SOLUCIN
Ejercicio. 12.34.
Demostrar que X p X a con a 6= 0 es irreducible en F p y que sobre F pn es irreducible si, y solo si,
no tiene factores lineales.
Ref.: 4163e_026 SOLUCIN
Ejercicio. 12.35.
Sea p un primo y sea q = p n . Razonar que f = X q X F p [X ] tiene factores de grado n, pero no de
grado superior.
Ref.: 4163e_028 SOLUCIN
Ejercicio. 12.36.
Sea q = p n una potencia de un entero primo positivo.
n
(1) Demuestra que un polinomio irreducible de grado r sobre Fq es un factor de X q X si, y slo
si, r |n.
n
(2) Deduce que X q X = i f i (X ), donde f i vara sobre todos los polinomios irreducibles cuyo
Q
grado divide a n.
r t r = q n , y deduce una
P
(3) Demuestra que si t r es el nmero de tales polinomios, entonces
frmula para t r en trminos de q, r y la funcin de Mbius.
Ejercicio. 12.37.
Sea p un ideal primo no nulo del anillo Z[i] de los enteros de Gauss. Demuestra que Z[i]/p es un
cuerpo finito. Demuestra adems que los nicos cuerpos que pueden aparecer son de orden p p2
donde p es un primo. Describe el anillo cociente por los ideales (7), (2 + i) (5). Cules de ellos son
cuerpos?
Ref.: 4163e_030 SOLUCIN
Ejercicio. 12.38.
Sea F un cuerpo finito y sea n 1. Demuestra que existe un polinomio irreducible sobre F de grado
n con el coeficiente de X distinto de cero.
Pista: Considera la ecuacin para un u1 .
Ref.: 4163e_031 SOLUCIN
Ejercicio. 12.39.
Factoriza en irreducibles los siguientes polinomios:
(1) X 8 + X 7 + X + 1 en F2 [X ].
(2) X 11 + X 10 + X 7 + X 6 + X 5 + X 4 + X 3 + X + 1 en F2 [X ] y en F4 [X ].
(3) X 8 + X 6 3X 4 3X 3 + 8X 2 + 2X 5 en F5 [X ].
Ejercicio. 12.40.
Un polinomio irreducible f Fq [X ] se llama primitivo si para una raz de f se verifica que
Fq () = .
(1) Demuestra que X 4 + X + 1 y X 4 + X 3 + 1 son polinomios primitivos sobre F2 , mientras que
X 4 + X 3 + X 2 + X + 1 no es primitivo sobre F2 .
(2) Determina todos los polinomios mnicos primitivos de grado cinco sobre F2 y los de grado tres
sobre F3 .
(3) Enuncia una condicin suficiente para que un polinomio mnico irreducible de Fq [X ] sea pri-
mitivo.
Ejercicio. 12.41.
Sea f F p [X ] irreducible de grado m. Demuestra que si es una raz, los elementos
2 m1
, p , p , . . . , p son todos distintos y que son todas las races de f .
Ref.: 4163e_034 SOLUCIN
Ejercicio. 12.42.
Sea p un entero primo positivo y q = p n . Demuestra que si f (X ) Fq es un polinomio irreducible de
grado r, para cada m N son equivalentes:
m
(a) f (X ) es un factor de X q X .
(b) r |m.
Deduce que
m
Y
Xq X = { f (X ) Fq [X ] | f (X ) es un polinomio mnico irreducible cuyo grado divide a m}.
Ejercicio. 12.44.
Suma de elementos de un cuerpo finito.
Sea G un grupo y : G F un homomorfismo de grupos no trivial. Prueba que se verifica
(1) P
{(g) | g G} = 0.
(2) Sea K = Fq , donde q = p n , demuestra que para cada nmero entero positivo m se verifica que
1 si (q 1)|m.
X
S(m) = { | Fq } =
m
0 en otro caso.
Ejercicio. 12.45.
Sobre F11 halla races
(1) cuadradas primitivas de la unidad.
(2) quintas primitivas de la unidad.
(3) dcimas primitivas de la unidad.
Ejercicio. 12.46.
Sea p un entero primo positivo
(1) Si p es un entero primo impar y m > 0, entonces el grupo multiplicativo de la unidades de Z pm
es cclico de orden p m1 (p 1).
(2) Comprueba que (1) es cierto si p = 2 y m = 1 2.
(3) Si m 3, entonces el grupo de las unidades Z2m es isomorfo a Z2 Z2m2 .
Ejercicio. 12.47.
Sea F = Fq un cuerpo finito y E = Fq su clausura algebraica. Prueba que para todo automorfismo
: E/F E/F de orden finito se tiene = id E .
Ref.: 4163e_103 SOLUCIN
Ejercicio. 12.49.
Se considera el cuerpo finito Fq y f Fq [X ] un polinomio no constante de grado d. Prueba que son
equivalentes:
(1) f es irreducible.
t
(2) f y X p X son primos relativos para cada t < d.
t
Prueba que la condicin (b) no puede sustituirse por f - X q X para cada t < d.
Ref.: 4163e_104 SOLUCIN
Ejercicio. 12.50.
Se considera el cuerpo finito Fq y f Fq [X ] un polinomio libre de cuadrados. Prueba que existe
n
n N tal que f | X q X .
Ref.: 4163e_105 SOLUCIN
Ejercicio. 12.51.
Se considera el cuerpo F2n , siendo 0 6= n N; sabemos que F2n
= Z2n 1 ,y que por tanto el nmero
de generadores es (2n 1). Por otro lado, Gal(F2n /F2 ) = es el grupo cclico generado por el
automorfismo de Frobenius.
(1) Dado F2n , prueba que grad(Irr(, F2 )) divide a n.
e
(2) Dado F2n , prueba que existe 0 6= e N tal que 2 = , y que si e es el menor de los que
Qe1 i
verifican esta condicin, entonces Irr(, F2 ) = i=0 (X 2 ), por lo que e = grad(Irr(, F2 )).
(3) Recprocamente, si Irr(, F2 ) tiene grado m 1, entonces m es el menor entero positivo que
m
verifica 2 = .
Ejercicio. 12.52.
Cuerpos con nueve elementos.
(1) Construye todos los cuerpos de nueve elementos que se obtienen a partir de los polinomios
mnicos irreducibles de grado dos sobre F3 [x]. Llama a estos polinomios f i , para i = 1, 2, . . .
F3 [X ]
(2) Construye isomorfismos entre los cuerpos de nueve elementos ( fi ) .
Supongamos que K es un cuerpo y K una clausura algebraica; las races, en K, del polinomio X n 1
se llaman races nsimas de la unidad sobre K. Tenemos que las races de la unidad son todas
distintas si, y slo si, f (X ) = X n 1 es primo con su derivada, y ya que sta es D f (X ) = nX n1 , resulta
que esto ocurre si, y slo si, la caracterstica de K no divide a n; en particular, si la caracterstica de
K es cero.
r
Cuando car(K) = p 6= 0, si n = mp r , con p - m, entonces X n 1 = (X m 1) p , y en este caso existen
nicamente m races nsimas distintas de la unidad, todas de multiplicidad p r . As pues, en lo que
sigue, vamos a suponer que la caracterstica de K es cero o no divide a n y que, por lo tanto, existen n
races nsimas distintas de la unidad.
Proposicin. 13.1.
Para cada cuerpo K las races n-simas de la unidad forman un subgrupo cclico de orden n del grupo
multiplicativo de K.
DEMOSTRACIN. Primero veamos que las races nsimas de la unidad forman un subgrupo, para
esto sean y dos races nsimas de la unidad, se verifica:
()n = n n = 1.
Vamos ahora a ver que este grupo es cclico; tomamos m el menor entero positivo tal que m = 1,
para cada raz n-sima de la unidad, entonces m n y m | n; el polinomio X m 1 tiene m races,
en K. Como las races nsimas de la unidad son tambin races de este polinomio, tenemos n m.
Como consecuencia n = m.
Utilizando este hecho, definimos una raz nsima primitiva de la unidad como una raz nsima de
la unidad que genera el grupo de las races nsimas de la unidad, esto es; su orden es precisamente
n.
Cada raz de la unidad es una raz primitiva de la unidad para algn entero, ms explcitamente:
Lema. 13.2.
Sea una raz nsima primitiva de la unidad sobre un cuerpo K, para cada divisor entero positivo
d de n, n/d es una raz d-sima primitiva de la unidad sobre K.
4163-02.tex
DEMOSTRACIN. Tenemos que n/d es una raz d-sima de la unidad ya que (n/d )d = 1, adems
n/d tiene orden d, luego es una raz d-sima primitiva de la unidad.
Recordemos la definicin de , la funcin tociente de Euler. Para cada nmero entero n, tenemos
que (n) es igual al nmero de enteros positivos menores iguales que n y primos relativos con n.
Si consideramos el grupo cclico Zn , entonces (n) es el nmero de generadores de Zn .
Si n y m son nmeros enteros positivos primos relativos, entonces (nm) = (n)(m); la
demostracin de este hecho se basa, por ejemplo, en contar el nmero de generadores del
grupo cclico Zn Zm = Znm ; un generador es un par (a, b), donde a es un generador de Zn y
b es un generador de Zm .
Para cada nmero entero positivo y primo p se tiene (p e ) = (p 1)p e1 .
e
Ya que cada nmero entero positivo n, que se puede expresar en la forma n = p11 p rer con
p1 , . . . , p r primos distintos dos a dos, tenemos
Y
e e e 1
(n) = (p11 p rer ) = (p11 ) (p rer ) = (pi 1)pi i .
i
Se tiene n = {(d) | d |n}. Para cada entero positivo n definimos (n) = {(d) | d |n}. Si
P P
Teorema. 13.3.
Sea n un entero positivo, K un cuerpo y F /K una extensin ciclotmica, cuerpo de descomposicin
del polinomio X n 1. Se verifica:
(1) F /K es una extensin de Galois.
(2) Gal(F /K) es isomorfo a un subgrupo del grupo multiplicativo de las unidades de Zn , por lo tanto
su orden es un divisor de (n).
DEMOSTRACIN. (1). Tenemos que F /K es una extensin normal, ya que F es el cuerpo de des-
composicin del polinomio X n 1 sobre K, y por hiptesis, como vimos al inicio de esta seccin,
car(K) = 0 no divide a n; resulta que X n 1 es un polinomio con todas sus races simples, luego
la extensin es separable. Entonces F /K es una extensin de Galois.
(2). Supongamos Gal(F /K); ya que F = K(), para una raz nsima primitiva de la unidad,
tenemos que est determinado por (); supongamos que
() = i , 1 i < n,
y que
1 () = j , 1 j < n,
tenemos
= 1 () = 1 (i ) = 1 ()i = ji ,
y por tanto ji 1 (mod n). Entonces i es invertible mdulo n, y existe una aplicacin de Gal(F /K)
en el grupo Zn de las unidades de Zn , definida
() = (i ) = ()i = ki = ik ,
n (X ) = (X 1 ) (X r ),
Proposicin. 13.4.
En la situacin anterior se tiene:
(1) X n 1 = {d (X ) | d |n}.
Q
DEMOSTRACIN. (1). Sea F una raz nsima primitiva de la unidad; el grupo de las races
nsimas de la unidad contiene al grupo de las races d-simas de la unidad para cada divisor d de
n; adems una raz n-sima de la unidad es una raz d-sima primitiva de la unidad si, y slo si, el
orden de es d, y entonces
Y
d (X ) = {X | es una raz nsima de la unidad y ord() = d} .
Entonces
X n 1 = Q Q
{(X ) | es una raz n-sima de la unidad}
Q
=Q {(X ) | es una raz nsima de la unidad y ord() = d} | d |n
= {d (X ) | d |n} .
Xn 1
n (X ) = Q .
{d (X ) | d |n, d 6= n}
Se verifica: X
(n) = {d (n/d) | d |n}.
La demostracin se puede hacer aplicando que (nm) = (n)(m) si n y m son primos relativos y
probando el resultado para n = p e , siendo p un entero positivo primo.
Aplicando la funcin de Moebius al clculo de polinomios ciclotmicos, obtenemos la siguiente ex-
presin: Y
n (X ) = {(X d 1)(n/d) | d |n}.
Podemos estudiar ms propiedades de los polinomios ciclotmicos. Por ejemplo al estudiarlos sobre
Q resulta:
Teorema. 13.5.
Para cada entero positivo n el polinomio n (X ) es irreducible sobre Q.
DEMOSTRACIN. Sea una raz nsima primitiva de la unidad y f (X ) = Irr(, K); vamos a rela-
cionarlo con n (X ).
Tenemos f (X )|n (X ) y f (X )|X n 1, entonces X n 1 = f (X )g(X ), en Q[X ]. Ya que f (X ) es mnico,
tambin g(X ) lo es; aplicando el Lema de Gauss tenemos que f (X ) y g(X ) tienen coeficientes en Z.
Para cada entero primo positivo p que no divide a n tenemos que f ( p ) = 0, ya que si f ( p ) 6= 0,
entonces g( p ) = 0, y por tanto f (X ) | g(X p ), entonces g(X p ) = f (X )r(X ), por un razonamiento
anlogo al anterior tenemos que r(X ) tiene coeficientes en Z. Si reducimos mdulo p, aplicando
que para cada Z p se verifica p = , tenemos f (X )r(X ) = g(X p ) = g(X ) p , y por tanto f (X ) y
g(X ) no son primos relativos en Z p [X ]. Entonces existen races comunes de f (X ) y de g(X ), esto
es, X n 1 tiene races mltiples, pero al derivar tenemos nX n1 , que no es cero y no tiene factores
comunes con X n 1, por lo cual, llegamos a una contradiccin. Como consecuencia p es raz de
f (X ).
Vamos a comprobar que toda raz nsima primitiva de la unidad se puede escribir en la forma p ,
para algn entero primo positivo que no divide a n. Consideramos los primeros enteros positivos pri-
mos p1 , . . . , p(n)1 que n dividen a n y verifican pi 6 p j (mod n), si i 6= j. Entonces , p1 , . . . , p(n)1
son races nsimas primitivas distintas de la unidad; por lo anterior, f (X ) tiene (n) races como
mnimo, por lo tanto gr( f (X )) (n) = gr(n (X )), entonces n (X ) = f (X ), y n (X ) es irreducible.
Por el contrario, si consideramos un cuerpo de caracterstica p 6= 0, puede que n (X ) no sea un
polinomio irreducible.
Ejemplo. 13.6.
Tomamos p = 11, n = 12, el polinomio ciclotmico 12 es reducible:
12 (X ) = X 4 X 2 + 1 = (X 2 5X + 1)(X 2 + 5X + 1).
13.1. Ejercicios
Extensiones ciclotmicas
Ejercicio. 13.7.
Calcular los polinomios ciclotmicos n (X ) sobre Q, para n = 3, 8, 10, 12, 14, 16, 18, 20, 24, 34,
50.
Ref.: 4163e_035 SOLUCIN
Ejercicio. 13.8.
Determinar los polinomios ciclotmicos siguientes:
(1) 3 (X ) sobre F2 .
(2) 8 (X ) sobre F3 .
Ejercicio. 13.9.
Sea n > 2 y sea una raz n-sima primitiva de la unidad sobre Q. Demuestra que
(1) [Q( + 1 ) : Q] = (n)/2, donde (n) es el valor de la funcin de Euler en n,
(2) Q( + 1 ) = Q() R.
Ejercicio. 13.10.
Sea la funcin tociente de Euler.
(1) Demuestra que (n) es par para todo n 2.
(2) Determina todos los n 0 tales que (n) = 2.
(3) Determina todos los pares de enteros positivos n y p tales que p es primo y (n) = n/p.
Ejercicio. 13.11.
Determinar los enteros n para los que una raz n-sima primitiva de la unidad tiene grado 2 sobre
Q.
Ref.: 4163e_038 SOLUCIN
Ejercicio. 13.12.
Sea K un cuerpo de caracterstica cero y n > 1 un nmero impar. Demostrar que si K contiene una
raz n-sima primitiva de la unidad, tambin contiene una raz 2n-sima primitiva de la unidad.
Ref.: 4163e_039 SOLUCIN
Ejercicio. 13.13.
Demostrar que el cuerpo F13 contiene todas las races decimosegundas de la unidad. Calcular 12 (X )
y factorizarlo en irreducibles en F13 . (Obsrvese que no es irreducible).
Ref.: 4163e_043 SOLUCIN
Ejercicio. 13.14.
Determina el grupo de Galois de las extensin de F p por las races nsimas de la unidad en los
siguientes casos (ver el ejercicio (15.17.)):
(1) p = 7, n = 5.
(2) p = 11, n = 12.
(3) p = 13, n = 12.
(4) p = 7, n = 28.
(5) p = 52 , n = 6.
Ejercicio. 13.15.
Sea Fq el cuerpo con q = p n , p primo, y sea m un entero positivo primo relativo con q; llamamos
E al cuerpo de descomposicin de X m 1 sobre Fq , demuestra que [E : Fq ] = r es el menor entero
positivo que verifica m|q r 1.
Ref.: 4163e_078 SOLUCIN
Ejercicio. 13.16.
Calcular Gal(Q()/Q), los retculos de subgrupos y de subcuerpos intermedios, para una
raz 7a , 12a , 17a , 18a , 20a y 24a primitiva de la unidad.
Ref.: 4163e_044 SOLUCIN
Ejercicio. 13.17.
2
Sea E = Q() con = e 5 = cos( 2 2
5 ) + isen( 5 ), una raz quinta primitiva de la unidad.
(1) Demuestra que E/Q es de grado 4 con grupo de Galois cclico generado por el automorfismo
que lleva en 2 .
(2) Demuestra que E tiene un nico subcuerpo K con Q K E y [K : Q] = 2. Verifica que
= + 4 y = 2 + 3 forman una Q-base de K.
(3) Determina los polinomios Irr(, Q) e Irr(, Q).
Ejercicio. 13.18.
Sean n y m races n-sima y m-sima primitivas de la unidad respectivamente. Demostrar
(1) Q(n , m ) = Q(k ), con k = mcm{n, m} y k una raz k-sima primitiva de la unidad.
(2) Si mcd{n, m} = 1, entonces Q(n ) Q(m ) = Q
(3) Si n|m, entonces Q(n ) Q(m )
(4) Si n es impar, entonces Q(n ) = Q(2n ).
Ejercicio. 13.19.
Sea una raz dcimo tercera primitiva de la unidad. Calcular un elemento primitivo para cada una
de las extensiones intermedias de Q()/Q
Ref.: 4163e_048 SOLUCIN
Ejercicio. 13.20.
Sea una raz del polinomio X 2 5X + 1 F11 [X ] en alguna clausura algebraica.
(1) Demuestra que es una raz primitiva decimosegunda de la unidad sobre F11 .
(2) Descompn en factores primos el polinomio ciclotmico 12 (X ) sobre F11 .
Ejercicio. 13.21.
Sea K el cuerpo de descomposicin de todos los polinomios de grado 4 en Q[X ]. Para qu valores
de n N la nsima raz primitiva de la unidad n pertenece a K?
Ref.: 4163e_069 SOLUCIN
Ejercicio. 13.22.
Sea K/Q una extensin finita, demuestra que existe un nmero finito de races de la unidad conte-
nidas en K.
Ref.: 4163e_086 SOLUCIN
Ejercicio. 13.23.
Determina qu races de la unidad pertenecen a las siguientes extensiones de Q.
(1) Q(i)/Q.
p
(2) Q(p2)/Q.
(3) Q(p2)/Q.
(4) Q(p3)/Q.
(5) Q(p3)/Q.
(6) Q( 5)/Q.
Ejercicio. 13.24.
Sea Q el cuerpo de de los nmeros racionales.
(1) Determina el polinomio ciclotmico 27 (X ) sobre Q.
(2) Determina el grupo de Galois Gal(Q(27 )/Q, donde 27 es una raz 27sima primitiva de la
unidad.
(3) Determina el retculo de subcuerpos intermedios.
Ejercicio. 13.25.
Sea p un entero positivo primo, y p una raz psima primitiva de la unidad. Se considera E = Q( p )
y el grupo de Galois G = Gal(E/Q). Prueba que se tiene:
Ejercicio. 13.26.
Comprueba las siguientes propiedades de los polinomios ciclotmicos:
(1) Si p es un entero primo y k es un entero positivo, entonces
k1
pk (X ) = p (X p ).
e e
(2) Si n = p11 . . . pkk , con los pi enteros positivos primos distintos, y ei > 0, entonces
e1 1 e 1
pkk
n (X ) = p1 ...pk (X p1 ).
n (X p )
pn (X ) = .
n (X )
p si n = p k , k > 0,
(5) n (1) =
1 en otro caso.
Ejercicio. 13.27.
Para n 2 prueba que se verifica la relacin siguiente para polinomios ciclotmicos:
n (X ) = X (n) n (X 1 ).
Ejercicio. 13.28.
Funcin totiente de Euler.
(1) Prueba que si p = 2k + 1, con k N, es un entero primo positivo, entonces k es una potencia de
dos. Estos nmeros primos se llaman primos de Fermat.
(2) Prueba que (n) es una potencia de 2 si, y slo si, n = 2s p1 . . . p t , con s N, y los pi primos de
Fermat, distintos dos a dos.
Ejercicio. p
13.29.
Estudia si 7 Q(49 ).
Ref.: 4163e_108 SOLUCIN
Ejercicio. 13.30.
Enumerar los polgonos regulares de 100 lados o menos que son contructibles con regla y comps.
Ref.: 4163e_050 SOLUCIN
Ejercicio. 13.31.
Sea = 17 una raz 17a primitiva de la unidad sobre Q. Determinar explcitamente la sucesin de
races cuadradas que generan el cuerpo Q( + 1 ).
Ref.: 4163e_051 SOLUCIN
En lo que sigue vamos a considerar extensiones finitas y separables. Sea F /K una extensin finita y
separable con [F : K] = n, llamamos K a una clausura algebraica de K que contiene a F , ya que la
extensin F /K es separable, existen exactamente n homomorfismos de F a K sobre K,
Proposicin. 14.1.
Si F /K es una extensin de Galois (finita) y Gal(F /K) = {1 , . . . , n }, entonces para cada F
tenemos NF /K (), TF /K () F .
DEMOSTRACIN. Ya que la extensin es de Galois, en particular es normal, y por tanto los ho-
momorfismos de F en K sobre K tienen sus imgenes en F . Podemos suponer que {1 , . . . , n } =
Aut(F /K) = Gal(F /K), entonces para cada i se tiene i () F , y tenemos el resultado.
Proposicin. 14.2.
Sea F /K una extensin finita y separable de grado n, se verifica:
(1) NF /K () = NF /K ()NF /K (), para cada , F .
(2) TF /K ( + ) = TF /K () + TF /K (), para cada , F .
(3) NF /K (a) = a n , para cada a K.
(4) TF /K (a) = na, para cada a K.
(5) NF /K () K, para cada F .
(6) TF /K () K, para cada F .
(7) NF /K (a) = a n NF /K (), para cada a K, F .
(8) TF /K (a) = naTF /K (), para cada a K, F .
4163-03.tex
NF /K () = Q{i () | 1 i n}
Q
= Q{i ()i () | 1 iQ
n}
= {i () | 1 i n} {i () | 1 i n}
= NF /K ()NF /K ().
= Q{i () | 1 i n}
= {(i) () | 1 i n}
= NF /K ().
Proposicin. 14.3.
Sea K F E una torre de cuerpos, y E/K una extensin finita y separable, entonces para cada
E se verifica:
(1) NF /K (NE/F ()) = NE/K ().
(2) TF /K (TE/F ()) = TE/K ().
DEMOSTRACIN. (1). Supongamos que K es una clausura algebraica de K que contiene a E, supon-
gamos que [E : F ] = m y que [F : K] = n. Llamamos 1 , . . . , m a los homomorfismos (distintos) de
E en K sobre F y 1 , . . . , n a los homomorfismos (distintos) de F en K sobre K.
i
/
j rrr
rr8 K A
K
r
r
rrr
rrr j
E
F F
K K
Definimos
i j : E K, i j = i j , para i, j verificando 1 i n, 1 j m.
Estos son todos los homomorfismos (distintos) de E en K sobre K. Para cada E se verifica:
NE/K () = Q{i j () | 1 i n, 1 j m}
Q
= Q{i Q j () | 1 i n, 1 j m}
= Q{i ( { j () | 1 j m}) | 1 i n}
= {i (NE/F ()) | 1 i n}
= NF /K (NE/F ()).
Corolario. 14.4.
Sea K F E una torre de cuerpos, y E/K una extensin finita y separable, entonces para cada
F se verifica:
(1) NE/K () = (NF /K ())[E:F ] .
(2) TE/K () = [E : F ]TF /K ().
Proposicin. 14.5.
Sea F /K una extensin finita y separable de grado n, para F , si
Irr(, K) = X r + a r1 X r1 + . . . + a1 X + a0 ,
entonces tenemos:
(1) NF /K () = (1)n (a0 )n/r .
(2) TF /K () = (n/r)a r1 .
Proposicin. 14.6.
Sea F /K una extensin finita y separable, entonces existe F tal que TF /K () 6= 0.
independencia de Dedekind.
Utilizando la traza podemos dar una caracterizacin fcil de bases para extensiones separables.
Lema. 14.7.
Sea F /K una extensin finita y separable de grado n. Para 1 , . . . , n F son equivalentes:
(a) {1 , . . . , n } es una base de F como espacio vectorial sobre K.
1 = (1 (1 ), . . . , 1 (n ))
..
.
n = (n (1 ), . . . , n (n )).
DEMOSTRACIN. (a) (b). Siguiendo con las notaciones precedentes, consideramos el sistema de
ecuaciones lineales
1 ( j )X 1 + + n ( j )X n = 0 j=1,...,n
Si {1 , . . . , n } es una base, el sistema nicamente admite la solucin trivial, ya que si (x 1 , . . . , x n ) es
una solucin, entonces obtenemos una combinacin de los homomorfismos i ;
1 x 1 + n x n = 0,
a1 1 + + an n = 0,
entonces
a1 i (1 ) + + an i (n ) = 0, para todo i tal que 1 i n.
Entonces el sistema tiene solucin no trivial, y por tanto el determinante de la matriz del sistema es
nula; det i ( j ) i j = 0.
Queda por ltimo relacionar los dos determinantes, el de (b) y el de (c). Se verifica
X
TF /K (i j ) = {k (i )k ( j ) | 1 k n};
t
este es el elemento (i, j) de la matriz (k (i ))ki k ( j ) k j , por lo tanto tenemos
,
det TF /K (i j ) i j = det (k (i ))ki
y por lo tanto det TF /K (i j ) i j 6= 0 si, y slo si, det (k (i ))ki 6= 0, si, y slo si, {1 , . . . , n } es una
base de F .
A la luz de este resultado, dada una extensin finita y separable F /K, vamos a definir una aplicacin
T : F F K mediante T (, ) = TF /K ().
Proposicin. 14.8.
Sea F /K una extensin finita y separable, entonces
T (, ) = TF /K ()
T ( + 0 , ) = TF /K (( + 0 )) = TF /K ( + 0 )
= TF /K () + TF /K (0 ) = T (, ) + T (0 , ).
T (a, ) = TF /K (a) = aT F /K ()
= aT (, ).
Proposicin. 14.9.
Sea F /K una extensin finita y separable de grado n, si {1 , . . . , n } y {1 , . . . , n } son dos bases de
F , como espacio vectorial sobre K, con matriz de cambio de base A, entonces se tiene
Como consecuencia, si en la situacin anterior existe una base con discriminante no nulo, ste es
no nulo para cada base. Una extensin F /K diremos que tiene discriminante no nulo si existe una
base que tiene discriminante no nulo.
Proposicin. 14.10.
Sea F /K una extensin finita y separable de grado n, entonces el discriminante de la extensin es
no nulo.
Finalmente vamos a estudiar un discriminante de una extensin simple K()/K, y ver que est
relacionado con el discriminante del polinomio irreducible Irr(, K).
Teorema. 14.11.
Sea K()/K una extensin finita y separable de grado n. El discriminante de la extensin K()/K
relativo a la base {1, , . . . , n1 } coincide con el discriminante de Irr(, K).
{1 , . . . , n | definidos i () = i , 1 i n}.
Se verifica:
1 1 1n1
. . ..
Y 1 i n,
det i ( j ) i j = det .. .. . = {i h | 1 i, h n}.
0 j n 1.
1 n n n1
entonces
2 1 i n,
det TF /K ( ) k j = det i ( j ) i j = Discr(Irr(, K)).
k j
0 k, j n 1.
14.1. Ejercicios
Norma y traza
Ejercicio. 14.12.
p p
Sea E = Q( 2, 3). Calcula NE/Q () y TE/Q () para
p
(1) = p2, p
(2) = p2 + 3,
(3) = 6,
(4) = 2.
Ejercicio. 14.13.
Sea E = Q() con una raz quinta primitiva de la unidad y = + 1 . Calcular
(1) NE/Q (),
(2) TE/Q (),
(3) NE/Q() (),
(4) TE/Q() ().
Ejercicio. 14.14.
Sea K un cuerpo finito y F /K una extensin finita. Demuestra que NF /K y TF /K son aplicaciones
sobreyectivas de F en K.
Ref.: 4163e_054 SOLUCIN
Ejercicio. 14.15.
Sea K un cuerpo finito y F /K una extensin finita. Calcula el ncleo de
NF /K : F K .
Ejercicio. 14.16.
Sea F /K una extensin cclica de grado n, con grupo de Galois G = . Si F es un elemento de
norma uno, encontrar todas las soluciones = x/(x).
Ref.: 4163e_056 SOLUCIN
Ejercicio. 14.17.
Sea una raz n-sima primitiva de la unidad y sea F = Q().
(1) Si es una raz p r sima primitiva de la unidad, determina p r (X ) = Irr(, Q).
(2) Si n = p r , donde r 1, es una potencia de primo, demostrar que NF /Q (1 ) = p.
(3) Si p2 |n, se tiene n (X ) = n/p (X p ); si p|n y p2 - n, entonces n (X )|n/p (X p ) es un factor propio.
(4) Da una frmula para al clculo del p1 pt (X ), siendo los pi enteros positivos primos distintos
dos a dos.
(5) Si n es divisible, por al menos dos primos distintos, demostrar que NF /Q (1 ) = 1.
Ejercicio. 14.18.
Sea una raz qsima de la unidad, siendo q = p n , con p primo y n N \ {0}. Si K = Q(), calcula
NK/Q (1 ).
Ref.: 4163e_068 SOLUCIN
Ejercicio. 14.19.
Si F = K(u) es una extensin separable de K y f (x) = Irr(u, K) con grad( f (x)) = n, demuestra que
el discriminante de la base {1, u, . . . , un1 } de F /K viene dado por
n(n1)
(1) 2 NF /K (D f (u))
Ejercicio. 14.20.
Sea F una extensin separable finita de K y sea {u1 , . . . , un } una base de F sobre K. Para u F , sea
u : F F el K-homomorfismo de espacios vectoriales dado por
n
X
uui = ai j u j
j=1
Ejercicio. 14.21.
Sea F es una extensin separable y finita de K. Si es un isomorfismo de F en algn cuerpo (F )
y u F entonces
N(F )/(K) ((u)) = (NF /K (u)) y T(F )/(K) ((u)) = (TF /K (u)).
Ejercicio. 14.22.
n
Demuestra que el polinomio X 2 + X + 1 es reducible sobre F2 , para n 3.
Ref.: 4163e_023 SOLUCIN
Ejercicio. 14.23.
n
Demuestra que X p X + 1 es irreducible sobre F p slo si n = 1 o n = p = 2.
(Ntese que si es una raz, tambin lo es + a para cualquier a F pn . Demuestra que esto implica
que F p () contiene a F pn y que [F p () : F pn ] = p.)
Ref.: 4163e_024 SOLUCIN
Ejercicio. 14.24.
Sea E/K una extensin cclica de grado n, con Gal(E/K) = . Sea F un cuerpo intermedio con
[F : K] = m y n = t m. Si existe a K tal que a t = NE/K (), para algn E, prueba que existe
F tal que c = NF /K ().
Ref.: 4163e_075 SOLUCIN
Ejercicio. 14.25.
Sea K un cuerpo contiene p races distintas p-simas de la unidad, p es un entero positivo primo.
Sea F /K una extensin cclica de grado p n > 1. Demuestra que si existe un torre E F K donde
E/K es cclica de grado p n+1 , para cada raz psima primitiva de la unidad entonces existe un
F tal que NF /K () = .
Ref.: 4163e_058 SOLUCIN
Ejercicio. 14.26.
p
Demostrar que si F = Q( m) con m Z y m < 0, entonces no existe ninguna extensin curtica
cclica E/Q con E F Q.
Ref.: 4163e_059 SOLUCIN
Ejercicio. 14.27.
Con las mismas notaciones que en el ejercicio (14.25.), sea Gal(F /K) = . Supongamos que existe
un elemento F tal que NF /K () = . Demostrar que
Ejercicio. 14.28.
Ntese que los Ejercicios (14.25.) y (14.27.) implican el siguiente
Teorema. Si K contiene p races p-simas distintas de la unidad (p primo) y si F /K es cclica de grado
p n > 1, entonces E puede sumergirse en una extensin cclica de grado p n+1 sobre K si, y slo si, una
raz p-sima primitiva de la unidad es la norma de algn elemento de F .
p
Utilizar este teorema para demostrar que si la caracterstica de K es distinta de 2 y F = K( c) 6= K,
entonces F /K puede sumergirse en una extensin curtica cclica de K si, y slo si, c es la suma de
dos cuadrados de elementos de K.
Ref.: 4163e_061 SOLUCIN
Ejercicio. 14.29.
Sea F /K una extensin cclica de grado p n , y K una raz p m sima primitiva de la unidad,
n > m 1. Son equivalentes:
(a) NF /K (F ).
(b) Existe una torre K F E tal que E/K es cclica de grado p n+m .
Ejercicio. 14.30.
Sea F /K una extensin cclica de grado p n , y una raz p m sima primitiva de la unidad. Son
equivalentes:
Ejercicio. 14.31. p5
Determina el grupo de Galois de la extensin Q(, 3)/Q, donde 6= 1 es una raz de X 5 + 1.
Construye una serie de composicin de G, si la hay, y la torre de subextensiones asociada.
Nota: Posibles grupos: S5 , A5 , F20 = (1 2 3 4 5), (1 2 4 3), D5 = (1 2 3 4 5), (1 4)(2 3), C5 =
(1 2 3 4 5).
Ref.: 4163e_100 SOLUCIN
Extensiones cclicas
Una extensin E/K se llama cclica si es de Galois y su grupo de Galois es cclico, y se llama abeliana
si su grupo de Galois es un grupo abeliano.
4163-04.tex
DEMOSTRACIN. (1). Sea G = Gal(E/K) = , y sea K una raz n-sima primitiva de la unidad,
entonces NE/K (1 ) = n = 1. Por el teorema 90 de Hilbert, existe E tal que () = . Por
induccin sobre i, se verifica i () = i . Luego los elementos i son los n conjugados distintos de
, por lo que [K() : K] n, y como K() E, tenemos que E = K(). Adems, (n ) = ()n =
()n = n , luego a = n es fijo bajo y todas sus potencias, por lo que a K.
(2). Sea una raz de X n a K[X ], y sea K la raz nsima primitiva de la unidad en K.
Entonces i tambin es raz del mismo polinomio y todas estas races son distintas. Luego K() es
el cuerpo de descomposicin sobre K del polinomio X n a, y por tanto K()/K es una extensin
de Galois. Sea G = Gal(K()/K), para todo G, se tiene que () tambin es raz de X n a.
Luego () = , siendo una raz de la unidad (no necesariamente primitiva). La aplicacin
7 es obviamente un monomorfismo de G en el grupo de las races n-simas de la unidad, y
como ste es un grupo cclico de orden n, entonces G es un grupo cclico de orden d, un divisor de
n. Sea G = . Entonces es una raz d-sima primitiva de la unidad, y (d ) = ( )d = d ,
luego d K ya que es fijo bajo G = Gal(K()/K).
DEMOSTRACIN. (a) (b). Sea TE/K () = 0. Existe E tal que TE/K ( ) 6= 0. Sea
1
= (( ) + ( + ())2 ( ) + + ( + () + + n2 ()) n1 ( ))
TE/K ( )
Calculando se ve que () = .
(b) (a). A la inversa, sea = (). Calculemos:
TE/K () = TE/K () TE/K (()) = 0.
DEMOSTRACIN. (1). TE/K (1) = p(1) = 0. Por el teorema 90 existe E tal que 1 = (),
esto es, () = + 1. Luego para todo i, se verifica i () = + i y tiene p conjugados distintos.
Entonces, por el teorema del grado, [K() : K] = p y E = K(). Calculamos:
( p ) = () p () = ( + 1) p ( + 1) = p .
Luego a = p es fijo bajo y todas sus potencias, y est en el cuerpo fijo bajo G que es K. Luego
es raz de X p X a K[X ] que tiene que ser irreducible (razonando sobre el grado).
(2). Si es una raz de f = X p X a, entonces + i tambin lo es para todo i. Luego f tiene p
races distintas. Si una raz est en K, todas estn en K. Supongamos que no hay ninguna raz en
K y que f es reducible. Sea f = g h con g, h K[X ] no triviales. Como d = gr(g) < gr( f ) = p,
entonces g ser el producto de d factores de la forma (X ( + i)). El coeficiente de X d1 es de la
forma d + j para algn entero j. Pero d 6= 0, luego est en K, lo que es una contradiccin.
Sabemos ahora que si no est en K, entonces f es irreducible. Por el mismo razonamiento que
antes todas las races de f estn en K() que es por tanto una extensin normal de K. Como + 1 es
tambin una raz de f , existe un Gal(K()/K) tal que () = + 1. Las potencias de nos dan
todas las dems races: i () = + i. Luego tiene orden p y por tanto Gal(K()/K) = .
Como consecuencia de estos resultados, tenemos caracterizadas las extensiones cclicas en todos los
casos.
Proposicin. 15.5.
(1) Sea F /K una extensin soluble, y sea L/K una extensin arbitraria. Entonces F L/L es una
extensin soluble.
(2) Sea L F K una torre de extensiones separables y finitas. Entonces L/K es soluble si y slo
si L/F y F /K son solubles.
(3) Sean F /K y L/K extensiones solubles. Entonces F L/K es soluble.
Una extensin finita F /K se llama soluble por radicales si es separable y si existe una torre de
extensiones finitas
K = E0 E1 E2 Em = E (III.1)
tal que F E y que cada paso Ei+1 /Ei es de uno de los tipos siguientes:
(1) Ei+1 = Ei () con raz de la unidad.
(2) Ei+1 = Ei () con raz de un polinomio X n a Ei [X ] y n primo relativo con car(K), si sta es
no nula, y existe Ei raz nsima primitiva de la unidad.
(3) Ei+1 = Ei () con raz de un polinomio X p X a Ei [X ] y p = car(K).
Proposicin. 15.6.
(1) Sea F /K una extensin soluble por radicales, y sea L/K una extensin arbitraria. Entonces F L/L
es una extensin soluble por radicales.
(2) Sea L F K una torre de extensiones separable y finitas. Entonces L/K es soluble por radicales
si, y slo si, L/F y F /K son solubles por radicales.
(3) Sean F /K y L/K extensiones solubles por radicales. Entonces F L/K es soluble por radicales.
la torre de extensiones del tipo (III.1) con F E. Definimos una nueva torre:
(2). Sea L/K soluble por radicales. El mismo cuerpo E que contiene a L tambin contiene a F . Luego
F /K es soluble por radicales. Por otra parte, aplicamos el punto anterior a las extensiones L/K (que
es soluble por radicales por hiptesis) y L/F . Nos queda que L = LF /F es soluble por radicales.
A la inversa, sean L/F y F /K solubles por radicales. Sea E el cuerpo que contiene a F y que permite
la torre (III.1). La extensin LE/E es soluble por radicales por el punto anterior. Sea
E = Em Em+1 Em+2 En = LE
la torre que verifica las condiciones de (III.1). Pegamos ambas torres y obtenemos la torre:
K = E0 E1 E2 En = LE L
donde cada paso es de uno de los tipos permitidos. Luego L/K es radical.
(3). Es consecuencia inmediata de los dos puntos anteriores.
Corolario. 15.7.
Sea F /K una extensin separable y finita. Entonces F /K es soluble por radicales si, y slo si, existe
una torre
K = L0 L1 L2 L m = L F
donde cada paso es de uno de los tipos descritos en (III.1), y adems la extensin L/K es de Galois.
DEMOSTRACIN. Slo hay que demostrar la ltima propiedad. Sea F /K soluble por radicales, y sea
K = E0 E1 E2 Em = E
la torre que lo muestra. Para todo : E K ( clausura algebraica de K) que sea la identidad sobre
K, la torre
K = E0 (E1 ) (E2 ) (Em ) = (E)
del mismo tipo, ya que (Ei+1 ) = (Ei )(()). Luego (E)/K es soluble por radi-
tiene cada pasoQ
cales. Sea L = (E). Por el tercer punto de la proposicin anterior, L posee una torre del tipo
buscado. Adems, L/K es la clausura normal de E/K y por tanto es de Galois.
DEMOSTRACIN. (b) (a). Sea F /K soluble. Sea E/K una extensin de Galois con grupo soluble
tal que E F , y sea m el producto de todos los primos que dividen al orden de Gal(E/K). Sea una
raz m-sima primitiva de la unidad. Llamamos L = K(). La extensin E L/L es de Galois con grupo
isomorfo a un subgrupo de Gal(E/K), luego tambin soluble. Tomamos una serie de composicin:
Gal(E L/L) = G0 G1 Gn = 1
Cada cociente Gi /Gi+1 es cclico de orden primo divisor de |G0 |. Por la correspondencia de Galois,
obtenemos una torre de cuerpos:
K L = L0 L1 L n = E L F
donde cada eslabn es una extensin de Galois con grupo Gal(L i+1 /L i )
= Gi /Gi+1 cclico de orden
primo. L i L contiene todas las races de la unidad necesarias. Aplicando los Teoremas (15.2.) o
(15.4.) segn sea el primo, vemos que cada extensin es de uno de los tipos definidos en (III.1).
Luego F /K es soluble por radicales.
(a) (b). Sea ahora F /K soluble por radicales. Por el corolario anterior, existe una extensin de
Galois E/K tal que F E y que existe una torre
K = E0 E1 E2 Em = E
donde cada eslabn es de uno de los tipos descritos en (III.1). Igual que antes, sea m el producto
de todos los primos que dividen a | Gal(E/K)| y sea una raz m-sima de la unidad. Llamamos
L = K(). L/K es de Galois con grupo abeliano y E L/L tambin es de Galois. Llamamos L i = Ei L.
Obtenemos la torre
L = L0 L1 L2 L m = E L
donde cada paso es de uno de los tipos requeridos. Por la correspondencia de Galois, le corresponde
una serie de subgrupos:
Gal(E L/L) = G0 G1 G2 . . . Gm = 1
donde cada cociente G /G
i = Gal(L /L ) es abeliano para el primer tipo de (III.1) y cclico pa-
i+1 i+1 i
ra cada uno de los otros por los Teoremas (15.2.) y (15.4.). Luego Gal(E L/L) es soluble. Como
Gal(L/K) = Gal(E L/K)/ Gal(E L/L) es abeliano, el grupo Gal(E L/K) es soluble y la extensin F /K
es soluble, ya que F E L.
15.1. Ejercicios
Ejercicio. 15.9.
Sea F un cuerpo de caracterstica distinta de 2. Dar una condicin necesaria y suficiente sobre ele-
p p p
, ( ) = ( ). 2) =
p
mentos
p F para que F F Usar esta condicin para determinar si Q( 1
Q(i, 2).
Ref.: 4163e_062 SOLUCIN
Ejercicio. 15.10.
p
Sea F = Q( n a), con a Q, a 0 tal que que [F : Q] = n. Sea E cualquier subcuerpo de F tal que
p
[E : Q] = d. Demostrar que E = Q( d a).
p
Nota: considerar NF /E ( n a) E.
Ref.: 4163e_063 SOLUCIN
Ejercicio. 15.11.
Sea F como en el Ejercicio (15.10.). Demostrar que si n es impar entonces F no tiene extensiones
intermedias de Galois sobre Q y que si n es par, la nica extensin intermedia de F que es de Galois
p
sobre Q es Q( a).
Ref.: 4163e_064 SOLUCIN
Ejercicio. 15.12.
Sea L la clausura de Galois del cuerpo F en los dos ejercicios anteriores. Demostrar que [L : Q] =
n(n)
n(n) .
2
Nota: Q(n ) F es una extensin de Galois sobre Q.
Ref.: 4163e_065 SOLUCIN
Ejercicio. 15.13.
Sea K una raz nsima primitiva de la unidad y car(K) - n. Sea F /K una extensin cclica con
[F : K] = d |n. Prueba:
p
(1) Se tiene F = K( n a), para a K.
(2) Sea Gal(F /K) = , grupo cclico de orden d, se tiene () = , para una raz dsima
primitiva de la unidad.
p p n
j
p pn ( n a) ( b)
(3) Si F = K( a) = K( b), entonces p
n
n
= pn
, para j entero primo relativo con d.
a b
pn
p
n j
Como
p consecuencia
p a/ b K.
n
(4) K( n a) = K( b) si, y slo si, a y b generan el mismo subgrupo de K /K n si, y slo si, existen
h, k N y c, d K tal que a = bh c n y b = a k d n .
Ejercicio. 15.14.
p p
Sean p, q, r enteros primos positivos con q 6= r. Sean p q y p r las races de los polinomios X p q y
p p
X p r. Demuestra que Q( p q) 6= Q( p r).
Ref.: 4163e_066 SOLUCIN
Ejercicio. 15.15.
p
Sea K un subcuerpo de R, a K y = n a una raz n-sima real de a. Demuestra que:
(1) Si n = p es primo, entonces [K() : K] es 1 p.
(2) Si K()/K es de Galois entonces [K() : K] 2.
Ejercicio. 15.16.
Se considera el polinomio (X 14 1)(X 15 2) Q[X ].
(1) Prueba que Q(14 ) Q(15 ) = Q.
p
15
(2) Prueba que Q( 2) Q(15 ) = Q.
(3) Si E es el cuerpo de descomposicin determina el grado de la extensin E/Q.
Ejercicio. 15.17.
Sea p un entero primo positivo. Determina el grupo de Galois de la extensin de F p por las races
nsimas de la unidad, siendo p - n.
Pista.
(1) Si 0 , 1 , . . . , n1 son la races nsimas de la unidad, prueba que F p (0 , 1 , . . . , n1 )/F p est
generado por una de las races ; cada uno de los generadores se llama una raz nsima
primitiva de la unidad sobre F p .
(2) Tenemos que el grupo de las races nsimas de la unidad, {0 , 1 , . . . , n1 }, es un subgrupo
del grupo multiplicativo de F p () = F ps . Para determinar el grupo de Galois hay que averiguar
el valor de s; el grado de la extensin F p ()/F p es igual a s, y por lo tanto el grupo de Galois
pedido es el grupo cclico de orden s.
s
(3) Como F p () = F ps , se verifica X n 1 | X p 1 1, por lo tanto n | ps 1. Para terminar, solo
queda probar que s es el menor entero positivo que verifica n|ps 1
Ejercicio. 15.18.
Sea K un cuerpo. Si K()/K, K()/K son extensiones de Galois abelianas, entonces K( + )/K es
una extensin de Galois abeliana.
Ref.: 4163e_073 SOLUCIN
Ejercicio. 15.19.
Demostrar que f (X ) = X p X a F p [X ], 6= 0, es irreducible sobre F p o descompone completa-
mente.
Demostrar que f (X ) F pn [X ] es irreducible sobre F pn si, y slo si, no tiene factores lineales.
Ref.: 4163e_079 SOLUCIN
Ejercicio. 15.20.
Sea K un cuerpo que no contiene una raz cuarta primitiva de la unidad. Para K \ K 2 se define
p
F = K( ), y para F \ F 2 se define E = F ( ).
p
Ejercicio. 15.21.
Sea F un cuerpo extensin separable de K de grado n. Demostrar que un elemento de F es primitivo
si, y slo si, tiene n conjugados en una clausura algebraica de K conteniendo a F .
Ref.: 4163e_093 SOLUCIN
Ejercicio. 15.22.
Hallar un elemento primitivo sobre Q para
p p 3
(1) Q( p 2, 3).
(2) Q(i,
p 2).
p
3 5
(3) Q( 5, 7).
Ejercicio. 15.23.
Sean n1 , . . . , n t Z positivos mayores que 1, libres de cuadrados y primos relativos dos a dos, en-
p p
tonces dim(Q( n1 , . . . , n t )) = 2 t .
Ref.: 4163e_081 SOLUCIN
Ejercicio. 15.24.
Sean p1 , . . . , p t son enteros primos positivos distintos dos a dos. Prueba que
p p
(1) Gal(Q( p1 , . . . , p t )/Q) = Z2t .
p p p p
(2) Q( p1 , . . . , p t ) = Q( p1 + + p t ).
Ejercicio. 15.25. p
4
Demostrar que Q( 5, i) es una extensin cclica de Q(i) y encontrar un generador de
p4
Gal(Q( 5, i)/Q).
Ref.: 4163e_095 SOLUCIN
Ejercicio. 15.26. p p
Prueba que la extensin Q( 2 + 2)/Q es cclica de grado cuatro.
Compara con el Ejercicio (12.45.).
Ref.: 4163e_097 SOLUCIN
Ejercicio. 15.27.
Se considera la sucesin {n }n , definida:
0 = 0, p
n+1 = 2 + n para todo n N.
Ejercicio. 15.28.
Prueba que existe un cuerpo K, que no es algebraicamente cerrado, tal que toda extensin finita
algebraica F /K es una extensin cclica de grado una potencia de 2.
Ref.: 4163e_109 SOLUCIN
Ejercicio. 15.29.
Prueba que existe un cuerpo K, que no es algebraicamente cerrado, tal que toda extensin finita
algebraica es de orden una potencia de 3.
Ref.: 4163e_110 SOLUCIN
Ejercicio. 15.30.
Sea f (X ) K[X ] un polinomio irreducible separable y F el cuerpo de descomposicin de f (X ).
Prueba que si Gal(F /K) es un grupo cclico, entonces F = K(), esto es, F /K es una extensin
simple.
Ref.: 4163e_099 SOLUCIN
Ejercicio. 15.31.
Sea F = K()/K una extensin finita separable. Si f (X ) = Irr(, K) y llamamos D f (X ) a su derivada,
f (X )
sea X = b0 + b1 X + + bn1 X n1 F [X ]. Prueba que la base dual de {1, , . . . , n1 } es
b0 bn1
,..., .
D f () D f ()
Introduccin
Introduccin.
4164-00.tex
SEC. 16. GRUPO DE GALOIS COMO GRUPO DE PERMUTACIONES 209
Hasta ahora hemos estudiado las extensiones finitas de cuerpos en trminos de su grupo de automor-
fismos. Vamos ahora a aplicar esta teora al estudio de las soluciones de una ecuacin polinmica.
Consideramos a lo largo de este tema un polinomio separable f (X ) con coeficientes en un cuerpo K;
si llamamos E al cuerpo de descomposicin de f (X ) sobre K, la extension E/K es una extensin de
Galois.
Supongamos que las races de f (X ), en una clausura algebraica K de K, son 1 , . . . , n , el cuerpo de
descomposicin de f sobre K es E = E( f /K) = K(1 , . . . , n ). Sea G = Gal(E/K).
Cada Gal(E/K) est completamente determinado por su accin sobre 1 , . . . , n , que son las
races de f (X ), por eso la imagen de un i por es otra j ; en consecuencia, cada Gal(E/K)
define una permutacin de {1, . . . , n} mediante
Lema. 16.1.
Existe un homomorfismo inyectivo de grupos de Gal(E/K) al grupo simtrico Sn .
DEMOSTRACIN.
(i) = (i ) = ( (i) ) = (i)
Tenemos que Gal(E/K) es isomorfo a su imagen en Sn . Vamos a llamar a esta imagen Gal( f /K). La
diferencia entre estos dos grupos es que el primero es un grupo de automorfismos y el segundo es
un grupo de permutaciones.
Observacin. 16.2.
El grupo Gal( f /K) no est determinado de manera nica por la extensin, sino que depende de la
numeracin elegida para las races: Si cambiamos el orden de las races, cambiamos Gal( f /K) por
otro grupo, conjugado suyo dentro de Sn . A pesar de ello, para simplificar la notacin normalmente
identificamos Gal(E/K) con su imagen en Sn , y pasamos libremente de Gal(E/K) a Gal( f /K)
y viceversa. En cada caso el contexto dejar claro si es un automorfismo o una permutacin.
Representamos a ambos grupos por la letra G.
Ejemplo. 16.3.
Sea K = Q, f (X ) = X 4 5X 2 + 6 = (X 2 2)(X 2 3). Las races de f (X ) son:
p p p p
1 = 2, 2 = 2, 3 = 3, 4 = 3.
4164-01.tex
p p
El cuerpo de descomposicin de f es E = Q( 2, 3) y el grupo de Galois es G = Gal(E/Q) =
{1, 1 , 2 , 1 2 }, donde p p p p
1 (p2) =
p 2, 1 ( 3) = 3,
p p
2 ( 2) = 2, 2 ( 3) = 3.
Entonces Gal( f /Q) = {1, (1 2), (3 4), (1 2)(3 4)}. Si hubisemos escogido otra numeracin para las
races, obtendramos un grupo distinto, pero conjugado del anterior.
Ejemplo. 16.4.
Sea K = Q y sea f (X ) = X 3 2 Q[X ]. Si es una raz de f (X ) y una raz cbica primitiva de
la unidad. El cuerpo de descomposicin de f es E = Q(, ). Las races de f (X ) son , , 2 y
tenemos [E : Q] = 6.
(1) Cualquier permutacin de las races define un automorfismo, luego Gal( f /K) = S3 .
(2) Sobre K = Q() el grupo es Gal( f /Q()) = A3 : en este caso las races pueden permutarse de
forma cclica y no de otra manera.
(3) Sobre Q(), Gal( f /Q()) es cclico de orden 2: debe permanecer fija, y podemos intercambiar
y 2 .
El primer problema a estudiar es cmo calcular el grupo de Galois de un polinomio. Vamos a obtener
propiedades del polinomio f (X ) a partir de su grupo de Galois Gal( f /K), y a la inversa, restricciones
para posibles valores del grupo de Galois a partir de propiedades del polinomio.
Proposicin. 16.5.
Sea f (X ) K[X ] un polinomio de grado n, sin races mltiples, y sea G = Gal( f /K) su grupo de
Galois, son equivalentes las siguientes afirmaciones:
(a) f (X ) es irreducible;
(b) Gal( f /K) Sn es un subgrupo transitivo.
m6 K
mmm O
0 mmmm
mmm
mmmmm ?
m
EO _ _ _ _ _ _ _ _/ EO
?
?
K(O 1 ) / K( )
O i
? ?
K K
Corolario. 16.6.
Sea f (X ) K[X ] sin races mltiples. Sea f (X ) = f1 f r la factorizacin en irreducibles sobre K.
Dos ceros i , j de f (X ) son races del mismo f k si, y slo si, i, j estn en la misma rbita bajo
G = Gal( f /K)
DEMOSTRACIN. Supongamos que i, j estn en la misma rbita. Entonces existe G tal que
(i ) = j . Luego i , j son conjugados y por tanto son races del mismo polinomio irreducible.
Sean ahora i , j races del mismo polinomio irreducible. Entonces son conjugados. Luego existe
G tal que (i ) = j y j = (i) est en la rbita que i.
Sea f (X ) K[X ] un polinomio separable, si F /K es una extensin de cuerpos, entonces el polinomio
f (X ) es tambin separable sobre F y tenemos una extensin de Galois F (1 , . . . , n )/F . De cara a
relacionar los dos grupos de Galois Gal( f /K) y Gal( f /F ) tenemos:
? ?
E = K(
? 1
, . . . , n ) _ _ _ _ _ _ _/ E = K(
? 1
, . . . , n )
/ /
FO FO
? / ? /
K K
Dado Gal(F (1 , . . . , n )/F ), como aplica cada i en otro j , entonces (E) E y por tanto
|E Gal(E/K). Es claro que la aplicacin 7 |E es inyectiva y es un homomorfismo de grupos.
Corolario. 16.8.
Si Gal( f /K) es un grupo simple, para cada extensin F /K tenemos que Gal( f /F ) = Gal( f /K) es
trivial.
Podemos aplicar este resultado en el caso en el que Gal( f /K) tiene orden un nmero primo.
Dentro de los subgrupos de Gal( f /K) tenemos el subgrupo Gal( f /K)An ; este subgrupo es de ndice,
como mximo, dos, por lo tanto es siempre normal. Estamos interesados en calcular el subcuerpo
fijo asociado a este subgrupo. Para este fin vamos a recordar la definicin de discriminante de un
polinomio f (X ).
n2 n
Y Y
Discr( f (X )) = (i j )2 = (1) 2 (i j ),
i< j i6= j
y por tanto, para cada permutacin Sn tenemos que Discr( f (X )) queda invariante. Como con-
secuencia Discr( f (X )) es invariante ante los elementos de Gal( f /K), esto es, Discr( f (X )) K. En
cambio, si consideramos , la raz cuadrada de Discr( f (X )),
Y
= (i j ),
i< j
Teorema. 16.9.
Si f (X ) es un polinomio que no tiene races mltiples y K es un cuerpo de caracterstica distinta de
2, entonces K() es el cuerpo fijo asociado a Gal( f /K) An , o equivalentemente Gal( f /K) An =
Gal( f /K())
+
DEMOSTRACIN. Llamamos G + = Gal( f /K) An y F = E G . Para cada Gal( f /K) An tenemos
que () = , ya que el nmero de cambios i j 7 j i es par por lo que no vara el signo
del producto. En consecuencia F y por tanto K() F . Si se verifica [F : K] = (G : G + ) = 1,
entonces F = K() = K y tenemos el resultado. En cambio, si [F : K] = (G : G + ) = 2, entonces
existe una permutacin impar G que debe verificar () = , por lo tanto K() \ K, y
tenemos K() = F .
Corolario. 16.10.
En la situacin anterior, el grupo de Galois de f (X ) est incluido en An si, y slo si, Discr( f (X )) es
un cuadrado en K.
16.1. Ejercicios
Ejercicio. 16.11.
Sea K un cuerpo de caracterstica distinta de 2 en el que 1 es un cuadrado. Sea d K tal que
p p p
d/ K. Demuestra que d no es cuadrado en K( d).
Ref.: 4164e_030 SOLUCIN
Ejercicio. 16.12. p p
3 4
Prueba que K = Q(i 2, 3) es una extensin de Galois de Q.
Ref.: 4164e_019 SOLUCIN
Ejercicio. 16.13.
En la Proposicin (8.11.) tenemos que si E/K es una extensin finita de Galois, para cada extensin
[E : K][F : K]
finita F /K se verifica [E F : K] = . Da un ejemplo en el que se pruebe que la condicin
[E : E F ]
de Galois es necesaria.
Ref.: 4164e_023 SOLUCIN
Cbicas
Ejercicio. 16.14.
Sea K un cuerpo de caracterstica distinta de 2 y f (X ) K[X ] una cbica con discriminante un
cuadrado en K. Demuestra que f (X ) es irreducible se descompone completamenteen K.
Ref.: 4164e_031 SOLUCIN
Ejercicio. 16.15.
Demuestra que sobre cualquier cuerpo K, el polinomio X 3 3X + 1 es irreducible o descompone
completamente.
Ref.: 4164e_006 SOLUCIN
Ejercicio. 16.16.
Sea K R y f (X ) K[X ] una cbica irreducible con discriminante . Demuestra que
(1) Si f (X ) tiene tres races reales, entonces Discr( f (X )) 0.
(2) Si f (X ) tiene exactamente una raz real, entonces Discr( f (X )) < 0.
Ejercicio. 16.17.
Calcula
p
(1) Gal(X 3 X 1) sobre Q ypsobre Q( p23).
(2) Gal(X 3 10) sobre Q, Q( 3) y Q( 2). p
(3) Gal((X 3 2)(X 3 3)(X 2 2)) sobre Q( 3).
(4) Gal((X 3 2)(X 2 3)(X 2 5)(X 2 7)) sobre Q.
(5) Gal((X 3 2)(X 2 5)) sobre Q.
(6) Gal((X 3 2)(X 2 + 3)) sobre Q.
Ejercicio. 16.18.
Sea K un cuerpo finito de caracterstica 6= 2 y f = X 3 + pX + q K[X ] un polinomio irreducible.
Demuestra que 4p3 27q2 es un cuadrado en K.
Ref.: 4164e_005 SOLUCIN
Ejercicio. 16.19.
Sea una raz del polinomio X 3 + 2X + 1 Q[X ]. Si K = Q(), tiene el polinomio X 3 + X + 1 una
raz en K?
Ref.: 4164e_028 SOLUCIN
Ejercicio. 16.20.
Sea f (X ) K[X ] un polinomio irreducible separable de grado 3 con grupo de Galois S3 sobre K y
races 1 , 2 , 3 F , siendo F el cuerpo de descomposicin de f (X ) sobre K. Prueba que los cuerpos
intermedios entre K y F son K, K(1 ), K(2 ), K(3 ), K(), F .
Ref.: 4164e_033 SOLUCIN
Curticas
Ejercicio. 16.21.
Calcula
p p
(1) Gal(X 4 5) sobre Q, Q( 5), Q( 5, i), Q(i).
(2) Gal(X 4 + 3X 3 + 3X 2) sobre Q.
(3) Gal(X 4 + 2X 2 + X + 3) sobre Q.
(4) Gal(X 4 a) sobre Q con a Z, a 6= 0, 1 y libre de cuadrados.
(5) Gal(X 4 + 2) sobre Q, Q(i).
(6) Gal(X 4 t) sobre C(t), R(t) con t un elemento transcendente.
(7) Gal(X 4 3X 2 + 4) sobre Q.
(8) Gal(X 4 + 5X 2 + 6) sobre Q.
(9) Gal(X 4 + 4X 3 + 6X 2 + 4X 1) sobre Q.
(10) Gal(X 4 2)(X 2 3)(X 2 5)(X 2 7)) sobre Q.
Ejercicio. 16.22.
Sea f (X ) una curtica irreducible y separable sobre un cuerpo K y sea una raz de f . Demuestra
que no existe ningn cuerpo intermedio entre K y K() si, y slo si, Gal( f /K) es S4 A4 .
Ref.: 4164e_010 SOLUCIN
Ejercicio. 16.23.
Sea f (X ) una curtica irreducible sobre un cuerpo K R. Demuestra que si f (X ) tiene exactamente
dos races reales entonces Gal( f /K) es S4 A4 .
Ref.: 4164e_011 SOLUCIN
Subgrupos transitivos
Ejercicio. 16.24.
Prueba que si G Sn es un subgrupo transitivo, entonces n divide a |G|.
Ref.: 4164e_036 SOLUCIN
Ejercicio. 16.25.
Prueba que Sn est generado por el ciclo = (1 . . . n) y la trasposicin = (12).
Ref.: 4164e_037 SOLUCIN
Ejercicio. 16.26.
Demuestra que el nico subgrupo transitivo de Sn que contiene a una transposicin y a un ciclo de
orden n 1 es Sn .
Ref.: 4164e_003 SOLUCIN
Ejercicio. 16.27.
Sea p un entero primo positivo.
Ejercicio. 16.28.
Prueba que si G Sn es un subgrupo transitivo que est generado por trasposiciones, entonces
G = Sn .
Ref.: 4164e_039 SOLUCIN
Ejercicio. 16.29.
Prueba que si G Sn es un subgrupo transitivo y abeliano, entonces |G| = n
Ref.: 4164e_040 SOLUCIN
Ejercicio. 16.30.
Sea f K[X ] un polinomio irreducible y separable con cuerpo de descomposicin E. Prueba que
existe Gal(E/K) tal que () 6= para cada raz de f .
Ref.: 4164e_041 SOLUCIN
Qunticas
Ejercicio. 16.31.
Sea K R y f (X ) K[X ] un polinomio irreducible de grado p primo.
(1) Demuestra que si f tiene exactamente dos races no reales, entonces Gal( f /K)
= Sp .
(2) Calcula el grupo de Galois de X 5 6X + 3 sobre Q.
Sxticas
Ejercicio. 16.32.
Encuentra el cuerpo de descomposicin F sobre Q del polinomio f (X ) = X 6 + X 3 +1. Demuestra que
Gal( f /Q) es cclico y que tiene un nico subgrupo H de orden tres. Encuentra el cuerpo fijo para H.
Ref.: 4164e_007 SOLUCIN
Ejercicio. 16.33.
Consideramos el polinomio f (X ) = X 6 2X 3 2 Q[X ], y sea F su cuerpo de descomposicin.
p
(1) Demuestra que f es irreducible sobre Q y que sus races son las tres races cbicas de 1 3.
(2) Demuestra que F contiene una raz p cbica primitiva de la unidad y deduce que contiene a la
extensin bicuadrtica L1 = Q(i, 3). p p 3
(3) Tomando el producto de dos races de f deduce que F contiene a la extensin L = Q(i, 3, 2).
(4) p
Tomando elp cociente de dos races reales del polinomio f (X ), deduce que lospnmeros reales
3 p 3 p p3 p 3 p
2 + 3 y 2 3 estn en F . Demuestra que el elemento = 2 + 3 + 2 3 F es
una raz real de la cbica X 3 3X 4 cuyo discriminantepes 22 34 y concluye que la clausura
3
normal de Q() contiene a Q(i); en particular Q() 6= Q( 2).
(5) Demuestra que [L : Q] = 12 y deduce que [F : Q] = 12 36.
(6) Si suponemos que [F : Q] = 12, demuestra que todo F contiene exactamente tres subextenioens
de grado tres sobre Q plo que es imposible.
3 p p 3
(7) Prueba que F = Q(, 1 + 3, 2), y describe los elementos de Gal(F /Q).
(8) Prueba que G = S3 S3 .
Races
Ejercicio. 16.35.
Sean y races de un polinomio irreducible f (X ) K[X ], siendo K un cuerpo perfecto.
(1) Prueba que [K() : K] = [K() : K].
(2) Prueba que K()/K = K()/K.
(3) Sea E un cuerpo de descomposicin de f (X ) sobre K tal que , E. Existe siempre un
automorfismo : E/K E/K tal que f () = ?
(4) Existe siempre : E/K E/K tal que () = y () = , dejando las dems races fijas.
(5) Existe : E/K E/K, 6= id, tal que () = ?
Ejercicio. 16.36.
Sean y races de un polinomio irreducible f (X ) K[X ] tal que n K. Prueba que verifica
esta misma relacin.
Ref.: 4164e_025 SOLUCIN
Ejercicio. 16.37.
Sea K un cuerpo de caracterstica p, y a K. Prueba que si el polinomio X p a no tiene races en
K, entonces X p a es irreducible sobre K.
Ref.: 4164e_026 SOLUCIN
Grupo de Galois
Ejercicio. 16.38.
Se consideran a, b, d Z tales que d y a2 d b2 son libres de cuadrados. Determina el grupo de
p p
Galois de la extensin Q( a + b d)/Q.
Ref.: 4164e_027 SOLUCIN
Ejercicio. 16.39.
Sean p1 , . . . , p t Z enteros primos positivos distintos dos a dos. Prueba que se verifica:
p p p
Gal(Q( p1 , p2 , . . . , p t ))
= Z2 t .
Ref.: 4164e_018 SOLUCIN
Ejercicio. 16.40.
Sea f (X ) un polinomio (irreducible) de grado n con grupo de Galois Gal( f /Q) = Sn . Si es una
raz de f (X ), y F = K(), prueba que no existen cuerpos intermedios en la extensin F /K.
Ver Ejercicio (8.37.).
Ref.: 4164e_021 SOLUCIN
Ejercicio. 16.41.
Sea f (X ) K[X ] un polinomio separable y g un factor irreducible de f . Acta transitivamente
G = Gal( f /K) sobre las races de g?
Ref.: 4164e_035 SOLUCIN
Ecuaciones cuadrticas
Sea f (X ) = X 2 + a1 X + a0 , su discriminante es 2 = a12 4a0 entonces se verifica:
S2 , si a12 4a0 no es un cuadrado en K
G p = Gal( f /K) =
A = {1}, si a2 4a es un cuadrado en K
2 1 0
Ecuaciones cbicas
Sea f (X ) = X 3 + a2 X 2 + a1 X + a0 , su discriminante es
Puede ocurrir que f (X ) sea reducible, en este caso tiene una raz y por lo tanto existe una factoriza-
cin f (X ) = (X )g(X ). Como queda fijo por Gal( f /K), resulta que Gal( f /K) = Gal(g/K) y el
problema se reduce al caso cuadrtico.
Si el polinomio es irreducible, entonces su grupo de Galois es un subgrupo transitivo de S3 ; como
nicamente tenemos dos: A3 y S3 , se verifica:
S3 , si 2 no es un cuadrado en K
G p = Gal( f /K) =
A , si 2 es un cuadrado en K
3
Ecuaciones curticas
Sea f (X ) = X 4 + a3 X 3 + a2 X 2 + a1 X + a0 , su discriminante es
2 = 4a33 a13 128a22 a02 + 16a24 a0 4a23 a12 27a34 a02 + 256a03 27a14 6a32 a12 a0
192a3 a1 a02 + 18a3 a13 a2 + 144a2 a32 a02 + a22 a32 a12 4a23 a32 a0 + 144a0 a12 a2
80a3 a1 a22 a0 + 18a33 a1 a2 a0 .
Caso 1. f (X ) tiene una raz, en este caso f (X ) = (X )g(X ), y como queda fijo por Gal( f /K),
resulta que Gal( f /K) = Gal(g/K) y el problema se reduce al caso cbico.
Caso 2. Si f (X ) = g1 (X )g2 (X ), con g i (X ) irreducibles de grado dos, tenemos la siguiente situacin
E( f )G
w GG
ww GG
www GG
GG
w
ww
E(g1 )dH E(g2 )
HH v:
HH vvv
HH v
HH vv
vv
K
Como E(g1 )/K y E(g2 )/K son extensiones normales, los grupos Gal( f /E(g1 )) y Gal( f /E(g2 )) son
subgrupos normales de Gal( f /K).
Tenemos que Gal( f /K) es un subgrupo del grupo (1 2), (3 4). Para ver qu grupo es estudiamos
los discriminantes de g1 y g2 , en efecto tenemos:
S4
@@
@@
@@
@
A4 D4
@@ ~ @@
@@ ~~ @@
@@ ~ @@
@@ ~~ @
~~
V C4
Podemos suponer C4 = (1 2 3 4), D4 = (1 2 3 4), (1 4), V = (1 2)(3 4), (1 3)(2 4). Observa-
mos que cuatro de estos tipos contienen al subgrupo V ; estudiamos entonces el comportamiento de
Gal( f /K) con respecto a V de la siguiente forma.
Llamamos
1 = 1 2 + 3 4 ,
2 = 1 3 + 2 4 ,
3 = 1 4 + 2 3 .
Estos elementos quedan fijos por V y a la inversa, si una permutacin deja fijos a todos los i ,
entonces esta permutacin pertenece a V .
Es posible expresar los coeficientes de g(X ) en trminos de los coeficientes de f (X ), ya que son
polinomios simtricos en las races de f (X ). En nuestro caso si g(X ) = X 3 + b2 X 2 + b1 X + b0 , resulta
b2 = a2
b1 = a1 a3 4a0
b = a2 a + 4a a a2
0 3 0 2 0 1
Se verifica pues Gal( f /E(g)) = Gal( f /K) V . En efecto, si llamamos G = Gal( f /K), se tiene
E
m
. E GV
=?
n/m E(g)
. K
En este caso
{1, (1 2 3), (1 3 2), (1 2), (1 3), (2 3)}
es un conjunto de representantes de clases a la izquierda de V en S4 . Tenemos
StabS4 (1 2 ) = V , entonces StabG (1 2 ) = G V .
La rbita de 1 2 tiene | OrbG (1 2 )| = [G : StabG (1 2 )] = [G : G V ] elementos.
1 2 tiene [G : G V ] conjugados, y [E GV : K] [E(g) : K] [G : G V ] = [E GV : K].
Teorema. 17.1.
Sea f (X ) un polinomio irreducible de grado 4 con resolvente cbica g(X ). Se verifica
(1) Si g(X ) es irreducible y 2 no es un cuadrado en K, entonces Gal(g/K) = S3 , y Gal( f /K) = S4 ;
(2) Si 2
g(X ) es irreducible y es un cuadrado en K, entonces Gal(g/K) = A3 , y Gal( f /K) = A4 ;
(3) Si g(X ) tiene tres races en K, entonces Gal(g/K) = 1, y Gal( f /K)
= V;
(4) Si
g(X ) tiene una nica raz en K, entonces Gal(g/K) = C2 , y Gal( f /K) es isomorfo a C4 a D4 .
(1). Tenemos Gal(g/K) = S3 , entonces de (IV.2) se deduce que | Gal( f /K) | es un mltiplo de 6, y
por tanto Gal( f /K) = S4 A4 . Si Gal( f /K) = A4 , entonces Gal( f /K) V = V y tenemos
(2). Tenemos Gal(g/K) = A3 , entonces de (IV.2) obtenemos que | Gal( f /K) | es un mltiplo de 3, y
por tanto Gal( f /K) = S4 A4 . Pero como
Proposicin. 17.2.
Sea f (X ) K[X ] un polinomio irreducible con resolvente cbica g(X ) y Gal(g/K) = C2 . Si 2 =
1 3 + 2 4 , es la nica raz de g que hay en K, son equivalentes:
Observa que para cualquier cuerpo F K se tiene: Gal( f /F ) (1 3)(2 4) si, y slo si, las cuatro
races de este polinomio estn en F . Calculando los coeficientes de los productos de los dos primeros
factores y los dos ltimos, nos queda que es precisamente el polinomio h del enunciado. Finalmente,
los dos factores cuadrticos formados tienen sus coeficientes en K y descompondrn en factores
lineales en F si, y slo si, las races cuadradas de sus discriminantes pertenecen a F .
Ejemplo. 17.3.
Clculo del grupo de Galois de polinomios bicuadrticos. Sea f (X ) = X 4 +aX 2 + b K[X ] irreducible
sobre K. Tenemos:
p ) = X aX 4bX + 4ab = (X a)(X 4b)
3 2 2
(1) Resolvente cbica: g(X
(2) K( Discr( f )) = K( b).
p
p
Entonces Gal( f /K) = V si, y slo si, Gal(g/K) = {1}, si, y slo si, b K. En otro caso, Gal(g/K) =
C2 ; en la Proposicin (17.2.) los dos elementos del ltimo apartado son:
p
0 4(a a) = 0, a2 4b
p
b K Gal( f /K) = V,
p
p b(a2 4b) K Gal( f /K) = C4 ,
b/K p
b(a2 4b) / K Gal( f /K) = D4 .
Ejemplo. 17.4.
Clculo del grupo de Galois de los polinomios recprocos. Sea f (X ) = X 4 +aX 3 + bX 2 +aX +1 K[X ]
irreducible sobre K. Tenemos:
(1) Resolvente cbica: g(X ) = X 3 bX 2 +(a2 4)X +(2a2 +4b) = (X 2)(X 2 +(2 b)X +(a2 2b).
(2) El discriminante del segundo factor es: (2 b)2 4(a2 2b) = (2 + b)2 4a2 = (2 + b + 2a)(2 +
b 2a).
Aplicacin de Mathematica
El siguiente es un mtodo alternativo para determinar el grupo de Galois de un polinomio cuadrtico.
Si consideramos un polinomio f (X ) K[X ] de grado 4, para calcular su grupo de Galois procedemos
como sigue.
Calculamos la descomposicin en irreducibles de f (X ).
Caso 1. Si f (X ) = (X 1 )(X 2 )(X 3 )(X 4 ), el grupo de Galois es trivial.
Caso 2. Si f (X ) = (X 1 )(X 2 ) f1 (X ), el grupo de Galois es C2 .
Caso 3. Si f (X ) = (X ) f1 (X ), entonces p f1 (X ) es de grado 3 e irreducible, luego p basta calcular el
discriminante y comprobar si Discr( f1 (X )) K, o equivalentemente Discr( f (X )) K.
Caso 4. Si f (X ) = f1 (X ) f2 (X ), (X ) /Ko
p
ambos de grado 2, el grupo de f es C2 C2 , si Discr(p)
) ) /
p p
equivalentemente Discr( f 1 Discr( f 2 K, y es C 2 , si Discr(p) K o equivalentemente
si Discr( f1 ) Discr( f2 ) K.
p
y el polinomio se escribe, como producto de polinomios irreducibles, en una de las siguientes formas,
lo que permite identificar el grupo de Galois:
p
/K Gal( f /K) = S4 .
Discr(p)
(X ) = (X ) (X )
f 1 1 f
Gal( f /K) = A4 .
p
Discr(p) K
f (X ) = (X 1 ) f1 (X ) f2 (X ) Gal( f /K) = D4 .
p
Discr(p) /K Gal( f /K) = C4 .
f (X ) = (X 1 ) f1 (X ) f2 (X ) f3 (X ) p
Gal( f /K) = V.
Discr(p) K
Es claro que para poder hacer esto es necesario poder estudiar polinomios en la extensin K(1 ).
Polinomios de grado 5
Sea f (X ) K[X ] un polinomio de grado 5.
Quntica reducible
Caso 1. f (X ) = (X ) f1 , tenemos que Gal( f /K) = Gal( f1 /K), que es una curtica ya discutida.
Caso 2. f (X ) = f1 f2 con f i irreducible, gr( f1 ) = 3, gr( f2 ) = 2. Si 1 , 2 , 3 son las races de f1 (X ), y
4 , 5 las de f2 (X ), entonces
(1) G = Gal( f /K) es un subgrupo de H = (1 2 3), (1 2), (4 5).
(2) G acta transitivamente sobre el conjunto {1, 2, 3} y tambin sobre el conjunto {4, 5};
entonces 6 | |G|.
(3) Como H = S3 S2
= D6 , el grupo H es de orden 12 y contiene exactamente tres sub-
grupos de orden 6. De todos ellos, S3 = (1 2 3), (1 2) no es transitivo sobre {4, 5}, as
que slo nos quedan tres posibilidades, que podemos distinguir por los discriminantes
de f1 y f2 :
(1 2 3), (1 2)
= S3 No puede ocurrir, no es transitivo sobre {4, 5}
H A5 = (1 2 3), (1 2)(4 5)
= S3 Discr( f1 ) Discr( f2 ) K.
p
), Discr( f1 ) Discr( f2 )
/ K.
p p
H = A S Discr( f
3 2 1
(1 2 3), (4 5) Discr( f1 ) K, Discr( f1 ) Discr( f2 ) / K.
p p
= A3 S2
Quntica irreducible
S5 B
~~ B BB
~~~ BB
BB
~~
A5 @ F20
@@ ||
@@
@@ |||
|
||
D5
C5
Para distinguir en este caso buscamos un elemento primitivo para el cuerpo fijo bajo G F20 . Para
ello formamos los elementos:
1 = 1 2 + 2 3 + 3 4 + 4 5 + 5 1 ,
01 = (1 2 4 3)1 = 2 4 + 4 1 + 1 3 + 3 5 + 5 2 ,
1 = 14 (1 01 )2 .
clasificacin:
Discr( f ) i Gal( f /K)
p
/K
/K
S5
K /K
A5
/K
K F20
K K D5 , C5
Observa que tenemos el problema de discriminar entre D5 y C5 .
Los coeficientes de g son polinomios simtricos en los i y por tanto se pueden calcular como poli-
nomios en los coeficientes de f (X ). En general este clculo es largo y tedioso y la expresin obtenida
bastante grande. Slo vamos a citarla en un caso sencillo. Sea
f (X ) = X 5 + aX + b.
En las secciones anteriores hemos acotado el grupo Gal( f /K), es decir, hemos obtenido criterios para
que Gal( f /K) sea un subgrupo de otros grupos conocidos de S5 . En esta seccin vamos a acotarlo
por abajo, o sea, determinaremos condiciones para que Gal( f /K) contenga elementos (y por tanto
subgrupos) de S5 .
Empezamos describiendo un mtodo constructivo general para calcular el grupo de Galois sobre
cualquier cuerpo en el que sepamos factorizar polinomios y a partir de l expondremos un mtodo
rpido y til cuando K = Q y n = 5.
Sean t 1 , . . . , t n indeterminadas en nmero igual al grado de f (X ), y 1 , . . . , n las races de f (X ).
Formamos las extensiones K 0 = K(t 1 , . . . , t n ) y E 0 = K 0 E = K 0 (1 , . . . , n ).
Lema. 17.5.
La extensin E 0 /K 0 es de Galois, y Gal(E 0 /K 0 )
= Gal(E/K).
Lema. 17.6.
Sean , Sn . Entonces ( ) = ( ) si, y slo si, = .
Corolario. 17.7.
es un elemento primitivo para E 0 /K 0 .
Para describir el grupo de Galois Gal( f /k) hacemos actuar Sn sobre K 0 mediante (h(t 1 , . . . , t n )) =
h(t (1) , . . . , t (n) ).
Teorema. 17.8.
Gal( f /K) = { Sn | (1 ) = 1 }.
DEMOSTRACIN. Calculemos:
!
Y Y
(1 ) = (X ( )) = (X ( )) ,
Gal( f /K) Gal( f /K)
as que (1 ) = 1 si, y slo si, para todo Gal( f /K) existe 1 Gal( f /K) tal que = 1 si, y
slo si, = 1 1 Gal( f /K).
Es claro que 1 es un divisor de Y
= (X ( )) K 0 . (IV.3)
Sn
Los coeficientes de son polinomios simtricos en los i y conocemos algoritmos para expresarlos
como polinomios en los coeficientes de f (X ).
Del Teorema (17.8.) podemos extraer un algoritmo general para el clculo del grupo de Galois de
f (X ):
Desgraciadamente gr() = n!, muy alto para los clculos prcticos (por ejemplo, si gr( f (X )) = 5
tendramos que factorizar un polinomio de grado 120 en seis indeterminadas: X , t 1 , . . . , t 5 ). Incluso
para grados inferiores es pesado factorizar el polinomio . Por ejemplo, si f (X ) = X 3 3X + 1, el
polinomio factoriza como = 1 2 siendo:
Teorema. 17.9.
Con una numeracin adecuada de las races,
DEMOSTRACIN. En este caso los coeficientes del polinomio de (IV.3) son polinomios en los ai y por
tanto estn en D. Los factores irreducibles sobre K tambin estn en D por el lema de Gauss. As que
= 1 . . . t con i D. Reduciendo mdulo p, obtenemos = 1 . . . t con i D. Naturalmente,
estos i pueden ser reducibles. Sea 01 un factor irreducible de 1 . Por el Teorema (17.8.),
Gal( f /K) si, y slo si, (1 ) = 1 , mientras que si
/ Gal( f /K), (1 ) = i que no tiene ningn
factor en comn con 1 . Por otra parte, para todo Gal(p/K) tenemos que (01 ) = 01 que divide
a 1 . Luego debe verificarse que (1 ) = 1 y por tanto Gal( f /K).
Corolario. 17.10.
Sea f (X ) Z[X ] mnico y p Z un primo tales que p - Discr( f (X )). Sea f = f1 . . . ft la factori-
zacin en factores irreducibles de f F p [X ], y sean ni = gr( fi ). Entonces Gal( f /Q) contiene una
permutacin conjugada con
(1 . . . n1 )(n1 + 1 . . . n1 + n2 ) (n1 + + n t1 + 1 . . . n1 + + n t ).
DEMOSTRACIN. Todo consiste en ver que Gal( f/F p ) es cclico y que sus rbitas tienen longitudes
n1 , . . . , n t .
Ejemplo. 17.11.
Sea f (X ) = X 5 X 1.
Reduciendo mdulo 2 tenemos, f (X ) (X 2 + X + 1)(X 3 + X 2 + 1) (mod 2), as que Gal( f /Q)
contiene una permutacin del tipo = (1 2)(3 4 5). Elevando al cubo 3 = (1 2) Gal( f /Q).
Mdulo 3 tenemos que f (X ) es irreducible. No tiene races y si tuviese un factor cuadrtico, tendra
un factor en comn con X 9 X = X (X 4 + 1)(X 4 1) que es el producto de todos los polinomios
irreducibles de grado 1 y 2 sobre F3 . Pero entonces tendra un factor en comn con X 5 X X 5 + X ,
luego un factor en comn con 1 2X + 1, que obviamente no tiene. Luego Gal( f /Q) contiene un
5-ciclo y una transposicin y por tanto es S5 .
Ejercicio. 17.12.
Para todo n positivo existen infinitos polinomios f (X ) Z[X ] con Gal( f /Q) = Sn .
SOLUCIN. Todos los polinomios que vamos a considerar son mnicos. Sea f1 (X ) un polinomio de
grado n irreducible mdulo 2. Sea f2 (X ) el producto de un polinomio de grado 2 irreducible mdulo
3 con polinomios de grado impar irreducibles mdulo 3. Sea f3 (X ) el producto de X por un polinomio
de grado n 1 irreducible mdulo 5. Finalmente, sea f (X ) Z[X ] un polinomio congruente con
f1 (X ) mdulo 2, con f2 (X ) mdulo 3 y con f3 (X ) mdulo 5 (hay infinitos de tales polinomios por el
teorema chino del resto). Entonces Gal( f /Q) es transitivo, contiene una transposicin y un (n 1)-
ciclo. Luego es Sn .
Existen algoritmos muy eficientes para factorizar polinomios mdulo p. Por ejemplo, el Corola-
rio (17.10.) es un procedimiento efectivo para determinar los tipos de descomposicin en ciclos de
algunos elementos de Gal( f /Q). CUIDADO! Al usar el Corolario (17.10.), no se puede suponer que
una permutacin particular pertenece a Gal( f /Q), sino slo que existe una permutacin de ese tipo.
Por ejemplo, una factorizacin puede implicar la existencia de una permutacin del tipo (1 2)(3 4)
y otra la existencia de una transposicin. No se puede concluir que esta transposicin sea (1 2) y no
(1 3) (3 4) o cualquier otra. La eleccin de (1 2)(3 4) para representar la primera permutacin fija
un orden particular de las races, y puede que respecto a este orden la transposicin no sea (1 2).
Aplicacin de Mathematica
Caso 3. f (X ) es irreducible, en este caso el grupo Gal( f /K) es un subgrupo transitivo de S5 . Luego
es uno de los siguientes:
S5 B
~~ BB
BB
~~~ BB
~~ B
A5 @ F20
@@ |
@@ ||
@@ |||
||
D5
C5
Tomamos una raz 1 de f (X ). Al estudiar el polinomio f (X ) en K(1 ), el grupo de Galois es
Gal( f /K(1 )), y es el subgrupo de S5 interseccin de Gal( f /K) con el subgrupo que fija el elemento
1. (Es evidente que los subndices de las races pueden cambiar). En cualquier caso el diagrama de
los subgrupos transitivos de S5 se transforma en el siguiente diagrama de subgrupos de S4 .
S4 B
|| B BB
||| BB
| BB
||
A4 B C4
B
BB ||
BB |||
BB |
||
C2
{1}
f (X ) = (X 1 ) f1 (X ) f2 (X )
Discr( f ) K (siempre!) Gal( f /K) = D5 .
p
f (X ) = (X 1 )(X 2 )(X 3 ) f1 (X )
f (X ) = (X 1 )(X 2 )(X 3 )(X 4 )(X 5 ) Gal( f /K) = C5 .
Es claro que para poder hacer esto es necesario estudiar polinomios en las extensiones K(1 ) y
K(1 , 2 ).
Una consecuencia de este estudio es que el cuerpo de descomposicin de un polinomio irreducible
de grado 5 est generado por dos races si, y slo si, el grupo de Galois es soluble.
La combinacin del estudio de la resolvente sxtica con el tratamiento en Mathematica simplifica el
estudio del grupo de Galois y no es necesario estudiar la factorizacin en la extensin K(1 , 2 ). Un
mtodo tambin efectivo es el estudio mdulo varios primos.
17.1. Ejercicios
Ejercicio. 17.13.
Sea X 4 + aX 2 + b K[X ] un polinomio irreducible, con K un cuerpo de caracterstica 6= 2, y sea G
su grupo de Galois. Demuestra que:
(1) si b es un cuadrado en K, entonces G =V
= Z2 Z2 .
(2) si b no es un cuadrado en K y b(a 4b) si lo es, entonces G
2
= Z4 .
(3) si b y b(a 4b) no son cuadrados en K, entonces G = D4 .
2
Ejercicio. 17.14.
Determinar el grupo de Galois y el retculo de subcuerpos de la extensin de Q por el cuerpo de
descomposicin del polinomio X 4 3X 2 + 4
Ref.: 4164e_029 SOLUCIN
Ejercicio. 17.15.
Estudia el grupo de Galois de X 4 2X 2 2 sobre Q.
Ref.: 4164e_042 SOLUCIN
Ejercicio. 17.16.
Sea K/Q una extensin de cuerpo de grado 4 que no es de Galois. Prueba que no siempre existe una
extensin de Galois E/Q de grado 8 tal que Q K E.
Ref.: 4164e_015 SOLUCIN
Ejercicio. 17.17.
Sea f (X ) Q un polinomio de grado 4 con grupo de Galois, sobre Q, igual a S4 . Si es una raz de
f (X ),
(1) Prueba que K = Q()/Q tiene grado 4; evidentemente no es de Galois.
(2) Prueba que K no tiene subcuerpos propios (distintos de K y de Q).
(3) Prueba que toda extensin de Galois E/Q de grado 4 tiene subcuerpos intermedios.
Ejercicio. 17.18. p
Sea C tal que [Q() : Q] = 2. Prueba que existe d Q tal que Q() = Q( d).
Ref.: 4164e_022 SOLUCIN
Ejercicio. 17.19.
Existen elementos C tales que [Q() : Q] = 2 t , y no es contruible sobre Q?
Ver Ejercicio (8.37.).
Ref.: 4164e_020 SOLUCIN
Ejercicio. 17.20.
Supongamos que X p a Q[X ] es irreducible. Demostrar que el grupo de Galois de X p a sobre Q
es isomorfo al grupo de transformaciones de Z p de la forma y 7 k y + `, con k, ` Z p y k 6= 0.
Ref.: 4164e_034 SOLUCIN
Proposicin. 18.1.
Sea K un cuerpo, igual a Q o a una extensin algebraica de Q, y f (X ) un polinomio sobre K, irre-
ducible de grado n con Gal( f /K) cclico. Entonces f (X ) es soluble por radicales.
f1 (X ) = 1 + 2 X + + n X n1
f2 (X ) = 2 + 3 X + + 1 X n1 = f( X )
..
.
f n (X ) = n + 1 X + + n1 X n1 = n1 f1 (X )
f2 () = 2 + 3 + + 1 n1 = 1 f1 (),
y en general:
f2 () = 1 f1 ()
f3 () = 2 f( )
..
.
f n () = n+1 f1 ().
4164-03.tex
En consecuencia:
( f1 ())n = ( f2 ())n = = ( f n ())n
Al considerar ste como un polinomio en , y hacer actuar , se tiene:
esto es, ( f i ())n K(), ya que K es el cuerpo fijo para Gal( f /K). Como consecuencia podemos
calcular f1 (), . . . , f n () como las races nsimas de ( f1 ())n . Para simplificar, llamamos a este ele-
mento h() = ( f1 ())n K(). Esto podemos hacerlo para cada raz nsima de la unidad.
Sea { j | i = 1, . . . , n} = {1 , . . . , n } el conjunto de todas las races nsimas de la unidad; se tiene
Pn
la relacin j=1 j = 0. Adems, para f1 se verifica:
Pn Pn
j=1
f1 ( j ) = j=1 (1 + 2 j + + an n1
j P
)
Pn Pn n
= j=1 1 + j=1 2 j + + j=1 n n1
Pn Pn Pn j
= j=1 1 + 2 j=1 j + + n j=1 n1 j
= n1 .
En general se tiene:
n
X
f i ( j ) = ni .
j=1
Y como conocemos los valores de f i ( j ), las races nsimas de h( j ), podemos calcular los valores
de los i en funcin de radicales de elementos de K(), y por tanto de K.
El problema que queda por resolver es encontrar el valor de h(). Consideramos representantes de
las clases de resto de G Sn ; si stas son 1, 2 , . . . , t , entonces tenemos t conjugados de h():
Consideramos la ecuacin:
H = (Y h1 )(Y h2 ) . . . (Y h t ) = 0,
que tiene como races, en K(), a los hi . Ya que el polinomio H es invariante por Sn , sus coeficientes
son funciones de los coeficientes del polinomio original, y por tanto son elementos de K. Adems
h1 = h() es una raz de H y pertenece a K(), luego el polinomio tiene una raz en K(). Una vez
calculado h(), el resto es inmediato.
Resolucin de la cbica
Ejemplo. 18.2.
Sea f (X ) = X 3 3X + 1 Q[X ]. Es un polinomio de grado 3 irreducible, ya que no tiene races en
Q. Para calcular su grupo de Galois basta con calcular su discriminante:
Como consecuencia se tiene Gal( f /Q) = A3 . Las races cbicas de la unidad son: 1, y 2 . En este
caso f1 es:
f1 () = 1 + 2 + 3 2 ,
y
h() = ( f1 ())3 = (1 + 2 + 3 2 )3
= 31 + 32 + 33 + 3(21 2 + 22 3 + 23 1 ) + 32 (1 22 + 2 23 + 3 21 ) + 61 2 3 .
Observa que h() queda fijo por A3 , y no por S3 . Tenemos que h() pertenece al cuerpo K(), y el
hecho de no ser invariante por S3 nos dificulta el clculo de una expresin explcita de h().
Particularizando para = 1, , 2 , y utilizando que se obtienen polinomios simtricos en los i ,
veremos que se tiene:
h(1) = 0
h() = 27
h(2 ) = 272
Vamos a ver cmo se calculan estos valores.
(1) La expresin h(1) es fcil, ya que h(1) = (1 + 2 + 3 )3 = 03 = 0.
(2) Para h() tenemos:
h() = 31 + 32 + 33 + 3(21 2 + 22 3 + 23 1 ) + 32 (1 22 + 2 23 + 3 21 ) + 61 2 3
= 31 + 32 + 33 + 61 2 3 + 3(21 2 + 22 3 + 23 1 ) + 32 (1 22 + 2 23 + 3 21 )
= 3 6 + 3B + 3A2 = 9 + 3B + 3A2
La rbita de h() por S3 tiene slo dos elementos, ya que A3 lo estabiliza, y el ndice de A3 en S3 es
igual a 2; estos son: h() y (1 2)h(). Lo mismo ocurre para h(2 ). En este caso se verifica:
que en K() tiene dos races: h() y h(2 ) = (1 2)h(). Desarrollamos y resolvemos esta ecuacin:
Los elementos
A = 1 22 + 2 23 + 3 21
B = 21 2 + 22 3 + 23 1
son fijos por A3 pero no por S3 , en cambio A + B y A2 AB + B 2 son invariantes por S3 .
A + B = e1 e2 3e3 = 3a0 a1 a2 = 3 y
A2 AB + B 2 = e12 e22 3e23 3e13 e3 + 12e1 e2 e3 18e32 = 18a02 3a13 + 12a0 a1 a2 + a12 a22 3a0 a23 = 63
La ecuacin se escribe:
Y 2 + Y (18 + 3(A + B)) + (81 + 27(A + B) + 9(A2 AB + B 2 ) = Y 2 + 27Y + 729 = Y 2 + 27Y + 272 = 0
Como se tiene (Y 27)(Y 2 + 27Y + 272 ) = Y 3 273 , las races de H(Y ) son: 27 y 2 27, y por tanto
h() = 27 y h(2 ) = 272 . Esto es:
y resulta:
f1 (0) = 0,
p f2 (1) = 0, p f3 (1) = 0 p
f1 () = 27, f2 () = p27, f3 () = p2 27
3 3 3
p
f (2 ) = 2 3 272 , f (2 ) = 3 272 , f (2 ) = 3 272
1 2 3
Pn
Tenemos entonces, de j=1 f i ( j ) = ni , que
f1 (1) + f1 () + f1 (2 ) = 31
f2 (1) + f2 () + f2 (2 ) = 32
f (1) + f () + f (2 ) = 3
3 3 3 3
en nuestro caso: p p3
0 + p 27 + 2 p272 = 31
3
3
0 + 27 + p 272 = 32
3
p 3
0 + 2 27 + 272 = 33
3
Esto es, p p
2 3
+p 2 = 1
3
p 3
3 +
p 2 = 2
2p 3
+ 2 = 3
3
p 3 4 5
3 + 2 = 2 = 3 + 3
2p p3 7 2
3 + 2 = 3 = 3 + 3
1
1
1 = 3 + 3
4 4
2 = 3 + 3
2 2
3 = 3 + 3
Ejemplo. 18.3.
Sea f (X ) = X 3 3X + 3 Q[X ]. Es un polinomio de grado 3 irreducible, ya que no tiene races en
Q. Para calcular su grupo de Galois basta con calcular su discriminante:
Como consecuencia se tiene Gal( f /Q) = S3 . Una serie de composicin de S3 es {1} $ A3 $ S3 . Las
races de f (X
p ) son 1 , 2 , 3 ,p p forma que S3 = = (1 2 3), = (1 2). Elpcuerpo fijo
ordenadas de
para A3 es ( Discr(p)) = Q(3 15) = Q( 15), y tenemos la torre de cuerpos: Q Q( 15) E.
p p
Es claro que la extensin Q( 15)/Q es cclica, 15 p se obtiene por radicales a partir de elementos
de Q. Tenemos pues que estudiar la extensin E/Q( 15), que es cclica de grado p 3. Observa que E
es el cuerpo de descomposicin del polinomio f (X ) = X 3X + 3 sobre K = Q( 15), y podemos
3
f1 () = 1 + 2 + 3 2 ,
y
h() = ( f1 ())3 = (1 + 2 + 3 2 )3
= 31 + 32 + 33 + 3(21 2 + 22 3 + 23 1 ) + 32 (1 22 + 2 23 + 3 21 ) + 61 2 3 .
Observa que h() queda fijo por A3 , y no por S3 . Tenemos que h() pertenece al cuerpo K(), y el
hecho de no ser invariante por S3 nos dificulta el clculo de una expresin explcita de h().
Particularizando para = 1, , 2 , y utilizando que se obtienen polinomios simtricos en los i , se
tiene:
h(1) = 0
p
h() = 272 3 p 5
27
h( ) = 2 3 + 5
2
h() = 31 + 32 + 33 + 3(21 2 + 22 3 + 23 1 ) + 32 (1 22 + 2 23 + 3 21 ) + 61 2 3
= 31 + 32 + 33 + 61 2 3 + 3(21 2 + 22 3 + 23 1 ) + 32 (1 22 + 2 23 + 3 21 )
= 9 18 + 3B + 3A2 = 27 + 3B + 3A2
La rbita de h() por S3 tiene slo dos elementos, ya que A3 lo estabiliza, y el ndice de A3 en S3 es
igual a 2; estos son: h() y (1 2)h(). Lo mismo ocurre para h(2 ). En este caso se verifica:
que en K() tiene dos races: h() y h(2 ) = (1 2)h(). Desarrollamos y resolvemos esta ecuacin:
Los elementos
A = 1 22 + 2 23 + 3 21
B = 21 2 + 22 3 + 23 1
son fijos por A3 , pero on por S3 , en cambio A + B y A2 AB + B 2 son invariantes por S3 .
A + B = e1 e2 3e3 = 3a0 a1 a2 = 9 y
A2 AB + B 2 = e12 e22 3e23 3e13 e3 + 12e1 e2 e3 18e32 = 18a02 3a13 + 12a0 a1 a2 + a12 a22 3a0 a23 = 81
La ecuacin se escribe:
y resulta:
en nuestro caso: q p q p
3 27 2 3 27
0 + q
2 3 5 +
q2
3 + 5 = 31
3 27
p 3 27
p
0 + 2 3 5 + 2 3 + 5 = 32
q p q p
0 + 2 27
3 27
+ + 5 = 33
3
3 5 3
2 2
Esto es, q
3 1
p q
2 3 1
p
1 = q
2 3 5 +
q 2
3 + 5
3 1
p 3 1
p
2 = 2 3 5 + 2 3 + 5
q p q p
3 = 2 12 3 5 + 12 3 + 5
3 3
Supongamos que tenemos una extensin cclica F /K con Gal(F /K) = tal que K, para una
raz nsima primitiva de la unidad, sea F = K(, (), . . . , n1 (), las resolventes de Galois se
definen
n1
X
i = i j j (), i = 0, 1, . . . , n 1.
j=0
Lema. 18.4.
En la situacin anterior se verifica:
(1) (i ) = i i .
Pn1 ik Pn1
(2) h () = i=0 n i i=0 Ki .
Pn1
(2). Tenemos: i = j=0
i j j (), si multiplicamos por ih se verifica:
Pn1 Pn1 n1
ih i = ih j=0 i j j ()
P
i=0 i=0 P
Pn1 n1 i j+ih j
= i=0 j=0
()
Pn1 Pn1
= i=0 j=0
()
i( jh) j
Pn1 Pn1 i( jh) j
= i=0 j=0
()
Pn1
= i=0
()
j
= n ()j
n( jh) 1
Pn1
ya que si j h 6= 0 se tiene j=0
i( jh) = jh 1
= 0.
Ejemplo. 18.5.
Consideramos ahora el caso de una cbica general
f = X 3 + a2 X 2 + a1 X + a0 = (X 1 )(X 2 )(X 3 )
0 = 1 + 2 + 3
1 = 1 + (1 ) + 2 2 (1 ) = 1 + 2 + 2 3
2 = 1 + 2 (1 ) + 2 (1 ) = 1 + 2 2 + 3
p
Sus cubos pertenecen a K( , ). Teniendo en cuenta que los polinomios simtricos elementales
de los i son los coeficientes de f , salvo el signo, tenemos:
13 = 31 + 32 + 33 + 61 2 3 + 3(21 2 + 22 3 + 23 1 ) + 32 (1 22 + 2 23 + 3 21 )
= (1 + 2 + 3 )3 + 3( 1)A + 3(2 1)B, (IV.4)
donde
A = 21 2 + 22 3 + 23 1 ,
B = 1 22 + 2 23 + 3 21
Tenemos que p
A B = (
P1 2P
)(1 3 )(2 3 ) = y
A + B = ( i )( i j ) 31 2 3 .
Sustituyendo los polinomios simtricos por los coeficientes de f nos queda:
p p
A B = A = 21 a2 a1 + 3a0 +
p
A + B = a2 a1 + 3a0 B = 21 a2 a1 + 3a0 .
p
Simplificamos ahora IV.4 (Ntese que 2 = 3):
p p
r r
3 3 2a 3 +9a2 a1 27a0
1 2 3 2a2 +9a2 a1 27a0 3 3
2 = a2 +
3 2 + 2 3 + 2
2 2 3
p p
r r
3 2a 3 +9a2 a1 27a0 3
1 3 2 3 2a2 +9a2 a1 27a0 3
3 = a2 +
3
2
2 + 2 3 + 2 2 3
f 0 ( y) f (2 ( y) f (3 ( y)
f (X ) = f ( y) + (X y) + (X y)2 + (X y)3 .
1! 2! 3!
a
Haciendo f (2 ( y) = 0, resulta 6 y + 2a = 0, y tenemos el valor y = . De esta forma tenemos un
3
polinomio (X + 3a )3 + f ( a a
3 )(X + 3 ) + f ( 3 ), y haciendo el cambio de variable X + 3 7 Y , tenemos
a a
un polinomio de la forma Y 3 + bY + c.
Consideremos pues que f (X ) = X 3 + bX + c C[X ]. Sea X = x y, desarrollando f (X ) tenemos:
f (x y) = (x y)3 + b(x y) + c
= x 3 y 3 3x y(x y) + b(x y) + c,
3
que puede resolverse mediante x 3 y 3 + c = 0 y 3x y b = 0. Como consecuencia, x 3 y 3 = 27 b
, y se
q 3
b3 b3
c c 2 + 4b 27 c q c 2 b3
tiene x (x + c) = 27 , esto es, (x ) + c(x ) 27 = 0 de donde x =
3 3 3 2 3 3
= 4 + 27 .
2 2
3 3
De la misma forma se tiene ( y 3 c) y 3 = 27 b
, y por tanto, ( y 3 )2 c( y 3 ) 27
b
= 0, de donde y 3 =
c q 2 b3
c4 + 27 .
2
Tenemos entonces la raz v v
u v u v
3 c
t t c 2 b3 t 3 c
t c 2 b3
+ + + + .
2 4 27 2 4 27
Ejemplo. 18.7. (Frmula de Ferrari)
Sea X 4 + aX 2 + bX + c C[X ], para cada u C se tiene la relacin:
a 2
(X 2 + 2a + u)2 = X 4 + + u2 + aX 2 + au + 2uX 2
2 2
= aX 2 bX c + 2a + u2 + aX 2 + au + 2uX 2
2
= bX c + 2a + u2 + au + 2uX 2
p 2 2
b2
= 2uX 2pb2u 8u c + 2a + u2 + au
p 2 2
b2
Se tiene entonces (X 2 + 2a + u)2 = 2uX 2pb2u si, y slo si, 8u c + 2a + u2 + au = 0, esto es,
tenemos una relacin cbica de u, que podemos determinar siguiendo el proceso del Ejemplo (18.6.).
Resolucin de la curtica
Ejemplo. 18.8.
Consideramos un polinomio general de grado cuatro
Sea
g = X 3 + b2 X 2 + b1 X + b0 = (X 1 )(X 2 )(X 3 )
la resolvente cbica. Una serie de composicin para el grupo de Galois de f sobre Q(a3 , a2 , a1 , a0 ) es
El cuerpo fijo para V es Q(1 , 2 , 3 ), y las races de g pueden construirse por radicales ya que es
una cbica. Tenemos pues que estudiar la extensin Q(1 , 2 , 3 , 4 )/Q(1 , 2 , 3 ), cuyo grupo es
V . Para construir las races i seguimos un proceso que trata simtricamente a los tres subgrupos de
orden 2. Consideramos los elementos:
1 + 2 + 3 + 4 =
a3
1 + 2 3 4 = a32 4a2 + 43
1 2 + 3 4 = a32 4a2 + 42
1 2 3 + 4 = a32 4a2 + 41
2 = 41 a3 + a32 4a2 + 43 a32 4a2 + 42 a32 4a2 + 41
3 = 41 a3 a32 4a2 + 43 + a32 4a2 + 42 a32 4a2 + 41
4 = 41 a3 a32 4a2 + 43 a32 4a2 + 42 + a32 4a2 + 41
18.1. Ejercicios
Ejercicio. 18.9.
Resolver por radicales sobre Q la ecuacin X 4 2X 3 8X 3 = 0.
Ref.: 4164e_009 SOLUCIN
Ejercicio. 18.10.
Usar las frmulas de Cardano para resolver la ecuacin X 3 + X 2 2 = 0. En particular demostrar que
esa ecuacin tiene la raz real
1 3
p
3 p
( 26 + 15 3 + 26 15 3 1)
3
Determinar por la regla de Ruffini directamente las races de la ecuacin anterior y explicar lo que
ocurre, comprobando que
3 p p 3 p p
26 + 15 3 = 2 + 3, 26 15 3 = 2 3.
Ejercicio. 18.11.
Discriminante.
(1) Demostrar que el discriminante del polinomio f (X ) = X n + aX + b es
n(n1)
( f ) = (1) 2 (nn b n1 + (1)n+1 (n 1)n1 a n ).
Veamos como resolver algunos polinomios ciclotmicos; esto sera parte de la teora general de
resolucin de ecuaciones polinmicas, sin embargo las relaciones existentes entre las races hacen
que la resolucin de los polinomios consideramos sea especialmente fcil.
Ejemplo. 19.1.
Se considera
4
Y
f = 5 (X ) = X 4 + X 3 + X 2 + X + 1 = (X i )
i=1
el discriminante vale = 53 y el grupo G = Gal( f /Q) es cclico de orden cuatro generado por
= (1 2 4 3). La nica serie de composicin de G es: G < (1 4)(2 3) > 1. La torre de cuerpos que
le corresponde es: p
Q Q( 5) E.
Como las extensiones intermedias son de grado 2, ya estn en Q todas las races de la unidad nece-
sarias. Formamos las resolventes de Galois:
1 = + (1)2 () = 4
2 = 2 + (1)2 (2 ) = 2 3
Calculamos:
12 = 2 + 3 2,
22 = 4 + 2
que son races del polinomio
(X 12 )(X 22 ) = X 2 + 5X + 5.
Por otro lado, + 4 y 2 + 3 son races del polinomio:
(X ( + 4 ))(X (2 + 3 )) = X 2 + X 1
p
5+ 5
4 = 2
4164-04.tex
Ejemplo. 19.2.
Sea
6
Y
f = 7 (X ) = X + X + X + X + X + X + 1 =
6 5 4 3 2
(X i )
i=1
0 = + 2 + 4
1 = + 2 + 2 4
2 = + 2 2 + 4
p
El primero es raz del polinomio X 2 + X + 2, luego 0 = (1 + 7)/2. Calculando las potencias
cbicas, tenemos:
13 + 23 = 14
(13 23 )2 = 224 + 84.
+ 6 = 1
( 6 )2 = 1
El grupo cociente acta sobre 1 y 1 dndonos tres conjugados. En cada caso formamos las
resolventes de Lagrange correspondientes:
0 = ( + 6 ) + (3 + 4 ) + (2 + 5 )
1 = ( + 6 ) + (3 + 4 ) + 2 (2 + 5 )
2 = ( + 6 ) + 2 (3 + 4 ) + (2 + 5 )
0 = ( 6 )2 + (3 4 )2 + (2 5 )2
1 = ( 6 )2 + (3 4 )2 + 2 (2 5 )2
0 = ( 6 )2 + 2 (3 4 )2 + (2 5 )2
y calculamos:
0 = 1 0 = 7
31 = 7 21 13 = 7 21
32 = 7 212 23 = 7 212
Resolviendo los sucesivos sistemas lineales:
1
p p
3
+ 6 = q + +
3
1 7 21 7 21 2
3
p p
6 = 13 7 + 7 21 + 7 212
3
3
v
1 1 p
3
p
3
t 1 p3
p
3
= 1 + 7 21 + 7 212 + 7 + 7 21 + 7 212
2 3 3
Ejemplo. 19.3.
Consideramos ahora el undcimo polinomio ciclotmico. Sea
10
Y
f = 11 = (X i ),
i=1
siendo una raz undcima primitiva de la unidad. Sea E = Q() su cuerpo de descomposicin.
Numeramos a las races como i = i . El discriminante vale = 119 y G = Gal(E/Q) =< |
() = 2 > es cclico de orden 10. Tiene dos series de composicin. Vamos a usar la siguiente:
G < 2 > 1.
El primer eslabn es una extensin cuadrtica que ya est expresada explcitamente, as que nos
concentramos en el segundo que es una extensin cclica de orden 5. Adjuntamos una raz quinta
primitiva de la unidad para poder aplicar el teorema de Lagrange. Formamos las resolventes de
Galois siguientes:
1 = + 2 () + 2 4 () + 3 6 () + 4 8 () = + 4 + 2 5 + 3 9 + 4 3
2 = () + 3 () + 2 5 () + 3 7 () + 4 9 () = 2 + 8 + 2 10 + 3 7 + 4 6 .
p
Los elementos 15 , 25 son conjugados y pertenecen a Q( 11, ). Para encontrar su expresin ex-
plcita calculamos el polinomio
Para acortar la presentacin de los clculos, cuando tengamos una extensin cuadrtica, cbica u
otra que hayamos tratado con anterioridad, calcularemos un polinomio cuyas races generen dicha
extensin, pero no hallaremos expresiones explcitas para ellas.
Ejemplo. 19.4.
Sea
n
Y
f = 13 = (X i ),
i=1
siendo una raz decimotercera primitiva de la unidad. El discriminante vale = 1311 . Como antes,
numeramos las races como i = i . Sea E = Q() el cuerpo de descomposicin y sea G = Gal(E/Q).
Sabemos que G =< >, donde () = 2 . Este grupo tiene tres series de composicin, de las que
escogemos la siguiente:
G < 2 >< 6 > 1.
Los ndices de esta serie son 2, 3, 2. Como permutacion de las races, es un ciclo de longitud
12, luego es impar, mientras que 2 es par. Por tanto el segundo grupo de la serie anterior es la
interseccin de G con A13 . Al tercer grupo le corresponde el cuerpo E F . En resumen a la serie de
composicin anterior le corresponde la torre de cuerpos siguiente:
p
Q Q( 13) Q( + 1 ) E.
La primera extensinpya est expresada por un radical cuadrtico, as que slo nos falta la interme-
dia. Sea = (1 + 3)/2 una raz cbica primitiva de la unidad. La adjuntamos y formamos la
resolvente de Galois:
= + 2 () + 2 4 () = ( + 1 ) + (4 + 4 ) + 2 (3 + 3 ).
p
El elemento 3 pertenece a Q( 13, ). Elevando al cubo y reduciendo los coeficientes nos queda
p
3 = 13 + 13(7 + 15) = 13 + (4 + 3) 13.
de donde obtenemos la expresin explcita de sus races. Finalmente establecemos el sistema lineal:
1
p
+ 2 () + 4 () =
2 (1 + 13)
3 p
+ 2 () + 2 4 () = 13 + (4 + 3) 13
3 p
+ 2 2 () + 4 () = 13 + (4 + 32 ) 13
Sumando las ecuaciones de este sistema y dividiendo por tres, obtenemos la expresin explcita para
que sustituida en (IV.5) proporciona la expresin por radicales para .
Ejemplo. 19.5.
Sea el decimosptimo polinomio ciclotmico:
16
Y
f = 16 = (X i ),
i=1
Todos los factores de composicin son cclicos de orden 2, as que las races de la unidad necesarias
son 1 y -1. La torre de cuerpos correspondiente es:
siendo:
= + 8 () = + 16
= + 4 () = + 4 + 13 + 16
= + 2 () = + 2 + 4 + 8 + 9 + 13 + 15 + 16
p
Obsrvese que Q() debe ser Q( 17) y que Q() = E F . Cada uno de los elementos anteriores es
raz del polinomio correspondiente siguiente:
(X )(X 8 ()) = X 2 X + 1
(X )(X 4 ()) = X 2 X + 12 ( 3 + 6 3)
(X )(X 2 ()) = X 2 X 1
(X )(X ()) = X 2 + X 4
p
+ 2 +4
= 2
p
+ 2 3 + 2 +126
= 2
p
+ 2 4
= 2
y a partir de esta expresin podemos obtener una expresin explcita para . Obsrvese la eleccin
de signo de los radicales, que no son todos los posibles como ya se explica antes.
19.1. Ejercicios
[3] J. A. Beachy and W. D. Blair, Abstract algebra, 2nd ed., Waveland Press, 1996.
[10] D. S. Dummit and R. M. Foote, Abstract algebra. 2nd ed., Prentice-Hall, 1999.
[15] N. Jacobson, Lectures in abstract algebra. III. Theory of fields and Galois theory, Springer Verlag,
1964.
[21] S. MacLane and G. Birkhoff, Algbre I. Structures fondamentales. II. Les grands thormes,
GauthierVillar, 1971.
[24] M. Pohst and H. Zassenhaus, Algorithmic algebraic number theory, Cambridge University Press,
1989.
[25] L. Rowen, Graduate Algebra: Commutative view, Graduate Studies in Mathematics, 73, Graduate
Studies in Math., 73. Amer. Math. Soc., 2006.
[27] B. L. van der Waerden, Algebra i, Frederick Ungar Publ. Co., 1970.
base extensin
normal, 134 de cuerpos, 7
abeliana, 193
caracterstica de un anillo, 81 algebraica, 9
clase distinguida de extensiones, 14, 68 bicuadrtica, 121, 159
clausura cclica, 193
algebraica, 35 ciclotmica, 168
de Galois, 113 con discriminante nulo, 184
normal, 70 de cuerpos, 7
compuesto de dos cuerpos, 11 de Galois, 106
conexin de Galois, 105 de generacin finita, 12
criterio de Euler, 163 finita, 7
cuerpo infinita, 7
algebraicamente cerrado, 34 normal, 65, 67
base, 7 puramente inseparable, 102
de descomposicin, 67 separable, 84
de Galois, 149, 150 simple, 12, 90, 133
fijo, 105 soluble, 196
finito, 149 soluble por radicales, 130, 196
perfecto, 84
cuerpos frmula
conjugados, 38 Cardano, 63
Ferrari, 248
discriminante TartagliaCardano, 247
de una extensin, 184 funcin
Moebius, 170
elemento
tociente de Euler, 168, 172
algebraico, 9
primitivo, 133 grado, 11
puramente inseparable, 102 de inseparabilidad, 101
separable, 84 de separabilidad, 101
trascendente, 9 grado de una extensin, 7
elementos grupo de Galois de una extensin, 107
conjugados, 38
endomorfismo homomorfismo
de Frobenius, 83, 86 de cuerpos sobre, 35
262 NDICE ALFABTICO
raz
nsima de la unidad, 167
nsima primitiva de la unidad, 167
primitiva, 43, 202
razn urea, 54
resolvente
cbica, 225
sxtica, 230
subanillo generado, 8
subcuerpo
caracterstico, 81, 86
generado, 9
primo, 81, 86
subgrupo de los F -automorfismos, 105
teorema
90 de Hilbert forma aditiva, 194