Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TEORÍA DE GALOIS
Santiago de Compostela
2013
Índice general
3. EXTENSIONES DE CUERPOS 79
3.1. EXTENSIONES FINITAS . . . . . . . . . . . . . . . . . . . . . 79
3.2. EXTENSIONES ALGEBRAICAS . . . . . . . . . . . . . . . . . 83
3.3. APLICACIÓN A LOS PROBLEMAS GEOMÉTRICOS CLÁSI-
COS: CONSTRUCCIONES CON REGLA Y COMPÁS . . . . . . 90
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
i
ii
6. Complementos 197
6.1. Constructibilidad de polígonos regulares. Teorema de Gauss-Wantzel. 197
6.2. La trascendencia de . . . . . . . . . . . . . . . . . . . . . . 200
Bibliografía 219
PROLOGO
1
2
COMPLEMENTOS DE
TEORÍA DE GRUPOS
1.1. GENERALIDADES
5
6 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
Nota 1.1.2
Nota 1.1.4
x; y 2 H =) x 1 y 2 H:
x v y =) zx v zy; 8z 2 G:
xH v y :, x 1 y 2 H
8 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
Demostración. i) xH v y; z 2 G =) (zx) 1 zy = x 1 z 1 zy = x 1 y 2
H , zxH v zy: Además y 2 [x]H v () xH v y , x 1 y 2 H () y 2 xH:
Para la prueba de ii) obsérvese que de x; y 2 Hv = [e]v ; es decir, de x v e;
y y v e se obtiene x 1 y v x 1 e v x 1 x = e por la compatibilidad por la
izquierda de v con la operación del grupo, y por tanto Hv es un subgrupo
de G (1.1.4). Además x 2 HH v () xH v e , x 2 eH = H por lo ya
demostrado. También xHv v y , x 1 y 2 Hv , x 1 y s e , y v x , x v
y; con lo que queda probado iii) también.
Nota 1.1.7
Designaremos con
G H = fxH j x 2 Gg
y con
H G = fHx j x 2 Gg
las particiones de G correspondientes a las anteriores relaciones de equiva-
lencia.
tx
Como #H = #xH, 8x 2 G (la aplicación ` H ! xH de…nida por
tx (h) = xh es biyectiva) y como G = xH se tiene que #G =
xH diferentes
#H:# (G H) : De modo análogo se obtiene #G = #H:# (H G) :
(G : H) = # (G H)
Nota 1.1.10
i) xHx 1 H; 8x 2 G
ii) xHx 1 = H; 8x 2 G
iii) xH = Hx; 8x 2 G
iv) H v=vH
La prueba de la equivalencia de las anteriores condiciones es fácil.
i) =) ii) Si i) se satisface para todo elemento de G; se tiene también
1
x 1 H (x 1 ) = x 1 Hx H; y por tanto x (x 1 Hx) x 1 = H x 1 Hx:
ii) =) iii) En virtud de la hipótesis, dado un x 2 G, 8h 2 H 9k 2 H
tal que xhx 1 = k; y por tanto xh = kx; con lo que se obtiene xH Hx:
También, usando que x 1 Hx = H; se tiene que 8h 2 H 9k 2 H tal que
x 1 hx = k y, entonces, Hx xH:
iii) () iv) Es evidente, pues dos relaciones son iguales si, y sólo si,
determinan la misma clase de equivalencia para cada elemento, es decir, si, y
sólo si, determinan la misma partición en el conjunto donde están de…nidas.
iii) =) i) Si x 2 G y h 2 H existe un k 2 H tal que xh = kx; y por
tanto tal que xhx 1 = k: Resulta así xHx 1 H:
ZG := fa 2 G j ab = ba; 8b 2 Gg:
Nota 1.1.15
G H := fxH j x 2 Gg
Nota 1.1.16
fxH 2 G H j xK = Kg = fxH 2 G H j x 2 Kg = K H;
y la descomposición canónica de f proporciona el isomor…smo anunciado ya
que f es sobreyectiva.
NG (H) := fx 2 G j xH = Hxg;
HK H = K H \ K:
Teorema 1.1.20 (En lo sucesivo nos referiremos a este teorema como: "Teo-
rema de la correspondencia") Sea G un grupo y H un subgrupo normal de G:
Existe una biyección que conserva las inclusiones entre el retículo de subgru-
pos (resp. subgrupos normales) de G H y el de subgrupos (resp. subgrupos
normales) de G que contienen a H.
14 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
#G = #H:(G : H);
1.2. GRUPOS FINITOS. TEORÍA DE SYLOW 15
(G : K) = (G : H):(H : K):
sZ dZ Z, y mZ rZ Z;
De…nición 1.2.3 El grupo G es cíclico si existe algún x 2 G tal que <x> =G:
Se dirá que x genera el grupo G; y también que x es generador de G:
Proposición 1.2.5 Todo grupo …nito de orden primo es cíclico y cada ele-
mento diferente del neutro genera el grupo.
Nota 1.2.8
Nota 1.2.10
Nota 1.2.15
1.2. GRUPOS FINITOS. TEORÍA DE SYLOW 19
Nota 1.2.16
G A!A
(g; a) g a
que satisfaga las condiciones:
1) (gg 0 ) a = g (g 0 a); 8g; g 0 2 G y 8a 2 A
2) e a = a; 8a 2 A:
También se dirá que A es un G conjunto por la izquierda.
Nota 1.2.18
(G : H) : (H : KerT ) = (G : KerT ) ;
y así p.(H : KerT ) es divisor de p!; lo cual signi…ca que (H : KerT ) es divisor
de (p 1)!: Por lo tanto, o bien (H : KerT ) = 1, en cuyo caso H = KerT
22 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
#OG (a) = (G : Ga ) :
Demostración. Si x; y 2 G se tiene:
x a = y a () y 1 x a = a () y 1 x 2 Ga () xGa = yGa
Por lo tanto se puede a…rmar que hay tantos elementos diferentes y a como
clases distintas yGa ; lo que justi…ca la primera a…rmación de la proposición.
Para probar la segunda bastará con demostrar que las órbitas constituyen una
partición de A: Es evidente que cada elemento a = e a pertenece a alguna
1.2. GRUPOS FINITOS. TEORÍA DE SYLOW 23
órbita (la suya), y por lo tanto A = [a2A OG (a): Además OG (a) \ OG (b) 6= ;
si, y solamente si, existen x; y 2 G tales x a = y b; lo cual equivale, a su
vez, a que exista un z 2 G tal que a = z b; y por lo tanto a que a 2 OG (b)
(y también un z 0 2 G tal que b = z 0 a; o sea b 2 OG (a)): Ahora bien
OG (a) = fag () a 2 ZG :
Nota 1.2.28
G0 = feg G1 G2 ::: Gr = G;
y, por lo tanto Gi es normal en Gi+1 (1.2.20): Todos los cocientes Gi+1 =Gi son
grupos de orden primo y por lo tanto cíclicos.
La proposición anterior establece que todo p-grupo es resoluble, concepto
que será de…nido en la próxima sección.
feg P GP G
= pm : (GP : P ) : (G : GP ) ;
es decir
(GP : P ) : (G : GP ) = (GP : P ) :#OG (P ) = r;
de lo que se deduce que p no es divisor de #OG (P ) (en otro caso p dividiría
a r); y además que #OG (P ) es divisor de r y también de #G:
Para la prueba de b), sea H un p-subgrupo de G y sea p = #H (obvia-
mente m): El subgrupo H actúa también por conjugación en la G-órbita
de P
H OG (P ) ! OG (P )
1.2. GRUPOS FINITOS. TEORÍA DE SYLOW 27
(h; Q) hQh 1 ;
1
ya que si Q = xP x 1 entonces hQh 1
= h (xP x 1 ) h 1
= (hx) P (hx) 2
OG (P ): Se tiene ahora que
X
t X
t
#OG (P ) = #OH (Pi ) = (H : HPi ) ; ( )
i=1 i=1
(H : HP i ) = p i ; ( )
Nota 1.2.31
sp = 1 () P = fP g () P es subgrupo normal de G:
1 2 ::: n
= :
(1) (2) ::: (n)
1 2 3 5
= :
3 1 5 2
Nota 1.3.5
Gr Gr 1 Gr 2 ::: G0 = G
Ejemplos
1.-Si G es abeliano G es resoluble; la consideración de la cadena feg G
es su…ciente argumento.
2.-Todo p grupo es un grupo resoluble (1.2.29).
3.-El grupo de las permutaciones de tres elementos S3 es resoluble. La
cadena
feg A3 =< (123) > S3
proporciona la resolubilidad.
Como ya queda dicho, todo grupo abeliano es resoluble, pero como con-
secuencia de (1.2.29) y de (1.2.32) obtendremos un resultado para grupos
…nitos resolubles que será crucial en la prueba del gran teorema de Galois y
será corolario de la siguiente
Gr = 0 Gr 1 Gr 2 ::: G0 = G
[x; y] = xyx 1 y 1 ;
:::: G(i+1) := G(i) : G(i) ::: G(2) := G(1) : G(1) G(1) G =: G(0)
b) Para a; b 2 G se tiene
1
aH:bH = abH = baH = bH:aH () ab(ba) = [a; b] 2 H;
38 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
y por lo tanto G H es abeliano si, y sólo si, H contiene a todos los conmu-
tadores.
Como consecuencia del lema anterior, en la serie derivada de un grupo G
cada subgrupo es normal en el siguiente y el cociente de ambos es abeliano.
Por consiguiente, si existe un n tal que G(n) es conmutativo (o, equivalente-
mente, tal que G(n+1) = feg), la serie derivada termina en el grupo trivial
después de un número …nito de pasos, y por tanto dicha serie es una cadena
que establece la resolubilidad de G: El recíproco también es cierto ya que si
G es un grupo resoluble y
Gr = feg Gr 1 Gr 2 ::: G1 G0 = G
es una torre abeliana, en virtud del apartado b) del lema 1.3.15 se tiene que
(1)
G(1) G1 y entonces G(2) G1 (pues es evidente que si H es subgrupo
de L entonces H (1) es subgrupo de L(1) ). Como G1 G2 es abeliano, el lema
(1)
1.3.15 nos permite a…rmar que G1 G2 ; con lo que resulta G(2) G2 :
(i)
De forma recurrente se obtiene que G Gi para todo i; y por tanto,
necesariamente, G(r) = feg. Así hemos demostrado la
Por lo tanto V = fid; (12) (34) ; (13) (24) ; (14) (23)g es el único 2-subgrupo
de Sylow de A4 , que, entonces, es normal en A4 (1.2.31). Como A4 V es
de orden 3 y V de orden 4 ambos son grupos abelianos. Por tanto A4 es un
grupo resoluble.
1.4. Ejercicios
1.- Sea G un grupo, n un entero y a 2 G: De…nimos las potencias de a
como sigue:
A) a0 := e , el elemento neutro de G;
n veces
B) an = a::::::a si n > 0;
n veces
C) an = a 1 :::::::a 1 si n < 0.
Dados m; n 2 Z demuéstrese que
n
a) (an ) 1 = (a 1 ) = a n
b) am an = am+n
c)(am )n = amn .
2.- Realícense todos los detalles de las demostraciones de los resultados
que han sido incluidos sin prueba en este primer capítulo.
3.- Sea H un subgrupo del grupo G. Demuéstrese que para cada a 2 G el
conjunto aHa 1 := faha 1 jh 2 Hg es un subgrupo de G del mismo cardinal
que H:
4.- Demuéstrese que si G es un grupo en el que para cada a 2 G se tiene
a2 = e (elemento neutro de G) entonces G es abeliano.
5.- Dados H; K subgrupos de un grupo G se de…ne el conjunto HK :=
fhkjh 2 H; k 2 Kg : Demuéstrese que HK es subgrupo de G si, y sólo si,
HK = KH:
6.- Sea V = fid; (12)(34); (13)(24); (14)(23)g :
a) Pruébese que V es subgrupo de A4 (V es el grupo de Klein Z2 Z2 ).
b) V es subgrupo normal de A4 :
c) Demuéstrese que W :=< (12)(34) > es subgrupo normal de V y que
no es normal en A4 :
7.- Sean H subgrupo de G y K subgrupo de L.
a) Demuéstrese que H K es subgrupo de G L
b) Demuéstrese que H K es normal en G L si y sólo si H es normal
en G y K es normal en L:
8.- Sean G y H grupos, a 2 G y b 2 H elementos de orden …nito. De-
muéstrese que (a; b) 2 G H es un elemento de orden m:c:m(jaj ; jbj):
9.- Sea G un grupo y a; b 2 G tales que (jaj ; jbj) = 1: Demuéstrese que si
ab = ba; entonces jabj = jaj jbj :
1.4. EJERCICIOS 41
0 1 0 1
10.- Sean A = y B = elementos de GL2 (R):
1 0 1 1
Demuéstrese que A tiene orden 4, que B es de orden 3 y que AB es de orden
0:
11.- Sea G un grupo y a; b 2 G: Demuéstrense las siguientes identidades
a) jaj = ja 1 j = jbab 1 j
b) jabj = jbaj :
12.- Sea G =< a > un grupo cíclico de orden n: Demuéstrense los dos
resultados siguientes
n
a) jaj j = (n;j)
b) Si r es un entero positivo que divide a n entonces G contiene exacta-
mente un subgrupo de orden r:
13.-Sea G =< a > un grupo cíclico de orden 154. Sea H un subgrupo de G
generado por fa28 ; a88 g : Pruébese que existe un entero k tal que H =< ak > :
14.- Sean G y H grupos cíclicos de órdenes m y n; respectivamente. De-
muéstrese que el grupo G H es cíclico si, y sólo si (m; n) = 1:
15.- Sea G un grupo, G 6= feg. Pruébese que G no tiene otros subgrupos
que G y feg si, y sólo si, G es cíclico de orden primo.
16.- Sea G un grupo abeliano …nito de orden n = pr :q con p primo no
divisor de q y r 1: Demuéstrese que si H es el subgrupo de G de orden pr
que existe, según lo establecido en (1.2.13), se tiene
COMPLEMENTOS DE
TEORÍA DE ANILLOS
2.1. GENERALIDADES.
45
46 CAPÍTULO 2. COMPLEMENTOS DE TEORÍA DE ANILLOS
::A M !M
(a; m) am
que satisface las siguientes condiciones
i)1m = m; 8m 2 M
ii)(ab)m = a(bm); 8a; b 2 A; 8m 2 M:
iii)a(m + n) = am + an; 8a 2 A y 8m; n 2 M
(a + b)m = am + bm; 8a; b 2 A y 8m 2 M:
Proposición 2.1.11
M N = (M L) (N L)
A J = (A I) (J I)
Demostración. La prueba consiste en comprobar que los homomor…s-
mos que aparecen en la demostración correspondiente al teorema análogo de
grupos son ahora también homomor…smos de anillos.
Si (Ni )i2I es una familia de submódulosPde un A módulo
P por la izquierda
M es fácil comprobar que \i2I Ni y que i2I Ni := f i2I xi j xi 2 Ni ; y
xi = 0 para casi todo i 2 Ig son también submódulos de M: La intersección
P
es el mayor submódulo de M que está contenido en todos los Ni ; y i2I Ni
el menor submódulo de M que contiene a todos los Ni :
(N + L) N = L N \ L:
a b at + bs
+ =
s t st
a b ab
: =
s t st
52 CAPÍTULO 2. COMPLEMENTOS DE TEORÍA DE ANILLOS
Ejemplos
1.- Si K es un cuerpo sus únicos ideales son 0 y K = (1):
2.- En el anillo Z de los enteros los ideales son precisamente los subgrupos
y son todos de la forma nZ = fnr j r2 Zg, es decir el conjunto de los múltiplos
de un entero n:
@ : A n f0g ! Z+
tal que
1.- @(a) @ (ab) ; 8a; b 2 A f0g
2.- (Algoritmo de la división euclídea) Dados a; b 2 A; con b 6= 0; existen
q; r 2 A tales que
a = bq + r
en donde @ (r) < @ (b) si r 6= 0:
2.2. DOMINIOS EUCLÍDEOS. DIVISIBILIDAD 53
Ejemplos
1.- Z es dominio euclídeo con la aplicación @ : Z n f0g ! Z+ de…nida por
@ (n) = jnj (valor absoluto).
2.- Si K es un cuerpo el anillo de polinomios K [X] es un dominio euclídeo
con la aplicación @ : K [X] f0g ! Z+ de…nida por @(f ) = grado de f:
Proposición 2.2.4 Todo dominio euclídeo es un DIP.
Demostración. Sea I un ideal de A y sea t el menor entero positivo en
el conjunto @ (I) N (recuérdese que el conjunto N está bien ordenado con
su orden natural, es decir que cada subconjunto no vacío de N tiene primer
elemento). Sea b 2 I tal que @ (b) = t y sea a cualquier elemento de I. Existen
q; r 2 A tales que
a = bq + r
en donde @ (r) < @ (b) = t; si r 6= 0: Como r = a bq 2 I, r es necesariamente
nulo pues en otro caso se entraría en contradicción con la selección de b:
De…nición 2.2.5 Sea A un dominio de integridad.
1.- Si a; b 2 A; se dice que a divide a b (y se escribirá a j b) si existe un
c 2 A tal que b = ac
2.- Si a; b 2 A f0g; se dirá que a y b son asociados si a j b y b j a:
3.- Un elemento a 2 A es irreducible si a 2 = A y además
a = bc con b; c 2 A =) b 2 A o c 2 A
Obsérvese que la relación de divisibilidad puede ser interpretada en tér-
minos de ideales:
a j b () b 2 (a) () (b) (a) :
Por lo tanto
a y b son asociados () (a) = (b)
Además a = ub; y b = va proporcionan a(1 uv) = 0; y, siendo A dominio
de integridad, resulta u; v 2 A : Es decir que los elementos asociados a uno
dado se obtienen multiplicándolo por unidades.
Obsérvese también que la relación "ser asociado.es una relación de equiva-
lencia en A; y que si a y b son asociados entonces a es irreducible si, y sólo
si, b es irreducible.
La irreducibilidad de un elemento depende del anillo en que se esté con-
siderando. Es decir si A es subanillo de B un elemento a de A puede ser
irreducible en A pero no en B (3 y 3 son irreducibles en Z pero no en Q).
54 CAPÍTULO 2. COMPLEMENTOS DE TEORÍA DE ANILLOS
X n :X m = X n+m ; y que X 0 = e; 8X 2 S;
(f + g) ( ) := f ( ) + g( );
Es fácil comprobar que con estas operaciones A [N ] satisface todas las condi-
ciones necesarias para ser el A-módulo libre sobre N: Cada elemento f 2
A [N ] tiene una única expresión
X
f= f ( ):
2N
Las X1 ; X2; ; :::; Xn 2 S son las variables que intervienen de modo efectivo
(i.e. con algún exponente no nulo) en alguno de los sumandos de (*). En
aquellos sumandos de (*) en las que no interviene, Xi aparecerá elevada a
exponente 0 en el correspondiente sumando de (**). La expresión (**) es
ya más familiar y el elemento f es un polinomio con coe…cientes en A con
indeterminadas en S:
Nota 2.3.3
X
s X
s
Si f = ai X i y g = bj X j son polinomios con coe…cientes en
i=0 j=0
cualquier dominio de integridad K con ar 6= 0 6= bs (es decir @ (f ) = r y
@ (g) = s) entonces @ (f g) = r + s; pues ar :bs 6= 0 y
!
X
r+s X
fg = ai :bj X k :
k=o i+j=k
Y
r 1
f =q (X i)
i=1
2.4. FACTORIZACIÓN DE POLINOMIOS 65
Y
r 1
f( r) = q( r) ( r i) =0
i=1
Y
r
f =h (X i) :
i=1
f = c(X 1 ) (X 2 ) ::: (X n)
Y
r
f =h (X i) ;
i=1
Y
n
f =h (X i)
i=1
Nota 2.4.12
2.4. FACTORIZACIÓN DE POLINOMIOS 67
:C!C
= a + bi =a bi
es un automor…smo y a = a para todo a 2 R: Ahora, si f = an X n +
an 1 X n 1 + ::: + a1 X + a0 2 R [X] ; se tiene f ( ) = an n + an 1 n 1 + ::: +
a1 + a0 = 0; y entonces
0 = 0 = f ( ) = an n + an n 1 + ::: + a1 + a0 =
1
n n 1
= an + an 1 + ::: + a1 + a0 =
n n 1
= an + an 1 + ::: + a1 + a0 = f ( ) :
Si f es irreducible en R [X] y no lineal entonces f es divisible en C [X] por un
polinomio (X )(X ) pues f admite al menos un cero complejo (no
real ya que en otro caso f no sería irreducible en R [X]). Como el polinomio
(X )(X ) = X 2 ( + )X+ tiene coe…cientes reales, se tiene
necesariamente f = c(X )(X ) con c 2 R: Por lo tanto:
Los polinomios irreducibles en R [X] son de grado 1 o 2. Un polinomio
f = aX 2 + bX + c 2 R [X] ; con a 6= 0; es irreducible en R [X] si, y sólo si,
4 (f ) = b2 4ac < 0.
Nota 2.4.13
Nota 2.4.15
Sea 0 6= f = an X n + an 1 X n 1
+ ::: + a0 2 Z [X] : Entonces:
A) Si 0 6= a 2 Z se tiene
cont(af ) = a:cont(f )
= cont(f ):cont(g):
en virtud del lema de Gauss.
Teorema 2.4.20 Sea f 2 Z [X] con @(f ) 1: Son equivalentes las a…rma-
ciones
i) f es irreducible en Z [X] :
ii) f es primitivo e irreducible en Q [X]
n n r n r 1 n
Demostración. f ( m ) = ar m + ar 1 m + ::: + a1 m + a0 = 0 =)
r r 1 r r r
m a0 + m na1 + ::: + ar n = 0 =) n j m a0 y m j ar n : Por tanto n j a0 y
m j ar ya que n y m son primos entre sí.
Nota 2.4.26
( g f ) (X) = g a 1X a 1b = a 1g a 1b =
1
=a (aX + b) a 1 b = X:
Nótese que todo homomor…smo de anillos : A [X] ! A [X] tal que
jA = idA está ligado a la selección de una imagen (X) = g 2 A [X] que
determina dicha aplicación (2.3.1). Para f = an X n +an 1 X n 1 +:::+a1 X +a0
se tiene (f ) = an g n +an 1 g n 1 +:::+a1 g+a0 : Por lo tanto, si A es un dominio
de integridad, para que sea sobreyectiva ha de ser necesariamente @(g) = 1,
pues, en otro caso, ninguna de las imágenes (f ) 2 A [X] puede ser de grado
1: Además, si (X) = g = aX + b; para que exista 1 es necesario que a sea
una unidad de A: En efecto, si 1 (X) = cX + d (también polinomio lineal
para que 1 sea sobreyectiva), entonces ( 1 ) (X) = X = c(aX + b) + d;
lo que proporciona ca = 1 y cb + d = 0.
Por lo tanto, si A es un dominio de integridad, todo isomor…smo :
A [X] ! A [X] tal que jA = idA está ligado a la elección de un polinomio
lineal (X) = aX + b con a una unidad de A: Tales isomor…smos se denom-
inarán cambios de variable.
Nótese también que si ' : A ! B es un isomor…smo de anillos y a 2 A
entonces ' (a) es unidad en B si, y sólo si, a es unidad en A:
ab = 1A
Como consecuencia, para el mismo isomor…smo ' : A ! B se tiene
también que ' (a) es irreducible en B si, y sólo si, a es irreducible en A:
En efecto, si ' (a) = b1 b2 en B; y si a1 ; a2 2 A son tales que ' (a1 ) = b1 y
' (a2 ) = b2 ; entonces ' (a) = ' (a1 ) :' (a2 ) = ' (a1 :a2 ) ; por lo que a = a1 a2
2.5. EJERCICIOS 75
(X + 1) g (f ) g (f ) = X g (f ) = (X + 1)p 1=
p p p p
= Xp + Xp 1
+ ::: + X+ 1; y ello implica
0 1 p 1 p
p p p
g (f ) = Xp 1
+ Xp 2
+ ::: + 2 Z [X] ;
0 1 p 1
que es un polinomio irreducible en Q [X] por el criterio de Eisenstein (2.4.25),
pues para i = 1; 2; :::; p 1 el número combinatorio pi = i!(pp! i)! es múltiplo
de p; y p p 1 = p no lo es de p2 : Aplicando ahora el criterio de cambio de
variable resulta que f = X p 1 + X p 2 + ::: + X + 1 es irreducible en Q [X] y
en Z [X] ya que su contenido es 1.
2.5. Ejercicios
1.- Sea J un ideal del anillo conmutativo A:
a) Demuéstrese que J [X] := ff = an X n + an 1 X n 1 + ::: + a1 X +
a0 2 A [X] j an ; an 1 ; :::; a1 ; a0 2 Jg es un ideal de A[X] y que los anillos
A [X] =J [X] y (A=J) [X] son isomorfos.
b) Utilizando el apartado anterior demuéstrese que J es ideal primo de A
si, y sólo si, J [X] es ideal primo de A [X] :
c)¿Puede ser J [X] ideal maximal de A [X]?
76 CAPÍTULO 2. COMPLEMENTOS DE TEORÍA DE ANILLOS
EXTENSIONES DE
CUERPOS
79
80 CAPÍTULO 3. EXTENSIONES DE CUERPOS
f (x1 ; ::::; xn ) 1
= = f (x1 ; ::::; xn ) :g (x1 ; ::::; xn )
g (x1 ; ::::; xn )
K [ ] = ff ( ) j f 2 K [X]g y
f( )
K( )= j f; g 2 K [X] y g ( ) 6= 0 :
g( )
Si F : K es una extensión y si se denota con < x1 ; x2; :::; xn >K el K-
subespacio de F generado por los elementos x1 ; x2; :::; xn 2 F; es decir el
3.2. EXTENSIONES ALGEBRAICAS 83
Nota 3.1.6
Ejemplos
1.- Cada 2 K es algebraico sobre K ya que dicho elemento es cero del
polinomio X 2 K [X] :
2.- La extensión C : R es algebraica, pues si = a + bi 2 C; y = a bi
denota el conjugado, entonces
f (X) = (X )(X )=
= X2 ( + )X + = X2 2aX + a2 + b2
es un polinomio no nulo con coe…cientes reales y f ( ) = 0:
3.- La extensión R : Q es trascendente. C. Hermite (1873) y F. von
Lindemann (1882) probaron, respectivamente, que los números reales e y
son transcendentes sobre Q: En la sección 6.2 daremos una prueba de la
trascendencia
p p de :
4.- i; 7; 3 5; son elementos de C algebraicos sobre Q , y por p lo tanto
2
sobre R (observación
p 3.6). En efecto, i es un cero de X + 1; 7 lo es de
2 3 3
X 7; y 5 de X 5; todos ellos polinomios no nulos con coe…cientes
racionales. p
5.- También = 2 + i 2 C, que p es algebraico sobre R (ejemplo 2),
2
lo es también sobre Q, pues i = 2 =) 2i 1 = 2 =) 2i =
2 2
3 =) 4 2 = ( 2 3) =) 4 2 2 + 9 = 0; es decir es un cero de
X 4 2X 2 + 9 2 Q [X] : Sin embargo no todo elemento de C es algebraico
sobre Q (e y son trascendentes sobre Q ya que lo son sobre R)
6.- Con K [X1 ; :::; Xn ] se denota el anillo de polinomios en las n variables
(o indeterminadas) X1 ; :::; Xn ; y con K (X1 ; :::; Xn ) su cuerpo de fracciones
que se conoce con el nombre de cuerpo de funciones racionales en dichas
variables. Cada una de las indeterminadas Xi es trascendente sobre K:
OBSERVACIONES.
3.5) Si ' : K [X] ! F es la evaluación en , entonces es algebraico
sobre K si, y sólo si, Ker(' ) 6= 0; es decir, si y sólo si, ' no es inyectivo.
3.2. EXTENSIONES ALGEBRAICAS 85
Ejemplos
p
1.- 2 2 R es algebraico sobre Q puesp es cero del polinomio X 2 2 2 Q [X]
que es irreducible en Q [X]p; y así Irr( 2; Q) = X 2 2: Según lopque establece
la Proposición 3.2.4, 1; 2 constituye una Q-base de Q 2 ; y por lo
p p
tanto, cada elemento 2 Q 2 admite una única expresión = a + b 2
con a; b 2 Q.
p p
2.- Sea = 1 + 3 2 R. Entonces ( 2 1)2 = 3; y por lo tanto
es un cero del polinomio X 4 2X 2 2 2 Q [X]. Este polinomio es ir-
reducible
p en Q [X] (criterio de Eisenstein para el primo p = p 2) y entonces
p 4 2
p
Irr( 1 + 3; p Q) = X 2X 2; con lo cual resulta que
p f1; 1 + 3; 1 +
p p p p
3; 1 + 3 1 + 3g constituye una Q-base de Q 1+ 3 :
3.- Sea ! la raíz cuarta real positiva de 2: Por el criterio de Eisenstein
(para p = 2) el polinomio X 4 2 es irreducible en Q [X] y tiene a ! como
raíz. Por tanto ! es algebraico sobre Q, Irr(!; Q) =X 4 2; y [Q (!) : Q] = 4:
Entonces f1; !; ! 2 ; ! 3 g es una Q-base de Q (!) ; y cada elemento de Q (!)
admite una única expresión = a + b! + c! 2 + d! 3 con a; b; c; d 2 Q ¿Cuál
es la expresión de = 1 + ! 2! 6 2 Q (!) como Q combinación lineal de
la citada base? El siguiente cálculo determina la respuesta.
= 1 + ! 2! 6 = '! (1 + X 2X 6 ) =
= '! X 4 2 2X 2 + 4X 2 + X + 1 =
= '! X 4 2 '! 2X 2 + '! 4X 2 + X + 1 = 4! 2 + ! + 1:
88 CAPÍTULO 3. EXTENSIONES DE CUERPOS
K K( 1) K( 1; 2)= K ( 1) ( 2) K ( 1; 2) ( 3) :::
K( 1 ; 2 ; :::; i 1) K ( 1 ; 2 ; :::; i 1) ( i) :::
K( 1 ; 2 ; :::; n 1) K ( 1 ; 2 ; :::; n) = F
3.2. EXTENSIONES ALGEBRAICAS 89
en la que cada paso es una extensión simple generada por un elemento alge-
braico y por lo tanto …nita, en virtud de la proposición 3.2.4. Ahora [F : K]
es el producto de los grados de cada una de dichas extensiones (teorema del
grado), y entonces F : K es una extensión …nita.
Ya se ha dicho aquí que la extensión R : Q es trascendente y por tanto
in…nita. Obsérvese que ello quizás resulte poco intuitivo si queremos pensar
en la dimensión de espacios vectoriales como algo que tiene que ver única y
exclusivamente con "lo ancho", "lo largo", "lo alto", etc. La naturaleza de
la dimensión tiene mucho que ver también con la posibilidad de elegir coor-
denadas, es decir, con la naturaleza del cuerpo de coe…cientes. En particular
todo espacio vectorial V de dimensión …nita sobre R es también espacio vec-
torial sobre Q por restricción de escalares, pero con esa estructura V no es
…nito dimensional como Q espacio:
Teorema 3.2.8 Para una torre K F E son equivalentes las a…rma-
ciones
i) F : K y E : F son algebraicas.
ii) E : K es algebraica.
Demostración. \ii) =) i)"
Es evidente usando la observación 3.6 y el hecho de que cada elemento
de F es un elemento de E:
\i) =) ii)"
Sea 2 E y sea 0 6= f (X) 2 K [X] tal que f ( ) = 0. Entonces es
algebraico sobre K (a0 ; :::; an ) ya que f (X) 2 K (a0 ; :::; an ) [X] : Así, en la
torre K K (a0 ; :::; an ) K (a0 ; :::; an ) ( ) ; la extensión K (a0 ; :::; an ) : K
es …nita por la proposición 3.2.7, al ser a0 ; :::; an 2 F y ser F : K algebraica,
y K (a0 ; :::; an ) ( ) : K (a0 ; :::; an ) lo es también en virtud de la proposición
3.2.4. Por tanto K (a0 ; :::; an ) ( ) : K es …nita por el teorema 3.2.2, y entonces
algebraica por la proposición 3.2.5. Cada elemento de K (a0 ; :::; an ) ( ) es
algebraico sobre K y, en particular, también lo es. Por lo tanto E : K es
algebraica.
Corolario 3.2.9 Sea F : K una extensión y sea
F
K := f 2 F j es algebraico sobre Kg :
F F F
Entonces K es cuerpo, la extensión K : K es algebraica y K contiene a
cada cuerpo E tal que K E F y tal que E : K es algebraica. El cuerpo
F
K no tiene extensiones algebraicas propias dentro de F:
90 CAPÍTULO 3. EXTENSIONES DE CUERPOS
F F
Demostración. Es evidente que K K F: Además si ; 2 K
se tiene obviamente que ; y : 1 (si 6= 0) son elementos de K ( ; )
que es una extensión algebraica de K en virtud de las proposición 3.2.7. Por
tanto dichos elementos de F son algebraicos sobre K y entonces pertenecen
F F F
a K : Por lo tanto K es cuerpo y la extensión K : K es obviamente
algebraica. Es claro que cualquier subextensión de F : K constituida por
F
elementos algebraicos sobre K debe estar contenida en K por la propia
F F
de…nición de K : Además, si E : K es algebraica y E F; resulta que
E : K es algebraica por el teorema 3.2.8, y en virtud de lo anterior se tiene
F
E K :
F
De…nición 3.2.10 A K se le denominará clausura algebraica de K en F:
Ejemplo
R
En la extensión R : Q el cuerpo Q es una extensión algebraica de Q
R
pero no …nita. De hecho, para cada n > 0 es posible
h elegir
i 2 Q tal que
R R
[Q ( ) : Q] = n; y por lo tanto Q ( ) Q y Q :Q [Q ( ) : Q] = n:
En efecto, para cualquier número primo p > 0 el polinomio X n p 2 Q [X]
p
es irreducible en Q [X] (criterio de Eisenstein) y tomando = n p 2 R,
que es algebraico sobre Q por ser un cerohde X n i p; se tiene [Q ( ) : Q] =
R R
@(Irr( ; Q)) =n. Por tanto 2 Q y así Q : Q n para todo n > 0:
FORMULACIÓN GEOMÉTRICA
Sea P un conjunto de puntos del plano euclídeo R2 : Se supondrá siempre
que #P 2: Las únicas operaciones elementales permitidas en un problema
de constructibilidad son de dos tipos:
T ipo I. Trazar la recta determinada por dos puntos de P:
92 CAPÍTULO 3. EXTENSIONES DE CUERPOS
FORMULACIÓN ALGEBRAICA
Procedemos ahora a dar una formulación algebraica de la constructibili-
dad que será utilizada para dar respuesta a los tres problemas clásicos.
Como ya se ha dicho, consideraremos que el conjunto de datos P está
constituido por al menos dos puntos, y que, tras una apropiada elección de
coordenadas en R2 ; P f(0; 0) ; (1; 0)g :
Ya que son constructibles la paralela y la perpendicular a una recta dada
que pasan por un punto dado, es evidente que el punto (x; y) es constructible
a partir de P si, y sólo si, son constructibles a partir de P los puntos (0; y) y
(x; 0):
Sea A 2 R2 constructible a partir de P R2 y sea A1; A2 ; :::; An = A una
sucesión de puntos del plano que determine la constructibilidad de A (de…ni-
ción anterior). Para cada i = 1; 2; :::; n sea Ai = (xi ; yi ) y Ki = Ki 1 (xi ; yi );
llamando K0 = Q (P) al cuerpo generado …nitamente sobre Q por las coor-
denadas de todos los puntos de P:Resulta así una torre de cuerpos
Lema 3.3.3 Con las notaciones anteriores, para cada i = 1; 2; :::; n se tiene
X Y 1
1 1 1 =0
2 2 1
es la ecuación de r:
Ahora, si r aX + bY + c = 0; y r0 a0 X + b0 Y + c0 = 0; se tiene
c b a c
c0 b0 a 0
c0
xi = ; yi = ;
a b a b
a0 b0 a0 b 0
2
= 0; resultando así que xi es raíz de un polinomio de grado 2 con
coe…cientes en Ki 1 . Se obtiene entonces [Ki 1 (xi ) : Ki 1 ] 2 y también
[Ki 1 (yi ) : Ki 1 ] 2 pues Ki 1 (yi ) Ki 1 (xi ) : Si b = 0 necesariamente se
tiene a 6= 0 y se puede proceder de modo más inmediato, pues en este caso
xi = a 1 c 2 Ki 1 ; y entonces ( a 1 c )2 (yi )2 2
= 0 resultando
ahora [Ki 1 (yi ) : Ki 1 ] 2.
Caso III. El punto Ai está en la intersección de dos circunferencias de
ecuaciones fi (X; Y ) = 0; i = 1; 2; como la anterior. Este caso III se reduce
al anterior observando que cada una de las circunferencias tiene la misma
intersección con la otra que con el eje radical r de ambas, que es de ecuación
f1 (X; Y ) f2 (X; Y ) = 0; y cuyos coe…cientes están en Ki 1 :
Demostración. (del teorema)
Basta con observar que
[Ki 1 (xi ; yi ) : Ki 1 ] =
Q =K0 K1 ::: Km
3.4. Ejercicios
1.- Sea F : K una extensión de cuerpos tal que [F : K] es primo. Pruébese
que F : K es una extensión simple.
p p p p p
2.- Sea A = f 7; 2 + 3; e + 3; 5 7; i + 3; 1 + 2; cos 25 + isen 25 g
Determínese el polinomio irreducible sobre Q de los elementos de A que
son algebraicos sobre Q.
3.- Sea E : K una extensión de cuerpos y sean 1; 2 ; :::; n elementos de
E:
a) Demuéstrese que para 2 i n;
y que
p p p
4.- a) Demuéstrese que Q(i; 2) = Q(i p+ 2) y que [Q(i; 2) : Q] = 4.
b) Calcúlese
p el polinomio
p mínimo de i+ 2 sobre cada uno de los cuerpos:
i) Q(i), ii) Q( 2), iii) Q(i 2).
p p
5.- Pruébese que Q 3 + 4i + 3 4i : Q = 1 y que
q q
p p
Q 1+ 3+ 1 3 : Q 6= 1:
b) Justifíquese
p si i 2 Q[ ] en los siguientes casos:
b.l) = 2
b.2) 2 C y 3 + + 1 = 0:
3
23.- Sea 2 C un cero del polinomio X p + X + 1 2 Q[:X]:
2
a) Pruébese que Q( ) = Q( ) $ Q( 2). p
b) Utilizando el apartado anterior pruébese que Irr( 2; Q) = X 6 +
4X 4 + 4X 2 8:
24.- a) Sean F : K una extensión …nita y E : K una extensión arbitraria
tales que E y F son subcuerpos de un mismo cuerpo : Demuéstrese que
EF : E es también extensión …nita.
b) Con las mismas condiciones de a), demuéstrese que si además E : K
es …nita también lo es la extensión EF : K:
c) Pruébese que lo enunciado en a) permanece válido si se sustituye la
condición .extensión …nita"por .extensión algebraica"
d) Análogamente, pruébese que si en b) se sustituye la condición .extensión
…nita"por .extensión algebraica.el enunciado resultante también es válido.
25.-Sea F : K una extensión de cuerpos y u; v 2 F: Demuéstrese que son
equivalentes las a…rmaciones
i) u es trascendente sobre K y v es trascendente sobre K(u)
ii)El conjunto fu; vg es trascendente sobre K, es decir, si f 2 K [X; Y ] ;
la condición f (u; v) = 0 solo es posible si f = 0:
26.-Sea F : K una extensión de cuerpos y fu1 ; u2 ; :::; ut g F un conjunto
trascendente sobre K (es decir, que, para f 2 K [X1 ; :::; Xt ] ; la condición
f (u1 ; :::; ut ) = 0 solo es posible si f = 0): Demuéstrese que, en este caso,
K(u1 ; u2 ; :::; ut ) es el cuerpo de funciones racionales en t variables sobre K,
es decir, el cuerpo de fracciones del anillo de polinomios en t variables.
27.- Sea F = K(u1 ; u2 ; :::; un ) una extensión no algebraica …nitamente
generada del cuerpo K. Demuéstrese que existe un entero t 2 f1; 2; :::; ng
tal que fu1 ; u2 ; :::; ut g es trascendente sobre K y tal que la extensión F :
K(u1 ; u2 ; :::; ut ) es …nita.
28.- Sea A un anillo conmutativo no …nito.
a) Demuéstrese que #A = #A [X]
b) Conclúyase que si fMt gt2N es una familia de A-módulos libres de rango
1; entonces # ( t2N Mt ) = #A:
c) El mismo resultado se tiene si la familia fMt gt2N está constituida por
A módulos libres de rango …nito.
3.4. EJERCICIOS 101
EXTENSIONES
SEPARABLES Y
NORMALES. CLAUSURA
ALGEBRAICA.
103
104 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
F !E
" "
K! L
en el que las ‡echas verticales indican las inclusiones. También se dirá que
es un encaje sobre : Si K = L y = idK se dirá que es un encaje sobre K;
y si además F = E y es isomor…smo se dirá que es un K-automor…smo
de F .
OBSERVACIONES
4.1) Nótese que si es un encaje sobre , x1 ; :::; xn son elementos de F;
y k1 ; :::kn 2 K; entonces
K [X] ! L [X]
" "
K ! L;
en el que las ‡echas verticales son las inclusiones naturales y (X) = X
(observación 4.2):
El isomor…smo es tal que (Irr( ; K)) = Irr ( ; K) = Irr( ; L); por
la hipótesis. Por lo tanto
# # #
'
L ! L [X] ! L [ ]
en el que las composiciones de los mor…smos horizontales son, respectiva-
mente, las inclusiones K ,! K [ ] (la superior) y L ,! L [ ] (la inferior).
Como K [ ] = K ( ) y L [ ] = L ( ) (teorema 3.2.2 apartado ii)) se tiene la
a…rmación i).
\i) =) ii)"
Es la observación 4.3.C) para u = :
Existe una prueba alternativa de ii) =) i) usando que
[K ( ) : K] = @(Irr( ; K) = @(Irr( ; L) = [L ( ) : L] = n;
108 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
Uno de los objetivos de este capítulo es probar que todo cuerpo K posee
una extensión algebraica K tal que todo polinomio no constante f 2 K [X]
escinde en factores lineales en K [X] : Este objetivo se logrará de forma pau-
latina demostrando, en primer lugar, que dado un polinomio no constante
f 2 K [X] ; existe una extensión …nita F : K tal que f escinde en factores
lineales en F [X]. A esto se dedicará la presente sección que se inicia proban-
do que para un tal f 2 K [X] existe una extensión simple K ( ) : K tal que
f ( ) = 0: En la sección siguiente se procederá a la prueba de la existencia
de K:
Para nuestras argumentaciones necesitaremos un lema de carácter técnico
y algunas observaciones importantes.
4.2. CUERPOS DE ESCISIÓN 109
OBSERVACIONES
4.4) Nótese que, bajo las hipótesis del lema anterior, si a0 ; a1 ; :::; an 2 K
y para 2 F se pone ( ) = 0 2 F 0 ; se tiene
n n 1
(an ) : ( 0 ) + (an 1 ) : ( 0 ) + ::: + (a1 ) : 0
+ (a0 ) = 0 ()
1 n n 1
(an ) : ( 0 ) + (an 1 ) : ( 0 ) + ::: + (a1 ) : 0
+ (a0 ) =
n n 1
= an : + an 1 : + ::: + a1 : + a0 = 0;
Lo anterior es inmediata consecuencia de que tanto como 1 son isomor-
…smos de cuerpos y de que jK = (y también de que 1 j (K) = 1 ).
4.5) Nótese que la observación 4.4 establece implícitamente que si :
0 n n 1
K ! F es un encaje tal que para el polinomio f (X) = an X + an 1 X +
::: + a1 X + a0 2 K [X] existe un 0 2 F 0 con f ( 0 ) = (an ) ( 0 )n +
(an 1 ) ( 0 )n 1 + ::: + (a1 ) 0 + (a0 ) = 0; entonces existe un 2 F con
f ( ) = an n +an 1 n 1 +:::+a1 +a0 = 0: Es decir, si se puede encontrar un
encaje (como nuestro ) de K en otro cuerpo (como nuestro F 0 ) en el cual
un polinomio f 2 (K) [X] tiene un cero (en nuestro caso 0 ), se habrá
encontrado una extensión F de K en la cual el polinomio f 2 K [X] tiene
un cero (el elemento = 1 ( 0 )):
a a a + (f ) = a = (a)
Se obtiene así un encaje : K ! F 0 y, poniendo 0 := (X) ; la sobreyectivi-
dad de proporciona F 0 = (K) ( 0 ): Ahora, si f (X) = X n + an 1 X n 1 +
112 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
0 = (f (X)) = (X n + an 1 X n 1 + ::: + a1 X + a0 ) =
= (X)n + (an 1 ) : (X)n 1 + ::: + (a1 ) : (X) + (a0 ) =
n n 1
= ( 0 ) + (an 1 ) : ( 0 ) + ::: + (a1 ) : 0 + (a0 ) ;
f = c(X 1 ) (X 2 ) ::: (X n)
OBSERVACIONES
4.6) Aunque para un mismo polinomio f 2 K [X] se encuentren diferentes
cuerpos de escisión probaremos que todos ellos son isomorfos sobre K:
4.7) Nótese que si el polinomio f 2 K [X] escinde en la extensión E de
K (como en 1 de (4.2.4)) entonces el cuerpo E 0 = K( 1 ; 2 ; :::; n ) E es
un cuerpo de escisión de f sobre K:
4.8) Nótese también que si f escinde en la extensión E de K, entonces
los elementos 1 ; 2 ; ::: n 2 E son los únicos ceros que el polinomio f tiene
en cualquier extensión F de E: En efecto, si F : E es una tal extensión y
2 F es un cero de f 2 K [X] E [X] F [X] ; resulta 0 = f ( ) =
c( 1) ( 2 ) ::: ( n ) ; y por tanto alguno de las factores ( i)
debe ser nulo o, equivalentemente, = i para algún i:
4.9) Obviamente, si el polinomio f 2 K [X] es lineal, entonces f escinde
en K; y K es cuerpo de escisión de f sobre K; pues para f = cX + b basta
tomar = cb 2 K para obtener f = c(X ). Además K = K ( ) ya que
2 K:
4.10) Si E es un cuerpo de escisión sobre K del polinomio f 2 K [X] ; y
si K F E; entonces E es también un cuerpo de escisión de f sobre F;
pues las condiciones de la de…nición anterior se cumplen para F en lugar de
K; con los mismos 1 ; 2 ; ::: n 2 E.
4.11) Finalmente, la condición 2 de la De…nición 4.2.4 es obviamente
equivalente a :
2’- f escinde en E y no existe ningún cuerpo intermedio F entre E y K
tal que f escinda en F:
Ejemplos
1.- Para f = X 2 + 1 2 R [X], que es irreducible en R [X] (y tam-
bién enQ [X]); un cuerpo de escisión de f sobre R es el cuerpo C = R(i)
de los números complejos, pues i2 = 1 proporciona la factorización f =
(X i) (X + i) :
2.- También Q (i) es cuerpo depescisión de f = X 2 + 1 2 Q [X] sobre Q.
3.- Si f = X 2 5 2 Q [X] ; Q( 5) es cuerpo de escisión de f sobre Q:
El siguiente teorema establece la existencia de cuerpos de escisión.
114 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
f = c(X 1 ) (X 2 ) ::: (X n)
f = (c) (X ( 1 )) (X ( 2 )) ::: (X ( n ))
f = cf1 f2 :::fr
4.2. CUERPOS DE ESCISIÓN 115
con cada fi mónico e irreducible, algún fi tiene grado > 1 (en otro caso
se tendría fi = X i con i 2 K; para cada i = 1; 2; :::; r y entonces
f escindiría en K): Supongamos que tal fi es el polinomio f1 : Como, por
hipótesis, f escinde en F; cada fi también, ya que el conjunto de los ceros de
f en F es la unión de los conjuntos de ceros de cada uno de los fi en dicho
cuerpo (consecuencia de la unicidad de la factorización de f en irreducibles
en F [X] en la cual son todos de la forma (X ) con 2 F al ser F
cuerpo de escisión de f sobre K). Sea 2 F un cero de f1 y, por lo tanto,
también de f . Así f1 = Irr( ; K) con [K ( ) : K] = @(f1 ) > 1: Entonces
f = (c) f1 :::fr con f1 mónico e irreducible en L [X] ; que escinde en
E, ya que f escinde en E por hipótesis. Ahora si 2 E es un cero de
f1 se tiene f1 = Irr( ; L); y por el teorema de extensión de encajes para
extensiones simples, existe un isomor…smo e : K ( ) ! L ( ) sobre tal que
e ( ) = : Además F es cuerpo de escisión de f sobre K ( ) y E lo es de
f e sobre L ( ). Por el teorema del grado se tiene [F : K ( )] < [F : K] = m
al ser [F : K] = [F : K ( )] : [K ( ) : K] y [K ( ) : K] = @(f1 ) > 1; como
ya se ha dicho. Es ahora cuando interviene la hipótesis de inducción, ya que
[F : K ( )] < m permite suponer que existe un isomor…smo : F ! E sobre
e que es isomor…smo sobre : Así es isomor…smo sobre y el teorema
queda probado.
\ii) =) iii)"
Dado un f 2 E [X] con @(f ) 1; cada i 2 E que interviene en la
factorización f = c(X 1 )(X 2 ):::(X n ) en E [X] es un cero de f:
\iii) =) v)"
Sea F : E una extensión algebraica y sea un elemento arbitrariamente
…jado en F . Sea f = Irr( ; E) 2 E [X] : En virtud de la hipótesis iii); existe
un 2 E tal que f ( ) = 0 y entonces f es divisible por X en E [X] :
De la irreducibilidad de f en E [X] resulta f = (X ): Ahora f ( ) = 0
proporciona = 2 E: Es decir F = E
\iv) =) i)"
Si f 2 E [X] es un polinomio irreducible @(f ) 1; por la proposición
4.2.2 existe una extensión E( ) : E tal que f ( ) = 0 y tal que [E( ) : E] =
@(Irr( ; E)). La extensión E( ) : E es …nita, y f = c:Irr( ; E): Por la
hipótesis iv) se tiene 2 E( ) = E; y por lo tanto Irr( ; E) = (X ): Así
f = c(X ) es un polinomio lineal.
Obsérvese que la equivalencia "i) () ii)" ya ha sido probada en (2.4.10).
Demostración. Sea
OBSERVACIÓN
4.12) A partir de ahora, a menudo, consideraremos a cada cuerpo K
incluido dentro de "su" clausura algebraica, y si f 2 K [X] es un polinomio
no constante nos referiremos a sus ceros (o raíces) dentro de K. Si F : K es
una extensión algebraica y F es una clausura algebraica de F entonces F es
también una clausura algebraica de K: Así las clausuras algebraicas de F y
de K son iguales.
4.4. SEPARABILIDAD.
m1 m2 mr
f = c (X 1) (X 2) ::: (X r) :
OBSERVACIONES
4.13) En virtud de la unicidad de la factorización de f en Ef [X], la
multiplicidad de cada i 2 Ef está determinada de modo único.
4.14) Si f 2 K [X] y E1 y E2 son dos cuerpos de escisión de f sobre K,
sabemos que existe un K isomor…smo : E1 ! E2 (4.2.7). Por lo tanto, si
m1 m2 mr
f = c (X 1) (X 2) ::: (X r)
y
n1 n2 nt
f = c (X 1) (X 2) ::: (X t)
OBSERVACIÓN
4.16) Si K F E es una torre de cuerpos y 2 E es separable sobre
K entonces lo es también sobre F: Ello es inmediata consecuencia de que
f = Irr( ; F ) divide a g = Irr( ; K) en F [X] ; y por tanto también en el
anillo F 0 [X], para cualquier F 0 cuerpo de escisión de g sobre F:
( )0 (f ) = f 0 = n:an X n 1
+ (n 1) :an 1 X n 2
+ ::: + a1 ;
(f + g)0 = f 0 + g 0
(f g)0 = f 0 g + f g 0 ;
4.4. SEPARABILIDAD. 123
1 = 1 ( ) = f ( ) g ( ) + f 0 ( ) h ( ) = 0;
lo que es imposible.
m1 m2 mr
(X 1) (X 2) ::: (X r) =f =
m1 m2 mr
=f i
= (X i ( 1 )) (X i ( 2 )) ::: (X i ( r )) =
m1 m2 mr
= (X i) (X i ( 2 )) ::: (X i ( r ))
f 0 = nX n 1
+ (n 1) an 1 X n 2
+ ::: + a1 = 0
2
si, 2 K es un cero de f: Ahora f (X) = g1 (X p ) = g2 (X p ) con @(f ) =
p:@(g1 ) = p2 :@(g2 ): El método podrá reiterarse, obteniendo una sucesión de
polinomios f; g1 ; g2 ; :::; gi ; ::de grados estrictamente decrecientes, si cada gi
126 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
tiene raíces múltiples. Como el proceso debe …nalizar tras un número …nito
de pasos, existe necesariamente un tal que g solamente tiene raíces simples.
De todo el proceso iterativo resulta que si 1 ; 2 ; :::; r son todos los ceros
de f; nuestro g tiene a p1 ; p2 ; :::; pr por únicos ceros (que además son
p p p
simples). Entonces g (X) = (X 1 )(X 2 ):::(X r ): Ahora, de la
factorización única de f en K [X], y de las igualdades
p p
f (X) = g X p = (X p 1 )(X
p
2 ):::(X p p
r )=
p p p
= (X 1 ) (X 2 ) ::: (X r) =
m m m
= (X 1 ) (X 2 ) ::: (X r ) ;
se obtiene m = p :
Nota 4.4.9
p
@f = [K ( ) : K] = p :@g = p K :K
4.4. SEPARABILIDAD. 127
Nota 4.4.11
Si K es un cuerpo de característica p 6= 0; lo establecido en la nota
anterior permite de…nir un encaje 'p : K ! K (denominado endomor…smo
de Frobenius) de…nido por 'p (a) = ap ; cuya imagen denotaremos por K p :
Nótese que, si se pone b = ap 2 K p el elemento a 2 K es un cero del
polinomio X p b 2 K p [X] ; y por tanto la extensión K : K p es algebraica.
Obsérvese también que el polinomio X p b 2 K p [X] escinde en K; ya que
X p b = (X a)p con X a 2 K [X] ; con lo que X p b es un polinomio
no separable.
Con las hipótesis y notaciones del párrafo anterior, supóngase además
que a 2= K p : Se tiene entonces que X p b = Irr(a; K p ): En efecto, si f =
Irr(a; K p ) el polinomio f divide a X p b = (X a)p en K p [X] ; y por lo
tanto
f = (X a)d = X d daX d 1 + ::: + ( 1)d ad 2 K p [X]
para un cierto d p; con lo cual, en particular, da = (d;1) a 2 K p : Si se
d veces
supone d < p; el elemento d;1 = 1 + ::: + 1 2 K p no es nulo, y entonces
resulta que a = (d;1) 1 da 2 K p , en contra de la hipótesis. Se tiene entonces
d = p; y por tanto f = (X a)p = X p b y f es un polinomio irreducible en
K p [X] pero no separable. Esto es exclusivo de los cuerpos de característica
no nula y la extensión K : K p es prototipo de las que llamaremos extensiones
algebraicas puramente inseparables.
Se puede construir una torre de extensiones algebraicas
1 2
::: Kp Kp ::: Kp Kp K
1 1 1 1
1
Kp K p2 ::: Kp Kp :::
en la cual cada cuerpo está constituido por las raíces p-ésimas de los ele-
mentos del anterior más pequeño. Es muy fácil probar que si un paso de esta
cadena es trivial (i.e. de grado 1), entonces todos los pasos son triviales.
De…nición 4.4.12 Un cuerpo K de característica p 6= 0 se dice que es un
cuerpo perfecto si 'p es isomor…smo, o lo que es lo mismo, si K = K p (y por
lo tanto la anterior cadena de extensiones es trivial):
Los cuerpos …nitos son perfectos (#K = #'p (K) ya que 'p es inyectivo),
y lo son también los cuerpos algebraicamente cerrados (para cualquier b 2 K
el polinomio X p b 2 K [X] tiene al menos un cero en K; y, por lo tanto,
existe un a 2 K tal que b = ap ).
128 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
Nota 4.4.13
Demostración. Poniendo = 0 1
: (K) ! 0 (K) nuestro se
0
extiende a un isomor…smo : L ! L (4.3.3) y es fácil ver que, para 2 S
el encaje es elemento de S 0 : Como la aplicación : S ! S 0 es
inyectiva al serlo ; se tiene #S #S : Razonando con 1 =
0
0 1
se
obtiene de modo análogo que #S 0 #S :
La importancia de este hecho motiva la siguiente
De la nota anterior (4.4.16) y del teorema del grado se obtiene que [F : K]s
divide a [F : K] :
Nótese que si F = K( ) con 2 F algebraico sobre K entonces [F : K]i =
multiplicidad común de todos los ceros de Irr( ; K) y por tanto [F : K]i =
p , con 0, si K es de característica p 6= 0. Si Caract(K) = 0 se tiene
[F : K]i = 1:
130 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
Nota 4.4.23
Nota 4.4.26
Nota 4.4.29
4.5. TEOREMA DEL ELEMENTO PRIMITIVO 133
K K( 1) K( 1; 2) ::: K( 1; 2 ; :::; n) =F
Ejemplos
1.- La clausura algebraica K es una extensión normal de K:
2.- Si [E : K] = 2 entonces E : K es normal. En efecto, sea f un polinomio
irreducible en K [X] que tiene un cero 2 E: Veamos que f escinde en E:
El elemento es algebraico sobre K; y entonces f = c:Irr( ; K) por ser
f irreducible en K [X] ; donde c =coe…ciente principal de f . Ahora @(f ) =
[K ( ) : K] [E : K] = 2, y por tanto, o f es lineal, y entonces escinde en
K (y, como consecuencia, en E), o f = c(X )g con g 2 E [X] y @(g) = 1,
con lo cual g escinde en E. Por tanto f escinde en E en cualquier caso.
Recuérdese que para grupos existe el resultado: "si H es un subgrupo
del grupo G y (G : H) = 2 entonces H es subgrupo normal de G". El
4.6. EXTENSIONES NORMALES. CLAUSURA NORMAL 137
Teorema 4.6.2 Sea E : K una extensión …nita y sea E una clausura alge-
braica de E (y por lo tanto de K). Son equivalentes las a…rmaciones
i) La extensión E : K es normal.
ii) E es cuerpo de escisión sobre K de algún polinomio f 2 K [X].
iii) Todo encaje : E ! K = E sobre K es un isomor…smo de E (es
decir (E) = E).
\ii) =) i)"
Como consecuencia del apartado iii) del teorema 4.6.2 bastará con demos-
trar que cada encaje : F ! F = E = K sobre K es un automor…smo de F .
Para un tal encaje existe una extensión : E ! F ya que E : F es algebraica
(por ser …nita) y F es algebraicamente cerrado (4.3.3). Como E : K es normal
…nita (E) = E por el mencionado apartado del teorema 4.6.2, y, en virtud
de la hipótesis, se tiene (F ) = F = (F ).
Ejemplos
1.- Sea 2 C, 6= 1 tal que 3 = 1 (p. ej. = cos 23 + i:sen 23 =
p p
1
+ i 23 ). Entonces Q 3 2; es cuerpo de escisión de X 3 2 sobre Q.
2 p p p
En efecto los elementos 3 2; 3 2; p2 3 2 2 C son raíces de dichoppolinomio
y todas están en la extensión Q 3 2; de Q. Por lo tanto Q 3 2; : Q
es una extensión …nita (está generada por un número …nito de elementos
algebraicos sobre p Q) y también normal (4.6.2). Sin embargo la extensión
p
intermedia Q 2 : Q no es normal ya que el polinomio X 3 2 = Irr( 3 2; Q)
3
p
tiene un cero en Q 3 2 pero no los restantes (en caso contrario se tendría
p 1 p p
= 32 : :322Q 32 R, lo cual es absurdo).
Es importante señalar también que si en una torre K F E de
extensiones …nitas, F : K y E : F son extensiones normales, en general NO
es normal la p extensión
p E : K, como se ve en el siguiente ejemplo
4
2.-
p Sean 2; p 2 2 R. pEntonces son normales y …nitas las extensiones
p
Q 2 : Q y Q 2 : Q 2 y, sin embargo, la extensión …nita Q 4 2 : Q
4
p p p p
no es normal. En efecto, Irr( 4 2; Q 2 ) = X 2 2; e Irr( 2; Q) =X 2 2;
p p p
por lo que Q 4 2 : Q 2 = 2 = Q 2 : Q , y así ambas extensiones
p
son normales. La extensión Q 4 2 : Q no es normal ya que el polinomio
p p
X 4 2 = Irr( 4 2; Q) no escinde en Q 4 2 ; que es un subcuerpo de R, y no
todos los ceros de X 4 2 p son reales (los únicos números reales que son ceros
de dicho polinomio son 4 2):
Recuérdese que si L H G es una torre de grupos y si L es normal en
G entonces L es normal en H; pero H puede no ser normal en G. También,
aunque L sea normal en H y H sea normal en G no se tiene, en general, que L
sea normal en G. Estos resultados de grupos son los correspondientes análogos
a los referidos en los dos anteriores ejemplos de extensiones de cuerpos.
4.7. Ejercicios
1- Sea la raíz séptima real de 3 y una raíz séptima de 1, 6= 1:
Pruébese que Q ( ; ) es cuerpo de escisión para X 7 3 sobre Q.
2.- Encuéntrese un cuerpo de escisión sobre Q para cada uno de los poli-
nomios X 4 + 5X 2 + 6; X 7 1; X 3 3X 2 + 3X 2; X 4 3; X 6 8; X 6 + 1,
(X 2 3)(X 2 7), X 5 2 y (X 3 2)(X 2 7). Determínense los grados de
las correspondientes extensiones sobre Q.
p p
3.- Sea f = (X 12 16)(X 2 3) 2 Q[X]. Demuéstrese que E = Q 3 2; 3; i
es un cuerpo de escisión para f sobre Q y calcúlese [E : Q] :
4.- Si Ef denota un cuerpo de escisión sobre Q de f 2 Q[X], encuéntrese
un elemento primitivo para la extensión Ef : Q en cada uno de los siguientes
casos:
a) f = X 4 + 1.
b) f = X 4 + 4.
5.- Obténgase el grupo de Galois de cada uno de los siguientes polinomios
sobre los cuerpos que se indican:
4.7. EJERCICIOS 143
TEORÍA DE GALOIS
F H := fx 2 F j (x) = x; 8 2 Hg :
OBSERVACIONES
5.1) F H es efectivamente un subcuerpo de F; ya que para x; y 2 F H y
para cualquier elemento 2 H, se tiene (x + y) = (x) + (y) = x + y,
145
146 CAPÍTULO 5. TEORÍA DE GALOIS
=) n
+ bn 1
n 1
+ ::: + b1 + b0 = ( )n + (bn 1 ) ( )n 1 +:::+ (b1 ) ( )+ (b0 ) =
que el orden
p del grupo de Galois
p de dicha
p extensión es 1. En efecto, si 2
3 3 3
Gal(Q 2 =Q) entonces 2 2Q 2 R ha de ser necesariamente
3
p
3
p
un cero real de X 2 (observación 5.3); y por tanto 2 = 3 2, con lo
p p
que = idQ( p 3
2) (observación 5.2). Los restantes ceros son
3
2: ; 3 2: 2 , en
2 i
donde = cos 23 + i:sen 23 = e 3 , y ambos son números complejos no reales.
#Gal (F=K) = [F : K] :
Irr( ; K) = Irr( ; K) ()
9 ; : K ( ) ! K ( ) isomor…smo sobre K tal que ; ( )= :
;
Ahora, para K ( ) ! K ( ) ,! F ,! F existe una extensión : F ! F
(4.3.3) que es un automor…smo de F sobre K (4.6.2), tal que ( ) = :
Recíprocamente, si 2 Gal (F=K) es tal que ( ) = , la proposición 4.1.2
proporciona que Irr( ; K) = Irr( ; K):
Para la demostración de 2) considérese un elemento primitivo 2 F de
la extensión F : K; que existe al ser F : K separable (4.5.3). Así F = K ( )
y, si f = Irr( ; K); entonces f es separable y [F : K] = @(f ) = n. Como la
extensión F : K es normal el polinomio f escinde en F; y por tanto, F es
cuerpo de escisión de f sobre K. Si = 1 ; 2 ; :::; n 2 F son los diferentes
ceros de f; se tiene que f = Irr( i ; K) para cada i = 1; 2; :::; n; y, en virtud
del apartado 1), para cada i existe un i 2 Gal (F=K) tal que i ( ) = i :
Se obtienen así n diferentes automor…smos de F sobre K; con lo que resulta
n = [F : K] #Gal (F=K) : De la proposición 5.1.2 se deduce directamente
que [F : K] #Gal (F=K) ; y de ahí el resultado.
148 CAPÍTULO 5. TEORÍA DE GALOIS
Ejemplos
1.- Gal(C=R)
p t Z2
3
2.- Gal(Q 2 =Q) es el grupo de un solo elemento.
H E ! E
( ; ) ( ):
Por lo tanto
E H ( ) : E H = #OH ( ) = (H : H ) ;
que es divisor de #H.
Es decir, los coe…cientes del polinomio g 2 E [X] quedan …jos por cada
2 H, lo que signi…ca que g 2 E H [X]. Ahora, como es un cero de g, y
como f = Irr ; E H , resulta que f divide a g en E H [X] y por lo tanto
también en E [X]. Como ambos polinomios tienen coe…ciente principal 1 se
tiene f = g.
La segunda a…rmación es consecuencia inmediata de lo ya demostrado.
E : E H = #H y H = Gal(E=E H ).
Esta sección está dedicada a la prueba del teorema que establece que el
cuerpo C de los números complejos es algebraicamente cerrado. Consideramos
a C como cuerpo de escisión del polinomio X 2 + 1 2 R [X] sobre R.
El siguiente resultado es una de las aplicaciones clásicas del teorema de
Bolzano y será admitido aquí sin prueba pues ésta es de índole no algebraica
y puede ser consultada en cualquier texto de Análisis real.
2
Lema 5.2.2 Si 2 C existe 2 C tal que = .
5.2. EL TEOREMA FUNDAMENTAL DEL ÁLGEBRA 153
MIOS CICLOTÓMICOS
pr pr
r
ps prt pr p veces
t ::::
= = =
r pr
pr p t 1 veces
= :::: = ::: = ;
s
divisor de n: Si j'j = s con s n; se tiene 's (x) = xp = x, para cada
x 2 F , de lo que se deduce Fpn Fps . La proposición 5.3.1, antes citada,
permite a…rmar n s; de donde resulta la igualdad s = n: Además cada
automor…smo de F deja …jos los elementos del cuerpo primo Fp y, por lo
tanto, el grupo de todos los automor…smos de F es el grupo de Galois de la
extensión F : Fp cuyo grado es igual al orden de dicho grupo (5.1.7). Se tiene
así n = [F : Fp ] = #Gal(F=Fp ) = #Aut(F ): Por lo tanto Aut(F ) =< ' >
El resto de la sección se dedicará al estudio de las raíces de la unidad, es
decir las raíces de polinomios de la forma X n 1:
De…nición 5.3.4 Cada generador del grupo cíclico Un se llamará raíz primi-
tiva n-ésima de 1.
Nota 5.3.5
Nota 5.3.9 Una extensión abeliana (resp. cíclica) es una extensión de Ga-
lois con grupo abeliano (resp. cíclico).
n
Demostración. i
= n ( n )i = a, para cualquier i; y así los elemen-
tos ; ; 2 ; :::; n 1 de K son ceros del polinomio X n a; ; ; 2 ; ::
:; n 1 son diferentes ya que de i = j (con 1 i < j < n) resultaría
j i
= 1 con j i < n, lo cual es absurdo, pues el grupo Un es de orden n
(5.3.3). Es inmediato entonces que
2 n 1
K( ; )=K ; ; ; :::;
X6 1
5.9)X 6 1 = 1 (X) : 2 (X) : 3 (X) : 6 (X) ) 6 (X) = 1 (X): 2 (X): 3 (X)
X6 1 2
= (X 1):(X+1):(X 2 +X+1)
= X X+1: De modo alternativo: los ceros de 6 (X)
son las dos raíces primitivas sextas de 1 (a saber: = cos 26 + i:sen 26 ; y
5
= cos 106 + i:sen 106 = = 1 ), y entonces 6 (X) = (X ): X =
2 2 2 2
X ( + ):X + : = X 2: cos 6 :X + 1 = X X + 1:
12
5.10) X 1 = 1 (X) : 2 (X) : 3 (X) : 4 (X) : 6 (X) : 12 (X) =
= X6 1 : 4 (X) : 12 (X) =)
X 12 1 X6 + 1
12 (X) = 6 2
= 2
= X4 X 2 + 1:
(X 1) (X + 1) X +1
Nota 5.3.12
Ejercicio
Sea una raíz primitiva duodécima de 1 2 Q. Como ' (12) = 4 el número
de raíces primitivas duodécimas de 1 es 4, y tales raíces son ; 5 ; 7 ; 11 :
Por la proposición 5.3.7, la extensión Q ( ) : Q es de Galois y por tanto
[Q ( ) : Q] = #Gal (Q ( ) =Q) = 4: El ejercicio consiste en determinar la
estructura del grupo Gal (Q ( ) =Q) ; su retículo de subgrupos y los cuerpos
intermedios de la extensión Q ( ) : Q.
Solución
Sea 0 = idQ( ) ; 1 ; 2 ; 3 = Gal (Q ( ) =Q) = G; con 1 ( ) = 5 ;
7
2( ) = ; 3 ( ) = 11 (recuérdese que la imagen de mediante cualquier
automor…smo de Q ( ) sobre Q debe ser una raíz primitiva duodécima de 1
(5.3.12)). Para cada i = 0; 1; 2; 3 sea Hi =< i >. Es fácil comprobar que
162 CAPÍTULO 5. TEORÍA DE GALOIS
2.12+1 12 2
= = : = 12 : = ;
y entonces 21 = 0 = idQ( ) : Se puede a…rmar entonces que G no es un grupo
cíclico (si G fuese cíclico solamente admitiría un único subgrupo de orden
2 (observación 1.5)). Por lo tanto G = Z2 Z2 ; y los anteriores Hi son los
únicos subgrupos propios de G:
Por el Teorema Fundamental de Teoría de Galois, para la determinación
de los cuerpos intermedios bastará con obtener los cuerpos …jos de dichos
subgrupos. Para ello considérese la Q-base 1; ; 2 ; 3 de Q ( ) ; respecto
de la cual cada elemento x 2 Q ( ) admite una única expresión x = a + b +
c 2 + d 3 con a; b; c; d números racionales. Considérese también que 12 = 1;
y que Irr( ; Q) = 12 (X) = X 4 X 2 + 1:
Obtención de Q ( )H1 . Se tiene, para x = a + b + c 2 + d 3 2 Q ( ) ;
2
1 (x) = a + b 1 ( ) + c 1 + d 1 3 = a + b 5 + c 10 + d 15 ; y como
dX 15 + cX 10 + bX 5 + a = (X 4 X 2 + 1)(dX 11 + aX 9 + cX 6 dX 5 + cX 4
d3 + X c)+ (b + d)X 3 cX 2 bX + c + a (algoritmo de Euclides en Q [X]);
resulta 1 (x) = (a + c) b c 2 + (b + d) 3
H1
Entonces, x 2 Q ( ) , x = 1 (x)
2 3 2 3
() a + b + c +d = (a + c) b c + (b + d)
() a + c = a; b = b; c = c; b + d = d
() b = c = 0 () x = a + d: 3 :
Por lo tanto 1 (x) = x =) x 2 Q 3 ; es decir Q ( )H1 Q 3 . Como, por
otra parte 1 ( 3 ) = 15 = 3 se tiene Q 3 Q ( )H1 ; y así Q ( )H1 = Q 3
(La expresión de 1 (x) se puede obtener de forma alternativa a partir de la
igualdad 1 (x) = a + b 5 + c 10 + d 15 ; haciendo uso de que 15 = 3 y
4 2 2
= 2 1; pues entonces 5 = 3 ; y también 10 = 5 = 3 =
6 4 2 4 2 2 2 2
2 + = 2 1 + = + 1):
H2
De forma similar se prueba que Q ( ) = Q 2 y que Q ( )H3 =
Q 2 + 3 ; que, junto con Q ( )H1 = Q 3 ; constituyen los únicos cuer-
pos estrictamente intermedios de la extensión Q ( ) : Q.
5.4. RESOLUBILIDAD POR RADICALES 163
K = K0 K1 ::::: Ki 1 Ki ::::: Kr = F
OBSERVACIONES
5.12) Si F : K es extensión radical entonces F = K( 1 ; 2 ; :::; r ) y por
tanto F : K es …nita ya que cada i es algebraico sobre K( 1 ; 2 ; :::; i 1 ) =
Ki 1 :
5.13) Si F : K es extensión radical, como 1; 1 ; 21 ; :::; n1 1 1 es un
sistema de generadores de K( 1 ) como K-espacio, resulta
r q
p n2 p
c0 + c1 a1 + ::: + cn1 1 an1 1 1 ( )
n1
2 = a2 =
n2 n1
p
con a1 = n1 1 ; cj 2 K para j = 0; 1; :::; n1 1: De forma recurrente, 3 = n3 a3
con a3 2 K( 1 )( 2 ); y, por tanto 3 será una expresión del tipo (*) con
a2 en lugar de a1 ; con n2 en lugar de n1 ; con n3 en lugar de n2 ; y con
los cj 2 K( 1 ) que serán, a su vez, por tanto, expresiones del tipo gj ( 1 )
con gj (X) 2 K [X] : Procediendo de modo iterativo se obtiene que cualquier
elemento de K( 1 ; :::; n ) es una expresión algebraica de expresiones radicales
de expresiones algebraicas ... de elementos de K.
Nota 5.4.5
5.4. RESOLUBILIDAD POR RADICALES 165
F (Y ) = g(Y p Y )Y m f (Y p Y ),
Ym an (Y p Y )n an 1 (Y p Y )n 1
::: a0 =
Ejemplo
p p
Q( 2; 3 2) : Q es una extensión radical. La torre
p p3
p p
3
Q0 = Q Q1 = Q( 2 ) Q2 = Q1 ( 2) = Q( 2; 2)
Nota 5.4.10
Gal(E=K) ! Gal(F=K)
1
es un isomor…smo de grupos.
Para la prueba del Teorema 5.4.15, que constituye el resultado principal
de esta sección -y de estas notas-, necesitaremos los dos lemas siguientes.
Nota 5.4.14
K = K0 K1 ::: Kr = F
5.4. RESOLUBILIDAD POR RADICALES 171
K K( ) = F0 F1 F2 ::: Fi 1 Fi ::: Fr = E( )
Demostración. El polinomio
Q f es separable al ser Q de característica
0 y por lo tanto f = c p1 (X i ); con 1 ; 2 ; :::; p diferentes elementos
de C. Sean 1 ; 2 2 C R, 3 ; ::: p 2 R y sea Ef = Q ( 1 ; 2 ; 3 ; :::; p )
el cuerpo de escisión ( C) de f sobre Q: Por la proposición 5.4.16 se
sabe que GalQ (f ) es isomorfo a un subgrupo H del grupo Sp de las per-
mutaciones de p elementos. Además la torre de cuerpos Q Q ( 1 ) Ef
proporciona [Ef : Q] = [Ef : Q ( 1 )] : [Q ( 1 ) : Q] = [Ef : Q ( 1 )] :p; ya que
f = c:Irr ( 1 ; Q) (donde c =coe…ciente principal de f ), y entonces p es di-
visor del orden de H, pues [Ef : Q] = #GalQ (f ) = #H al ser de Galois
la extensión Ef : Q. Por el teorema de Cauchy (1.2.26) sabemos que existe
un elemento e 2 H de período p y que por tanto es un p-ciclo (1.3.8). El
subgrupo H de Sp contiene entonces un p-ciclo. Además, necesariamente se
tiene 1 = 2 (y 1 = 2 ) ya que los coe…cientes de f son números reales,
y así la conjugación ( ) : C ! C se restringe a un automor…smo
: Q( 1; 2; 3 ; :::; p) ! Q( 1; 2; 3 ; :::; p)
( 1 ) = 1 = 2 ; ( 2 ) = 2 = 1 ; y ( i ) = i para i = 3; :::; p: En
consecuencia, utilizando las notaciones de la prueba de (5.4.16), resulta que
la trasposición e y el p-ciclo e son elementos de H. El subgrupo H de Sp
satisface entonces las hipótesis de la proposición 1.3.9 y por lo tanto se tiene
GalQ (f ) = H = Sp :
a1 1 + ::: + ar r = 0; ( )
y
E
P
r
T rK ( ) = [E : K]i i ;
i
expresión, esta última, que es obviamente nula en el caso de que la extensión
E : K no sea separable (i.e. 6= 0). Si E : K es separable se tiene NKE ( ) =
Qr
E
Pr
i y T rK ( )= i .
1 i
2 n 1
no es idénticamente nula (los caracteres idE ; ; ; :::; son diferentes) y
por lo tanto existe un 2 E tal que
1 1 2 ::: n 2
2 n 1
= idE + + + ::: + ( )=
1 2 1 2 ::: n 2 n 1
= + + + ::: + 6= 0:
1 2 ::: n 2 n 1
Ahora, si 1 = NKE ( ) = ; se tiene
1 2 1 2 ::: n 2 n 1 2 ::: n 1
1
( )= + + ::: + + = :
resulta
1 n 2 n 2
( )= E
[ +( + ) + ::: + ( + + ::: + )
T rK ( )
2 2 2 n 1 n 1
[ +( + ) + ::: + ( + + ::: + ) ]] =
1 h n 1
i
= E
+ + ::: + = :
T rK ( )
178 CAPÍTULO 5. TEORÍA DE GALOIS
E
Para los anteriores cálculos se ha tenido en cuenta la hipótesis T rK ( )=0
E E E
y que T rK ( ) 2 K (pues es evidente que T rK ( ) = T rK ( )).
Las dos versiones del teorema 90 permitirán caracterizar las extensiones
cíclicas de grado p y las de grado primo con p; siendo p la característica de
K.
Nota 5.4.26
Nota 5.4.28
que divide a [F : K] :
Nota 5.4.29
K K( ) E( ) F( )
K = K0 K1 ::: Kr = L
es una torre radical con pasos de los tipos especi…cados en (5.4.1), la torre
obtenida a partir de ésta por -levantamiento
K0 ( ) K1 ( ) ::: Kr ( )
tiene los correspondientes pasos de los mismos tipos que la anterior, pero
ahora cada cuerpo contiene raíces primitivas de la unidad su…cientes co-
mo para poder a…rmar, a la luz de (5.4.24), que todas aquellas extensiones
Ki+1 ( ) : Ki ( ); tales que [Ki+1 : Ki ] es primo con p; tienen grupo de Galois
cíclico de orden primo con p (isomorfo por (5.4.13) a un subgrupo del grupo
5.5. LA ECUACIÓN GENERAL DE GRADO N. 183
Nota 5.5.3
En particular, si f = X n + an 1 X n 1
+ ::: + a0 2 K[X] K[X]; y 1 ; :::; n 2
K son los ceros de f; entonces
mediante P P
e ( ri X i ) = e(ri )X i ;
i i
en donde las ri denotan funciones racionales en las trascendentes t1 ; t2 ; :::; tn :
El polinomio Fn (X) = X n s1 X n 1 + ::: + ( 1)n sn es tal que e(Fn (X)) =
Fn (X); ya que Fn (X) = (X t1 )(X t2 ):::(X tn ) y la aplicación e consiste
solamente en la alteración del orden de los factores.
Como K (t1 ; t2 ; :::; tn ) = K(s1 ; s2 ; :::; sn )(t1 ; t2 ; :::; tn ); resulta que K (t1 ; t2 ; :::; tn )
es el cuerpo de escisión de Fn (X) sobre K(s1 ; s2 ; :::; sn ); es decir, la extensión
K (t1 ; t2 ; :::; tn ) : K(s1 ; s2 ; :::; sn ) es normal. Tenemos así
GalK(s1 ;s2 ;:::;sn ) (Fn ) = Gal(K (t1 ; t2 ; :::; tn ) =K(s1 ; s2 ; :::; sn )):
Además, se tiene un homomor…smo de grupos
e
que será isomor…smo como consecuencia de la siguiente proposición, en cuya
prueba usaremos la noción de peso de un polinomio.
186 CAPÍTULO 5. TEORÍA DE GALOIS
como
P el entero w(M ) := 1 + 2 2 + ::: + n n : Para un polinomio f =
a( ) M( ) (X1 ; X2 ; :::; Xn ) 2 K [X1 ; :::; Xn ] el peso w(f ) queda de…nido como
( )
el máximo de los pesos de sus monomios, es decir
Como w(g1 (X1 ; :::; Xn 1 )) = @g1 ((s1 )0 ; :::; (sn 1 )0 ) < d; el polinomio simétri-
co
f1 (t1 ; t2 ; :::; tn ) := f (t1 ; t2 ; :::; tn ) g1 ((s1 )0 ; :::; (sn 1 )0 )
tiene grado d (en las t1 ; t2 ; :::; tn ). Además
Corolario 5.5.7 Con las mismas notaciones que hasta ahora se tiene
Fn (X) := X n (s1 ) X n 1
+ ::: + ( 1)n (sn )
b
(con b(i) = j :() (ti ) = tj ), es inversa del homomor…smo
e
de…nido más arriba.
Como consecuencia de todo lo anterior resulta
Dn = ( n )2 :
F F( ) L
proporciona la de grupos
G = Gal(L=K) = S3 A3 f1g;
= F ( ) = LA3
La trascendencia de ft1 ; t2 ; t3 g sobre K proporciona 0 ; 1 ; 2 2
(por ejemplo, de ( 1 ) = 1 se obtendría (1 + )t1 + t2 + t3 = 0). Resulta
entonces L = F ( )( 1 ) y ( 1 )3 2 F ( ): Así
3
( 1) =R+Q
para ciertos R; Q 2 F = K(s1 ; s2 ; s3 ) -cuyo cálculo es tedioso y no se realizará
aquí- de lo que resulta p3
1 = R+Q :
Poniendo = (23) 2 S3 se tiene 2 = ( 1 ), por lo que
3
( 2) =R Q ;
y así p
3
2 = R Q ;
ya que R , Q 2 F = LS3 ; ( ) = :
Para la obtención de las expresiones radicales de las t1 ; t2 ; t3 comenzare-
mos sumando miembro a miembro las ecuaciones ( ); con lo que resulta
3t1 + (1 + + 2 )t2 + (1 + + 2 )t3 = 3t1 = 0 + 1 + 2 ; ya que 6= 1 es un
cero de X 3 1 = (X 1)(X 2 + X + 1): De forma análoga, a partir de
0 = t1 + t2 + t3
2
1 = t1 + t2 + t3
2 2
2 = t1 + t3 + t2
2
se obtiene 3t3 = 0 + 1 + 2; y a partir de
0 = t1 + t2 + t3
2 2
1 = t1 + t2 + t3
2
2 = t1 + t3 + t2
2
resulta 3t2 = 0 + 1 + 2: Por lo tanto
t1 = 31 ( 0+ 1 + 2)
2
t2 = 31 0+ 1+ 2
2
t3 = 31 0+ 1+ 2
son las expresiones buscadas para las raíces de F3 que culminan la resolución
por radicales de la ecuación cúbica general pues los elementos 0 ; 1 ; 2 son
expresiones radicales de los coe…cientes del polinomio F3 :
192 CAPÍTULO 5. TEORÍA DE GALOIS
Q
4
LA CUÁRTICA: Dada la cuártica general F4 = (X ti ) = X4 s1 X 3 +
1
s2 X 2 s3 X + s4 = 0 se trata de obtener t1 ; t2 ; t3 y t4 como expresiones
radicales de los coe…cientes s1 ; s2 ; s3 y s4 : Como antes, denotaremos con L =
K(t1 ; t2 ; t3 ; t4 ) el cuerpo de escisión de F4 sobre F = K(s1 ; s2 ; s3 ; s4 ): Por
(5.5.7) el grupo de Galois de F4 sobre F es G = GalF (F4 ) = Gal(L=F ) = S4 :
Recuérdese que la resolubilidad de G se obtiene en la prueba de (1.3.17)
mediante la construcción de la torre
f1g W V A4 G = S4
L : LW = #W = j(13)(24)j = 2;
LW : LV = (V : W ) = 2;
LV : LA4 = (A4 : V ) = 3 (véase prueba de (1.3.17))
LA4 : F = (S4 : A4 ) = 2:
La extensión LV : LA4 es cíclica de grado 3; y admite como elemento primitivo
cualquier 2 LV (es decir un 2 L que quede …jo por los elementos de V )
que no sea elemento de LA4 . El elemento = (t1 + t2 )(t3 + t4 ) es tal que
(123)( ) = (t2 + t3 )(t1 + t4 ) 6= , y queda …jo por cualquier elemento
V A4
de V: Así se tiene L = L ( ) = F ( ; ): Ahora, como LV : LA4 = 3 el
polinomio Irr( ; LA4 ) = X 3 a1 X 3 + a2 X 2 a3 X + a4 2 LA4 [X] tiene por
ceros todos los conjugados de por la acción del grupo Gal(LV =LA4 ) = A4 =V
que es cíclico de orden 3 generado por = :V; la clase módulo V de cualquier
permutación par 2 S4 que no sea elemento de V . El elemento = (123)
satisface las condiciones y de ello resultan las igualdades
Irr( ; LA4 ) = X 3 a1 X 3 + a2 X 2 a3 X + a4 =
2
(X )(X ( ))(X ( )) =
= (X ((t1 + t2 )(t3 + t4 )) (X ((t2 + t3 )(t1 + t4 )) (X ((t3 + t1 )(t2 + t4 )) ;
5.5. LA ECUACIÓN GENERAL DE GRADO N. 193
t1 + t2 + t3 + t4 = s1
(t1 + t2 ) (t3 + t4 ) =
p p
s1 s21 4 1s1 s2 4
resulta t1 + t2 = 2
; y entonces t3 + t4 = 2
; donde la elección
de un signo en la raíz para el valor de t1 + t2 condiciona la selección del signo
contrario para la raíz que expresa el valor de t3 + t4 :
De forma análoga, las igualdades
t1 + t2 + t3 + t4 = s1
(t2 + t3 ) (t1 + t4 ) =
p2 p2
s1 s1 4 s1 s1 4
proporcionan t1 + t4 = 2
; y entonces t2 + t3 = 2
; con las
mismas consideraciones acerca de los signos de los radicales.
Y también, de
t1 + t2 + t3 + t4 = s1
(t1 + t3 ) (t2 + t4 ) =
p2 p2
s1 s1 4 s1 s1 4
se obtiene t1 + t3 = 2
; y entonces t2 + t4 = 2
; con consid-
eraciones análogas respecto de los signos de los radicales.
En cualquier caso, una vez seleccionados los valores de dos de los elemen-
tos t1 + t2 ; t1 + t4 ; t1 + t3 la selección del tercero está condicionada por el
hecho de que = a4 ; y las expresiones radicales de las t1 ; t2 ; t3 y t4 se
obtienen ahora de lo anterior. Así, por ejemplo, seleccionando signo + para
el radical de las expresiones correspondientes a t1 + t2 y t1 + t3 se obtiene
q q q
1
t1 = s1 + s21 4 + s21 4 s21 4 ;
4
5.6. Ejercicios
p p
1.- Sea E = Q( 2; 3). Calcular el grupo de Galois de la extensión E : Q,
así como todos los cuerpos intermedios entre Q y E.
2.- Descríbase el grupo de Galois sobre Q de cada uno de los siguientes
polinomios:
a) X 4 + 4:
b) X 4 3X 2 28
c) X 3 2.
3.- Si E es cuerpo de escisión sobre Q del polinomio X 4 + 1 demuéstrese
que Gal(E=Q) tiene orden 4. Utilizando la correspondencia de Galois, jus-
tifíquese que Gal(E=Q) no es un grupo cíclico.
4.- Sea E un cuerpo de escisión de f = X 5 1 sobre Q.
a) Demuéstrese que Gal(E=Q) es un grupo cíclico de orden 4.
b) Calcúlense los cuerpos intermedios entre Q y E.
c) Si = e 25 i , calcúlense Irr( 2 + 3 ; Q) e Irr( ; Q( 2 + 3 )).
5.- Sea E cuerpo de escisión de X 4 2 sobre Q.
a) Pruébese que G = Gal(E=Q) es isomorfo a D2;4 .
b) Calcúlense los subgrupos de G de orden 4 y sus cuerpos …jos.
6.- Demuéstrese que si p 6= 2 es número primo y es una raíz primitiva
p-ésima de la unidad el grupo Gal(Q( )=Q) es cíclico y está generado por el
Q-automor…smo de Q( ) de…nido por ( ) = 2 :
7.- Calcúlese el número de subcuerpos de Q(cos 213i ):
8.- Estúdiese cuales son los elementos de Gal(Q( 27 i )=Q) que dejan …jo
isen 27 : Calcúlense los grados (Q( 27 i ) : Q(isen 27 ) y Q(isen 27 ) : Q :
9.- Sea L : K una extensión de Galois …nita tal que Gal(L=K) = Zpq ,
siendo p; q primos diferentes.¿Cuántos cuerpos intermedios existen entre K
y L?
10.- Demuéstrese que para cada número par n > 0 existe un polinomio
f 2 Q [X] de grado n que tiene n raices no racionales distintas y cuyo grupo
de Galois sobre Q es Z2 :
11.- Sean p; q números primos tales que p = 2q + 1: ¿Cuántos subcuerpos
2 i
tiene Q(e p )?
5.6. EJERCICIOS 195
2 i
12.- Sean p; n un números enteros, p primo, y sea =e p . Demuéstrese
que son equivalentes las a…rmaciones
p
i) n es un cubo perfecto (es decir 3 n 2 Z)
p
ii) 3 n 2 Q( ):
13.- Sea una raíz primitiva séptima de la unidad. Pruébese que:
a) El grado de Q( ) : Q es 6:
b) Gal(Q( )=Q) =< >, siendo el automor…smo de Q( ) dado por
( ) = 3.
c) Irr(1 + 2( + 2 + 4 ); Q) = X 2 + 7:
14.- Justifíquese la veracidad o la falsedad de la siguiente a…rmación:
Si E es el cuerpo de escisión de X 4 2psobre Q en C, para demostrar que
el grado del polinomio irreducible de i + 4 2 sobre Q es igual al grado de E
sobre Q bastapcon probar que existen al menos 5 elementos distintos en la
órbita de i + 4 2 mediante la acción del grupo Gal(E : Q).
15.- a) Sea f = X 4 + X 2 6 2 Q[X]. ¿Es f irreducible sobre Q? Determí-
nese su cuerpo de escisión Ef sobre Q calculando, si es posible, un elemento
primitivo de Ef : Q. Hallar Gal(Ef =Q) y sus subgrupos. ¿Existe algún cuerpo
intermedio F tal que F : Q es normal?
b) Pruébese que si g es un polinomio irreducible sobre un cuerpo K y tiene
un cero en una extensión radical de K entonces g es resoluble por radicales.
16.- Sea f = X 5 2 2 Q[X] y sea G = GalQ (f ) :
a) Calcúlese el orden de G.
b) Demuéstrese que G tiene un subgrupo normal de orden 5.
c) Pruébese que G es resoluble.
d) Demuéstrese que G no es abeliano.
e) Pruébese que G es isomorfo a un subgrupo de S5 que no contiene
trasposiciones.
p p
17.- Sea E = Q( 2; 7 5; i).
a) Calcúlese [E : Q] y pruébese
p que E : Q no es normal p
b) Demuéstrese que E : Q( 7 5) es normal y determinar una Q 7 5 -base
de E. p
7
c) Pruébese
p que G = Gal(E=Q( p5)) Z2 Z p 2:
7
d) ¿Es 2 + 5i un cero de Irr( 2 + 5i); Q( 5))?
18.- Justifíquese la veracidad o la falsedad de las siguientes a…rmaciones:
a) X 4 + 1 2 Q[X] es un polinomio ciclotómico.
196 CAPÍTULO 5. TEORÍA DE GALOIS
b) X 3 + aX 2 + bX + 2 2 Q[X] no tienepceros
p en R.
3
c) El grupo de Galois de la extensión Q( 3; 2; i) : Q es un grupo cíclico.
19.-Sea una raíz primitiva novena de la unidad.
a) Justifíquense las relaciones de inclusión existentes entre los siguientes
cuerpos: Q( ), Q( 3 ) y Q( 6 ).
b) Calcular Irr( 2 ; Q 6 ):
20.- Sea p un número primo. Demuéstrese que si r es un número natural
r 1
entonces pr (X) = p (X P ):
21.- Sea K un cuerpo, n 1 un entero impar y 2 K una raíz primitiva
n-ésima de 1. Demuéstrese que K contiene también una raíz primitiva 2n-
ésima de 1.
22.- ¿Para qué enteros n una raíz primitiva n-ésima tiene grado 2 sobre
Q?
23.- Para r 2 N denotamos con Ur el grupo de las raíces r-ésimas de 1 2 Q:
Demuéstrese que si n y m son enteros positivos primos entre si, entonces se
tiene que Un \ Um = f1g y que Un:m = Un :Um Un Um :
24.- Para r 2 N denotamos con r una raíz primitiva r-ésima de 1 2 Q.
Demuéstrese que si n y m son enteros positivos primos entre si, entonces
Q ( n ) Q ( m ) = Q ( n:m ) y Q ( n ) \ Q ( m ) = Q:
Capítulo 6
Complementos
197
198 CAPÍTULO 6. COMPLEMENTOS
Los primos de Fermat han sido bautizados así por Mersenne. Fermat
n
había conjeturado que todos los números de la forma 22 + 1 eran primos,
5
pero Euler probó que 22 + 1 = 4;294;967;297 no lo es. Son primos de Fermat
0 1 2 3
los números 3 = 22 + 1; 5 = 22 + 1; 17 = 22 + 1; 257 = 22 + 1 y 65;357 =
4 n
22 + 1, y no se conoce ninguno más. Actualmente se sabe que 22 + 1 no es
primo si 5 n 16:
OBSERVACIONES
6.1) El polígono regular de n lados (o n-ágono regular) es constructible
si, y solamente si, cos 2n es un número real constructible.
2 i
6.2) Si = cos 2n + isen 2n = e n (por tanto es raíz primitiva n-ésima
de 1), entonces cos 2n = 21 + 2 Q ( ) ; ya que = 1 (al ser un número
complejo de módulo 1). Se tiene así una torre de cuerpos Q Q cos 2n
Q( ):
6.3) Recuérdese que, según establece el teorema fundamental sobre cons-
tructibilidad (3.3.6), un número real es constructible si, y sólo si, existe
una torre
Q =F0 F1 ::: Fr R
tal que [Fi : Fi 1 ] 2, para i = 1; 2; :::; r, y tal que 2 Fr .
6.2. La trascendencia de
Recuérdese que la prueba completa de la imposibilidad de obtener la
cuadratura del círculo utilizando solamente la regla y el compás está supe-
ditada a la demostración de la trascendencia de . Como ya se he dicho el
resultado se debe a Carl Louis Ferdinand von Lindemann (Über die Zahl :
Mathematische Annalen Vol. 20 (1882)213-225). A continuación transcribi-
mos la prueba que aparece en las páginas 170-177 de [HAW R] y que, según
sus autores, es esencialmente la misma que puede ser consultada en Vor-
lesungen über Zahlentheorie (Hirzel, Leipzig (1927) de E. Landau, o en Irra-
tionalzahlen (de Gruyter, Berlin (1910)) de O. Perron (discípulo de Linde-
mann al igual que Hilbert). Se completa así el contenido de estas notas en lo
relativo a construcciones geométricas.
Recordemos la de…nición de exponencial compleja e poniendo, para =
a + bi
e = ea ebi = ea (cos b + isenb):
6.2. LA TRASCENDENCIA DE 201
h0 := 1; y hr := r!, si r 1:
P
Con esta convención, si f (X) = m r
r=0 cr X 2 C [X] es cualquier polinomio
de grado m se tiene, formalmente,
P
m P
m
f (h) := cr hr = cr r!;
r=0 r=0
Pm f (r) (X)
f (X + Y ) = Y r;
r=0 r!
y por lo tanto
Pm f (r) (X) Pm
f (X + h) = F (h) = hr = f (r) (X)
r=0 r! r=0
x x2 X r!xn
ur (x) = + + ::: = =: ejxj r (x)
r + 1 (r + 1) (r + 2) n>0
(n + r)!
ex (h) = (x + h) + (x)ejxj
para cualquier x 2 C.
Demostración.
Pr r r (r 1)
(X + h)r = X j hr j
= hr + rXhr 1
+ X 2 hr 2
+ ::: + X r
j=0 j 2
202 CAPÍTULO 6. COMPLEMENTOS
r (r 1) r (r
1) (r 2)
= r! + r (r 1)!X + (r 2)!X 2 + (r 3)!X 3 + :::
2 3!
X2 Xr
::: + X r = r! 1 + X + + ::: +
2! r!
Ahora para cualquier x 2 C
x2 xr
= r! 1 + x + + ::: + = r!ex ur (x)xr = ex hr ur (x)xr :
2! r!
Entonces
Xm 1 Xm
F1 (X) = f (X); F2 (X) = f (X);
(m 1)! (m 1)!
son múltiplos de m:
PL
Demostración. Sea f (X) = l=0 al X l 2 Z [X] : Se tiene
P
L X l+m 1
F1 (X) = al ;
l=0 (m 1)!
y por tanto
P
L (l + m 1)!
F1 (h) = al :
l=0 (m 1)!
Como (l+m 1)!
(m 1)!
= (l + m 1) (l + m 2) :::m es múltiplo de m si l 1;
resulta que F1 (X) a0 es múltiplo de m: De modo análogo
P
L X l+m
F2 (X) = al
l=0 (m 1)!
6.2. LA TRASCENDENCIA DE 203
y entonces
P
L (l + m)!
F2 (h) = al
l=0 (m 1)!
(l+m)!
es múltiplo de m, pues para l = 0; :::; L el entero (m 1)!
es múltiplo de m:
y entonces f (d 1 ; d 2 ; :::; d m ) =
d1 d d2 d2 dm dm
= k(
; ; :::; ( 1)m );
d d d
en virtud de la homogeneidad de los si : Se tiene ahora
1; 2 ; :::; 2m 1
es la formada por
de los cuales supondremos que son nulos C 1 de ellos y que, por tanto,
después de una reordenación, se tiene la sucesión
1; 2 ; :::; n ; 0; 0; :::; 0
Sea ahora p un número primo tal que p > max(d; C; jdn 1 ::: n j) y de…-
namos
dnp+p 1 X p 1 p
(X) := [(X 1 ) ::: (X n )] =
(p 1)!
Xp 1 p 1 p
= d [(dX d 1 ) ::: (dX d n )] =
(p 1)!
6.2. LA TRASCENDENCIA DE 205
" #p
Xp 1 p X
n
k
1
= d sk (d 1 ; :::; d n ) (dX)
(p 1)! k=0
= f (d 1 ; d 2 ; :::; d 2m 1 )
t=1 t=1
S0 + S1 + S2 = 0:
Capítulo 1
( 1)n ( 1)n 1 n
(AB)n = :
0 ( 1)n
207
208 INDICACIONES PARA LA RESOLUCIÓN DE LOS EJERCICIOS
Capítulo 2
1.- a) El homomor…smo de anillos ' [X] : A [X] ! (A=J) [X] de…nido por
' [X] (an X n + an 1 X n 1 + ::: + a1 X + a0 ) = an X n +an 1 X n 1 +:::+a1 X+a0
es sobreyectivo y de núcleo J [X] : b) J primo de A () A=J es dominio de
integridad() (A=J) [X] u A [X] =J [X] es dominio de integridad() J [X]
es ideal primo de A [X] : c) No, (A=J) [X] no es cuerpo.
2.- 2 Z cero de f () f = (X )g con g 2 Z [X] =) f (0) =
(0 )g(0); f (1) = (1 )g(1) =) f (0) es par o lo es f (1):
3.- X 5 10X + 12 = (X 2 + 2) (X 3 2X) 6X + 12; por lo tanto la
solución es n = 2; 3; 6:
4.- Z [X] =(n; X) = (Z [X] =(n)) = ((n; X)=(n)) = Zn [X] =(X) = Zn :
5.- (Sol.: a) f (X) es irreducible y no lineal en Z2 [X] =) f (0) 6= 0 6=
f (1) =) f tiene precisamente un número impar de coe…cientes no nulos. b)
X; X + 1; X 2 + X + 1; X 3 + X 2 + 1; X 3 + X + 1; X 4 + X 3 + X 2 + X + 1;
X 4 + X 3 + 1; X 4 + X + 1):
6.- a) f + J = r + J donde f = g(X 3 + 2X + 1) + r y @ (r) < 3 si es
r 6= 0: Además r + J = r0 + J con r 6= r0 =) r0 = h(X 3 + 2X + 1) + r para
un cierto h 2 Z3 [X] ; h 6= o =) @(r0 ) > 3: b) X 3 + 2X + 1 es irreducible en
Z3 [X] , F = Z3 [X] =J es cuerpo (2.4.4). c) dimZ3 F = 3:
211
Capítulo 3
Capítulo 4
9.- a) p
Es de grado impar. b) Criterio de Eisenstein y 3, 5 son primos entre
si. c) Q 3 2; i : Q no es normal pues el polinomio X 3 2 tiene un cero en
p
el cuerpo Q 3 2; i pero no escinde en él.
10.- [Q( ; ) : Q] = 6:
11.- La primera parte es fácil. El ejemplo se puede dar con el polinomio
f = (X 2 2) (X 5) :
12.- Resolviendo la ecuación bicuadrada f = 0 resulta
1
f = (X ) (X ) (X + ) (X + 1 ) :
13.- 6
14.- [L1 : Q] = 2p= [L2 : L1 ] ; el polinomio f = X 4 2X 2 2 es el
p
irreducible de
p = 3 + 1 sobre Q, f tiene un cero en L2 pero =
p
1 3; que es también cero de f; no pertenece a L2 :
15.- a) f = (X 2) (X 4 + X 3 + X 2 + X + 1) ; Ef = Q ( ) con 6= 1 y
5
(1), [Ef : Q] = 4: b) X 3 3aX + 3 es irreducible en Q[X] y si este último
polinomio tuviese un cero en común con f se tendría que 3 es divisor de 4,
como consecuencia del p teorema del grado.
16.- Q ( ) : Q i 5 = 2; Irr( ; Q) =X 4 + 20 tiene un cero en Q ( )
p
pero 4 5 (1 i) 2 = Q ( ) ; lap clausura normal es el cuerpo de escisión de
4 4
X + 20 sobre Q es decir Q 5; i :
p
17.- Ambos tienen dimensión 2 como Q-espacios; si : Q (i) ! Q 2
fuese un isomor…smo se tendría que 1 es un cuadrado en R.
18.- a) No existe ninguno. b) Q ( ) = Q ( ) y la extensión Q ( ) : Q es
cuerpo de escisión del polinomio X 4 + X 3 + X 2 + X + 1 sobre Q.
6
19.- a) [Q ( ) : Q] = 4: El algoritmo de Euclides proporciona
p +2 5
3 4 2 3 2 4
+ 1 = ( + 28)( + 2 ) 28 56 + 1: b) Q 7; i :No.
20.- a) [E : Q] = 20:b) Con raiz primitiva 5a de 1, Q ( ) : Q es normal
de grado 4 =) H = Gal(E=Q ( )) = G es el único subgrupo 5-Sylow de
Gal(E=Q):c) Si L es subgrupo de G de orden 10 (teorema de la correspon-
dencia) E L : Q = 2: La teoría de Sylow proporciona un subgrupo M de G
de orden 2 y E M : Q = 10:
21.- a) @(Irr( + 6 ; Q)) = 3: b) 1 + 2 + 4 : c) Es fácil
Capítulo 5
p p p
1.- Z2 Z2 ; Q; Q( 2); Q( 3); Q( 6).
2.- a) p
Ef = Q(i); G = GalQ (f ) Z2 ;b) [Ef : Q] = 4; G Z2 Z2 ; c)
3
Ef = Q 2; con primitiva cúbica de 1, #G = 6; y G no es abeliano.
216 INDICACIONES PARA LA RESOLUCIÓN DE LOS EJERCICIOS
p
3.- X 4 + 1 es irreducible en Q [X] y E = Q 2; i) contiene dos subex-
tensiones de grado 2 sobre Q.
4.- a) Si es raíz primitiva quinta de 1, Irr( ; Q) =X 4 + X 3 + X 2 + X + 1
y E = Q ( ) ; 1; ; 2 ; 3 es Q-base de E; y el automor…smo : E ! E
de…nido por ( ) = 2 genera el grupo G = Gal(E=Q). b) 2 genera el
2
único subgrupo propio de G cuyo cuerpo …jo E < > = Q 2 + 3 es el único
cuerpo estrictamente intermedio entre Q y E: c) Irr( 2 + 3 ; Q) =X 2 +X 1;
e Irr( ; Q( 2 + 3 )) = X 2 + 1 + 2 + 3 X + 1.
p p p
5.- E = Q( 4 2; i). Si es el automor…smo de E de…nido por ( 4 2) = i 4 2,
y (i) = i, entoncesp generap un subgrupo de orden 4. Si es el automor…smo
de E dado por 4
2 = 4 2 y (i) = i, entonces H := f1; 2 ; ; 2 g y
L := f1; 2 ; ; 3 g son también subgrupos de G de orden p 4. Los p cuerpos
…jos correspondientes a estos tres subgrupos son Q(i); Q( 2); Q(i 2):
6.- Si p = 2 es trivial. Para p 6= 2; 2 es también raíz primitiva p-ésima
de 1. Por tanto si ( ) = ( 2 )t , se tiene = t :
2 i 12
7.- Si = e 13 se tiene cos 213 = +2 = +2 ; y así Q cos 213 = Q + 12 :
Ahora G = Gal( Q ( ) =Q) =< >, siendo Q ( ) = 2 (problema anterior).
12 r
Por (5.1.4) se puede escribir Irr( + ; Q) = r ( + 12 )2O ( + 12 ) (X
G
( +
12
)) que resulta ser de grado 6 (el período de := jQ( + 12 ) es 6). El grupo
Gal(Q + 12 =Q) se obtiene como cociente de G y está generado por .
Tiene por tanto solamente dos subgrupos no triviales < 3 > y < 2 >.
2 i
8.- Por el problema 6, G = Gal(Q(e 7 )=Q) =< > es cíclico de or-
6 2 i
den 6 con ( ) = 2 . Además isen( 27 ) = 2 donde = e 7 ; con lo cual
6 6
Q(isen( 27 )) = Q( ): Como Gal(Q( )=Q) es cociente de G y por tan-
2 i
to cíclico generado por = jQ( 6 ) y j j = 6 se tiene Q(e 7 ) = Q(isen( 27 )):
9.- Zpq =< > con j j = p: Los únicos subgrupos no triviales de < >
son < p > y < q > : Q 1
10.- n = 2m: Si i2 = 1; se pone f = m j=0 [X + (j + i)] [X + (j i)] =
Qm 1 2 2
j=0 (X + 2jX + j + 1) 2 Q [X] : El cuerpo de escisión de f sobre Q es
Q(i):
2 i
11.- := e p : G = Gal(Q ( ) =Q) es cíclico de orden 2q: Si q = 2 el grupo
G es isomorfo a Z4 que tiene solamente un subgrupo no trivial. q 6= 2 =)
G = Z2 Zq = Z2q: p
12.- Sólo es necesario probar ii) =) i):De ii) resulta que Qp( 3 n) : Q es
normalp(ya que Q( ) : Q es abeliana)=)todos
p plos ceros de Irr( 3 n;p
Q) están
en Q ( n) : Entonces, o @Irr( n; Q) =1(() n 2 Q) o 1 < @Irr( n; Q) 3
3 3 3 3
217
p
lo que implica que Irr( 3 n; Q) tiene
p raices complejas no reales y por lo tanto
no pueden
p ser elementos de Q ( n) R, lo que contradice la normalidad de
3
Q ( n) : Q.
3
pr 1
20.- j j = pr () = p:
21.- De n = 2k + 1 se obtiene que 1 es un cuadrado en K: El resto es
fácil.
22.- '(n) = 2 =) n = 2; 3; 6:
23.- La primera a…rmación es consecuencia directa del teorema de La-
grange. Además Un y Um son subgrupos de Un:m , para los que es fácil
demostrar que la aplicación : Un :Um ! Un Um de…nida por ' (x:y) =
(x; y) es isomor…smo de grupos.
24.- rr:s es raíz primitiva s-ésima de 1 si r y s son primos entre si, y
entonces Q ( n ),Q ( m ) Q ( n:m ) : Por otra parte n : m es primitiva n:m-
ésima y eso proporciona Q ( n:m ) Q ( n ) Q ( m ) : La segunda a…rmación
resulta de la igualdad '(n:m) = ' (n) ' (m) - donde ' es el indicador de
Euler- y de contar los grados de las extensiones implicadas.
218 INDICACIONES PARA LA RESOLUCIÓN DE LOS EJERCICIOS
Bibliografía
219
220 BIBLIOGRAFÍA