Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoría de Galois - Polígonos Construibles
Teoría de Galois - Polígonos Construibles
TEORÍA DE GALOIS
3. EXTENSIONES DE CUERPOS 77
3.1. EXTENSIONES FINITAS . . . . . . . . . . . . . . . . . . . . . 77
3.2. EXTENSIONES ALGEBRAICAS . . . . . . . . . . . . . . . . . 81
3.3. APLICACIÓN A LOS PROBLEMAS GEOMÉTRICOS CLÁSI-
COS: CONSTRUCCIONES CON REGLA Y COMPÁS . . . . . . 88
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
i
ii
6. Complementos 193
6.1. Constructibilidad de polígonos regulares. Teorema de Gauss-Wantzel. 193
6.2. La trascendencia de . . . . . . . . . . . . . . . . . . . . . . 196
Bibliografía 215
PROLOGO
1
2
COMPLEMENTOS DE
TEORÍA DE GRUPOS
1.1. GENERALIDADES
3
4 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
6 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 H (x 1 ) = x 1 Hx H; y por tanto x (x 1 Hx) x 1 = H x 1 Hx:
1
ZG := fa 2 G j ab = ba; 8b 2 Gg:
G H := fxH j x 2 Gg
1.1. GENERALIDADES 9
Nota 1.1.15
Teorema 1.1.19 (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.
Si (Gi )i2I es
Quna familia de grupos, es muy fácil comprobar que el produc-
to cartesiano Gi es un grupo con la operación (xi )i2I : (yi )i2I := (xi :yi )i2I ;
i2I
de…nida
Q componente a componente. Para cada j 2 I; la proyección j :
Gi ! Gj , j ((xi )i2I ) = xj; es homomor…smo sobreyectivo de grupos. Se
i2I
satisface además la siguiente propiedad universal:
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.
14 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
Nota 1.2.13
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.
1.2. GRUPOS FINITOS. TEORÍA DE SYLOW 17
Nota 1.2.15
(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
ya sería subgrupo normal de G, o bien cada divisor primo q de (H : KerT )
será también divisor de (p 1)! y por lo tanto q < p: Estos divisores primos
de (H : KerT ) lo son también del orden de G y ello contradice la hipótesis de
minimalidad de p entre tales divisores. Por lo tanto necesariamente se tiene
(H : KerT ) = 1; es decir H = KerT:
El concepto de órbita será muy utilizado en lo que sigue.
#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
ó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.25
G0 = feg G1 G2 ::: Gr = G;
1.2. GRUPOS FINITOS. TEORÍA DE SYLOW 23
feg P GP G
= pm : (GP : P ) : (G : GP ) ;
24 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
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 )
(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.28
sp = 1 () P = fP g () P es subgrupo normal de G:
Nota 1.3.5
1 2 ::: p
=
a1 a2 ::: ap
1 2 ::: p
&= p 1
i (i) ::: (i)
resulta que 00 = & 1 & = (1 2:::p) y 00 = & 1 0 & = (1 2) son elementos del
subgrupo H 00 = & 1 H 0 &: También H 0 = Sp () H 00 = Sp ; y todo lo dicho
hasta aquí nos permite suponer que = (12:::p) y que = (12) :
1
Ahora = (2 3), (2 3) 1 = (3 4),..., (p 2 p 1) 1 = (p 1
p) son elementos de H, y por lo tanto (i i + 1) 2 H, 8i 2 f1; 2; :::; p 1g :
Como (i i + 2) = (i i + 1)(i + 1 i + 2)(i i + 1) para cada i = 1; 2; :::; p 2;
resulta, por recurrencia, que cada trasposición
(i i + s) = (i i + s 1) (i + s 1 i + s) (i i + s 1)
1.3. GRUPO SIMÉTRICO. GRUPOS RESOLUBLES 31
Gr = feg 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.26).
3.-El grupo de las permutaciones de tres elementos S3 es resoluble. La
cadena
feg A3 =< (123) > S3
proporciona la resolubilidad ya que < (123) > es de índice 2 en S3 :
Como ya queda dicho, todo grupo abeliano es resoluble, pero como con-
secuencia de (1.2.26) y de (1.2.29) 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
tal que cada cociente G0i;s 1 G0i;s es cíclico de orden pi para todo s = 1; :::; ri
(1.2.26), Por aplicación del teorema de la correspondencia al homomor…smo
de paso al cociente 'i : (H1 :::Hi ) ! (H1 :::Hi ) (H1 :::Hi 1 ) se obtiene una
torre
H1 ::::Hi 1 Gi;ri Gi;ri 1 ::: Gi;0 = H1 :::Hi
de las mismas características que la anterior ya que, en virtud del primer
teorema de isomorfía (1.1.16), se tiene Gi;s 1 Gi;s G0i;s 1 G0i;s ; para todo
s = 1; :::; ri : Se consigue una torre para G por concatenación de las sucesivas
torres obtenidas para cada i = 1; 2; :::; t; en la que los cocientes de cada dos
términos consecutivos son grupos cíclicos de orden primo.
Corolario 1.3.12 Un grupo …nito G es resoluble si, y sólo si, existe una
torre normal
Gr = feg Gr 1 Gr 2 ::: G0 = G
en la que cada cociente Gi 1 Gi es cíclico de orden primo.
de modo que los cocientes de grupos sucesivos sean grupos de orden primo. La
concatenación de las torres parciales así obtenidas proporciona lo anunciado.
El recíproco es evidente.
Demostración. a) La cadena
Gr = feg Gr 1 Gr 2 ::: G0 = G ( )
que establece la resolubilidad de G; proporciona otra
Gr \ H = feg Gr 1 \H Gr 2 \H ::: G0 \ H = H
en la que cada grupo es normal en el siguiente, y cada cociente
Gi 1 \ H Gi \ H
es abeliano al ser subgrupo de Gi 1 Gi .
b) \i) =) ii)" Como consecuencia del apartado a) sólo es necesario probar
que G H es resoluble. Ahora, si ' : G ! G=H es el homomor…smo canónico
de paso al cociente, a partir de la cadena ( ) de resolubilidad para G se
obtiene la torre
' (feg) = fHg ' (Gr 1 ) ::: ' (G1 ) ' (G) = G=H
que establece la resolubilidad de G H; pues cada grupo es normal en el
siguiente por el teorema de la correspondencia y además
' (Gi 1 ) ' (Gi )
es abeliano al ser un grupo cociente de Gi 1 Gi que lo es por hipótesis.
\ii) =) i)" Sean
Hs = feg Hs 1 ::: H0 = H (+)
y
G00t = fHg G00t 1 G00t 2 ::: G000 = G H
las cadenas que establecen las resolubilidades respectivas de H y de G H:
Por el teorema de la correspondencia existe una cadena
H = Gt Gt 1 Gt 2 ::: G0 = G ; (++)
de…nida mediante Gi := ' 1 (G00i ); que satisface as condiciones de normalidad
requeridas y además Gi Gi 1 = G00i G00i 1 ; lo que proporciona la conmuta-
tividad de cada grupo cociente. La concatenación de las cadenas (+) y (++)
proporciona
feg = Hs Hs 1 ::: H0 = H = Gt Gt 1 Gt 2 ::: Go = G;
cadena que establece la resolubilidad de G:
34 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
[x; y] = xyx 1 y 1 ;
:::: G(i+1) := G(i) : G(i) ::: G(2) := G(1) : G(1) G(1) G =: G(0)
y por lo tanto G H es abeliano si, y sólo si, H contiene a todos los conmu-
tadores.
1.3. GRUPO SIMÉTRICO. GRUPOS RESOLUBLES 35
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
K entonces H (1) es subgrupo de K (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 prueba que G Gi para todo i; y por tanto,
necesariamente, G(r) = feg. Así hemos demostrado la
y por lo tanto V = fid; (12) (34) ; (13) (24) ; (14) (23)g es el único 2 subgrupo
de Sylow de A4 ; que, por tanto, es normal en A4 (1.2.28). Como A4 V es
de orden 3 y V de orden 4 ambos son grupos abelianos. Por tanto A4 es un
grupo resoluble.
Este resultado, junto con la resolubilidad de S2 y S3 ; nos permitirá a…r-
mar que existe una fórmula, que contiene solamente expresiones radicales y
algebraicas de los datos, para resolver la ecuación algebraica general de grado
4; sin necesidad de obtener dicha fórmula de modo explícito.
1.4. Ejercicios
1.- Sea G un grupo, n un entero y a 2 G: De…nimos las potencias de a
como sigue:
1.4. EJERCICIOS 37
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
2
a = 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 :
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:
38 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
a) G no es simple.
b) G tiene un subgrupo normal de orden 55.
41.- Demuéstrese que si n 3 el grupo alternado An está generado por
los 3-ciclos.
42.- Usando el ejercicio anterior demuéstrese que An es el subgrupo deriva-
do de Sn ; si n 3.
42 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
Capítulo 2
COMPLEMENTOS DE
TEORÍA DE ANILLOS
2.1. GENERALIDADES.
43
44 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
50 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 51
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 U (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).
52 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 63
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 65
: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]
en donde, para cada i, se ha puesto qi = cont(qi )qi0 con qi0 primitivo (e ir-
reducible en Z [X] por ser asociado a pi en Q [X]): Por lo tanto resulta
r r
f1 = q10 1 :::qt0 t . El producto de la factorización de cont(f ) en primos en Z
y de la anterior factorización de f1 resulta la de f: La unicidad es consecuen-
cia inmediata de la unicidad de la factorización en Q [X] :
Es oportuno preguntarse acerca de la naturaleza de los ceros racionales
de polinomios con coe…cientes enteros ya que ello está relacionado con su
posible irreducibilidad.
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 denomi-
nará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 73
(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]?
74 CAPÍTULO 2. COMPLEMENTOS DE TEORÍA DE ANILLOS
EXTENSIONES DE
CUERPOS
Ejemplos
1.- [C : R] = 2; ya que cada 2 C admite una única expresión = a + b:i
con i2 = 1 y a; b 2 R, lo cual signi…ca que f1; ig constituye una base de C
como R espacio vectorial.
2.- C : Q y R : Q son extensiones no …nitas. Obviamente [R : Q]
[C : Q] ; y si [R : Q] fuese …nito R resultaría numerable (al ser producto carte-
siano de un número …nito de conjuntos numerables).
3.- Para una extensión F : K se tiene trivialmente que [F : K] = 1 si, y
sólo si, F = K.
77
78 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( )
3.2. EXTENSIONES ALGEBRAICAS 81
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)
6.- Con K [X1 ; :::; Xn ] se denota el anillo de polinomios en las n variables
(o indeterminadas) X1 ; :::; Xn ; y con K (X1 ; :::; Xn ) el cuerpo de funciones
racionales en las mismas 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 83
Ejemplos
p
1.- 2 2 R es algebraico sobre Q puesp es cero del polinomio X 2 2 2 Q [X]
2
que es irreducible en Q [X]p; y así Irr( 2; Q) = X 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; q Q) = X 2X 2; con lo cual resulta que f1; 1 + 3; 1 +
p p p p p
3; 1 + 3 (1 + 3)gconstituye 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:
86 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
de 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 ha sido dicho que la extensión R:Q es trascendente, y, en particular
R:Q no es …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 natu-
raleza de la dimensión tiene mucho que ver también con la posibilidad de
elegir coordenadas, 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 vectorial sobre Q por restricción de escalares, pero con esa estructura
V no es …nito dimensional como Q espacio:
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 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 la
sucesión de puntos del plano que existe por 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 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
( 1 2 ) ; y donde ( ; ) ; ( 1 ; 1 ) ; ( 2 ; 2 ) 2 P[ fA1 ; A2 ; :::; Ai 1 g ; con
lo cual ; ; 1 ; 1 ; 2 ; 2 2 Ki 1 : Las coordenadas xi ; yi del punto Ai de-
berán satisfacer simultáneamente ambas ecuaciones. Si b 6= 0 se tiene yi =
2
b 1 c b 1 axi 2 Ki 1 (xi ) ; y por lo tanto (xi )2 +( b 1 c b 1 axi )
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 re-
duce al anterior observando que cada una de las circunferencias tiene la mis-
ma intersección con la otra que con el eje radical r de ambas, de ecuación
f1 (X; Y ) f2 (X; Y ) = 0; 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] p = 4.
b)
p Calcúlese el polinomio mínimo de i + 2 sobre: 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:
EXTENSIONES
SEPARABLES Y
NORMALES. CLAUSURA
ALGEBRAICA.
101
102 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 , si x1 ; :::; xn 2 F y si k1 ; :::kn 2 K;
entonces (k1 x1 + ::: + kn xn ) = (k1 ) (x1 ) + ::: + (kn ) (xn ) (es decir
es además semilineal). Nótese también que en el caso de que es un
encaje sobre K la anterior igualdad se simpli…ca un poco y aparece como
(k1 x1 + ::: + kn xn ) = k1 (x1 ) + ::: + kn (xn ) ; es decir es además una
aplicación lineal entre los K espacios F y E:
4.2) Por la propiedad universal del anillo de polinomios (2.3.1), si : K !
L es un encaje, existe un único homomor…smo de anillos : K [X] ! L [X]
tal que P (a) = (a) para todo a 2 K; y tal queP (X) = X: Entonces, para
f (X) = n0 ai X i se tiene f (X) := (f (X)) P = n0 (ai )X i : El homomor…s-
mo es también inyectivo, pues (f (X)) = n0 (ai )X i = 0 () (ai ) = 0
para i = 0; 1; :::; nP() ai = 0 para i = 0; 1; :::; n; por ser inyectivo, y por
lo tanto f (X) = n0 ai X i = 0:
Nótese que
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 (Ker(' )) = (Irr( ; K)) = (Irr( ; L)) =
Ker(' ): Entonces existe un isomor…smo : K [ ] ! L [ ] tal que es
conmutativo el diagrama
'
Ker(' ) ,! K [X] ! K [ ]
# # #
'
Ker ' ,! L [X] ! L [ ]
en el cual las ‡echas horizontales de la izquierda son la inclusiones y (f ( )) =
f ( ): En particular para el polinomio f (X) = X resulta (X( )) = ( ) =
X( ) = :
Entonces se tiene el diagrama conmutativo
'
K ! K [X] ! K [ ]
# # #
'
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;
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] ; o equivalentemente, que cada polinomio
no constante con coe…cientes en K tiene al menos un cero en K: Este objetivo
se logrará de forma paulatina. En primer lugar - y a esto se dedicará la
presente sección - se probará que para un polinomio no constante f 2 K [X]
existe una extensión simple K ( ) : K tal que f ( ) = 0: Después se probará
que existe una extensión …nita F : K tal que f escinde en factores lineales
en F [X] : 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.
1
a4b := [ (a) + (b)] ,
y
1
a b := [ (a) : (b)]
1 1 1
x4y := [ (x) + (y)] = [ (x) + (y)] = [ (x + y)] = x + y
1
a (b4c) = [ (a) : (b4c)] =
1
= [ (a) : [ (b) + (c)]] = 1 [ (a) : (b) + (a) : (c)] =
1
= [ (a b) + (a c)] = (a b) 4 (a c)
OBSERVACIONES
4.4) Nótese que, bajo las hipótesis del lema anterior, si a0 ; a1 ; :::; an 2 K
y 2 F es tal que ( ) = 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)
Entonces : K ! F 0 es un encaje. Además, poniendo 0 := (X) ; la
sobreyectividad de proporciona F 0 = (K) ( 0 ): Ahora, si f (X) = X n +
108 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
an 1 X n 1
+ ::: + a1 X + a0 ; de la de…nición de resulta que
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) Obsérvese que, según lo establecido, para un mismo polinomio f 2
K [X] se podrán encontrar diferentes cuerpos de escisión sobre K. No obs-
tante probaremos que todos 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 que se tenga 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’- 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] ; 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.- Q (i) es cuerpo de escisión de
p 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.
110 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 111
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 E; cada fi también, ya que el conjunto de los ceros de
f en E 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 E [X] en la cual son todos de la forma (X ) con 2 E al ser E cuerpo
de escisión de f sobre K): Sea 2 E cualquier 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 F [X] ; que escinde en L, ya
que f escinde en L por hipótesis. Ahora si 2 L es un cero de f1 se tiene
f1 = Irr( ; F ); y por el teorema de extensión de encajes para extensiones
simples, existe un único isomor…smo e : K ( ) ! F ( ) sobre tal que
e ( ) = : Además E es cuerpo de escisión de f sobre K ( ) y L lo es de
f e sobre F ( ). Por el teorema del grado se tiene [E : K ( )] < [E : K] = m
al ser [E : K] = [E : 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
[E : K ( )] < m permite suponer que existe un isomor…smo : E ! L 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; y 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
1 ;:::; t
(Xi ) = i para i = 1; 2; :::; r, y con 1 ;:::; t
(Xj ) = j arbitraria-
mente pre…jado en F para cada j 2 fr + 1; :::; tg. Entonces,
" r #
X
1 = 1 ;:::; t
(1) = 1 ;:::; t hi (X1 ; X2 ; :::; Xt ):fi (Xi ) =
1
X
r
= hi ( 1; 2 ; :::; t ):fi ( i ) =0
1
116 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
OBSERVACIÓN
4.12) 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: También, si K es
una clausura algebraica de K la inclusión K ,! K se extiende a un encaje
: F ! K sobre K que será un isomor…smo (proposición 4.3.3). Así las
clausuras algebraicas de F y de K son esencialmente iguales.
A partir de ahora, a menudo, consideraremos a cada cuerpo K inclui-
do 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.
4.4. SEPARABILIDAD.
m1 m2 mr
f = c (X 1) (X 2) ::: (X r) :
OBSERVACIONES
4.13) La multiplicidad de cada i 2 Ef está determinada por la unicidad
de la factorización de f en Ef [X].
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 2 Irr( ; K) en F [X] ; y por tanto también en el
anillo Fg [X], para cualquier Fg 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. 119
1 = 1 ( ) = f ( ) g ( ) + f 0 ( ) h ( ) = 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
122 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 reiterativo 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. 123
Nota 4.4.11
f = (X a)d = X d daX d 1
+ ::: + ( 1)d ad 2 K p [X]
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 (es decir si es de grado 1), entonces todos los pasos son
triviales.
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 ):
Nota 4.4.13
Volviendo sobre lo descrito en la prueba de (4.4.8) se debe constatar
que el número r de diferentes encajes : K( ) ! K que extienden a la
inclusión:K ! K es precisamente el número r de diferentes ceros del poli-
nomio f 2 K [X] ; siendo f = Irr( ; K); y es un divisor del grado de f: La
separabilidad del polinomio f tiene que ver con el valor de r; es decir, con el
número de tales encajes. Así, f es separable precisamente si r = @f .
En relación con la separabilidad estudiaremos entonces el número de en-
cajes : F ! L que extienden a un encaje dado : K ! L; siendo F : K al-
gebraica y L algebraicamente cerrado, y veremos que este número no depende
más que de la extensión F : K. Para cada uno de tales encajes : F ! L
L L
se tiene que (F ) : (K) es algebraica, así que (F ) (K) (donde (K)
(3.2.9) es algebraicamente cerrado, según se establece en la prueba del teo-
rema de Steinitz (4.3.4)); con lo que, para este estudio será su…ciente con
considerar la situación inicial en donde además L : (K) es algebraica. Para
un encaje : K ! L pongamos S := f : F ! L j =K = g: Se tiene
entonces
Proposición 4.4.14 Sean : K ! L y 0 : K ! L0 encajes con L , L0
algebraicamente cerrados, y L : (K), L0 : 0 (K) extensiones algebraicas. Si
F : K es algebraica se tiene #S = #S 0 :
Demostración. Poniendo = 0 1
: (K) ! 0 (K) nuestro se
extiende a un isomor…smo : L ! L0 (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 0 : Razonando con 1 = 0 1
se
obtiene de modo análogo que #S 0 #S :
La importancia de este hecho motiva la siguiente
De…nición 4.4.15 Sea F : K una extensión …nita. Se denominará grado de
separabilidad de dicha extensión al número de diferentes encajes : F !
K sobre K; y se denotará con [F : K]s : Dicho número es también el de
extensiones a F de un encaje dado : K ! L; en donde L es un cuerpo
algebraicamente cerrado cualquiera.
4.4. SEPARABILIDAD. 125
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 ; si K es de característica p 6= 0: Si Caract(K) = 0 se tiene [F : K]i = 1:
126 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
Nota 4.4.23
Nota 4.4.26
Por lo tanto
Ejemplos
1.- Si K es un cuerpo de característica p 6= 0 no perfecto entonces K : K p
es una extensión puramente inseparable no trivial. Si a 2 K r K p ; entonces
s t
Irr(a; K p ) = (X a)p . Las extensiones K p : K p (con t s) son todas
puramente inseparables:
2.- Si K es de característica p 6= 0 y K no es perfecto, entonces el cuerpo
1 1
K p := [ 2Z K p es una extensión algebraica no …nita puramente insepara-
1
1
ble de K (y de cualquiera de los cuerpos K p ):
Nota 4.4.29
m s pm s m s
xp = xp = 1p = 1: En consecuencia todos los elementos de H son
ceros (en K) del polinomio
m
Xp 1 2 K [X]
K K( 1) K( 1; 2) ::: K( 1; 2 ; :::; n) =F
4.5. TEOREMA DEL ELEMENTO PRIMITIVO 131
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 un resultado con formulación seme-
jante : "si H es un subgrupo del grupo G y (G : H) = 2 entonces H es
subgrupo normal de G": Esto no es casual, como quedará claro a la vista del
Teorema Fundamental de Teoría de Galois.
En particular, como [C : R] = 2; la extensión C : R es normal, y es normal
p
también la extensión Q p : Q para todo p 2 N.
p
3.- Si p > 0 es un número primo la extensión Q 3 p : Q no es normal,
p
pues X 3 p = Irr( 3 p; Q); y este polinomio irreducible en Q [X] tiene una
p p
raíz, 3 p; en Q 3 p pero las otras dos raíces son complejas no reales y por
p
tanto no son elementos de Q 3 p :
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
4.6. EXTENSIONES NORMALES. CLAUSURA NORMAL 133
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):
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 se tiene que F : K y E : F son extensiones normales, en
general NO espnormal
p la extensión E : K, como se ve en el siguiente ejemplo
4
2.- Sean 2; p2 2 R. pEntonces son normales y …nitas las extensiones
p p
Q 2 : Q y Q 4 2 : Q 2 y, sin embargo, la extensión …nita Q 4 2 : Q
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 referi-
dos en los dos anteriores ejemplos de extensiones normales de cuerpos.
(N ) = ( 1 (F ) 2 (F ) ::: t (F )) =
= ( 1 (F )) ( 2 (F )) ::: ( t (F )) =
= j1 (F ) j2 (F )::: jt (F ) = N;
pues la composición con establece una permutación de las 1 ; 2 ; :::; t
según se ha dicho. Por lo tanto la extensión N : K es normal (4.6.2), y
F N: Sea ahora E : K normal con F E N: Entonces E contiene a
cada uno de los cuerpos i (F ) y por tanto E = N: En efecto, cada encaje
0
i : F ! K = F = N = E sobre K se extiende a un encaje i : E ! E
para el cual se tiene 0i (E) = E en virtud de (4.6.2) y, por lo tanto, i (F )
0
i (E) E:
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.
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 especi…cados:
138 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
TEORÍA DE GALOIS
F G := fx 2 F j (x) = x; 8 2 Gg
OBSERVACIONES
5.1) F G es efectivamente un subcuerpo de F; ya que para x; y 2 F G y
para cualquier elemento 2 G; se tiene (x + y) = (x) + (y) = x + y;
141
142 CAPÍTULO 5. TEORÍA DE GALOIS
ha de serpnecesariamente
p un cero real de X 3 2 (observación 5.3); y por
3
tanto 2 = 3 2, con lo que = idQ( p
3
2) (observación 5.2): El único
p p p
cero real de X 3 2 es 3 2; los restantes ceros son 3 2: ; 3 2: 2 ; en donde
2 i
= 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 (por
4.3.3) que es un automor…smo de F sobre K (por 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 (teorema 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.
144 CAPÍTULO 5. TEORÍA DE GALOIS
Ejemplos
1.- Gal(C/R)p t Z2
2.- Gal(Q 3 2 =Q) es el grupo de un solo elemento.
Consideramos ahora a cada subgrupo H del grupo Gal (E=K) actuando
sobre el cuerpo E mediante la acción
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 será admitido aquí sin prueba pues ésta es de índole
no algebraica y puede ser consultada en cualquier texto de Análisis real, al
ser una de las aplicaciones clásicas del teorema de Bolzano.
Lema 5.2.1 Si f 2 R [X] es un polinomio de grado impar entonces f admite
un cero real.
2
Lema 5.2.2 Si 2 C existe 2 C tal que = .
Demostración.pPara = a +pbi se consideran los números reales no
a+ a2 +b2 2 2
0
negativos b = 2
, a = a+ a2 +b ; y c; d 2 R tales que c2 = a0 ; y
0
r
derivada pr X p 1 1 = 1. Obsérvese, de paso, que la extensión F : Fp es
r
separable ya que para cada 2 F el Irr( ; Fp ) es divisor de X p X:
Se puede enunciar ahora
pr pr
r
ps prt pr p veces
t ::::
= = =
r pr
pr p t 1 veces
= :::: = ::: = ;
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).
= 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
5.3. CUERPOS FINITOS 157
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
H0 = idQ( ) ; y que H1 ; H2 y H3 son subgrupos diferentes de G de orden 2
5
(por ejemplo, 21 ( ) = 1 ( 1 ( )) = 1 5 = ( 1 ( ))5 = 5 = 2.12+1 =
12 2
: = 12 : = ; y entonces 21 = 0 = idQ( ) ); por lo cual se puede
a…rmar 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
158 CAPÍTULO 5. TEORÍA DE GALOIS
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
Entonces, x 2 Q ( )H1 , 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.
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 K es de característica 0 y 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
an1 1 1 ( )
n1
2 = n2
a 2 = c 0 + c 1
n1
a 1 + ::: + c n1 1
5.4. RESOLUBILIDAD POR RADICALES 159
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 ve que cualquier elemento
de K( 1 ; :::; n ) será una expresión algebraica de expresiones radicales de
expresiones algebraicas ... de elementos de K.
En el caso de característica positiva, en la extensión …nita F : K pueden
aparecer elementos puramente inseparables y es por esto que, para ampliar la
validez del gran teorema de Galois al caso de característica p, la de…nición de
extensión radical deberá ser modi…cada, admitiendo extensiones intermedias
con grado divisible por la característica.
K = K0 K1 ::::: Ki 1 Ki ::::: Kr = F
OBSERVACIÓN
5.14) Es preciso hacer notar que si K es de característica p 6= 0 el poli-
nomio X p X a 2 K [X] es separable pues su derivada (X p X a)0 = 1.
Para ver esto de otro modo, obsérvese que si es un cero de f = X p X a;
los p elementos diferentes ; + 1; :::; + p 1 son todos los ceros de f:
Nota 5.4.3
F (Y ) = g(Y p Y )Y m f (Y p Y );
5.4. RESOLUBILIDAD POR RADICALES 161
Ym an (Y p Y )n an 1 (Y p Y )n 1
::: a0 =
K = K0 K1 ::: Ki 1 Ki ::: Kr = F
Ejemplo
p p
Q( 2; 3 2) : Q es una extensión radical. La torre
p p3
p
3
p
Q0 = Q Q1 = Q( 2 ) Q2 = Q1 ( 2) = Q( 2; 2)
5.4. RESOLUBILIDAD POR RADICALES 163
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.
entonces
q 1 q 1
X X
j 2j (q 1)j
i =q + (1 + + + ::: + ) j ( );
0 j=1
Pq 1 j
y por lo tanto 0 i = q ; ya que las son los ceros del polinomio
q 1 q 2
X +X + P::: + X + 1 2 K [X] (son ceros de X q 1 y no lo son de X 1).
q 1
Por lo tanto 0 i = q 2= K pues, en caso contrario, se tendría 2 K al
ser q = (q1) ; y q1 2 K (q 6= Caract(K)), en contra de la selección de :
En particular, algún i 2 = K:
Ahora, para un tal i se tiene
i 2i 2 (q 1)i q 1
( i) = ( + ( )+ ( ) + ::: + ( )) =
i 2 2i 3 (q 1)i
= ( )+ ( )+ ( ) + ::: + = ( i) 1
i;
5.4. RESOLUBILIDAD POR RADICALES 165
Nota 5.4.12
Nota 5.4.14
K = K0 K1 ::: Kr = F
K = K0 F0 F1 :::: Fr = Kr ( ) = F ( );
ya que Fi = Ki ( ) = Ki 1 ( i ; ) = Ki 1 ( )( i ) = Fi 1 ( i ); y ni i 2 Ki 1
Fi 1 = Ki 1 ( ); para todo i = 1; 2; :::; r:Además F0 = K( ) con n = 1 2 K:
Nótese que n=ni 2 F0 es una raíz primitiva ni -ésima de 1, para cada i =
1; 2; :::r: Por lo tanto cada extensión Fi : Fi 1 es una extensión …nita de Galois
de grupo abeliano (pues Gal(Fi =Fi 1 ) es abeliano por la proposición 5.3.10), y
también lo es la extensión F0 = K ( ) : K0 = K (proposición 5.3.6, apartado
2). Además F ( ) : K es …nita de Galois ya que F es cuerpo de escisión
sobre K de algún polinomio g 2 K [X] al ser F : K normal, y por lo tanto
F ( ) es cuerpo de escisión sobre K del polinomio g(X):(X n 1) 2 K [X] :
Si G = Gal(F ( )=K), cada Hi := Gal(F ( )=Fi ) es un subgrupo normal de
Hi 1 := Gal(F ( )=Fi 1 ), como consecuencia del teorema fundamental de
teoría de Galois, y además Gal(Fi =Fi 1 ) = Hi 1 =Hi es un grupo abeliano.
El grupo G = Gal(F ( )=K) es entonces resoluble y por tanto también lo
es el grupo GalK (f ) = Gal(Ef =K) ya que, como Ef : K es de Galois,
5.4. RESOLUBILIDAD POR RADICALES 167
idE( ) = Hr Hr 1 ::: H1 e
H0 = G
Demostración. El polinomio
Qp f es separable al ser Q de característica
0 y por lo tanto f = c 1 (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.23) 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)
en el intervalo (1; 1) : Además f ( 2) < 0 < f ( 1); f (1) < 0 < f (2): Por lo
tanto, como consecuencia del teorema de Bolzano, f (X) = 0 tiene tres raíces
reales 1 2 [ 2; 1] ; 2 2 [ 1; 1] ; 3 2 [1; 2]. En virtud del teorema de
Rolle se puede a…rmar que éstas son las únicas raíces reales de f . Las otras
dos ; son elementos de la clausura algébrica de Q que está contenida en
C. Entonces el polinomio f satisface las hipótesis del lema 5.4.16 y por lo
tanto GalQ (f ) = S5 ; que es un grupo no resoluble (1.3.18). El gran teorema
de Galois proporciona el resultado.
Para el estudio de la resolubilidad por radicales en característica p nece-
sitaremos estudiar por separado las extensiones con grupo cíclico, tanto de
orden p como de orden primo con p. Las versiones aditiva y multiplicativa
del Teorema 90 de Hilbert - que a su vez necesitan de ciertas consideraciones
acerca de la norma y la traza de una extensión …nita - abrirán el camino a la
proposición 5.4.24 y al teorema de Artin-Schreier (5.4.25) que caracterizan
dichas extensiones.
Si S es un conjunto y K un cuerpo el conjunto M(S; K) de aplicaciones ' :
S ! K es un K-espacio vectorial con las operaciones ('+ )(x) = '(x)+ (x)
y (a') (x) = a:'(x) para todos x 2 S y a 2 K: Si ahora G es un grupo nos
…jaremos en aquellos ' 2 M(G; K) tales que establecen homomor…smos de
G en K . Estos homomor…smos se denominarán caracteres de G en K:
a1 1 + ::: + ar r = 0; ( )
y
E
P
r
T rK ( ) = [E : K]i i ;
i
1 2 1 2 ::: n 2 n 1
= + + + ::: + :
1 2 ::: n 2 n 1
Ahora si 1 = NKE ( ) = se tiene
1 2 1 2 ::: n 2 n 1 2 ::: n 1
1
( )= + + ::: + + = :
E E
Demostración. Si existe tal elemento se tiene T rK ( ) = T rK (
E E E
( )) = 0 ya que T rK es evidentemente aditiva y T rK ( ) = T rK ( ( ))
pues ambos miembros sólo se diferencian en el orden de los sumandos.
E
Recíprocamente, si T rK ( ) = 0; utilizando la misma notación exponencial
E
que antes, podemos a…rmar que existe un 2 E tal que T rK ( ) 6= 0; como
consecuencia del lema de Dedekind. Entonces, poniendo
1 h n 2 n 2
i
= E
+ ( + ) + ::: + ( + + ::: + )
T rK ( )
resulta
1 n 2 n 2
( )= E
[ +( + ) + ::: + ( + + ::: + )
T rK ( )
2 2 2 n 1 n 1
[ +( + ) + ::: + ( + + ::: + ) ]] =
1 h n 1
i
= E
+ + ::: + = :
T rK ( )
E
Para los anteriores cálculos se ha tenido en cuenta que T rK ( ) 2 K (pues es
E E E
evidente que T rK ( ) = T rK ( )) y la hipótesis T rK ( ) = 0:
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
una extensión …nita de Galois de K y los grupos Gal(F=K)y Gal(Fs (K) =K)
son isomorfos.
Nota 5.4.28
Nota 5.4.29
K = K0 K1 ::: Kr = L
es una torre radical con pasos de los tipos especi…cados en (5.4.2), 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
de Galois de la extensión de Galois Ki+1 : Ki cuyo grado es divisor de n y
primo con p): Las extensiones con grado una potencia de p tienen grupos
de Galois de orden también potencias de p (5.4.28) y, por tanto, resolubles
(1.2.26). Resulta así que el grupo Gal(L ( ) =K ( )) = Gal(M ( ) =K ( )) es
resoluble y entonces lo es también el grupo Gal(M ( ) =K) pues
= Xn s1 X n 1
+ ::: + ( 1)r sr X n r
+ ::: + ( 1)n sn 2 K (t1 ; t2 ; :::; tn ) [X]
Fn (X) = 0
= Xn (s1 )0 X n 1
+ ::: + ( 1)r (sr )0 X n r
+ ::: + ( 1)n 1
(sn 1 )0 X;
Nota 5.5.3
Nótese también que si 1 ; :::; n 2 K; la evaluación ' : K [t1 ; t2 ; :::; tn ] !
K de…nida por ' (ti ) = i (i = 1; 2; :::; n) induce el homomor…smo de K-
álgebras ' [X] : K [t1 ; t2 ; :::; tn ] [X] ! K [X] de…nido por
' [X] [ar (t1 ; :::; tn )X r + ::: + a0 (t1 ; :::; tn )] =
r
= ar ( 1 ; :::; n )X + ::: + a0 ( 1 ; :::; n ):
n n 1
En particular, si f = X + an 1 X + ::: + a0 2 K[X] K[X]; y 1 ; :::; n 2
K son los ceros de f; entonces
' [X] (Fn (X)) = f (X):
Cualquier polinomio mónico f de grado n es una especialización del polinomio
general Fn .
Si 2 Sn y e es el automor…smo de K (t1 ; t2 ; :::; tn ) sobre K de…nido
antes, sabemos que e induce un isomor…smo
e : K (t1 ; t2 ; :::; tn ) [X] ! K (t1 ; t2 ; :::; tn ) [X]
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. Por tanto los coe…cientes
de Fn (X) no se modi…can con la aplicación de e;cualquiera que sea 2 Sn
es decir, son simétricos.
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
Sn ! Gal(K (t1 ; t2 ; :::; tn ) =K(s1 ; s2 ; :::; sn ))
e
que será isomor…smo como consecuencia de la siguiente proposición, para
cuya demostración utilizaremos la noción de peso de un polinomio.
182 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
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 y 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 = 13 ( 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 :
188 CAPÍTULO 5. TEORÍA DE GALOIS
Q
4
LA CUÁRTICA. Dada la cuártica general F4 = (X ti ) = X4
1
s1 X 3 + s2 X 2 s3 X + s4 = 0 con coe…cientes en K 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
de V: Así se tiene L = L ( ) = F ( ; ): Ahora, como LV : LA4 = 3 el
V A4
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. 189
t1 + t2 + t3 + t4 = s1
(t1 + t2 ) (t3 + t4 ) =
p p
s1 s21 4 s1
1 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, de
t1 + t2 + t3 + t4 = s1
(t2 + t3 ) (t1 + t4 ) =
p2 p2
s1 s1 4 s1 s1 4
proporciona t1 + t4 = 2
; y entonces t2 + t3 = 2
; con las
mismas consideraciones acerca del signo de las raíces.
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 ele-
mentos t1 + t2 ; t1 + t4 ; t1 + t3 la selección del tercero está condicionada por
el hecho de que = a4 : 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. Justifíquese, utilizando la correspondencia de
Galois, 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 , calcular 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 distintas no racionales 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 191
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 cupo 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.
192 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 primi-
tiva 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 n é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 n é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
Wantzel.
193
194 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 = 12 + 2 Q ( ) ; ya que = 1 (al ser j j = 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 :
feg = H0 H1 ::: Hr = G
E = E H0 F1 = E H1 ::: Fi =
= E Hi Fi+1 = E Hi+1 ::: Fr = E G = Q,
en la cual cada Fi : Fi+1 es una extensión de Galois de grado 2 pues Gal(Fi =Fi+1 ) =
Hi+1 =Hi : Entonces, como 2 E R, el elemento 2 R es constructible.
6.1. POLÍGONOS REGULARES 195
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 F. von Lindemann (Über die Zahl : Mathematische
Annalen Vol. 20 (1882)213-225). A continuación transcribimos la prueba que
de este crucial resultado 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
Vorlesungen über Zahlentheorie (Hirzel, Leipzig (1927) de E. Landau, o en
Irrationalzahlen (de Gruyter, Berlin (1910)) de O. Perron (discípulo de Lin-
demann 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 197
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
198 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 199
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 201
" #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
203
204 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:
207
Capítulo 3
Capítulo 4
Q ( 3 n) : Q.
13.- a) Irr( ; Q) =X 6 + X 5 + ::: + X + 1: b) tiene período 6. c) La
G órbita de 1+2( + 2 + 4 ) es 1 + 2( + 2 + 4 ); 1 + 2( + 2 + 3 ) ;
y se aplica 5.1.4.
213
p p
14.- E = Q 4 2; i) y así [E : Q] = 8; = i + 4 2 2 E y #(G orbita de
) = grad(Irr( ; Q) = [Q ( ) : Q] 5 ( 5.1.4) que no puede ser divisor de
8. El teorema del grado se
p aplica
p ahora.
15.- a) No. Ef = Q 2; i 3 y [Ef : Q] = 4:b) Aplicación directa de la
teoría.
16.- a) #G = 20: b) Si es raíz primitiva quinta de 1 entonces 2 Ef ;
cuerpo de escisión de f sobre Q, H = Gal(E p f ; Q ( )) es de orden 5. c) La
5
torre G H feg es abeliana. d) Si = 2 la extensión Q ( ) : Q no es
normal. e) G es isomorfo a un subgrupo de S5 que contiene un 5-ciclo.
17.- a) X 7 5 tiene un cero en E y no p escinde en p E: b)p E es cuer-
2 2 7
po de escisión de (X 2) (X + 1) sobre Q 5 ; 1; 2; i; i 2 : c) G =
p p p p
fidE ; ; ; g donde 2 = 2; (i) = i; 2 = 2; (i) = i;
p p p p
2 = 2; (i) = i: d) 2 + 5i pertenece a la G órbita de 2 + 5i:
18.- a) 8 (X) = X 4 + 1: b) Falso. c) Falso.
19.- a) Q $ Q 6 = Q 3 $ Q ( ) : b) Irr( 2 ; Q 6 ) = X 3 6
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.
214 INDICACIONES PARA LA RESOLUCIÓN DE LOS EJERCICIOS
Bibliografía
215
216 BIBLIOGRAFÍA