Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Notas de Cusro de Teoria de Galois PDF
Notas de Cusro de Teoria de Galois PDF
TEORÍA DE GALOIS
3. EXTENSIONES DE CUERPOS 75
3.1. EXTENSIONES FINITAS . . . . . . . . . . . . . . . . . . . . . 75
3.2. EXTENSIONES ALGEBRAICAS . . . . . . . . . . . . . . . . . 79
3.3. APLICACIÓN A LOS PROBLEMAS GEOMÉTRICOS CLÁSI-
COS: CONSTRUCCIONES CON REGLA Y COMPÁS . . . . . . 86
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
i
ii
6. Complementos 189
6.1. Constructibilidad de polígonos regulares. Teorema de Gauss-Wantzel. 189
6.2. La trascendencia de . . . . . . . . . . . . . . . . . . . . . . 192
Bibliografía 215
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 resulta 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 demostrado 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
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;
Proposición 1.2.5 Todo grupo …nito de orden primo es cíclico y cada ele-
mento diferente del neutro es un generador del 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.2. GRUPOS FINITOS. TEORÍA DE SYLOW 17
Nota 1.2.15
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 :
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:
r1 1 r2 1 rt 1
a; (a) ; :::; (a) ; b; (b) ; :::; (b) ; :::; k; (k) ; :::; (k) ; :::
28 CAPÍTULO 1. COMPLEMENTOS DE TEORÍA DE GRUPOS
son disjuntos, y por lo tanto son disjuntos también cada par de los ciclos
correspondientes construidos. El proceso se detendrá cuando se hayan ago-
tado los elementos de f1; 2; :::; ng que no son …jos para . Es obvio que
= l ::: 2 1 donde l es el último ciclo que es posible construir con el
proceso anteriormente descrito.
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.3. GRUPO SIMÉTRICO. GRUPOS RESOLUBLES 31
1
Ahora = (2 3), (2 3) 1 = (3 4),..., (p 2 p 1) 1 = (p 1
p) son elementos de H 00 , y por lo tanto (i i + 1) 2 H 00 , 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)
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 = feg 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 de resolubilidad para G por concatenación
de las sucesivas torres obtenidas para cada i = 1; 2; :::; t:
Gr = feg Gr 1 Gr 2 ::: G0 = G
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.
Demostración. a) La cadena
Gr = feg Gr 1 Gr 2 ::: G0 = G ( )
que establece la resolubilidad de G; proporciona otra
G0r \ H = feg Gr 1 \H Gr 2 \H ::: G0 \ H = H
en la que cada grupo es normal en el siguiente, cada cociente
Gi 1 \ H Gi \ H
es subgrupo de Gi 1 Gi y es, por tanto, abeliano.
\i) =) ii) Como consecuencia del apartado a) sólo hay que 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
(1)
lema 1.3.15 nos permite a…rmar que G1 G2 ; con lo que resulta G(2)
G2 : De forma recurrente se prueba que G(i) Gi para todo i; y por tanto
(r)
necesariamente G = feg. Así hemos demostrado la
Por lo tanto V = fid; (12) (34) ; (13) (24) ; (14) (23)g y V es entonces el único
2 subgrupo de Sylow de A4 ; que es por tanto 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 (como subgrupos
que son de S4 ); nos permitirá a…rmar 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:
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 :
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.11), se tiene
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.19 Sea f 2 Z [X] con @(f ) 1: Son equivalentes las a…rma-
ciones
i) Si f es irreducible en Z [X] :
ii) Si 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 n r 1
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.25
( 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á solamente 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
72 CAPÍTULO 2. COMPLEMENTOS DE TEORÍA DE ANILLOS
(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.24),
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] pues 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]?
2.5. EJERCICIOS 73
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.
75
76 CAPÍTULO 3. EXTENSIONES DE CUERPOS
Demostración. \ii) =) i)
F es un K-subespacio de E; y por lo tanto [F : K] [E : K] : Además,
una K-base fz1 ; ::::; zt g de E es también un sistema de generadores de E
como F espacio vectorial y por lo tanto E : F es …nita.
\i) =) ii)
Sean fx1 ; ::::; xn g una K-base de F y fy1 ; :::; yr g una F -base de E: En-
tonces fxi :yj j 1 i n; 1 j rg es unaPK base de E: En efecto, para
2 E existen b1 ; :::; br 2 F tales que P= r1 bj yj : Para cada j 2 f1; :::; rg
existen a1;j ; :::; an;j 2 K, tales que bj = n1 ai;j xi ; y por lo tanto
!
X
r X
n X
= ai;j xi yj = aij (xi yj ) ;
j=1 i=1 i;j
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 79
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 81
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:
84 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:
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)" Pn i
Sea 2 E y sea f (X) = Irr( ; F ) = 0 ai X (con an = 1). En-
tonces es algebraico sobre K (a0 ; :::; an ) ya que f (X) 2 K (a0 ; :::; an ) [X] y
f ( ) = 0: Así, en la torre K K (a0 ; :::; an ) K (a0 ; :::; an ) ( ) ; la exten-
sió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.
86 CAPÍTULO 3. EXTENSIONES DE CUERPOS
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]
es irreducible en Q [X] (criterio de Eisenstein) y bastará con tomar =
pn p 2 R, que es algebraico sobre Q por ser un cero de X n
h i p y [Q ( ) : Q] =
R R
@(Irr( ; Q) =n. Por tanto 2 Q y entonces 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 : Por lo tanto las coordenadas xi ; yi del punto
Ai deberán satisfacer simultáneamente ambas ecuaciones. Supóngase que b 6=
0 (en otro caso debería ser a 6= 0 y la argumentación a partir de ese momento
sería análoga) con lo cual yi = b 1 c b 1 axi ; y por lo tanto (xi )2 +
2
( b 1 c b 1 axi ) 2
= 0: Resulta así que xi es raíz de un polinomio
de grado 2 con coe…cientes en Ki 1 : Lo análogo se prueba para yi de modo
idéntico.
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:
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 "ex-
tensió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 de cuerpos. 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 es 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:
3.4. EJERCICIOS 97
EXTENSIONES
SEPARABLES Y
NORMALES. CLAUSURA
ALGEBRAICA.
99
100 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
Demostración. \ii) =) i)
Si : K [X] ! L [X] es el isomor…smo inducido por : K ! L en
virtud de la propiedad universal del anillo de polinomios, se tiene el diagrama
conmutativo de homomor…smos de anillos
102 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
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 =K = (y también de que 1 = (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 +
106 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.- El mismo polinomio f = X 2 + 1 2 C [X] tiene a C como cuerpo de
escisión sobre C
3.- Q (i) es cuerpo de escisión de f = X 2 + 1 2 Q [X] sobre Q.
108 CAPÍTULO 4. EXTENSIONES SEPARABLES Y NORMALES
p
4.- 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.
f = c(X 1 ) (X 2 ) ::: (X n)
f = (c) (X ( 1 )) (X ( 2 )) ::: (X ( n ))
f = cf1 f2 :::fr
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
114 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. 117
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
120 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. 121
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. 123
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:
124 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 129
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 p
pues X 3 p = Irr( 3 p; Q); y este polinomio irreducible tiene una raíz, 3 p;
p
en Q 3 p pero las otras dos raíces son complejas no reales y por tanto no
p
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 131
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:
136 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;
139
140 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.
142 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.
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.
2
Lema 5.2.2 Si 2 C existe 2 C tal que = .
Demostración.
p p Para = a + bi se consideran los números reales b0 =
2
a+ a +b2 2 2
2
, a0 = a+ a2 +b , ambos no negativos y, por lo tanto, existen c; d 2 R
tales que c2 = a0 ; y d2 = b0 : Un cálculo sencillo proporciona que el número
complejo = c + di es tal que 2 = .
5.2. EL TEOREMA FUNDAMENTAL DEL ÁLGEBRA 147
pr pr
r
ps prt pr p veces
t ::::
= = ( ) =
r
r pr t 1 veces p
= ( )p :::: = ::: = ;
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
= X6 1 : 4 (X) : 12 (X) =)
X 12 1 X6 + 1
12 (X) = = = X4 X 2 + 1:
(X 6 1) (X 2 + 1) X2 + 1
Nota 5.3.10
() 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.
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 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
c0 + c1 a1 + ::: + cn1 1 an1 1 1 ( )
n1
2 = a2 =
n2 n1
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 );
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)
aparecerán
p p pcomo
p pcombinación
p p lineal con coe…cientes en Kf de los mismos
1; 2; 2; 2 2; 2( 2) ; ( 2)2 : Ahora, los coe…cientes de dicha expresión
3 3 3 2 3
Nota 5.4.8
Gal(E=K) ! Gal(F=K)
1
es un isomor…smo de grupos.
Para la prueba del teorema 5.4.11, que constituye el resultado principal
de esta sección -y de estas notas-, necesitaremos los dos lemas siguientes.
162 CAPÍTULO 5. TEORÍA DE GALOIS
Lema 5.4.9 Sea F : K una extensión …nita de Galois con grupo de Galois
cíclico de orden primo p 6= Caract(K); tal que K contiene una raíz primitiva
p-ésima de 1. Entonces existe un 2 F tal que F = K( ) y p 2 K:
K = K0 K1 ::: Kr = F
: Q( 1; 2; 3 ; :::; p) ! Q( 1; 2; 3 ; :::; p)
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
2 2 n 2 n 1 2 n 1
1 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 ( )
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.
5.4. RESOLUBILIDAD POR RADICALES 171
Nota 5.4.22
Nota 5.4.24
Nota 5.4.25
Demostración. \ii) =) i)
Sea F cuerpo de escisión de f sobre K y sea E la subextensión maxi-
mal separable de F sobre K: Por (5.4.23) la extensión E : K es de Galois
y los grupos GalK (f ) = Gal(F=K) y Gal(E=K) son isomorfos. Por tanto
Gal(E=K) es un grupo resoluble en virtud de la hipótesis. Sea n = [E : K] =
#Gal(E=K) = pr m con p no divisor de m; y sea 2 K = E = F una raíz
primitiva m ésima de 1 2 K: Si F = E( 1 ; :::; t ) con i i 2 E; para cada
i = 1; :::; t) la extensión F ( ) : E( ) es radical pues F ( ) = E( )( 1 ; :::; t )
y se aplica (5.4.25). Por otra parte, la extensión E( ) : K( ) es de Galois con
grupo de G e = Gal(E( )=K( ) isomorfo a un subgrupo del grupo Gal(E=K)
y por tanto resoluble de orden un divisor de n = [E : K] = #Gal(E=K)
(5.4.10). Resulta de este modo una torre
K K( ) E( ) F( )
= Xn s1 X n 1
+ ::: + ( 1)r sr X n r
+ ::: + ( 1)n sn 2 K (t1 ; t2 ; :::; tn ) [X]
tiene sus coe…cientes en el subcuerpo K(s1 ; s2 ; :::; sn ); y la ecuación
Fn (X) = 0
= Xn (s1 )0 X n 1
+ ::: + ( 1)r (sr )0 X n r
+ ::: + ( 1)n 1
(sn 1 )0 X;
(aquí, con (si )0 se indica el resultado de sustituir tn = 0 en la expresión de
si ): Los (si )0 son precisamente los polinomios simétricos elementales en las
variables t1 ; t2 ; :::; tn 1 , y además (Fn )0 (X) = XFn 1 (X):
178 CAPÍTULO 5. TEORÍA DE GALOIS
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
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 la siguiente proposición permitirá probar que es un isomor…smo.
Para la demostración de dicha proposición utilizaremos la noción de peso
de un polinomio.
tiene peso d:
Nótese que el polinomio g tiene ahora peso d pues dicho peso es el grado
de f en el conjunto de trascendentes ft1 ; t2 ; :::; tn g:
Nota 5.5.6
de…nido por
es tal que ' (A [s1 ; s2 ; :::; sr ]) = A [s1 ; s2 ; :::; sn ] y además 'jA[s1 ;s2 ;:::;sn ] =
idA[s1 ;s2 ;:::;sn ] : El j-ésimo polinomio simétrico elemental sj (t1 ; t2 ; :::; tn ) en las n
variables t1 ; t2 ; :::; tn se puede obtener a partir del j-ésimo polinomio simétrico
elemental sj (t1 ; t2 ; :::; tr ) mediante la sustitución sj (t1 ; t2 ; :::; tn ) = sj (t1 ; t2 ; :::; tn ; 0; :::; 0) =
' [sj (t1 ; t2 ; :::; tr )] :
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 ( ) = 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 = 13 0+ 1+ 2
2
t3 = 13 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 :
5.5. LA ECUACIÓN GENERAL DE GRADO N. 185
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 )) ;
186 CAPÍTULO 5. TEORÍA DE GALOIS
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.- 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:
7.- 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).
8.- 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 pri-
mitivo 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.
188 CAPÍTULO 5. TEORÍA DE GALOIS
Complementos
Wantzel.
189
190 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 (es decir, si 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
R 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 cuyo grupo Gal(Fi =Fi+1 )
es isomorfo al grupo cociente Hi+1 =Hi (por el teorema fundamental de teoría
6.1. POLÍGONOS REGULARES 191
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
6.2. LA TRASCENDENCIA DE 193
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.
194 CAPÍTULO 6. COMPLEMENTOS
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
r (r 1) 1) (r r (r 2)
= r!+r (r 1)!X+ (r 2)!X 2 + (r 3)!X 3 +:::+X r
2 3!
2
X Xr
= 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)!
6.2. LA TRASCENDENCIA DE 195
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
X
n
C+ e i
=0 ( ):
i=1
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)!
6.2. LA TRASCENDENCIA DE 197
Xp 1 p 1 p
= d [(dX d 1 ) ::: (dX d n )] =
(p 1)!
" #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:
np
X
= dp 1 gl (d l
1 ; :::; d n ) d l!
l=0
es un entero congruente módulo p con el entero
p p
dp 1
[(d0 d 1 ) ::: (d0 d n )] = ( 1)np dp 1
(d 1 :::d n ) ;
que no es múltiplo de p por la selección que se ha hecho de este primo. Como
consecuencia S0 es un entero no divisible por p ya que p no divide tampoco a
C. Por otro lado, después de la correspondiente substitución y de reordenar
se obtiene
np 1
xp X
( j + x) = fl;j xl
(p 1)! l=0
Capítulo 1
1
3.- La aplicación 'a : G ! G; 'a (x) = axa (conjugación por a) es
isomor…smo de grupos.
4.- x = x 1 ; 8x 2 G =) ab = (ab) 1
= b 1a 1
= ba:
1
5.- Con la notación S = fs 1 js 2 Sg se puede escribir (HK) 1
=
H K 1 : El resto es fácil.
1
n ( 1)n ( 1)n 1 n
(AB) = :
0 ( 1)n
201
202 INDICACIONES PARA LA RESOLUCIÓN DE LOS EJERCICIOS
20.- f (a) = am 6= e; 8a 2 G.
23.- La parte difícil es c) =) a); ya que hay que probar que es homo-
mor…smo. Pero para a 2 A y b 2 B se tiene aba 1 b 1 2 A \ B = feg por las
hipótesis de c):
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.
13.- a) n 2 Zn f 7; 4; 1; 2g : b) '2 (X 3 + mX + n) = X 3 + X + 1 es
irreducible en Z2 [X] :c) f1; 1; p; pg * fceros de f g :
Capítulo 3
7.- a) i) 2; ii) 3. b) X 3 6X 6:
8.- De la hipótesis
p se deduce fácilmente que [F : Q] es potencia de 2,
3
mientras que Q 2 : Q = 3:
9.- 8
12.- Pruébese, en primer lugar, que, bajo las hipótesis de …nitud, se tiene
la igualdad EF = E [F ] = F [E] : Si 1 ; 2; :::; n es una K-base de E
entonces 1 ; 2; :::; n es un sistema de generadores de EF como F -espacio
y así [EF : F ] n: De modo análogo se obtiene [EF : E] m: La aplicación
del teorema del grado y la condición (n; m) = 1 proporciona el resultado.
p
13.- a) i) En
p otro caso
p se p tendría 2 2 p Q: ii) Es consecuencia de i): iii)
Pruébese que 2 2 Q 2 3 : b)X 2 3X +1: c) X 5 2 = Irr( ; Q) =
2
p p
Irr( ; Q 2; 3 ) ya que 5 y 4 son primos entre si
14.- a) Utilícese el p
método
p constructivo de la prueba del teorema del
y obsérvesepquep 3 4: 2 forma parte de una Q base de la extensión.
grado p
b) Q 6 2 Q 2; 3 2 y ambas extensiones tienen el mismo grado sobre
p p
Q. c) También es generador de la extensión anterior el elemento 2 + 3 2
cuyo polinomio mínimo sobre Q ha de ser, entonces, de grado 6.
15.- a) 1
= 12 2 1; 2 +1 +1 = 27 2 37 + 57 , u = 6 : b) Irr (u; Q) =
X 3 + 72X + 532; Irr(1= ; Q) = X 3 + X 2 + 21 :
208 INDICACIONES PARA LA RESOLUCIÓN DE LOS EJERCICIOS
21.- a) f = 2 (X 3 + 5X + 2) ; f es irreducible
p en Q[X]; y no lo es en
5
R [X] ni en C[X]; f es irreducible
p en Q( 2)[X] al ser de grado 3 y no
5
tener ningún cero en Q( 2); siendo 3 y 5 primos entre si (ejercicio 10).
b) Irr(1 + ; Q) = X 3 3X 2 + 8X 4; Irr(a 1 ; Q) = X 3 + 52 X 2 + 12 .
Capítulo 4
2.-
p Losp cuerpos de escisión y sus grados sobre Q son, respectivamente:-
p
Q i 2; i 3 ; 4; Q ( ) ; 6 siendo una raíz primitiva séptima de 1; Q i 3 ; 2;
p p p
Q i; 4 3 ; 8; Q 2; ; 4 con una raíz primitiva sexta de 1; Q i; 3 ; 4;
p p p p p
Q 7; 3 ; 4; Q 5 2; ; 20 con una raíz primitiva quinta de 1; Q( 3 2; 7
; ); 12 con una raíz primitiva cúbica de 1.
Q p
3.- f = 11k=0 X k 3
2 (X 2 3) con raíz primitiva duodécima de 1,
p 2 i
teniendo en cuenta que i = 2 3 si = e 12 ; [E : Q] = 12:
p
4.- a) Ef = Q (1 + i) 2 ; b) Ef = Q (i) :
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:
13.- 6
211
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)
Ef = Q 3 2; con primitiva cúbica de 1, #G = 6; y G no es abeliano.
p
3.- X 4 + 1 es irreducible en Q [X] y E = Q 2; i) contiene dos subex-
tensiones de grado 2 sobre Q.
15.- '(n) = 2 =) n = 2; 3; 6:
215
216 BIBLIOGRAFÍA
217
218 ÍNDICE ALFABÉTICO
irreducible, 51 de módulos, 46
primitivo, 128
trascendente, 80 ideal, 45
encaje, 99 maximal, 52
endomor…smo de Frobenius, 121 primo, 52
extensión imagen, 7
abeliana, 153 índice, 6
algebraica, 80 lema de Gauss, 67
de Galois, 143
…nita, 75 m.c.d., 54
…nitamente generada, 77 m.c.m., 55
normal, 130 módulo, 45
puramente inseparable, 126 multiplicidad
puramente inseparable …nita, 125 de una raíz, 115
radical, 156
separable, 116 núcleo, 7
trascendente, 80 norma, 168