Professional Documents
Culture Documents
Estructuras Algebraicas
por Enrique Arrondo(*)
Versi
on del 17 de Mayo de 2011
1. Teora b
asica de grupos, anillos y cuerpos
2. Divisibilidad y factorizaci
on en anillos
3. Races de polinomios
4. Extensiones de cuerpos
5. El grupo de Galois
6. Teoremas de Sylow
7. Resolubilidad de ecuaciones y de grupos
8. Constructibilidad con regla y comp
as
9. Extensiones transcendentes
1. Teora b
asica de grupos, anillos y cuerpos
Definici
on. Un grupo es un conjunto G con una operacion interna que verifica las siguientes propiedades:
(i) g (h k) = (g h) k para cualesquiera a, b, c G (propiedad asociativa).
(ii) Existe 1 G (elemento neutro) tal que 1 g = g 1 = g para cualquier g G.
(iii) Para cada g G existe g 1 G (elemento inverso) tal que g g 1 = g 1 g = 1.
Si adem
as
(iv) gh = hg para cualesquiera g, h G (propiedad conmutativa) entonces se dice que G
es un grupo abeliano.
Normalmente, se omite el signo si ello no da lugar a confusion. Es tambien habitual
denotar a la operaci
on con + cuando el grupo es abeliano (como veremos, por ejemplo, en
los anillos), en cuyo caso el elemento neutro se denota con 0 y el inverso de g con g. El
cardinal de un grupo se llama orden del grupo y se denota por |G|.
Ejemplo 1.1. El ejemplo de grupo que mas usaremos es el del grupo de permutaciones de n elementos, denotado por Sn , y que consiste en el conjunto de biyecciones
: {1, 2, . . . , n} {1, 2, . . . , n} con la composicion (indicaremos simplemente para designar a la composici
on ). El orden de Sn es n!. Llamaremos r-ciclo a la permutaci
on,
que denotaremos por (i1 i2 . . . ir ) (con i1 , . . . , ir elementos distintos de {1, 2, . . . , n}) que
manda i1 a i2 , i2 a i3 ,..., ir1 a ir , ir a i1 y deja fijos todos los demas elementos de
{1, 2, . . . , n}. Un 2-ciclo (i j) se llama transposici
on (ya que lo u
nico que hace es intercambiar entre s los n
umeros i y j). Dos ciclos (i1 i2 . . . ir ), (j1 j2 . . . js ) conmutan si y
s
olo si {i1 , i2 , . . . , ir } {j1 , j2 , . . . , js } = (en cuyo caso se dice que son ciclos disjuntos).
Toda permutaci
on se puede poner de forma u
nica (salvo el orden) como producto de ciclos
disjuntos dos a dos.
Definici
on. Un subgrupo de un grupo G es un subconjunto H G tal que, para cualesquiera g, h H se tiene que gh1 H; en otras palabras, H tiene estructura de grupo
con la misma operaci
on que G. Para indicar que un subconjunto H G es un subgrupo,
escribiremos normalmente H < G.
Definici
on. Dado un subconjunto cualquiera S G, se llama subgrupo generado por el
subconjunto S al mnimo subgrupo de G que contiene a los elementos de S, y lo denotaremos
normalmente por < S >. Si G =< g >, diremos que G es un grupo cclico. En este caso,
todos los elementos de G son de la forma g n , donde
g .n)
.. g
si n 0
n
g =
1 n) 1
(g ) . . . (g ) si n 0
2
Ejercicio 1.2. Demostrar que cada uno de los siguientes conjuntos genera el grupo Sn :
(i) Las transposiciones.
(ii) Las transposici
on (1 2) y el n-ciclo (1 2 . . . n).
(iii) Cualquier transposici
on y cualquier n-ciclo, si n es un n
umero primo.
Dado un subgrupo H < G, se definen las relaciones de equivalencia:
g H g 0 g 1 g 0 H gH = g 0 H
g H g 0 gg 01 H Hg = Hg 0
(donde gH = {gh | h H} y Hg = {hg | h H}). Los conjuntos de clases de equivalencia estan en biyecci
on, y su cardinal com
un se llama ndice de H en G, y se denota por
[G : H].
Teorema de Lagrange. Si H es un subgrupo de un grupo finito, entonces se tiene la
igualdad |G| = [G : H]|H|. En particular, el orden de un subgrupo divide siempre al orden
del grupo.
Los cocientes G/ H y G/H se pueden ver respectivamente como el conjunto de
subconjuntos de la forma gH y el conjunto de subconjuntos de la forma Hg. Ninguno de
estos cocientes tiene en general estructura de grupo definiendo el producto de gH con g 0 H
como (gg 0 )H, o el producto de Hg con Hg 0 como H(gg 0 ). De hecho, cualquiera de ellos
tiene estructura de grupo si y s
olo si H es un subgrupo normal de G, es decir, que para cada
1
g G, h H, se tiene ghg H. En tal caso, las dos relaciones de equivalencia coinciden
(ya que gH = Hg para cualquier g G) y el cociente se denota por G/H. Indicaremos
que H es normal en G mediante el smbolo H C G.
Ejercicio 1.3. Demostrar que el subconjunto {id, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} de S4
es un subgrupo normal.
Definici
on. Un homomorfismo de grupos es una aplicacion : G G0 entre dos grupos
tal que (gh) = (g)(h) para cualesquiera g, h G. Si es inyectiva, se dice que es un
monomorfismo; si es suprayectiva, es un epimorfismo, y si es biyectiva, es un isomorfismo
(y en este caso, su inversa es tambien un homomorfismo).
Definici
on. Dado un homomorfismo de grupos : G G0 , se llama n
ucleo del homomorfismo al subgrupo (normal) ker := {g G | (g) = 1} y se llama imagen del
homomorfismo al subgrupo Im := (G) < G0 .
Ejemplo 1.4. Consideramos {1, 1} con la estructura de grupo dada por el producto y
definimos la aplicaci
on sgn : Sn {1, 1} definida por
Y (i) (j)
sgn() =
.
ij
1i<jn
Observese que los factores que aparecen en el numerador son los mismos que los que
aparecen en el denominador, aunque cambiados de orden y quiza de signo, por lo que, en
efecto, el valor total es 1 o 1, en concreto 1 elevado al n
umero de veces que i < j pero
(i > (j). Si , son dos permutaciones, se tendra
Y
sgn( ) =
1i<jn
Y
1i<jn
(i) (j)
(i) (j)
Y
1i<jn
(i) (j)
ij
(i) (j)
= sgn() sgn( ).
ij
La u
ltima igualdad se debe a que el conjunto de pares (no ordenados) {i, j} coincide
con el conjunto de pares { (i), (j)} y el conjunto de cocientes (i)(j)
coincide con el
ij
(j)
conjunto de cocientes (i)
nica salvedad de que, si i < j pero (i) > (j)
(i) (j) (con la u
entonces hay que cambiar de signo numerador y denominador). Por tanto, tenemos que
sgn es un homomorfismo de grupos. El valor sgn() se llama signo de la permutaci
on .
Una permutaci
on par es una permutacion con signo +1, y una permutaci
on impar es una
permutacion de signo 1. El conjunto de permutaciones pares es el n
ucleo de sgn, por lo
que es un subgrupo normal, llamado subgrupo alternado An . El motivo del nombre par o
impar para una permutaci
on es el siguiente. Supongamos que tenemos una transposici
on
= (a b). Como (a b) = (b a), podemos suponer a < b. Entonces los factores negativos
en la definici
on de sgn(a b) son exactamente (recuerdese que i < j)
bj
aj
(i) (j)
=
ij
si i = a < j < b
ia
ib
si a < i < j = b
ba
ab
= 1 si i = a < j = b
= (g) es un isomorfismo.
4
Supondremos que todos nuestros anillos son conmutativos y con unidad. Al elemento
neutro para la suma lo denotaremos por 0, y al inverso para la suma de a por a. Omitiremos tambien sistem
aticamente el punto en el producto de dos elementos.
Definici
on. Una unidad en un anillo A es un elemento a A que tiene inverso para el
producto, es decir, que existe a1 A tal que aa1 = a1 a = 1. Un anillo en el que todos
los elementos a 6= 0 son unidades es un cuerpo.
Definici
on. Un anillo se dice que es un dominio de integridad (que abreviaremos con D.I.)
si, dados a, b A tales que ab = 0, entonces necesariamente a = 0 o b = 0.
Definici
on. Un subanillo de un anillo A es un subconjunto B A tal que, para cualesquiera a, b, c, d B se tiene que ab + cd B; en otras palabras, B tiene estructura de
anillo con las mismas operaciones que A.
Sin embargo, los subconjuntos buenos de los anillos no son los subanillos, ya que el
cociente de un anillo por un subanillo no tiene estructura de anillo. Para ello, hay que
pedir una condici
on m
as, llegando a la siguiente:
Definici
on. Un ideal en un anillo I es un subconjunto I A tal que, para cualesquiera
elementos a, b A, c, d I se tiene ac + bd I. La relacion
aba+I =b+I abI
(donde a + I = {a + a0 | a0 I}) es una relacion de equivalencia. El correspondiente
conjunto cociente A/I tiene, con las operaciones naturales, estructura de anillo, y se llama
anillo cociente. Puede considerarse como el conjunto formado por los subconjuntos de A
de la forma a + I.
Definici
on. Un ideal maximal es un ideal propio de A (i.e. I
a contenido
/ A) que no est
en otro ideal propio de A. Equivalentemente, A/I es un cuerpo.
Definici
on. Un ideal primo es un ideal propio I de A tal que, dados a, b A tales que
ab I, entonces necesariamente a I o b I. Equivalentemente, A/I es un D.I. (y del
mismo modo, un D.I. est
a caracterizado por el hecho de que el ideal trivial (0) sea primo).
Definici
on. Se llama ideal generado por los elementos b1 , . . . , br de un anillo A al conjunto
(b1 , . . . , br ) := {a1 b1 + . . . + ar br | a1 , . . . , ar A}. Este conjunto es el ideal de A m
as
peque
no que contiene a los elementos b1 , . . . , br . En particular, el ideal generado por dos
ideales I, J es el conjunto I + J = {a + b | a I, b J}, que se llama ideal suma. Se
llama ideal principal a un ideal generado por un solo elemento b A, es decir, de la forma
(b) = {ab | a A}. Un anillo en el que todos los ideales son principales se llama dominio
de ideales principales (D.I.P. para abreviar).
6
n 7
1 + .n)
. . + 1 si n 0
(1) + n)
. . . + (1) si n 0
En otras palabras, A tiene caracterstica cero si ninguna suma positiva de unos es nula,
mientras que tiene caracterstica positiva n si n es el menor n
umero de veces que sumado
el uno obtenemos cero. Por el primer teorema de isomorfa, Zn es isomorfo a un subanillo
de A, por lo que si A es un D.I. (por ejemplo, si es un cuerpo) su caracterstica (si no es
cero) es un n
umero primo.
7
yi &
R -----> A0
Ademas, cualquier otro anillo R con elementos X10 , . . . , Xn0 y con un monomorfismo i0 :
A R0 que verifique la propiedad (*) es isomorfo a A[X1 , . . . , Xn ].
0
Demostraci
on: Demostremos primero, por induccion sobre n, que A[X1 , . . . , Xn ] verifica
(*). Obviamente, el caso n = 0 es trivial, as que supondremos n 1 y que la inclusion i0 :
A A[X1 , . . . , Xn1 ] verifica la propiedad universal. Por tanto, dado un homomorfismo
de anillos : A A0 y elementos a01 , . . . , a0n A0 podemos asegurar por hipotesis de
induccion que existe un u
nico homomorfismo de anillos : A[X1 , . . . , Xn1 tal que =
0
0
i y (Xi ) = a1 para i = 1, . . . , n 1. Queremos construir ahora un homomorfismo
: A[X1 , . . . , Xn ] A0 tal que (X
n ) = a0n y el diagrama
A
0
&
yi
A[X1 , . .. , Xn1 ] A0
j
%
y
A[X1 , . . . , Xn ]
9
n ) + . . . + (j(f
con lo que es u
nico en esas condiciones. Ademas es claro que tal es un homomorfismo
de grupos y que verifica las condiciones de (*). Hay que ver que es el u
nico que verifica las
0
dos condiciones de (*). Supongamos que otro las verificara. En particular, tendramos
que 0 j verifica
(0 j) i0 = 0 i =
0 j(Xi ) = 0 (Xi ) = a0i si i = 1, . . . , n 1.
Como era el u
nico homomorfismo que verificaba esas dos condiciones (por la unicidad
en la hipotesis de inducci
on) se tiene 0 j = . Como se tiene ademas 0 (Xn ) = a0n ,
y estas dos propiedades caracterizan a ,
se sigue la igualdad 0 = .
Esto termina la
demostraci
on de que R = A[X1 , . . . , Xn ] verifica la propiedad (*).
Para ver que la propiedad (*) caracteriza a R salvo isomorfismo, supongamos que
tenemos otro i0 : A R0 con X10 , . . . , Xn0 R0 que verifica (*) . Aplicando la propiedad
(*) a i : A R tomando = i0 (y a0j = Xj0 para j = 1, . . . , n) tendremos (ver diagrama
de abajo a la izquierda) que existe : R R0 tal que i0 = i y con cada (Xj ) = Xj0 .
Aplicando de forma simetrica (*) a i0 , tendremos (diagrama de abajo a la derecha) 0 :
R0 R tal que i = 0 i con 0 (Xj0 ) = Xj .
A
0
0
yi & i
R0 -----> R
yi & i
R -----> R0
El truco est
a ahora en volver a aplicar ahora (*) pero a los siguientes diagramas:
A
yi & i
R -----> R
0
0
yi & i
R0 -----> R0
0 ,idR
0 ,idR0
= X; dicha
2
2
+ i ) = (0)
como a + b d, con a, b Z.
11
13
El resultado anterior implica que s que existe una buena division cuando dividimos
entre polinomios m
onicos (es decir, aquellos en que el coeficiente del termino de grado
mayor es 1). En concreto, para polinomios de grado uno se tiene que la regla de Ruffini
sigue siendo cierta para polinomios con coeficientes en un anillo arbitrario:
Corolario 2.4. Sea A un anillo y sea a A. Entonces un polinomio f A[X] es divisible
por X a si y s
olo si f (a) = 0.
Demostraci
on: Es evidente que si f es divisible por X a entonces f (a) = 0. Recprocamente, si f (a) = 0, por la Proposicion 2.3 podemos escribir f = (X a)q + r, con
q, r A[X] y r = 0 o de grado menor que el grado de X a, es decir, r A. De esa
igualdad obtenemos r = f (a), y por tanto f (a) = 0 si y solo si f es divisible por X a.
Definici
on. Dado un anillo A, una raz de un polinomio f A[X] es un elemento a A
tal que f (a) = 0.
Ejemplo 2.5. Veamos que Z[i] es un D.E. si tomamos (a + bi) = N (a + bi) = a2 + b2 =
||a+bi||2 (ver el Ejercicio 1.18). En efecto, sean , Z[i] con 6= 0. Escribimos entonces
el n
umero complejo
como u + vi, con u, v Q y claramente podemos escribir u = p + 1 ,
v = q + 2 , con p, q Z y |1 |, |2 | 1/2. Por tanto = (p + qi) + (1 + 2 i). Observese
que r = (1 + 2 i) est
a necesariamente en Z[i] por ser diferencia de elementos de Z[i].
Ademas,
N (r) = ||r||2 = ||||2 ||1 + 2 i||2 = N ()(21 + 22 ) < N ().
Este ejemplo muestra tambien que la division no es necesariamente u
nica (desde luego, el
algoritmo permite hallar distintos cocientes y restos si 1 = 1/2 o 2 = 1/2). Por ejemplo,
si dividimos 1 + 2i entre 1 + i tenemos cuatro divisiones distintas:
1 + 2i = 2(1 + i) + 1
1 + 2i = 1(1 + i) + i
1 + 2i = (2 + i)(1 + i) i
1 + 2i = (1 + i)(1 + i) 1.
Z[ 2] son D.E.
15
22 + 19 2 = (3 + 2)(4 + 5 2)
22 + 19 2 = (14 + 9 2)(1 + 2 2)
Ejercicio 1.18, a + b 2 es una unidad si y solo si a2 2b2 = 1, que es la famosa ecuaci
on
de Pell de Teora Elemental de N
umeros, cuya resolucion dista mucho de ser trivial. Ni
siquiera es f
acil caracterizar los elementos irreducibles. En nuestro ejemplo, 3 + 2 es
habra que estudiar todos los elementos a + b 2 tales que a2 2b2 = 2, 17, lo que no es
a priori facil. En nuestro caso, puede comprobarse que se tiene 4 + 5 2 = 2(5 + 2 2),
signo, n
umeros primos. Vale la pena observar que, sin embargo, en Z d con d < 0, el
n
umero de soluciones de cada a2 db2 = c es finito para cada c Z, con lo que este tipo
de problemas no se presenta.
Lema 2.8. Si A es un D.I. entonces cualquier elemento primo es irreducible.
Demostraci
on: Sea a un elemento primo, y supongamos que podemos escribir a = bc. En
particular, a|bc, con lo que a|b o a|c. Sin perdida de generalidad, podemos suponer a|b, es
decir, b = ad para alg
un d A. Por tanto, a = adc, luego (por ser A un D.I.) dc = 1, con
lo que c es una unidad. Esto demuestra que a es irreducible.
Observaci
on 2.9. La implicacion opuesta no es cierta. Si a es irreducible, para ver
que es primo tendramos que ver que a|bc implica que a|b o a|c. Sin embargo, de a|bc
solo se deduce que existe un d en A tal que ad = bc, pero esto no implica que a divida
a b o a c. Teniendo en mente lo que pasa para n
umeros enteros, nos hara falta ver que,
descomponiendo b y c en factores irreducibles, como a|bc, entonces a aparece en alguna de
estas dos descomposiciones. En otras palabras, necesitamos una descomposicion (
unica)
de elementos en factores irreducibles.
Definici
on. Un dominio de factorizaci
on u
nica (D.F.U.) es un anillo A que es un D.I. tal
que cada elemento que no es cero ni unidad se puede descomponer de forma u
nica (salvo
orden y multiplicaci
on por unidades) como producto finito de elementos irreducibles.
Observaci
on 2.11. Una forma de evitar las unidades en la definicion anterior es usar el
producto de ideales (se llama producto de los ideales I1 , . . . , Ir de un anillo al ideal generado
por los productos de la forma a1 . . . ar , con ai Ii para i = 1, . . . , r). En este lenguaje,
un D.F.U. es un D.I. en el que cada ideal principal (a) se escribe de forma u
nica, salvo el
orden, como producto de ideales primos principales. Observese por otra parte que en un
D.F.U. tiene sentido hablar de mnimo com
un m
ultiplo y maximo com
un divisor de dos
o mas elementos (siempre definidos salvo multiplicacion por constante o definidos como
17
(y por tanto se tienen contenidos estrictos (a0 ) / (a1 ) y (a0 ) / (a01 ). No puede ocurrir
que tanto a1 como a01 se puedan escribir como producto finito de elementos irreducibles
(porque entonces a0 tambien sera producto finito de elementos irreducibles). Sin perdida
de generalidad, podemos suponer que a1 no es producto finito de elementos irreducibles.
Repitiendo el proceso, encontramos una cadena (a0 ) / (a1 ) / (a2 ) / . . .. La uni
on
I = (a0 ) (a1 ) (a2 ) . . . es un ideal de A, luego esta generada por un elemento a. Como
a esta en I, existir
a in n tal que a (an ), es decir, a = ban para alg
un b A. Por otra
parte, an+1 est
a en I, por lo que se podra escribir an+1 = ca para alg
un c A. Por tanto,
an+1 = cban , lo que demuestra que (an+1 ) esta contenido en (an ), con lo que ambos ideales
seran iguales, lo que es absurdo por construccion. Esto demuestra la descomposici
on de
elementos en producto finito de elementos irreducibles.
Veamos finalmente que tal descomposicion es u
nica. Sean a = b1 . . . bn = c1 . . . cm ,
con b1 , . . . , bn , c1 , cm irreducibles (y por tanto primos, por el lema anterior), dos descomposiciones de a. Como b1 divide a c1 . . . cm , divide a alg
un cj , que podemos suponer
reordenando los factores que sea c1 . Por tanto, c1 = u1 b1 , y como c1 es irreducible u1 es
necesariamente una unidad (ya que b1 no lo es por ser un elemento irreducible). Podemos
escribir entonces b2 . . . bn = u1 c2 . . . cm , y reiterando lo anterior para b2 , . . . , bn , se llega a
que, salvo unidades, la descomposicion es u
nica.
Observese que la parte final de la demostracion anterior en realidad muestra que, si
A es un D.I. en que todo elemento es producto de irreducibles, entonces A es un D.F.U. si
y solo si todo elemento irreducible de A es primo (ver el Ejercicio 2.13).
Ejemplo 2.16. Veamos una aplicacion de todo lo visto hasta ahora a teora de n
umeros.
En concreto, veamos cu
ando un n
umero n N se puede escribir como suma de dos cuadrados. Para ello, lo descomponemos en producto de n
umeros primos. De hecho, los u
nicos
primos relevantes ser
an los que aparezcan con potencia impar ya que, agrupando potencias pares de primos, podemos escribir n = m2 p1 . . . pr , con p1 , . . . , pr primos distintos
(precisamente los que aparecen con exponente impar). Por tanto, la pregunta es cu
ando
p1 . . . pr es una suma de cuadrados (ya que en tal caso n lo sera tambien).
Una primera condici
on es bastante facil. Supongamos que un primo p divide a una
suma a2 + b2 pero p2 no la divide. Es claro entonces que p no puede dividir ni a a ni a
b. Tomando clases en Zp (que denotaremos con una barra), tendremos que ( ab )2 =
1. Si
2
2
p 6= 2 (si p = 2, claramente podemos escribir 2 = 1 + 1 , con lo que no hace falta estudiar
este caso) tenemos entonces que ( ab )4 = 1 y ( ab )2 6= 1, por lo que ab tiene orden 4 en el
grupo Zp \ {
0}. Como este grupo tiene orden p 1, se sigue que 4 es un divisor de p 1,
es decir que p 1(mod 4).
Recprocamente, si p 1(mod 4), entonces 4 es un divisor del orden del grupo Zp \
19
{0}.
Dicho grupo es cclico (es un resultado de Algebra
Basica, que de todas formas
redemostraremos en el Corolario 3.3), por lo que tiene un elemento c de orden 4. Esto
quiere decir que c4 =
1 y c2 6=
1. Como 0 = c4 1 = (
c2 + 1)(
c2 1), se sigue que c2 =
1,
2
luego p|c + 1. Escrito en Z[i] (que por los Teoremas 2.7 y 2.15 se tiene que es un D.F.U.),
tenemos entonces p|(c + i)(c i). Como evidentemente p no divide ni a c + i ni a c i,
se sigue que p no es primo en Z[i], luego tampoco es irreducible. Sea a + bi un divisor no
trivial de p. Como N (p) = p2 y N (a + bi) tiene que ser un divisor no trivial de N (p), se
sigue que N (a + bi) = p, es decir, p = a2 + b2 .
Para terminar de resolver el problema, observamos que el producto de dos sumas de
cuadrados es una suma de cuadrados, ya que se tiene (a2 + b2 )(c2 + d2 ) = (ac + bd)2 +
(ad bc)2 . Por tanto, un n
umero natural es suma de cuadrados si y solo si sus factores
primos p con exponente impar son o bien p = 2 o bien p 1(mod 4).
Vamos a centrarnos ahora en la factorialidad de los anillos que mas nos van a interesar:
los anillos de polinomios en varias indeterminadas o con coeficientes en un anillo. La idea
es bien simple: podemos ver todos estos anillos como anillos de polinomios en una indeterminada y con coeficientes en un anillo A (por ejemplo, k[X1 , . . . , Xn ] lo podemos ver como
el anillo de polinomios en la indeterminada Xn y coeficientes en el A = k[X1 , . . . , Xn1 ],
lo que nos permitir
a un estudio por recurrencia). Entonces, consideraremos los elementos
de A[X] como elementos de K[X], donde K es el cuerpo de fracciones de A (suponiendo
que A sea un D.I.), y ya podemos usar que K[X] es un D.F.U. El problema que tendremos
que resolver es que la factorizaci
on en K[X] tendra los ceoficientes en K, y tendremos que
saber quitar los denominadores para pasar a una factorizacion en A[X].
Empezamos con la siguiente construccion, que usaremos constantementem y que lo que
hace es prescindir de factores comunes redundantes: Dado un polinomio f = a0 + a1 X +
. . . + an X n A[X], donde A es un D.F.U., podemos descomponer cada ai en factores
irreducibles y tomar a su m
aximo com
un divisor. Es decir, podemos escribir cada ai como
0
0
0
ai = aai , con a0 , . . . , an A sin factores comunes. Si llamamos f0 = a00 +a01 X +. . .+a0n X n ,
entonces tendremos f = af0 .
Definici
on. Se llama polinomio primitivo a un polinomio f = a0 +a1 X+. . .+an X n A[X]
con coeficientes en un D.F.U. tal que a0 , . . . , an no tienen factores comunes.
Theorem 2.17 (Lema de Gauss). Sea A un D.F.U. y f, g A[X] un par de polinomios.
Entonces f y g son primitivos si y solo si f g es primitivo.
Demostraci
on: Es claro que si f g es primitivo entonces lo son f y g, ya que si, por ejemplo,
los coeficientes de f tuvieran un factor com
un (no unidad) a A, entonces a sera tambien
un factor com
un de f g, contra la hipotesis de que es primitivo.
20
Recprocamente, supongamos que f y g son primitivos. Si f g no fuera primitivo, existira algun factor irreducible p A com
un a todos sus coeficientes. Entonces, considerando
el ideal I = (p) de A (que es primo de A por el Ejercicio 2.13), se tendra que f g I[X].
Por el Ejemplo 1.23, I[X] es un ideal primo de A[X], por lo que f o g deberan estar en I.
Pero esto es lo mismo que decir que p dividira a todos los coeficientes de f o de g, con lo
que no seran primitivos, en contra de nuestra hipotesis.
El siguiente es el resultado que andabamos buscando, que relaciona la irreducibilidad
de un polinomio con coeficientes en un D.F.U. con la del polinomio visto con ceoficientes
en el cuerpo de fracciones.
Proposici
on 2.18. Sea A un D.F.U. con cuerpo de fracciones K y sea f A[X] un
polinomio. Entonces:
(i) Si f es primitivo y f = gh con g, h K[X], entonces existen r K y g0 , h0 A[X]
polinomios primitivos tales que g = rg0 , h = 1r h0 y por tanto f = g0 h0 .
(ii) f es irreducible como polinomio en A[X] si y solo si o bien es un elemento irreducible
de A o bien es de grado positivo, primitivo e irreducible como polinomio en K[X].
Demostraci
on: Para demostrar (i), observamos primero que, tomando com
un denominador
en los respectivos coeficientes, tanto g como h se pueden escribir de la forma g = gb11 y
h = hc11 , con b1 , c1 A y g1 , h1 A[X]. Escribimos ahora g1 = b0 g0 y h1 = c0 h0 , con
b0 , c0 A y g0 , h0 A[X] polinomios primitivos. Tendremos por tanto f = gh = bb10 cc10 g0 h0
o equivalentemente, b1 c1 f = b0 c0 g0 h0 . De aqu se obtiene que b0 c0 divide a todos los
coeficientes de b1 c1 f . Como los coeficientes de f no tienen ning
un factor com
un (porque
por hipotesis f es primitivo), se deduce que b0 c0 divide a b1 c1 . De modo simetrico, como
g0 h0 es primitivo (por el lema de Gauss) se sigue que b1 c1 tambien divide a b0 c0 . Por
tanto (ver el Ejercicio 1.10), existe una unidad u A tal que b0 c0 = ub1 c1 . Escribimos
por tanto f = (ug0 )h0 , y tenemos que ug0 , h0 son los polinomios primitivos buscados (y
b0
r = ub
= cc10 ).
1
Para demostrar (ii), observamos primero que si f es irreducible como polinomio en
A[X], entonces es claro que, si es constante, debe ser un elemento irreducible de A, y si
tiene grado positivo, debe ser primitivo. Veamos que, en este u
ltimo caso, (i) implica que f
es irreducible como polinomio en K[X]. En efecto, si f se descompone de forma no trivial
en K[X], necesariamente lo hace como producto de polinomios de grado positivo (ya que
los polinomios de grado cero son las constantes no nulas, que son las unidades, seg
un el
Ejercicio 1.14(iii)). Pero (i) implica que cualquier descomposicion de f en K[X] induce
una descomposici
on en A[X] con factores del mismo grado, lo que implicara que f sera
reducible en A[X].
21
1
Ejemplo 2.22. Sea p = XX1
= X p1 + X p2 + . . . + X + 1 Z[X]. Claramente,
p (X) ser
a irreducible si y s
olo si lo es p (X + 1). Como
p
p
p
(X + 1)p 1
p1
p2
=X
+
X
+ ... +
X+
p (X + 1) =
X
1
p2
p1
y p|
p
i
Ejercicio 2.23. Sea K un cuerpo y K(t) el cuerpo de fracciones del anillo de polinomios
con coeficientes en K en la indeterminada t. Demostrar que, para cada n N, el polinomio
X n t es irreducible en K(t)[X].
Observaci
on 2.24. Si A es un D.I. y f A[X] es un polinomio monico, entonces cualquier
factor de f es m
onico (salvo multiplicacion por una unidad). En efecto, si f = gh con
g = b0 + b1 X + . . . + br X r y h = c0 + c1 X + . . . + cs X s (con br , cs 6= 0), entonces br cs = 1
(como A es D.I., br cs 6= 0, luego es el coeficiente del termino de mayor grado de f ); basta
entonces escribir f = (cs g)(br h), donde ahora los dos factores son monicos. Esto implica
que cualquier factorizaci
on no trivial de f (es decir, en que los factores no sean unidades)
es necesariamente en factores de grado positivo. Por supuesto, si el coeficiente del termino
23
3)(X
2+
3)(X +
3)(X +
2+
3).
Como f no tiene races en Q, si factoriza en Q[X] solo puede ser como producto f = gh, con
g, h Q[X] de grado dos, que claramente se pueden tomar monicos. Pero si factorizamos g
y h en R[X], por la unicidad de la factorizaci
on, tanto g como h tienen que ser el producto
de dos de los cuatro factores anteriores. Pero eso es imposible, porque agrupando de dos
en dos los factores, las posibles factorizaciones son:
f = (X 2 2 2X 1)(X 2 + 2 2X 1)
f = (X 2 2 3X + 1)(X 2 + 2 3X + 1)
f = (X 2 2 6 5)(X 2 + 2 6 5)
y ninguna de ellas es una factorizacion en Q[X]. Esto demuestra que f es irreducible en
Q[X], y por tanto tambien en Z[X]. Este ejemplo es especialmente interesante porque,
24
considerando f Z[X] para cada primo p, el polinomio f Zp [X] obtenido tomando cada
coeficiente m
odulo p es en cambio reducible (lo que muestra que el metodo explicado en la
Observaci
on 2.26 no es un si y s
olo si, ni siquiera tomando todos los ideales maximales I).
En efecto, si 2 es un cuadrado en Zp , la primera de las tres factorizaciones anteriores da
una factorizaci
on en Zp ; si es 3 un cuadrado en Zp , la segunda es la factorizacion buscada,
mientras que si 6 es un cuadrado vale la tercera factorizacion. Un resultado basico de
Teora Elemental de N
umeros implica que, para cada primo p, si 2 y 3 no son cuadrados
en Zp , entonces 6 lo es (usando smbolos de Legendre, p6 = p2 p3 ). De todas formas,
este hecho es f
acil verlo directamente (supondremos p 6= 2, 3, porque para p = 2, 3 es todo
trivial):
En efecto, el conjunto de cuadrados modulo p distintos de cero es el conjunto imagen de
la aplicaci
on : Zp Zp dada por () = 2 . Como 2 = 2 si y solo si = , para
p 6= 2 cada elemento de es imagen por de exactamente dos elementos de Zp , luego
0
tiene cardinal p1
2 , la mitad del cardinal de Zp . Por tanto el conjunto de los elementos
de Zp que no son cuadrados perfectos tambien tiene cardinal p1
2 . Si suponemos que la
2
a0 q n + a1 pq n1 + . . . + an1 pn1 q + an pn = 0.
Como p divide a a1 pq n1 + . . . + an1 pn1 q + an pn , se deduce de esa igualdad que tambien
divide a a0 q n ; pero como p y q no tienen factores comunes, se concluye que p divide a a0 .
Analogamente, q divide a a0 q n + a1 pq n1 + . . . + an1 pn1 q, luego se deduce de la misma
igualdad que tambien divide a an pn ; y, como antes, esto implica que q divide a an .
25
3. Races de polinomios
En esta secci
on vamos a estudiar el comportamiento de las races de polinomios en
una indeterminada con coeficientes en un anillo. En general, daremos por descontado que
las races se encuentran en el anillo, dejando para la siguiente seccion el ver que todo D.I.
se puede ampliar hasta un cuerpo en el que vivan todas las races de cualquier polinomio
fijado de antemano.
Empezamos con la siguiente definicion, motivada por el Corolario 2.4:
Definici
on. Se llama multiplicidad de una raz a de un polinomio f A[X] al maximo
exponente r tal que (X a)r divide a f , es decir, f = (X a)r g con g(a) 6= 0. Si la
multiplicidad de a es al menos dos, se dice que a es una raz m
ultiple de f .
Lema 3.1. Si A es un D.F.U. o un cuerpo, todo polinomio no nulo de A[X] tiene a lo
mas tantas races (contadas cada una con su multiplicidad) como su grado.
Demostraci
on: Sea f A[X] no nulo y sean a1 , . . . , am sus races distintas, con multiplicidades respectivas r1 , . . . , rm . Por definicion de multiplicidad, cada (X ai )ri divide a f .
Como A[X] es un D.F.U. (por el Teorema 2.19) y X ai y X aj son irreducibles (ya que
A[X]/(X ai ) es isomorfo a A, que es un D.I.) y primos entre s si i 6= j (por el Corolario
2.4), se tiene que (X a1 )r1 . . . (X am )rm divide a f , por lo que r1 + . . . + rm es como
mucho el grado de f .
Ejemplo 3.2. Si A es un anillo arbitrario, el resultado anterior no es cierto. Por ejemplo,
el polinomio 2X Z4 tiene dos races (las clases de 0 y 2), a pesar de tener grado uno.
Observese que, de todas formas, vale la regla de Ruffini (Corolario 2.4) ya que 2X =
2(X 2).
Corolario 3.3. Sea K un cuerpo y sea G < K \ {0} un subgrupo finito del grupo multiplicativo correspondiente. Entonces G es cclico. En particular, si K es finito, el grupo
K \ {0} es cclico.
Demostraci
on: Por el teorema de estructura de grupos abeliano finitos, G es isomorfo a
un producto Zn1 . . . Znr , con n1 |n2 | . . . |nr . En particular, |G| = n1 . . . nr y cualquier
elemento de G tiene orden un divisor de nr . Esto u
ltimo quiere decir que el polinomio
nr
X 1 K[X] se anula para todos los elementos de G, es decir, tiene n1 . . . nr races
distintas. Por el Lema 3.1, n1 . . . nr nr , y por tanto r = 1 y G es isomorfo a Zn1 , por lo
que es cclico.
Ejercicio 3.4. Sea p un n
umero primo impar.
26
p1
(i) Demostrar que para cada a Z coprimo con p, se tiene que a 2 es congruente con 1 o
1 modulo p y que es 1 si y s
olo si a es un cuadrado en Zp [Indicacion: escribir la clase
de los elementos de Zp como potencias de un generador del grupo cclico Zp \ {0}].
(ii) Concluir que, si a1 , a2 no son cuadrados modulo p, entonces lo es a1 a2 .
Definici
on. Dado un anillo A, de llama derivada del polinomio f = a0 + a1 X + . . . + an X n
al polinomio f 0 = a1 + . . . + nan X n1 . Al coincidir la definicion con la del analisis, es f
acil
0
0
0
0
0
0
ver que se verifican las reglas usuales (f + g) = f + g y (f g) = f g + f g .
Proposici
on 3.5. Sean A un D.I, f A[X] y a una raz de f . Entonces a es una raz
m
ultiple de f si y s
olo si f 0 (a) = 0.
Demostraci
on: Como a es una raz de f , por el Corolario 2.4 podemos escribir f = (Xa)g.
Por definici
on, a es una raz m
ultiple de f si y solo si (X a)2 divide a f = (X a)g.
Como A es D.I. (y por tanto tambien lo es A[X] por el Ejercicio 1.14(iii)), se tiene que
entonces (X a)2 divide a f = (X a)g si y solo si X a divide a g. Aplicando de nuevo
el Corolario 2.4 tendremos que a es una raz m
ultiple de f si y solo si g(a) = 0. Derivando
0
la igualdad f = (X a)g, tenemos f = (X a)g 0 + g, luego f 0 (a) = g(a), lo que demuestra
el resultado.
Dado que debemos reconocer cuando f y f 0 tienen races comunes, damos el siguiente
resultado que dice al menos cu
ando dos polinomios tienen factores comunes. La idea es
que, en la siguiente secci
on, construiremos (al menos para los cuerpos) un cuerpo en el
que un polinomio dado tenga todas sus races (y por tanto, compartir factores quiere decir
compartir races).
Teorema 3.6. Sea A un D.F.U. o un cuerpo y sean f = a0 + a1 X + . . . + an X n , g = b0 +
b1 X+. . .+bm X m dos polinomios en A[X] de grados respectivos n y m (es decir, an , bm 6= 0).
Entonces f y g tienen un factor com
un de grado positivo si y solo si R(f, g) = 0, donde
a0
0
0
R(f, g) =
b0
0
0
a1
a0
...
...
..
.
an
an1
0
an
0
0
...
...
...
b1
b0
0
...
...
..
.
a0
bm1
bm2
a1
bm
bm1
...
0
bm
an1
...
0...
..
.
...
b0
b1
...
bm1
0
m filas
an
0
0
n filas
bm
(3.7)
Demostraci
on: Como A[X] es un D.F.U., que en la descomposicion de f y g haya un factor
com
un de grado positivo es equivalente a decir que existen polinomios no nulos p, q A[X]
27
a0 c0
a1 c0
..
.
b0 d0
b1 d0
+a0 c1
am1 c0
am c0
am+1 c0
..
.
+am2 c1
+am1 c1
+am c1
...
...
...
+a0 cm1
+a1 cm1
+a2 cm1
an1 c0
an c0
+an2 c1
+an1 c1
+an c1
...
...
...
+anm cm1
+anm+1 cm1
+anm+2 cm1
bm1 d0
bm d0
=0
=0
b0 d1
bm2 d1
bm1 d1
bm d1
...
...
...
...
...
...
=0
=0
=0
b0 dn1
b1 dn1
b2 dn1
=0
=0
=0
bm dn1
=0
..
.
an cm1
Podemos ver estas igualdades como un sistema homogeneo de n+m ecuaciones en las n+m
incognitas c0 , c1 , . . . , cm1 , d0 , d1 , . . . , dn1 que tiene solucion no trivial en An+m . Si K es
el cuerpo de fracciones de A, es claro que el sistema tiene solucion no trivial en An+m
si y solo si la tiene en K n+m , luego la condicion necesaria y suficiente es que la matriz
de coeficientes del sistema tenga determinante cero. Pero dicha matriz de coeficientes,
cambiando de signo las u
ltimas columnas y transponiendo, es exactamente la matriz cuyo
determinante es R(f, g). Por tanto, f y g tienen un factor com
un de grado positivo si y
solo si R(f, g) = 0.
Definici
on. Dado un anillo A, se llama resultante de los polinomios f, g A[X] al elemento
R(f, g) A definido en el teorema anterior por la expresion (3.7).
Ejemplo 3.8. En el caso de un polinomio f (X) = aX 2 +bX +c de grado dos, se reobtiene
enseguida el resultado de cu
ando tiene una raz m
ultiple. En efecto, podemos aplicar la
Proposicion 3.5, y tendremos f 0 = 2aX + b, que tendra su u
nica raz com
un con f si y s
olo
si se anula
c b
a
0
R(f, f ) = b 2a 0 = 4a2 c ab = a(4ac b2 )
0 b 2a
28
de donde obtenemos el resultado conocido de que f tiene una raz doble si y solo si b2 4ac =
0. En realidad, en este caso se poda evitar la resultante para ver si f y f 0 comparten raz,
0
z si y
ya que f 0 tiene una sola raz, precisamente X = b
2a . Por tanto, f y f comparten ra
b
solo si f ( 2a ) = 0, es decir
0=a
b 2
b
b2 + 4ac
+b
+c=
2a
2a
4a
Queremos ahora generalizar las ideas del ejemplo anterior, y expresar la resultante en
terminos de las races del polinomio. Por comodidad, trabajaremos solo con polinomios
monicos, dejando al lector los cambios oportunos para polinomios arbitrarios. Empezamos
con la siguiente observaci
on elemental:
Lema 3.9. Sea A un D.F.U. o un cuerpo y sea f = a0 +a1 X +. . .+an1 X n1 +X n A[X]
un polinomio m
onico con n races 1 , . . . , n A (cada una repetida tantas veces como su
multiplicidad). Entonces
a0 = (1)n 1 . . . n
a1 = (1)n1 (1 2 . . . n1 + . . . + 2 . . . n )
..
.
an1 = (1 + 2 + . . . + n )
es decir, para j = 0, . . . , n 1 se tiene aj = (1)nj enj (1 , . . . , n ), donde
X
ek :=
Xi1 . . . Xik A[X1 , . . . , Xn ].
1i1 <...<ik n
Demostraci
on: Es una consecuencia inmediata de que, por el Corolario 2.4, f se puede
escribir como f = (X 1 )(X 2 ) . . . (X n ).
Definici
on. Llamaremos polinomio simetrico elemental k-esimo (k = 1, . . . , n) en las variables X1 , . . . , Xn al polinomio
X
ek :=
Xi1 . . . Xik .
1i1 <...<ik n
00
Proposici
on 3.10. Sea A un D.F.U., sea A0 = A[X10 , . . . , Xn0 , X100 , . . . , Xm
] y sean los
00
0
0
0
00
polinomios f = (X X1 ) . . . (X Xn ) y g = (X X1 ) . . . (X Xm ) de A [X]. Entonces
Y
R(f, g) =
(Xj00 Xi0 ).
i = 1, . . . , n
j = 1, . . . , m
29
Demostraci
on: Tenemos
(1)n e0n (1)n1 e0n1
0
(1)n e0n
0
...
R(f, g) =
m 00
m1 00
(1)
e
(1)
em1
m
m 00
0
(1) em
0
...
...
...
..
.
1
e01
0
1
0
0
0
...
...
..
.
(1)n e0n
e001
e002
(1)n1 e0n1
1
e001
(1)m e00m
(1)m1 e00m1
...
...
. . . e01
0
...
1 0...
..
.
. . . e001
0
0
1
0
0
1
donde e01 , . . . , e0n son los polinomios simetricos elementales en X10 , . . . , Xn0 , y e001 , . . . , e00m
00
. De aqu se deduce facilmente que
los polinomios simetricos elementales en X100 , . . . , Xm
R(f, g), como polinomio en las variables X10 , . . . , Xn0 , tiene grado nm y que el termino de
m
m
mayor grado (que viene de la diagonal principal) es (1)nm X10 . . . Xn0 . Por otra parte,
para cada i = 1, . . . , n y j = 1, . . . , m, se tiene que Xi0 es una raz del polinomio R(f, g)
visto como polinomio en la variable Xj00 (ya que sustituyendo Xj00 por Xi0 en R(f, g) queda
la resultante de f y el polinomio que resulta al sustituir en g la variable Xj00 por Xi0 , y dicha
resultante es cero por el Teorema 3.6, al compartir ambos polinomios el factor X Xi0 ,
de grado positivo en X). Por el Corolario 2.4, se obtiene entonces que R(f, g) es divisible
por Xj00 Xi0 . Como los polinomios Xj00 Xi0 son primos dos a dos, se deduce entonces
que su producto i,j (Xj00 Xi0 ) divide a R(f, g) en A0 . Pero ambos polinomios, como
polinomios en X10 , . . . , Xn0 , tienen grado nm, siendo el termino de mayor grado en ambos
m
m
(1)nm X10 . . . Xn0 , con lo que son necesariamente iguales.
Corolario 3.11. Sea A un D.F.U. y f, g A[X] de grados respectivos n y m. Supongamos que g es m
onico y tiene races 1 , . . . , m (cada una repetida tantas veces como
su multiplicidad) y que tambien f tiene n races contadas con multiplicidad. Entonces
R(f, g) = f (1 ) . . . f (m ).
Demostraci
on: Si f es tambien monico, podemos escribir f = (X 1 ) . . . (X n ) y
g = (X 1 ) . . . (X m ). Como R(f, g) consiste en sustituir, en la expresion de la
00
por 1 , . . . , n , 1 , . . . , m ,
demostraci
on de la Proposici
on 3.10, X10 , . . . , Xn0 , X100 , . . . , Xm
tendremos
R(f, g) =
Y
Y
Y
(j 1 ) . . . (j n ) =
f (j ).
(j i ) =
i,j
Si f no es necesariamente m
onico, si 1 . . . , n son sus races, sabemos que f := (X
1 ) . . . (X n ) divide a f . Como f y f tienen el mismo grado, podemos escribir f = af,
30
con a A. De la expresi
on (3.7) se deduce R(f, g) = am R(f, g), luego
R(f, g) = am
Observaci
on 3.12. En realidad, en el Corolario anterior no hara falta pedir que f tuviera
todas sus races en A (y de hecho a partir de ahora no lo pondremos como hipotesis), ya que
en la secci
on pr
oxima demostraremos (Teorema 4.12) que podremos extender el cuerpo de
fracciones de A a un cuerpo en el que ya estan todas las races de f . De hecho, el Corolario
3.11 demuestra mucho m
as (usando tambien que en una extension oportuna g tiene tambien
todas sus races): Si g = g1 g2 entonces R(f, g1 g2 ) = R(f, g1 )R(f, g2 ). El lector que no
este de acuerdo con el hecho de usar algo que veremos mas adelante puede tranquilizar su
conciencia resolviendo el siguiente:
Ejercicio 3.13. Demostrar la igualdad R(f, (X )g) = f ()R(f, g) [Indicacion: En el
determinante de orden (m + 1) + n que da la resultante de f y (X )g efectuar dos series
de operaciones elementales; en primer lugar, empezando desde la pen
ultima columna hasta
la primera, ir sumando a cada columna la siguiente multiplicada por ; en segundo lugar,
desde la fila segunda hasta la (m + 1)-esima de la matriz obtenida, restar a cada fila la
anterior multiplicada por ]. Concluir, por induccion sobre m, que en el Corolario 3.11 no
hace falta suponer que f tenga n races contadas con multiplicidad.
Corolario 3.14. Sea A un D.F.U., f A[X] un polinomio monico de grado n con races
1 , . . . , n contadas con multiplicidad. Entonces
R(f 0 , f ) =
Y
(i j ).
i6=j
Ademas, si escribimos :=
i<j (i
n(n+1)
2
2 .
Demostraci
on: Escribimos f = (X 1 ) . . . (X n ), y por el Corolario 3.11 sabemos que
0
R(f , f ) = f 0 (1 ) . . . f 0 (n ). Por otra parte, derivando, se obtiene
f 0 = (X 2 ) . . . (X n ) + . . . + (X 1 ) . . . (X n1 )
por lo que, para cada i = 1, . . . , n, se tiene f 0 (i ) =
igualdad que busc
abamos.
j6=i (i
j ), que es la primera
Para la segunda igualdad, basta observar dos cosas. La primera, que si en (3.7)
cambiamos el orden de los polinomios f y f 0 estamos subiendo n 1 filas cada una de
31
las u
ltimas n filas; como cada permutacion de filas cambia el signo, tendremos R(f, f 0 ) =
(1)n(n1) R(f 0 , f ) = R(f 0 , f ), ya que n(n 1) es siempre par. La segunda observaci
on es
Q
Q
que el cociente de j6=i (i j ) entre el cuadrado de i<j (i j ) es el cociente entre
Q
Q
i>j (i j ) y
i<j (i j ); los factores en el numerador y denominador son entonces
los mismos, pero todos cambiados de signo, luego como hay n(n 1)/2 factores, dicho
n(n+1)
cociente queda (1) 2
Definici
on. Dado un polinomio f A[X] de grado n y con races 1 , . . . , n (repetida
cada una tantas veces como su multiplicidad), llamaremos discriminante del polinomio f
a D := 2 (con las notaciones del corolario anterior).
Observaci
on 3.15. Evidentemente, esta definido a partir de un orden prefijado de
las races, y puede cambiar de signo al permutar las races (por eso, lo que tiene sentido
es definir D = 2 ). Concretamente, si Sn es una permutacion de {1, . . . , n}, el
nuevo valor del discriminante al ordenar las races de la forma (1) , . . . , (n) sera 0 =
Q
i<j ((i) (j) ). Entonces tenemos la igualdad
Y (i) (j)
i<j
(i) (j)
Y i j
i<j
ij
ya que en ambos productos tenemos los mismos factores, aunque cambiados de orden
(observese que si un numerador de la izquierda cambia de signo respecto del mismo numerador de la derecha entonces los correspondientes denominadores tambien cambian de
signo). Tenemos por tanto
0
=
i<j ((i)
(j) )
j )
i<j (i
Y (i) (j)
i<j
ij
de una c
ubica, es decir,
s(X1 , X2 , X3 ) = (X1 X2 )2 (X1 X3 )2 (X2 X3 )2
o, desarrollado y agrupado en bloques simetricos,
s(X1 , X2 , X3 ) = (X14 X22 + X14 X32 + X12 X24 + X12 X34 + X24 X32 + X22 X34 )
+(2X14 X2 X3 2X1 X24 X3 2X1 X2 X34 ) + (2X13 X23 2X13 X33 2X23 X33 )
+(2X13 X22 X3 +2X13 X2 X32 +2X12 X23 X3 +2X12 X2 X33 +2X1 X23 X32 +2X1 X22 X33 )6X12 X22 X32 .
Los bloques simetricos est
an ordenados lexicograficamente respecto a los exponentes (ordenados estos de mayor a menor): concretamente, los exponentes de cada bloque son:
(4,2,0), (4,1,1), (3,3,0), (3,2,1) y (2,2,2). Para eliminar los exponentes (4,2,0), restamos
e21 e22 y obtenemos
s e21 e22 = (4X14 X2 X3 4X1 X24 X3 4X1 X2 X34 ) + (4X13 X23 4X13 X33 4X23 X33 )
+(6X13 X22 X3 6X13 X2 X32 6X12 X23 X3 6X12 X2 X33 6X1 X23 X32 6X1 X22 X33 )21X12 X22 X32
Observese que los exponentes no han aumentado (el lector debe averiguar por que), y ahora
los exponentes m
aximos son (4,1,1) (con coeficiente 4), por lo que ahora sumamos 4e31 e3 ,
y obtenemos
s e21 e22 + 4e31 e3 = (4X13 X23 4X13 X33 4X23 X33 )
+(6X13 X22 X3 + 6X13 X2 X32 + 6X12 X23 X3 + 6X12 X2 X33 + 6X1 X23 X32 + 6X1 X22 X33 ) + 3X12 X22 X32
Repitiendo el proceso, el lector habra adivinado que ahora toca:
s e21 e22 + 4e31 e3 + 4e32 =
18(X13 X22 X3 + X13 X2 X32 + X12 X23 X3 + X12 X2 X33 + X1 X23 X32 + X1 X22 X33 ) + 27X12 X22 X32
y finalmente
s e21 e22 + 4e31 e3 + 4e32 18e1 e2 e3 = 27X12 X22 X32 = 27e23
con lo que podemos escribir s = e21 e22 4e31 e3 4e32 + 18e1 e2 e3 27e23 . De aqu se obtiene
que si f = X 3 + aX 2 + bX + c, entonces D = a2 b2 4a3 c 4b3 + 18abc 27c2 .
34
n1
n in
Por tanto, el nuevo polinomio homogeneo simetrico s cei11 i2 . . . en1
en tiene sus
sucesiones de exponentes todas estrictamente menores que (i1 , . . . , in ). Por recurrencia, y
restando siempre polinomios en e1 , . . . , en , se llega al polinomio cero (el u
ltimo caso posible
sera la sucesi
on de exponentes todos iguales, pero esto es una potencia de e1 . . . en , con lo
que se llega a cero).
3
1
3 3 3 2
3 3 3
3 3
3
3
2
3
(1 + (
i)2 ) = 1 + (
i)1 2 + (
i)1 2 2 =
iq
2
2
2
2
2
2
2
2
Antes de tomar races c
ubicas, como querremos despejar 2 al restar las dos expresiones
q
q
1
( 1 + ( + )2 )3 =
= +
2 2
3i
2 3i 2
2 27i 2
1
1
1
q
q
1
( 1 + ( )2 )3 =
+ = +
2 2
3i
2 3i 2
2 27i 2
D
27
D
27
1
q
+
2 2
s
1
1
1
1 + ( + )2 =
3i
2 3i 2
q
1
2 2
D
27
D
.
27
(3.20)
(3.21)
Sumando y teniendo en cuenta que D = 4p3 27q 2 se obtiene la formula de CardanoTartaglia para el c
alculo de las races:
s
2 =
q
1
+
2 2
4p3
27q 2
+
27
s
+
q
1
2 2
4p3 + 27q 2
.
27
(3.22)
A la hora de interpretar la f
ormula hay que tener cuidado, ya que cada n
umero tiene dos
races cuadradas y tres complejas, luego en principio hay muchas posibilidades de elecci
on.
Respecto a las races cuadradas en la formula, esta claro que lo que hacemos es tomar las
dos, una en cada sumando. El problema esta luego en ver que races c
ubicas hay que tomar
en cada sumando para obtener una raz de f . La clave esta en (3.20) y (3.21). Dichas
expresiones dicen que las races c
ubicas hay que tomarlas de forma que su producto sea
1
1
1
1
1
1 1 + (
+
)
+
(
+
)
= 1/312 + 1/31 2 + 1/322 = p3 .
2
1
2
2
2
3i
2 3i
3i
2 3i
Por tanto, la f
ormula puede escribirse tambien como
s
=
q
1
+
2 2
4p3 + 27q 2
p
r
q
27
3
2
3
q
1
3 2 + 2 4p +27q
27
36
(3.23)
La observaci
on sorprendente es que, en el caso en que las tres races son reales y distintas
sabemos que D = 4p3 27q 2 es positivo (Observacion 3.16), mientras
q que al usar la
3
1
2
s r
4
4
3 1
+
27
2
27
3 3
como 3 i, que toma los valores
3
1
3
1
3
1 =
i, 2 = +
i, 3 = +
i.
3
2
6
2
6
3
3
3
1
3
1
3
1 =
i, 2 =
i, 3 =
i
3
2
6
2
6
La condici
on de que el producto de los dos sumandos debe ser p3 =
sumas que dan las races son
1
3
1 + 1 = 0 2 + 3 = 1 3 + 2 = 1.
Ejercicio 3.25. Repetir todo el ejemplo anterior para el polinomio f = X 3 + X.
Ejemplo 3.26. Veamos ahora el metodo para resolver ecuaciones cuarticas. Resolver
f = X 4 + aX 3 + bX 2 + cX + d = 0 es equivalente a calcular la interseccion de las conicas
Y 2 + aXY + bY + cX + d = 0 y X 2 Y = 0. Evidentemente, la interseccion de las conicas
es la misma que la de las c
onicas Y 2 + aXY + bY + cX + d + (X 2 Y ) = 0 y X 2 Y = 0
para cualquier . La idea es entonces escoger de forma que la primera conica sea un par
de rectas, lo que permite calcular inmediatamente la interseccion. La primera conica tiene
por matriz asociada
d
c/2 b/2 /2
M =
c/2
a/2
b/2 /2 a/2
1
37
38
4. Extensiones de cuerpos
Dado un polinomio en una indeterminada con coeficientes reales, se habla siempre de
sus races aunque estas no sean siempre reales, sino imaginarias. En realidad, lo que se
hace es ampliar el cuerpo R a un cuerpo mas grande, el cuerpo C de los n
umeros complejos,
donde viven en realidad las races. Cuando el cuerpo de partida no es R, sino un cuerpo
arbitrario, no es f
acil (aunque se puede) construir un cuerpo mas grande en el que todos
los polinomios tengan sus races (es lo que se llama la clausura algebraica del cuerpo). Sin
embargo, para cada polinomio concreto s que es facil construir un cuerpo en el que vivan
las races del polinomio, y eso es lo que vamos a hacer en este captulo.
Definici
on. Una extensi
on de cuerpos es una inclusion de cuerpos K L. Dada una
extension K L y un elemento L, se dice que es algebraico sobre K si existe
f K[X] no nulo tal que f () = 0. En caso contrario, se dice que es transcendente
sobre K. Si todos los elementos de L son algebraicos sobre K se dice que K L es una
extensi
on algebraica; en caso contrario, se dice que es una extensi
on transcendente.
Una observaci
on b
asica es que cualquier homomorfismo de cuerpos K L es inyectivo
(luego proporciona una extensi
on del cuerpo K), ya que, visto como homomorfismo de
anillos, su n
ucleo es un ideal, por tanto el cero o el total; y como el 1 de K va a parar al
1 de L, el n
ucleo no es el total.
Observaci
on 4.1. A nosotros nos interesaran especialmente las extensiones algebraicas,
ya que lo que queremos es a
nadir races de polinomios. Sin embargo, debe notarse que
hay muchas m
as extensiones transcendentes que algebraicas. Por ejemplo, consideremos la
de los n
extension Q C y definamos el conjunto Q
umeros complejos que son algebraicos
sobre Q. Si llamamos n al conjunto de los n
umeros complejos que son races de alg
un
polinomio en Q[X] de grado menor o igual que n, es claro que n es numerable (ya que
el conjunto de polinomios de grado menor o igual que n esta en biyeccion con el conjunto
numerable Qn+1 de sus coeficientes, y cada polinomio tiene un n
umero finito de finito de
= nN n , se sigue que Q
es
races, de hecho como mucho son n). Como claramente Q
numerable, y por tanto un subconjunto muy peque
no dentro de C, que es no numerable.
Sin embargo, demostrar la transcendencia de un elemento concreto no es nada facil. Se
sabe, por ejemplo, que n
umeros como e y son transcendentes, pero la demostracion dista
mucho de ser trivial (ya el demostrar que son irracionales no es precisamente facil).
Una primera observaci
on sobre extensiones de cuerpos es que no se trata de algo
(iii) Para cualquier polinomio g K[X] tal que g() = 0, se tiene que f divide a g.
Demostraci
on: Consideramos el homomorfismo ev : K[X] L definido por ev (f ) =
f (). Por hip
otesis, el n
ucleo de ev es no nulo y su imagen es K[] por definicion. Como
K[X] es un D.I.P., el n
ucleo est
a generado por un polinomio f K[X], que podemos
tomar monico, y por el primer teorema de isomorfa K[X]/(f )
= K[], siendo la imagen
de la clase de X el elemento . Como K[] es un D.I. (por estar contenido en un cuerpo)
(f ) es un ideal primo, y por tanto f es irreducible y K[X]/(f ) es un cuerpo (por el Lema
2.14), lo que probara (ii). La parte (iii) es clara, ya que si un polinomio g se anula en ,
entonces est
a en el n
ucleo de ev , luego es divisible por f . La unicidad de f (y por tanto
(i)) es consecuencia de que, si es raz de otro polinomio monico irreducible f 0 , por (iii)
se tiene que f divide a f 0 , y como ambos son monicos e irreducibles entonces f 0 = f .
Definici
on. Sea K L una extension de cuerpos y sea L un elemento algebraico
sobre K. En las condiciones del lema anterior, se llama polinomio mnimo de sobre K
al u
nico polinomio irreducible m
onico f K[X] tal que f () = 0. Equivalentemente, f
es el polinomio m
onico en K[X] de menor grado tal que f () = 0. Como hemos visto, f
divide a todos los dem
as polinomios de K[X] que se anulan en . Las otras races de f se
llaman conjugados de respecto de K.
Observaci
on 4.5. La situaci
on que se produce en el Lema 4.4 es radicalmente distinta
si L es un elemento transcendente. En efecto, por definicion, el homomorfismo ev :
K[X] L ser
a en tal caso inyectivo. Por tanto, K[] sera isomorfo a K[X], por lo que no
sera un cuerpo.
1
32 3 5 3 2 + (5 3 2)2
=
=
3+532
(3 + 5 3 2)(32 3 5 3 2 + (5 3 2)2 )
9 15 3 2 + 25 3 4
9
15
25
3
3
=
=
2
+
4
3
277 277
277
33 + (5 2)3
(este proceso recibe el nombre de racionalizar la expresion). Sin embargo no es tan evidente
Definici
on. Se dice que K L es una extensi
on finita si L es un espacio vectorial de
dimension finita sobre K; la dimension de dicho espacio vectorial se llama grado de la
extensi
on y se denota por [L : K].
Podra surgir la duda de si, ampliando el cuerpo K como en el lema anterior, estamos
introduciendo elementos que no sean algebraicos. El siguiente resultado nos dice que no
es as.
Lema 4.8. Toda extensi
on finita es algebraica.
Demostraci
on: Sea K L una extension finita y sea L un elemento cualquiera.
Si n es la dimensi
on de L como espacio vectorial sobre K, entonces, los n + 1 vectores
n
1, , . . . , deben ser linealmente dependientes sobre K. Por tanto, existen elementos
a0 , a1 , . . . , an K no todos nulos tales que a0 1 + a1 + . . . + an n = 0. Entonces el
polinomio no nulo f (X) := a0 + a1 X + . . . + an X n K[X] verifica f () = 0, con lo que
es algebraico sobre K.
Ejemplo 4.9. El resultado anterior nos plantea un nuevo problema (que sin embargo
va a ser una soluci
on al problema planteado en el Ejemplo 4.6 de calcular inversos). Si
todos los elementos de un K[] (con algebraico sobre K) son algebraicos, seg
un el Lema
4.8, entonces tendr
an sus correspondientes polinomios mnimos. Como en el Ejemplo
4.6, en algunos casos se pueden calcular directamente a ojo. Por ejemplo, en Q[ 3 2],
3
es evidente que un polinomio que anula a = 3 + 5 3 2 es ( X3
5 ) 2, con lo que un
polinomio m
onico que tenga a como raz es X 3 9X 2 + 27X 277, y no es complicado
ver que es irreducible (por ejemplo, observando que no tiene races en Q), luego es el
polinomio mnimo. Observese que el termino independiente de este polinomio mnimo es
el denominador que sala al calcular el inverso de . Por supuesto, no es casualidad, ya
que de la relaci
on 3 9 2 + 27 277 = 0 se obtiene ( 2 9 + 27) = 277, de donde
2
sigue que el inverso de es 9+27
, que, despejando el valor de y desarrollando nos
277
9
15 3
25 3
da el valor 277 277 2 + 277 4 obtenido en el Ejemplo 4.6.
Podemos intentar lo mismo para el elemento = 23 3 2+7 3 4 del que no supimos calcular
su inverso de forma sencilla. Tampoco parece evidente como calcular su polinomio mnimo
43
3
3
1 = 2 3 2 + 7 4 = (2, 3, 7)B
.
3
3
2 = 80 + 86 2 + 37 4 = (80, 86, 37)B
3
3
3 = 822 + 930 2 744 4 = (822, 930, 744)B
1
0
0
Como 2
3 7 6= 0, se sigue que 1, , 2 son linealmente independientes, lo que
80 86 37
quiere decir que no es raz de un polinomio no nulo de grado menor o igual que dos con
coeficientes en Q. Del mismo modo, se obtiene la relacion de dependencia lineal:
3 = 1578 1 138 + 6 2
de donde se deduce que es raz del polinomio f (X) = X 3 6X 2 + 138X 1578. Como no
es raz de un polinomio de grado menor, f (X) es el polinomio mnimo de sobre Q (lo que
implica directamente que es irreducible en Q[X], aunque en este caso se puede obtener por
r
apidamente por el criterio de Eisenstein). Haciendo igual que para , llegamos entonces a
2
2
+138
5 3
23
52 3
que el inverso de es 6
2 1578
4. Existe otro modo, esencialmente
= 789
+ 789
1578
equivalente pero computacionalmente mas sencillo, para calcular el inverso. Consideramos
3
3
3
2 7 2(2 3 2 + 7 4) = 2 2 3 4 + 14 = (14, 2, 3)B
3
3
3
3
3
3
4 7 2(14 + 2 2 3 4) = 14 2 + 2 4 6 = (6, 14, 2)B
2
14 6
M = 3 2
14 .
7 3 2
Por tanto, la matriz de la multiplicacion por 1 respecto de la base B sera:
23
5
104
M 1
789
789
789
52
789
23
789
5
789
5
1578
52
789
23
789
44
posici
on del polinomio f sobre el cuerpo K al cuerpo L cuya existencia garantiza el Teorema 4.12 (la propiedad (ii) se debe interpretar como que L es el cuerpo mas peque
no que
contiene todas las races de f ).
La unicidad salvo isomorfismo del cuerpo de descomposicion nos da la unicidad salvo
isomorfismo, de cuerpos finitos de orden dado (de los que demostraremos tambian la existencia):
Teorema 4.13. Para cada n
umero primo p y cada natural n 1 existe, y es u
nico salvo
n
isomorfismo, un cuerpo de orden p .
Demostraci
on: Veamos primero la parte de la unicidad, que nos dara la pista para demostrar la existencia. Ya sabemos que un cuerpo K de orden q = pn es una extensi
on
de grado n de Zp . Adem
as, como K \ {0} es un grupo multiplicativo de orden q 1, se
q1
tiene
= 1 para todo K \ {0}. Por tanto, todos los elementos de K son races del
polinomio f = X q X, que podemos considerar como polinomio en Zp [X]. Por tanto, K
puede verse como cuerpo de descomposicion de f sobre Zp . La unicidad se sigue ahora de
la unicidad del cuerpo de descomposicion de un polinomio.
Para ver la existencia, hay que ver que, para cada q = pn , el cuerpo de descomposici
on
0
n q1
0
K de f tiene exactamente q elementos. Como f = p X
1 = 1, f y f no tienen
races comunes, luego f tiene exactamente q races. Veamos que K no puede contener m
as
elementos. Para eso, por ser K el cuerpo de descomposicion de f sobre Zp , bastar
a ver
que el conjunto de races de f forman un subcuerpo de K. Esto es cierto porque, si ,
son races de f se tendr
a, usando el Ejercicio 1.13,
n
f (a + b) = (a + b)p (a + b) = ap + bp a b = 0,
luego a + b tambien es raz y como las races de f menos el cero son las races de xq1 1,
forman un grupo con el producto. Entonces K es exactamente el conjunto de races de f ,
luego tiene orden q = pn .
1
3
2 = 2(
+
i)
2
2
1
3
3
3 = 2(
i).
2
2
48
La parte (ii) del teorema anterior nos dice que podemos tomar el cuerpo de descomposici
on
2 3
de f dentro de C, concretamente sera L = Q[1 , 2 , 3 ]. Como 3i = 1 , se tiene
que L contiene a Q[ 3 2, 3i]. Como el otro contenido es evidente, se deduce que el cuerpo
de descomposici
on de f sobre Q es L = Q[ 3 2, 3i]. Para calcular [L : Q] podemos
que no se puede dar, ya que 3i no es real, mientras que todos los elementos de K 0 son
reales. De todas formas, veamos otro truco que se puede aplicar a casos mas generales.
[L : Q] = [L : Q[ 3i]][Q[ 3i] : Q]. Ahora es claro que [Q[ 3i] : Q] = 2 (por el Lema
4.7, ya que X 2 + 3 es irreducible en Q[X]), luego [L : Q] es divisible por 2, as que la
u
nica posibilidad es [L : Q] = 6 (lo que demostrara de paso que 3i no esta en Q[ 3 2]).
Una u
ltima observaci
on es que L no se puede simplificar mas separando 3 e i, en el
sentido de que L 6= Q[ 3 2, 3, i]. En efecto, el truco de divisibilida anterior muestra que
[Q[ 2, 3] : Q] = 6, y como i 6 Q[ 2, 3] entonces [Q[ 3 2, 3, i] : Q[ 2, 3]] = 2, de donde
[Q[ 3 2, 3, i] : Q] = 12.
Ejemplo 4.15. Consideremos ahora f = X 4 10X 2 + 1 Q[X], que ya vimos en el
Ejemplo 2.26 que es irreducible y que sus races son
1 =
2+
2 3
3 = 2 + 3
4 = 2 3.
2 =
De nuevo por la parte (ii) del Teorema 4.12, el cuerpo de descomposicion de f sobre Q ser
a
L = Q[1 , 2 , 3 , 4 ], que se demuestra facilmente que es L = Q[ 2, 3]. Para calcular
on
en Q[ 2] (el lector puede pensar que es obvio que no, pero requiere una demostraci
de grado 4). Por tanto, Q[1 ] es un subespacio de dimension cuatro de L, que por las
observaciones anteriores tiene dimension 2 o 4. Esto implica tambien que L = Q[1 ] y
[L : Q] = 4. Este truco de poder poner una extension de la forma K[] va a resultar
decisivo en la secci
on siguiente.
Definici
on. Dada una extensi
on K L y dados 1 , . . . , n L, el mnimo subcuerpo
de L que contiene a K y a 1 , . . . , n , es el cuerpo de fracciones de K[1 , . . . , n ], que
denotaremos por K(1 , . . . , n ). Una extensi
on finitamente generada es una extensi
on
K L tal que L = K(1 , . . . , n ) para ciertos 1 , . . . , n L. Si L = K(), se dice que
K L es una extensi
on simple y que es un elemento primitivo de la extensi
on.
Ejemplo 4.16. Si K es un cuerpo finito, entonces cualquier extension finita K L es
simple. En efecto, L es tambien finito (si no, tendra dimension infinita sobre K) y, por el
Corolario 3.3, L \ {0} es un grupo cclico generado por un elemento, digamos . Entonces
L = K().
Lema 4.17. Sea K L = K(1 , . . . , n ) una extension de cuerpos finitamente generada.
Entonces son equivalentes:
(i) La extensi
on K L es finita.
(ii) La extensi
on K L es algebraica.
(iii) 1 , . . . , n son algebraicos sobre K.
Ademas, en estas condiciones, L = K[1 , . . . , n ].
Demostraci
on:
(i) (ii): Esta implicaci
on es cierta siempre (Lema 4.8).
(ii) (iii): Por definici
on, al ser la extension K L algebraica, los elementos 1 , . . . , n
son algebraicos sobre K.
(iii) (i): Descomponemos la extension K L en una cadena de extensiones simples:
K K(1 ) K(1 , 2 ) . . . K(1 , . . . , n1 ) K(1 , . . . , n ) = L.
Para el primer eslab
on, observamos que, por hipotesis, 1 es algebraico sobre K, luego
por los Lemas 4.4 y 4.7 se tiene que K[1 ] es un cuerpo (luego coincide con su cuerpo
de fracciones K(1 )) y la extensi
on K K[1 ] es finita. Si escribimos ahora el se
gundo eslab
on como K(1 ) K(1 ) (2 ), de nuevo tenemos que 2 es algebraico sobre
K, y por tanto tambien es algebraico sobre K(1 ). Por el mismo argumento de antes,
K(1 ) (2 ) = K(1 ) [2 ] (y por tanto tambien es igual a K[1 ] [2 ] = K[1 , 2 ]) y
la extension K[1 ] K[1 , 2 ] es finita. Reiterando el argumento, la cadena anterior es
igual a
K K[1 ] K[1 , 2 ] . . . K[1 , . . . , n1 ] K[1 , . . . , n ] = L
50
L. Seg
un vimos en la demostraci
on del Lema 4.7, una base de Q( 3 2) como espacio vectorial
sobre Q es {1, 3 2, 3 4}, mientras que una base de L como espacio vectorial sobre Q( 3 2)
es {1, 3i}. La demostracion del Lema 4.11 nos dice entonces que una base de L como
espacio vectorial sobre Q es
B = {1,
2,
3
3
3
4, 3i, 2 3i, 4 3i}.
3 + 3 3i 2 9 3 3i = 2
que reescribimos como
3 9 2 = (3 2 + 3) 3i.
53
5. El grupo de Galois
Dado un polinomio f del que sabemos sus races, son estas arbitriamente intercambiables? Si el polinomio es irreducible, el Lema 4.4 parece indicar que s. El grupo de
Galois que vamos a definir consistira precisamente en las permutaciones razonables de
las races de un polinomio. El siguiente resultado va a ser la base de toda la teora:
Teorema 5.1. Sea K un cuerpo, f K[X] un polinomio de grado n con races 1 , . . . , n
(repetida cada una tantas veces como la multiplicidad) en un cuerpo de descomposici
on
L = K[1 , . . . , n ]. Entonces:
(i) Para cada polinomio H(X1 , . . . , Xn ) K[X1 , . . . , Xn ], el polinomio
h(X) := Sn (X h((1 ), . . . , (n ))
tiene sus coeficientes en K.
(ii) Cualquier polinomio irreducible en K[X] que tenga una raz en L descompone totalmente como producto de factores lineales en L[X].
:= S (X h((X1 ), . . . , (Xn )). Visto
Demostraci
on: Consideramos el polinomio H
n
como polinomio en la indeterminada X, es claro que sus coeficientes son polinomios
son
simetricos en K[X1 , . . . , Xn ]. Por tanto, por el Teorema 3.18, los coeficientes de H
expresiones polinomiales, con coeficientes en K, en los polinomios simetricos elementales
e1 , . . . , en . Por tanto, sustituyendo las Xi por las i se tiene que los coeficientes de h son
expresiones polinomiales, con coeficientes en K, de e1 (1 , . . . , n ), . . . , en (1 , . . . , n ), es
decir, de los coeficientes de f (vease el Lema 3.9). Por tanto, los coeficientes de h estan en
K, lo que demuestra (i).
Para demostrar (ii), sea g K[X] un polinomio irreducible y sea L una raz de g.
Como L = K[1 , . . . , n ], necesariamente = H(1 , . . . , n ), para alg
un H(X1 , . . . , Xn )
K[X1 , . . . , Xn ]. Adem
as, si consideramos el polinomio h K[X] del apartado (i) se tiene
h() = 0, ya que, en la f
ormula de h, para = id se obtiene el factor X . Por tanto,
h es divisible por el polinomio mnimo de sobre K. Al ser g irreducible, tal polinomio
mnimo ser
a g dividido por el coeficiente de su termino de mayor grado. Se sigue entonces
que g divide a h (en K[X] y por tanto tambien en L[X]), y al ser L[X] un D.F.U. se
concluye que g consiste en el producto de factores irreducibles de h, es decir, de factores
lineales.
Definici
on. Una extensi
on normal es una extension algebraica de cuerpos K L tal que
todo polinomio irreducible de K[X] con una raz en L factoriza completamente en L[X].
Ejercicio 5.2. Demostrar que cualquier extension de grado dos es normal.
54
Observaci
on 5.4. El lema anterior prueba algo que a priori no es evidente (aunque no
es difcil de demostrar): si tenemos una extension finita y normal K L, entonces, para
cualquier cuerpo intermedio K K 0 L, la extension K 0 L tambien es normal (ya
que L es un cuerpo de descomposicion sobre K de un polinomio f K[X], luego tambien
es cuerpo de descomposici
on sobre K 0 del mismo polinomio, visto como polinomio en
K 0 [X]). Sin embargo, la extensi
on K K 0 no tiene por que ser normal. Por ejemplo,
que el polinomio X 3 2 tiene una raz en Q( 3 2), pero no las otras dos (puesto que son
por tener grado dos (Ejercicio 5.2), mientras que Q Q[ 2] no es normal, ya que las
3
3)
= 3 2 3i se puede escribir como = 1 + (2
. Por tanto, el polinomio h que
6
del teorema es
h = (X 1
(X 2
(2 3 )3
(3 2 )3
(1 3 )3
)(X 1
)(X 2
)
6
6
6
(3 1 )3
(1 2 )3
(2 1 )3
)(X 3
)(X 3
)
6
6
6
= X 6 + 9X 4 4X 3 + 27X 2 + 36X + 31
astucia de ir agrupando terminos conjugados, las cuentas son en realidad las que hicimos
en el Ejemplo 4.22.
Ejemplo 5.6. Si estudiamos ahora el comportamiento del cuerpo de descomposicion de
f = X 4 10X 2 +1 (Ejemplo 4.15) el comportamiento es completamente distinto. De hecho,
como el grado de la extensi
on es 4, el polinomio mnimo de cualquier elemento del cuerpo
de descomposici
on es al m
aximo 4, mientras que el polinomio h que nos da el teorema es
2 + 3 = 3 . De hecho, cualquier permutacion admisible debera estar determinada por la imagen de 1 . En efecto, si por ejemplo 1 se transforma en 2 , entonces
por la Proposici
on 5.7(i), cualquier elemento de Gal(L/Q) manda 2 a una raz de X 2 2,
el Lema 5.8 para concluir, con la misma demostracion, que tenemos un monomorfismo de
grupos:
i0 : Gal(L/Q) , S2 S2
7 (|{2,2} , |{3,3} ).
Por tanto, Gal(L/Q) tendr
a al m
aximo cuatro elementos. Por otra parte, recordando que
L es el cuerpo de descomposici
on sobre Q del polinomio f (X) = X 4 10X 2 + 1, que tiene
cuatro races distintas 1 , 2 , 3 , 4 , la Proposicion 5.7(ii) implica (tomando = 1 ) que
existen 1 , 2 , 3 , 4 Gal(L/Q) tales que
1 (1 ) = 1
2 (1 ) = 2
3 (1 ) = 3
3 (1 ) = 3
Como 1 , 2 , 3 , 4 son races distintas, entonces 1 , 2 , 3 , 4 son distintos, con lo que
Gal(L/Q) tiene al menos cuatro elementos. Comparando con el resultado anterior, llegamos a que i0 es un isomorfismo y que las cuatro permutaciones admisibles que habamos
encontrado en el Ejemplo 5.6 dan lugar a automorfismos de L sobre Q. Usando la base
{1, 2, 3, 6} de L sobre Q (que se obtiene del Lema 4.11), tenemos entonces que el
grupo de Galois est
a formado por los elementos
1 : a + b 2 + c 3 + d 6 7 a + b 2 + c 3 + d 6
2 : a + b 2 + c 3 + d 6 7 a + b 2 c 3 d 6
3 : a + b 2 + c 3 + d 6 7 a b 2 + c 3 d 6
4 : a + b 2 + c 3 + d 6 7 a b 2 c 3 + d 6.
El procedimiento visto en este ejemplo nos da la pista de los pasos que podemos seguir
en una extensi
on normal finita general K L:
Acotar el orden del grupo de Galois Gal(L/K) por el grado de la extension [L : K].
Tratar de escribir la extensi
on como extension simple K L = K[] generada por
un elemento primitivo L. Entonces, [L : K] sera el grado del polinomio mnimo de
sobre K.
Ver en que condiciones podemos asegurar que todas las races del polinomio mnimo
de sobre K son todas distintas. En tal caso, la Proposicion 5.7(ii) nos garantizar
a que
Gal(L/K) tiene al menos tantos elementos como el grado del polinomio mnimo, que es
precisamente [L : K].
La acotaci
on del orden del grupo de Galois por el grado de la extension se puede hacer
de forma simple y en el caso m
as general:
59
Observaci
on 5.12. El Ejemplo 5.11 muestra que la nocion de separabilidad depende del
cuerpo K. En efecto, f = X p t no es separable sobre K = Zp (t), mientras que s lo es
sobre K[], ya que, al ser f = (X )p , tiene un u
nico factor irreducible: X , que
obviamente no tiene races m
ultiples (debe notarse que, para otros autores, la definici
on
de separabilidad es que el polinomio no tenga races m
ultiples, con lo que el polinomio
anterior no sera separable ni sobre K[]; de hecho, ccon tal definicion, la separabilidad no
depende del cuerpo base y es equivalente a que la resultante del polinomio y su derivada
sea distinta de cero). En cualquier caso, la propiedad de separabilidad se conserva si
ampliamos el cuerpo K, es decir, si K K 0 es una extension y f es separable sobre K,
entonces tambien lo es sobre K 0 . En efecto, cada factor irreducible g de f en K 0 [X] es
necesariamente un factor de un factor irreducible h de f en K[X]. Y como h no tiene
races m
ultiples, tampoco las tiene g.
Observaci
on 5.13. Cuando K tiene caracterstica cero, entonces la derivada de cualquier
polinomio f de grado d tiene grado d 1, luego si f es irreducible, no puede compartir
ning
un factor con f 0 , luego f es separable. Por tanto, en caracterstica cero todas las
extensiones son separables. Cuando la caracterstica de K es un n
umero primo p, el u
nico
modo de que un polinomio irreducible f K[X] contenga races m
ultiples (es decir, races
comunes con su derivada) es que f 0 sea el polinomio cero, por lo que f solo puede tener
monomios de grado un m
ultiplo de p.
El siguiente resultado nos muestra que ya con la condicion de separabilidad obtenemos
que el orden del grupo de Galois coincide con el grado de la extension:
Teorema 5.14. Sea K L una extension finita y normal. Entonces son equivalentes:
(i) L es el cuerpo de descomposicion de un polinomio separable f K[X].
(ii) | Gal(L/K)| = [L : K].
(iii) Los u
nicos elementos de L que quedan fijos por todos los automorfismos de Gal(L/K)
son los de K.
(iv) K L es una extensi
on separable.
Demostraci
on:
(i) (ii): Lo demostraremos por induccion sobre [L : K], siendo trivial el caso [L : K] = 1.
Supongamos entonces [L : K] > 1, con lo que f tendra alg
un factor irreducible f1 (que
podemos suponer m
onico) de grado n > 1. Si es una raz de f1 , entonces f1 es su
polinomio mnimo sobre K y se tendra [K() : K] = n. Ademas, como f es separable,
f1 tiene n races distintas. Podemos aplicar entonces el Lema 5.10(i) y concluir que,
| Gal(L/K)| = n| Gal(L/K())|. Por otra parte, como [L : K] = [L : K()][K() :
K] = n[L : K()] y n > 1, entonces [L : K()] < [L : K] y, por hipotesis de inducci
on
61
Definici
on. Se llama extensi
on de Galois a una extension de cuerpos K L que L est
a
en las condiciones del Teorema 5.14. En particular, una condicion necesaria y suficiente es
que L sea cuerpo de descomposici
on de un polinomio separable sobre K.
Observaci
on 5.15. En caracterstica cero, todas las extensiones son separables (Observacion 5.13), luego el Teorema 5.14 dice que, en este caso, cualquier extension finita y
normal es de Galois, es decir, verifica las propiedades (ii) y (iii). Tales propiedades son
falsas si la extensi
on no es normal. Consideremos, por ejemplo, la extension Q Q( 3 2),
que no es normal (Observaci
on 5.4). La propiedad (ii) no se satisface porque cualquier
3
elemento Gal(Q( 2)/Q) debe mandar 3 2 a una raz de X 3 2 que este en Q( 3 2),
contraposici
on con (ii). Por otra parte, al ser Gal(Q( 3 2)/Q) = {id}, es evidente que
cualquier elemento de Q( 3 2), aunque no este en Q, es invariante por todos los elementos
Cabe preguntarse si uno puede esperarse que existan elementos como en el Corolario
5.17 (i.e. elementos primitivos de la extension). El siguiente resultado (y su demostraci
on)
muestra que cualquier combinaci
on lineal suficientemente general de los generadores de la
extension es un elemento primitivo.
Teorema 5.18 (del elemento primitivo). Sea K L una extension de Galois. Entonces
la extension es simple, es decir, existe L tal que L = K().
Demostraci
on: Si K es finito, la extension es simple por el Ejemplo 4.16, por lo que
supondremos que K es infinito. Como la extension es finita, en particular es finitamente
generada, as que podemos escribir L = K(1 , . . . , r ). Demostremos el enunciado por
induccion sobre r. Si r = 1, no hay nada que demostrar. Sea r 2 y supongamos
63
forma (), con Gal(L/K). Para ver que estan en K 0 , hay que ver (por el Teorema
5.20(i)) que son invariantes por cada Gal(L/K 0 ). En efecto, como Gal(L/K 0 ) es un
subgrupo normal de Gal(L/K), se tiene que 1 esta en Gal(L/K 0 ), por lo que deja fijo
, es decir,
(()) = ( 1 ()) = ()
lo que concluye que () est
a en K 0 .
(ii) (iii): Sean Gal(L/K) y K 0 , y queremos ver que () tambien esta en K 0 .
Sea f K[X] el polinomio mnimo de sobre K. Por la Proposicion 5.7(i), () es una
raz de f . Y como la extensi
on K K 0 es normal, todas las races de f estan en K 0 , por
lo que () K 0 .
(iii) (iv): Por el Lema 4.2, cada elemento Gal(L/K) es un isomorfismo de espacios
vectoriales. Por tanto, (K 0 ) es un subespacio vectorial de la misma dimension que K.
Como por hip
otesis (K 0 ) K 0 , se sigue que ambos espacios son necesariamente iguales.
(iv) (i): Por hip
otesis podemos definir un homomorfismo de grupos : Gal(L/K)
0
Gal(K /K) mediante 7 |K 0 . Como Gal(L/K 0 ) es claramente el n
ucleo del homomorfismo, se tiene que es un subgrupo normal. Ademas, es un epimorfismo por el Teorema
4.12 (vease la demostraci
on de la Proposicion 5.7(ii)), lo que demuestra la afirmacion final
del enunciado (por el primer teorema de isomorfa).
Terminamos la secci
on con algunos ejemplos practicos de aplicacion de la teora de
Galois.
Ejemplo 5.22. Retomamos el Ejemplo 5.9 de la extension Q L = Q( 2, 3) ahora que
hemos completado todos los pasos que nos sugera. Ya vimos que Gal(L/Q) era isomorfo a
S2 S2 , es decir, a Z2 Z2 y que estaba formado por los automorfismos que denotabamos
1 , 2 , 3 , 4 , donde 1 era la identidad. Por tanto, los subgrupos no triviales de Gal(L/Q)
son los subgrupos generados por 2 , 3 , 4 . Claramente, sus respectivos cuerpos fijos son
3
3
3
1+ 3i
1 3i
Concretamente, los cuerpos intermedios son Q( 2), Q( 2( 2 )), Q( 2( 2 )) y
Q( 3i). De estos, s
olo la extensi
on Q Q( 3i) es normal, que corresponde al subgrupo
generado por un 3-ciclo, el u
nico normal.
Observaci
on 5.24. N
otese tambien que la correspondencia de Galois sirve para demostrar que hay muchos elementos primitivos, y tambien permite calcularlos, sin necesidad
de recurrir a la demostraci
on del Teorema 5.18. En efecto, si L no es un elemento
primitivo de K L, entonces K() es un cuerpo intermedio no trivial. Si K L es
una extensi
on de Galois, entonces, como Gal(L/K) es un grupo finito, habra una cantidad
finita de cuerpos intermedios no triviales de K L. Visto cada cuerpo intermedio como
un subespacio vectorial de L, est
a en una union finita de subespacios vectoriales propios
cclico. Sea un generador de este grupo (se dice que es una raz primitiva n-esima
de la unidad). Por tanto, L = K() y las races de X n 1 son de la forma i , donde
claramente se puede tomar i {0, 1, . . . , n 1}. Distinguimos dos casos:
Si K es de caracterstica cero o de caracterstica p 6 |n, entonces f 0 ( i ) = n i(n1) 6=
0, para cada i = 0, 1, . . . , n 1, luego f tiene n races distintas, con lo que estas son
necesariamente 1, , . . . , n1 . En particular, f es un polinomio separable y por el Teorema
5.14(i) la extensi
on K L = K() es de Galois.
Si en cambio K es de caracterstica p y n = pk q (con p, q primos entre s), entonces
pk
de sobre K divide a X p a). Si vemos que Gal(L/K) tiene orden al menos p entonces
tendra orden necesariamente p, y por tanto sera cclico (y se demuestra de paso que X p a
es irreducible en K[X]).
Como
/ K, el grado de la extension es al menos 1, luego existe 6= idL en Gal(L/K).
Como debe mandar a alguna raz de (distinta de , porque si no sera la identidad),
se tendra () = i con i no divisible por p. Entonces, j () = ij . Se sigue entonces
que j = idL si y s
olo si ij = 1, es decir, si y solo si ij es divisible por p, que es equivalente
a que j sea divisible por p (ya que p no divide a i). Esto implica que tiene orden p, luego
Gal(L/K) tiene orden al menos p, como queramos (de hecho hemos comprobado incluso
que es un generador del grupo).
Recprocamente, supongamos que K L es una extension cclica de grado p. Entonces
Gal(L/K) tiene orden p y est
a generado por un elemento (de orden p). Si existe un
como el que buscamos, su imagen por debe ser otra raz de X p p K[X], es decir de
la forma i , donde es una raz p-esima primitiva de la unidad. En otras palabras,
debe ser un autovector de , visto como un endomorfismo del espacio vectorial L (que tiene
dimension p) sobre K. Veamos que tal autovector existe, para lo que tomamos A una matriz
de respecto de cualquier base de L. De la igualdad X p 1 = (X 1)(X ) . . . (X p1 )
se sigue que, como p = 1, entonces
(A I)(A I) . . . (A p1 I) = 0
(siendo I la matriz identidad p p). Si las matrices A I, . . . , A p1 I tuvieran
todas determinante no nulo, seran todas invertibles, y multiplicando por sus respectivas
inversas en la igualdad anterior se obtendra A I = 0, lo que es absurdo, porque 6= idL .
Por tanto, existe alg
un i {1, . . . , p 1} tal que det(A i I) = 0, es decir, que i es
un autovalor de . Tomamos L un autovector no nulo de autovalor i . Entonces
() = i , que es distinto de (ya que i 6= 1 y 6= 0), luego en particular 6 K.
Por tanto, [K() : K] > 1, y como p = [L : K] = [L : K()][K() : K] y p es primo, se
sigue que [K() : K] = p y [L : K()] = 1, es decir, L = K(). Ademas, (p ) = ()p =
ip p = p , luego p es invariante por todos los elementos de Gal(L/K) (ya que genera
el grupo de Galois). Por el Teorema 5.14(iii) se concluye que p esta en K.
69
6. Teoremas de Sylow
La teora de Galois debera habernos acostumbrado a ver los grupos no como conjuntos pasivos a los que les pasan cosas, sino como conjuntos que se dedican a mover
otros conjuntos (en el caso de la teora de Galois, los grupos permutan las races de los
polinomios). La definici
on precisa de lo que estamos diciendo es la siguiente:
Definici
on. Se llama acci
on por la izquierda (resp. por la derecha) de un grupo G sobre
un conjunto X a una aplicaci
on : G X X, en que denotaremos (g, x) como g x o,
cuando no haya confusi
on, gx (resp. (g, x) como x g o xg) tal que:
(i) (gg 0 )x = g (g 0 x) (resp. x (gg 0 ) = (x g) g 0 ) para cualesquiera g, g 0 G y x X.
(ii) 1 x = x (resp x 1 = x) para todo x X.
La interpretaci
on de la definicion anterior es que podemos definir un homomorfismo
: G Biy(X) (donde Biy(X) es el grupo de las biyecciones de X en s mismo con la
operacion composici
on, en particular Biy(X) = Sn si X es un conjunto de n elementos)
dado por (g) : x 7 g x (resp. (g) : x 7 x g). En efecto, la condicion (ii) garantiza
que (g) es una biyecci
on (ya que (g 1 ) es su inversa), y la condicion (i) equivale a decir
que es un homomorfismo. Recprocamente un homomorfismo : G Biy(X) define
unvocamente una acci
on de G sobre X, por lo que es equivalente hablar de una acci
on o
del homomorfismo asociado. El homomorfismo no es necesariamente inyectivo; cuando
lo es, se dice que es una acci
on fiel.
Observaci
on 6.1. Dada una accion por la derecha : G X X, se puede definir
0
: GX X como 0 (g, x) = (g 1 , x), que resulta ser una accion por la izquierda (de la
misma forma, cualquier acci
on por la izquierda da lugar a una accion por la derecha). Por
ello, y porque las acciones por la izquierda tienen una notacion casi siempre mas natural,
consideraremos (salvo que se diga explcitamente lo contrario) que las acciones son siempre
por la izquierda.
Ejemplo 6.2. Veamos que cualquier grupo G define siempre alguna accion sobre alg
un
conjunto (los detalles de algunos ejemplos quedan como simple ejercicio).
(i) En primer lugar, G act
ua siempre sobre s mismo, y de diversas formas. De hecho,
la propia operaci
on de grupo G G G define dos acciones, una a la izquierda y otra
a la derecha, ya que, dado g G (considerando como elemento del grupo que act
ua) y
x G (considerado como elemento del conjunto sobre el que act
ua G) podemos definir
g x como el producto gx en G (lo que define una accion por la izquierda) o x g como el
producto xg en G(lo que define una accion por la derecha). Si consideramos por ejemplo
la accion por la izquierda, tenemos entonces un homomorfismo : G Biy(G), que se ve
inmediatamente que es inyectivo (si (g) = idG , entonces gx = x para todo x G, lo que
70
accion de las afinidades sobre el espacio de cuadricas afines, o de las proyectividades sobre
el espacio de cu
adricas proyectivas,...
Definici
on. Se llama
orbita de un elemento x X bajo una accion de G sobre X al
conjunto O(x) = {g x | g G}. Una acci
on transitiva es una accion que tiene una sola
orbita, es decir, que para cada x, y X existe alg
un g G tal que g x = y.
Ejemplo 6.4.
acciones.
(i) Las acciones (i) del Ejemplo 6.2 y (i) y (ii) del Ejemplo 6.3 son transitivas, luego s
olo
tienen una
orbita. En cambio la accion (iii) del Ejemplo 6.3 no es transitiva, ya que tiene
dos orbitas: la del vector cero y la de los vectores no nulos.
(ii) En la acci
on de Sn sobre s mismo por conjugacion (ver Ejemplo 6.2(ii)) las orbitas
corresponden a los distintos tipos de descomposicion de una permutacion en producto de
ciclos disjuntos. Por ejemplo, las
orbitas de la accion para S4 consisten en: la permutaci
on
identidad, la
orbita de las transposiciones (6 elementos), la de los productos de 2 transposiciones disjuntas (3 elementos), la de los 3-ciclos (8 elementos), la de los 4-ciclos (6
elementos). Se deja como ejercicio para el lector el calcular las orbitas, con su correspondiente n
umero de elementos, en el caso n = 5.
(iii) Consideremos la acci
on de GL(n, C) sobre el conjunto Mnn (C) de matrices dada por
1
Proposici
on 6.7. Sea G un p-grupo de orden pk . Entonces:
(i) Z(G) = {g G | gx = xg para todo x G} es un subgrupo normal de G distinto de
{1}.
(ii) G posee un subgrupo normal de ndice p.
(iii) Para cada i = 0, 1, . . . , k, G posee un subgrupo de orden pi . Mas a
un, existe una
cadena de subgrupos {1} = H0 C H1 C . . . C Hk1 C Hk = G tal que cada Hi tiene
orden pi .
(iv) Si k = 2, G es abeliano.
Demostraci
on: Que Z(G) es un subgrupo normal es un simple ejercicio que dejamos
al lector. Para ver (i), basta demostrar entonces que Z(G) tiene mas de un elemento.
Para ello, consideramos la acci
on de G sobre s mismo por conjugacion (ver Ejemplo
6.2(ii)). Por el Lema 6.6(iii) tenemos pk = [G : Stab(x1 )] + . . . + [G : Stab(xr )], donde
O(x1 ), . . . , O(xr ) son las
orbitas de la accion. Observese que g 1 = g1g 1 = 1 para todo
g G, luego O(1) = {1}, as que al menos uno de los [G : Stab(xi )] vale 1. Pero como
la suma total de todos ellos es pk , es decir, divisible por p, habra alg
un xi 6= 1 tal que
[G : Stab(xi )] no es divisible por p. Por el teorema de Lagrange, [G : Stab(xi )] es un
divisor de pk , as que necesariamente debe ser [G : Stab(xi )] = 1, es decir Stab(xi ) = G.
Pero Stab(xi ) = {g G | gxg 1 = x}, luego xi Z(G), lo que completa la demostraci
on
de (i).
Demostraremos (ii) por induccion sobre k, donde pk es el orden del p-grupo. Si k = 1,
es evidente, ya que basta tomar el subgrupo {1}. Supongamos entonces k > 1. Si fuera
Z(G) = G, entonces G sera abeliano, y el resultado se sigue a partir del teorema de
estructura de los grupos finitos (ver el Ejercicio 1.8). Suponemos entonces que Z(G) no
es trivial (no es {1} por (i)). Como Z(G) es normal, G/Z(G) es entonces un p-grupo
0
de orden pk con 0 < k 0 < k. Por hipotesis de induccion, G/Z(G) contiene un subgrupo
normal de ndice p, que se corresponde mediante la proyeccion canonica G G/Z(G) con
un subgrupo normal de ndice p de G, que es lo que buscabamos.
La parte (iii) se demuestra por recurrencia. El apartado (ii) demuestra que G posee
un subgrupo normal H de orden pk1 . Como H es un p-grupo, de nuevo por (ii) poseer
a
0
k2
un subgrupo normal H de ndice p, es decir, de orden p
. Reiterando el proceso, ahora
0
a partir de H , se obtiene que G posee subgrupos de ordenes todas las potencias de p de
exponente a lo sumo k, y cada subgrupo normal en el siguiente.
Finalmente, para demostrar (iv) tenemos que ver que, si k = 2, entonces Z(G) = G.
Si fuera Z(G) 6= G, como Z(G) 6= {1} por (i), la u
nica posibilidad es que Z(G) tenga orden
p. Por tanto, el cociente G/Z(G) es un grupo de orden p, y por tanto cclico. Si la clase
de g es un generador de G/Z(G), se tendra entonces que todo elemento de G se puede
74
Definici
on. Se llama centro de un grupo G al conjunto Z(G) de la proposicion anterior.
En el siguiente resultado veremos que cualquier grupo finito tiene subgrupos que son
p-grupos de todos los
ordenes posibles.
Teorema 6.8. Sea G un grupo de orden pk q, con p primo y q no divisible por p. Entonces:
(i) El n
umero de subconjuntos de G de cardinal pk no es divisible por p.
(ii) (Primer teorema de Sylow) G posee alg
un subgrupo de orden pk .
(iii) Para cada i = 1, . . . , k, G posee alg
un subgrupo de orden pi .
(iv) (Teorema de Cauchy) G posee alg
un elemento de orden p.
Demostraci
on: El n
umero de subconjuntos de cardinal pk de un conjunto de pk q elementos
es
k
k
pY
1 k
p qi
p q
pk q(pk q 1) . . . (pk q pk + 1)
=
.
=
k
k
k
p (p 1) . . . 1
pk i
p
i=0
k
tiene que es un divisor de q, luego en particular (de nuevo por el teorema de Lagrange)
pk q
k
|Stab(Y )| = [G:Stab(Y
)] p .
Por otra parte, fijado y0 Y , es claro que la aplicacion Stab(Y ) Y dada por
g 7 gy0 est
a bien definida y es inyectiva, luego Stab(Y ) tiene orden a lo mas el cardinal
de Y , que es pk . Juntando esto a la desigualdad anterior se sigue que Stab(Y ), que es un
subgrupo de G, tiene cardinal pk , como queramos.
Para el apartado (iii) basta aplicar la Proposicion 6.7(iii) al p-grupo dado por un
subgrupo de orden pk de G, que existe por el apartado (ii). Finalmente, el apartado (iv) se
sigue de que, como por (iii) G posee un subgrupo H de orden p y los subgrupos de orden
primo son cclicos, entonces H est
a generado por un elemento de orden p.
Definici
on. Se llama p-subgrupo de Sylow a un subgrupo de orden pk de un grupo de
orden pk q con p primo y q coprimo con p. Un p-subgrupo es simplemente un subgrupo que
es un p-grupo, es decir, que tiene orden pl , pero no necesariamente con l = k.
Una aplicaci
on importante del primer teorema de Sylow es el teorema fundamental
del algebra:
Teorema 6.9 (fundamental del
algebra). Todo polinomio de grado positivo en C[X] factoriza en factores lineales, es decir tiene tantas races (contadas con multiplicidad) como
el grado.
Demostraci
on: Veamos que todo polinomio g C[X] de grado positivo tiene todas sus
races en C. Si g es el polinomio obtenido a partir de g conjugando los coeficientes, entonces
f = g
g es un polinomio en R[X] que tiene entre sus races las de g. Por tanto, bastar
a
demostrar que cualquier polinomio en f R[X] de grado positivo tiene todas sus races
en C.
Sea pues f R[X] de grado positivo y sea L el cuerpo de descomposicion de (X 2 +1)f
sobre R (por tanto L contiene a C y a todas las races de f ) y escribamos [L : R] = 2k q
con q impar. Sea G = Gal(L/R). Como la extension R L es de Galois, se tiene que
|G| = 2k q. Por el primer teorema de Sylow, G contiene un subgrupo H de orden 2k . Y
por el Teorema 5.20(ii) existe un cuerpo intermedio R K L tal que [K : R] = q.
Supongamos q > 1. Entonces tomamos cualquier K \ R y consideramos su
polinomio mnimo g R[X]. Necesariamente g es un polinomio irreducible de grado
impar mayor que uno. Pero esto es absurdo, ya que cualquier polinomio real de grado
impar tiene alguna raz real a (aqu hay que usar un poco de Analisis de Variable Real:
el lmite de g(X) cuando X es , mientras que es + cuando X +, por lo
que, por el teorema del valor medio, existe alg
un a R tal que g(a) = 0); por tanto, X a
sera un factor de g, lo que es imposible, ya que g es irreducible de grado mayor que uno.
76
Teorema 6.11 (Tercer teorema de Sylow). Sea G un grupo finito cuyo orden es divisible
por un primo p, y sea np el n
umero de p-subgrupos de Sylow de G. Entonces:
77
Definici
on. Se llama normalizador de un subgrupo H < G al maximo subgrupo N (H) de
G tal que H C N (H).
Ejemplo 6.12. Los teoremas de Sylow permiten clasificar, salvo isomorfismo, grupos
de orden peque
no. Por ejemplo, supongamos que queremos estudiar todos los grupos de
orden 2p, donde p es un n
umero primo impar. Por el primer teorema de Sylow, un grupo
G de orden 2p posee subgrupos de orden 2 y p. Por el tercer teorema de Sylow, el n
umero
de subgrupos de orden p es un divisor de 2 y es congruente con 1 modulo p, de donde se
concluye que G posee un u
nico subgrupo de orden p. De la misma forma, el n
umero n2
de subgrupos de orden 2 es un divisor de p y es congruente con 1 modulo 2. Esto da dos
posibilidades para n2 , que analizamos separadamente:
78
El siguiente resultado muestra que todos los grupos libres del mismo rango son isomorfos (observese que la demostraci
on es identica a la de la Proposicion 1.15, que caracterizaba
salvo isomorfismos el anillo de polinomios por su propiedad universal).
Proposici
on 6.13. Sean G y G0 grupos libres de rango r con generadores respectivos
g1 , . . . , gr y g10 , . . . , gr0 . Entonces existe un (
unico) isomorfismo de grupos : G G0 tal
que (gi ) = gi0 para i = 1, . . . , r.
Demostraci
on: Por ser G libre, existe un u
nico homomorfismo de grupos : G G0 tal
que (gi ) = gi0 para i = 1, . . . , r. Para ver que es isomorfismo, usamos ahora que G0 es libre,
y concluimos que existe un (
unico) homomorfismo de grupos : G0 G tal que (gi0 ) = gi
para i = 1, . . . , r. Tenemos entonces que la composicion es un homomorfismo de G
a G que deja fijos g1 , . . . , gr . Como la identidad verifica lo mismo y G es libre (tomando
ahora en la definici
on G0 = G) se tiene que = idG . Analogamente, aplicando la
definicion de libre para G0 se tiene = idG0 , de donde se deduce que y son inversas
la una de la otra y por tanto isomorfismos.
Observaci
on 6.14. La definici
on de grupo libre se puede hacer tambien para grupos
abelianos. Concretamente, se llama grupo abeliano libre de rango r a un grupo abeliano
G generado por elementos g1 , . . . , gr y que verifica que para todo grupo abeliano G0 y
nico homomorfismo de grupos : G G0 tal que
elementos g10 , . . . , gr0 G0 existe un u
(gi ) = gi0 para i = 1, . . . , r. De la misma forma que en la Proposicion 6.13 se demuestra que todos los grupos abelianos libres de rango r son isomorfos entre s. Adem
as,
r)
en este caso, no es difcil ver que Z . . . Z es un grupo abeliano libre de rango r generado por (1, 0, . . . , 0), . . . , (0, . . . , 0, 1). En efecto, dado cualquier otro grupo abeliano
n
n
G0 y elementos g10 , . . . , gr0 G0 es facil comprobar que (n1 , . . . , nr ) = g 0 1 1 . . . g 0 r r es el
r)
i)
u
nico homomorfismo de grupos Z . . . Z G0 tal que (0, . . . , 0, 1 , 0, . . . , 0) = gi0 para
i = 1, . . . , r. N
otese que, si r > 1, es un homomorfismo gracias a que G0 es conmutam +n
m +n
tivo (((m1 , . . . , mr ) + (n1 , . . . , nr )) = (m1 + n1 , . . . , mr + nr ) = g 0 1 1 1 . . . g 0 r r r =
m
n
m
n
m
m
n
n
g 0 1 1 g 0 1 1 . . . g 0 r r g 0 r r = g 0 1 1 . . . g 0 r r g 0 1 1 . . . g 0 r r = (m1 , . . . , mr ) + (n1 , . . . , nr )). Por
r)
5
sera a1 a23 a1
acilmente que G tiene estructura de grupo; el elemento
2 a1 a3 a2 ), se obtiene f
1
s
. Es tambien
. . . ain
neutro es la palabra vaca y el elemento inverso de ani11 . . . aniss es an
is
1
f
acil comprobar que G es libre generado por a1 , . . . , as . Al grupo as construido se le suele
r)
denotar por Z . . . Z.
Dado entonces cualquier grupo G con generadores g1 , . . . , gr , se tiene que existe un
r)
u
nico epimorfismo : Z . . . Z G tal que (ai ) = gi para i = 1, . . . , r. Esto nos
permite definir de forma precisa la nocion de relacion entre los generadores:
Definici
on. Se llama relaci
on entre los generadores g1 , . . . , gr a cualquier elemento del
n
ucleo del epimorfismo de arriba. Observese que entonces el conjunto de relaciones es
r)
que contiene a un n
umero finito de elementos R1 , . . . , Rs Z . . . Z, diremos que G est
a
definido mediante los generadores g1 , . . . , gr y las relaciones R1 , . . . , Rs .
Veamos c
omo funciona esta construccion retomando nuestro ejemplo del grupo diedrico en el segundo caso del Ejemplo 6.12.
Ejemplo 6.16. Queremos caracterizar el grupo diedrico Dn a partir de saber que est
a
2
n
2
generado una rotaci
on de
angulo n y una simetra y que se verifica = 1, = 1
y = n1 . La forma rigurosa de hacerlo entonces es considerar Z Z generado por
las letras a, b, tomar el mnimo subgrupo normal N de Z Z que contiene a an , b2 , abab y
comprobar si Z Z/N es isomorfo a Dn . Antes de proseguir, hagamos alguna observaci
on
que es u
til para aclarar cu
al es el papel que juega el tomar el mnimo subgrupo normal.
Notese, que la igualdad = n1 da lugar, de forma estricta, a la relacion 1n 1 =
1, con lo que deberamos haber tomado para generar N la palabra aba1n b1 en lugar abab.
Lo que ocurre es que hemos usado las relaciones n = 1 y 2 = 1 (que corresponden a
las palabras an y b2 ). Si al final ambas elecciones son equivalentes es porque existe una
igualdad
aba1n b1 = (abab)(b1 an b)(b2 )
que muestra que aba1n b1 est
a en el mnimo subgrupo normal que contiene a an , b2 , abab
(y analogamente an , b2 , abab est
a en el mnimo subgrupo normal que contiene a aba1n b1 ).
Veamos en primer lugar que aspecto tiene el grupo Z Z/N . La clave esta en ir jugando
con las relaciones del cociente para ir reduciendo cada palabra a una forma cada vez m
as
sencilla. En concreto, daremos los siguientes pasos (usaremos una barra para denotar
clases modulo N ):
Usando la relaci
on a
1 = a
n1 y b1 = b, podemos escribir cualquier palabra de
forma que los exponentes de a
y b son siempre positivos.
81
Usando la relaci
on b
a=a
n1b podemos ir pasando todas las a
a la izquierda y todas
las b a la derecha, con lo que la palabra quedara de la forma a
ibj .
Usando de nuevo a
n = 1 y b2 = 1 podemos suponer que i {0 . . . , n1} y j {0, 1}.
En definitiva, hemos visto que los elementos de Z Z son 1, a
, . . . , a
n1 , b, a
b, . . . , a
n1b,
aunque el problema es que a priori no podemos decir si son distintos o no. De hecho, este
es en general un problema muy difcil, y en principio podra incluso ocurrir que el mnimo
subgrupo normal que contiene a an , b2 , abab fuese hasta todo el grupo libre y nuestro grupo
sera el trivial. La ventaja que tenemos en este ejemplo es que disponemos de un modelo,
que es el grupo diedrico, lo que nos va a permitir concluir que Z Z/N es isomorfo a el. En
efecto, tenemos un epimorfismo Z Z Dn que manda a a y b a . Como an , b2 , abab
estan en el n
ucleo, que es normal, se tendra que el n
ucleo contiene a N , por lo que el
epimorfismo anterior factoriza por otro epimorfismo Z Z/N Dn . Como ya sabemos
que Z Z/N tiene como mucho 2n elementos (que es el orden de Dn , se sigue que dicho
epimorfismo es necesariamente biyectivo, y por tanto un isomorfismo.
Ejercicio 6.17. Si p es un n
umero primo, demostrar que el grupo de Galois del cuerpo
4
de descomposici
on de X p sobre Q es el grupo diedrico D4 .
82
q
+
2
p
1
q
2
3 q
3 2 + 21
con 2 =
2 1 Q( 1 ). En realidad, si queremos obtener todas las races, debemos
permitir las tres races c
ubicas de 2 , es decir, tenemos que adjuntar tambien una raz
c
ubica primitiva de 1. De ese modo, obtendremos un cuerpo que contiene al cuerpo de
descomposici
on del polinomio (recuerdese, como vimos en el Ejemplo 3.24, que el cuerpo
obtenido puede ser mayor que el de descomposicion, ya que las races pueden ser todas
reales, y sin embargo estamos adjuntando n
umeros imaginarios).
q
2
Definici
on. Se llama torre radical a una cadena de cuerpos K0 K1 . . . Kr1 Kr
tal que para cada i = 1, . . . , r se tiene Ki = Ki1 (i ), con ini Ki1 para alg
un ni N.
Un polinomio f K[X] se dice que es resoluble por radicales si existe una torre radical
K = K0 K1 . . . Kr1 Kr tal que Kr contiene al cuerpo de descomposicion de f sobre
K.
Lema 7.1. Sea K un cuerpo de caracterstica cero y sea f K[X] un polinomio. Entonces
son equivalentes:
(i) El polinomio f es resoluble por radicales
(ii) El cuerpo de descomposici
on de f sobre K esta contenido en Kr , donde K = K0
K1 . . . Kr1 Kr es una torre radical tal que K Kr es una extensi
on de
Galois.
83
de forma que cada Gi1 /Gi tiene orden pi , por lo que necesariamente es cclico. Por la
correspondencia de Galois, esta cadena da lugar a una cadena
0
K = Ks0 Ks1
. . . K10 K00 = K()
una cadena {1} = K0 < K1 < . . . < Kr1 < Kr = G en que cada Ki1 es normal en Ki y
el cociente Ki /Ki1 es un grupo abeliano, ya que esta contenido en Hi /Hi1 . Por tanto,
K es resoluble.
Para ver (ii), supongamos primero que G sea resoluble. Por (i) sabemos ya que K es
resoluble, as que falta s
olo demostrar le resolubilidad de G/K. Como en (i), consideramos
una cadena de subgrupos {1} = H0 < H1 < . . . < Hr1 < Hr = G tal que cada Hi1 es
normal en Hi y el cociente Hi /Hi1 es un grupo abeliano. De aqu, obtenemos en G/K
la cadena de subgrupos {1} = KH0 /K < KH1 /K < . . . < KHr1 /K < KHr /K = G/K
en que cada KHi1 /K es normal en KHi /K (por ser KHi1 C KHi ) y el cociente
(KHi /K)/(KHi1 /K) es isomorfo a KHi /KHi1 , que es un grupo abeliano por ser cociente del grupo abeliano Ki /Ki1 ; por tanto, G/K es tambien resoluble.
Recprocamente, supongamos que K y G/K son grupos resolubles. Por tanto existen
cadenas
{1} = K0 C K1 C . . . C Kr = K
con cada Ki /Ki1 abeliano y (recordando la biyeccion entre subrupos de G/K y subgrupos
de G que contienen a K)
{1} = H0 /K C H1 /K C . . . C Hs /K = G/K
con cada (Hj /K)/(Hj1 /K) abeliano, o equivalentemente
K = H0 C H1 C . . . C Hs = G
con cada Hj /Hj1 abeliano. Juntando ambas cadenas, obtenemos una nueva
{1} = K0 C K1 C . . . C Kr = K = H0 C H1 C . . . C Hs = G
que demuestra que G es resoluble.
Teorema 7.3. Sea K un cuerpo de caracterstica cero y sea L el cuerpo de descomposici
on
de un polinomio f K[X]. Entonces f es resoluble por radicales si y solo si Gal(L/K) es
un grupo resoluble.
Demostraci
on: Si f es resoluble por radicales, entonces por el Lema 7.1 se tiene que existe
una torre radical K = K0 K1 . . . Kr1 Kr tal que K Kr es una extensi
on
de Galois, para cada i = 1, . . . , r se tiene que Ki1 Ki una extension cclica de grado
primo y K L. Entonces tendremos una cadena de subgrupos
{1} = Gal(Kr /Kr ) < Gal(Kr /Kr1 ) < . . . < Gal(Kr /K0 ) = Gal(Kr /K).
86
2 3
2 + 3
+
2
2
2 + 3
2 3
2
2
(suponemos que K no es de caracterstica dos) se concluye que 2 , 3 L, lo que demuestra
L = K(, 1 ). Tenemos por tanto una cadena
3 =
K K() L = K(, 1 )
que, de acuerdo con la Observaci
on 3.15, corresponde con la restriccion a Gal(L/K) de la
cadena
{id} A3 S3 .
Como 2 K (Corolario 3.14), la extension K K() tiene grado uno o dos, y como
la extension K K(1 ) tiene grado tres (por ser f irreducible y, por tanto, el polinomio
mnimo de 1 sobre K), entonces 3|[L : K], de donde se deduce que el grado de la extensi
on
K() L = K(, 1 ) es exactamente tres (es a lo sumo tres porque el polinomio mnimo
de 1 sobre K() debe ser un divisor de f ). Obtenemos as que Gal(L/K) = A3 si K
y Gal(L/K) = S3 si 6 K. La extension K() L = K(, 1 ) es cclica de grado
tres, luego si K contiene las races c
ubicas de la unidad, por el Teorema 5.27 L se obtiene
adjuntando a K() una raz c
ubica, que es exactamente lo que dice la formula (3.23).
Ejemplo 7.5. Supongamos que tenemos ahora f = X 4 + aX 3 + bX 2 + cX + d K[X]
con races distintas 1 , 2 , 3 , 4 . Veamos c
omo se obtiene la resolubilidad de f a partir
de la cadena
H1 = {id, (1 2)(3 4)} C H = {id, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} C S4 .
88
Si L = K(1 , 2 , 3 , 4 ), consideramos en virtud del Lema 5.8 Gal(L/K) como un subgrupo de S4 , y llamamos H 0 y H10 a las respectivas intersecciones de H y H1 con Gal(L/K).
0
Identifiquemos primero el cuerpo LH . Claramente, los elementos
1 = (1 + 2 )(3 + 4 )
2 = (1 + 3 )(2 + 4 )
3 = (1 + 4 )(2 + 3 )
0
son invariantes por las permutaciones de H, luego estan en LH y por tanto se tiene
0
K(1 , 2 , 3 ) LH . Por otra parte, los elementos 1 , 2 , 3 son distintos entre s, ya que
por ejemplo 3 2 = (1 2 )(3 4 ) 6= 0. De aqu se concluye facilmente que cualquier
permutaci
on 6 H no deja fijos simultaneamente 1 , 2 , 3 sino que los permuta entre
ellos. Esto quiere decir que Gal(L/K(1 , 2 , 3 )) H 0 , y por la correspondencia de Galois
0
LH esta contenido en K(1 , 2 , 3 ), luego ambos coinciden (ya que hemos demostrado el
0
otro contenido). De forma an
aloga se obtiene que LH1 = K(1 + 2 , 3 + 4 , 2 , 3 ).
La primera observaci
on importante es que 1 , 2 , 3 son races de un mismo polinomio
c
ubico en K[X]. Los coeficientes de tal polinomio c
ubico deben ser, salvo el signo, los
polinomios simetricos elementales en 1 , 2 , 3 (Lema 3.9), que a su vez son polinomios
simetricos en 1 , 2 , 3 , 4 , por lo que el resultado seguira del Teorema 3.18. Pongamos
las cuentas explcitamente (que se obtienen como en el Ejemplo 3.17):
1 + 2 + 3 = 2(1 2 + 1 3 + 1 4 + 2 3 + 2 4 + 3 4 ) = 2b
y, poniendo directamente el resultado en los otros casos:
1 2 + 1 3 + 2 3 = ac + b2 4d
1 2 3 = abc c2 a2 d
con lo que 1 , 2 , 3 son las races del polinomio
g = X 3 2bX 2 + (ac + b2 4d)X abc + c2 + a2 d
que es precisamente el polinomio que apareca en el Ejemplo 3.26, y que se llama resolvente
c
ubica de f . En este contexto, el isomorfismo S4 /H
= S3 de la Observacion 6.5 debe
interpretarse como el paso de las permutaciones de 1 , 2 , 3 , 4 a las permutaciones de
1 , 2 , 3 . En concreto, restringiendo todo a Gal(L/K) obtenemos el isomorfismo del
Teorema 5.21: Gal(L/K)/ Gal(L/K(1 , 2 , 3 ))
ltimo
= Gal(K(1 , 2 , 3 )/K), y este u
grupo es el el grupo de Galois del polinomio g K[X].
89
Observese ahora que, una vez calculadas las races de g, la extension K(1 , 2 , 3 )
K(1 + 2 , 3 + 4 , 2 , 3 ) viene determinada porque de las relaciones
(1 + 2 ) + (3 + 4 ) = a
(1 + 2 )(3 + 4 ) = 1
se obtiene que 1 + 2 , 3 + 4 son las races del polinomio X 2 + aX 1 . Notese que 1 2
0
y 3 4 tambien est
an en LH1 , luego deberan poder ponerse en funcion de los generadores.
Esto se hace a partir de las relaciones:
b = 1 2 + 1 3 + 1 4 + 2 3 + 2 4 + 3 4 = 1 2 + 3 4 + 1
c = 1 2 3 + 1 2 4 + 1 3 4 + 2 3 4 = 1 2 (3 + 4 ) + 3 4 (1 + 2 )
que permiten despejar 1 2 y 3 4 en funcion de b, c, 1 , 1 +2 , 3 +4 (el lector avispado
habra notado que existe un problema si 1 + 2 = 3 + 4 ; una forma de evitarlo es
reordenando los subndices, ya que no puede ocurrir que cada suma i + j coincida con
la suma de las otras dos races de f , pues en tal caso todas las races de f tendran que ser
0
iguales). Tambien 1 4 + 2 3 y 1 3 + 2 4 estan en LH1 , y se puede ver la expresi
on
explcita escribiendo 1 4 + 2 3 = 2 1 2 3 4 y 1 3 + 2 4 = 3 1 2 3 4 .
Finalmente, la extensi
on K(1 +2 , 3 +4 , 2 , 3 ) K(1 , 2 , 3 , 4 ) viene determinada
porque 1 y 2 son races de un polinomio cuadratico monico con coeficientes 1 2 y
1 2 , y una vez determinadas 1 , 2 se pueden determinar tambien 3 , 4 mediante
3 =
1 (3 + 4 ) (1 4 + 2 3 )
1 2
4 =
2 (3 + 4 ) (1 4 + 2 3 )
.
2 1
Demostraci
on: Por el Teorema 7.3, hay que ver que ni Sn ni An son resolubles. Por el
Lema 7.2 basta ver que An no es resoluble. Pero esto es evidente por la Observacion 7.6,
ya que An no tiene orden primo, mientras que, por el Teorema 7.7, es simple.
Veamos alg
un ejemplo concreto de polinomio no resoluble.
Corolario 7.9. Sea f Q[X] un polinomio irreducible de grado primo p 5, con p 2
races reales y un par de races imaginarias conjugadas. Entonces f no es resoluble por
radicales.
Demostraci
on: Sea L el cuerpo de descomposicion de f sobre Q. Como L contiene a
Q[X]/(f ), que tiene grado p sobre Q, se sigue que [L : Q] es divisible por p. Como
[L : Q] = | Gal(L/Q)|, por el Teorema de Cauchy (Teorema 6.8(iv)) se tiene que Gal(L/K)
posee un elemento de orden p. Viendo Gal(L/K) como un subgrupo de Sp (por el Lema
5.8), y teniendo en cuenta que los u
nicos elementos de Sp de orden p son los p-ciclos,
se concluye que Gal(L/K) contiene un p-ciclo. Por otra parte, la restriccion a L de la
conjugacion en C define un elemento de Gal(L/Q), que visto como elemento en Sp consiste
en la transposici
on de las dos races imaginarias de f . Por tanto, Gal(L/Q) contiene un pciclo y una transposici
on, que generan todo Sp (vease el Ejercicio 1.2(iii)), luego Gal(L/Q)
es Sp , de donde se concluye por el Corolario 7.8 que f no es resoluble por radicales.
Ejemplo 7.10. El primer caso en que se puede aplicar el corolario anterior es para
polinomios de grado cinco. En este caso, seg
un la Observacion 3.16, el hecho de que un
polinomio irreducible de grado cinco tenga exactamente dos races imaginarias conjugadas
viene caracterizado por D < 0. Por el Corolario 3.14 sabemos que D = 2 = R(f, f 0 ).
Por calcularlo en un caso sencillo, si f = X 5 + aX + b, entonces D = 256a5 + 3125b4 (en
realidad, con un poco de an
alisis real sobre el crecimiento y decrecimiento del polinomio es
muy facil ver que f tiene exactamente tres races reales si y solo si = 256a5 + 3125b4 < 0).
Si, fijado p un n
umero primo, tomamos entonces f = X 5 cpX + dp, con p 6 |d (luego f
sera irreducible por el criterio de Eisenstein) y 256c5 p > 3125d4 tendremos que f no es
resoluble por radicales. Por poner un ejemplo concreto, X 5 4X + 2 no es resoluble por
radicales.
Ejercicio 7.11. Demostrar que el polinomio 15X 7 84X 5 35X 3 + 420X + 7 Q[X]
no es resoluble por radicales.
Cabe preguntarse si, para cada grado n, existe un polinomio de grado n con grupo
de Galois Sn . La respuesta es afirmativa, y el siguiente ejemplo da un modo de hacerlo
(aunque posiblemente no sea el modo que deseara el lector, ya que no se trata de dar
n
umeros concretos a los coeficientes sino de construir un polinomio universal).
92
95
Lema 8.3. Si P, Q son dos puntos constructibles distintos y R es otro punto constructible
(no necesariamente fuera de la recta L(P, Q)), entonces es constructible la recta perpendicular a L(P, Q) que pasa por R. En particular, si R no esta en la recta L(P, Q), entonces
es constructible el punto simetrico de R respecto de la recta L(P, Q).
Demostraci
on: Como P y Q son distintos, R es distinto de al menos uno de ellos, supongamos que P . Entonces podemos construir el otro punto P 0 (distinto de P ) en la intersecci
on
de la recta L(P, Q) y la circunferencia C(R, P ). Por el Lema 8.2, como podemos construir
entonces la recta perpendicular a L(P, P 0 ) = L(P, Q) que pasa por el punto medio de P
y P 0 , que necesariamente pasa por R. Si R 6 L(P, Q), entonces su simetrico se contruye
a partir de la intersecci
on de esta recta perpendicular con la circunferencia de centro el
punto medio de P y P 0 que pasa por R.
Lema 8.4. Si P, Q son dos puntos constructibles distintos y R es otro punto constructible,
entonces es constructible la recta paralela a L(P, Q) que pasa por R.
Demostraci
on: Por el Lema 8.3, podemos construir la recta r perpendicular a L(P, Q)
que pasa por R. De nuevo por el Lema 8.3, construimos ahora la recta r0 perpendicular
a r que pasa por R. Como r0 y L(P, Q) son ambas perpendiculares a r0 , se sigue que son
paralelas, luego r0 es la recta buscada.
Lema 8.5. Sean P, Q dos puntos construibles distintos y sea R un punto construible en
una recta construible r. Entonces se pueden construir los puntos de r que distan de R lo
mismo que la distancia de P a Q.
Demostraci
on: Veamos en primer lugar que podemos suponer que el punto P no est
a en
la recta r. Si lo estuviera, consideramos la interseccion de la circunferencia C(Q, P ) con la
perpendicular a r que pasa por Q. Esta interseccion consiste necesariamente en ds puntos
constructibles, y al menos uno de ellos, llamemoslo P 0 , no esta en r. Como Q equidista de
P y P 0 , basta encontrar una solucion al problema tomando P 0 en vez de P .
Supuesto entonces que P no esta en r, construimos, usando el Lema 8.4, la recta
paralela a r que pasa por P (que no coincidira con r porque P 6 r). Tomamos un punto
Q0 en la intersecci
on de esta recta con C(P, Q), con lo que se tendra que L(P, Q0 ) es la
paralela a r por P y que la distancia de P a Q0 es la misma que la distancia de P a Q.
Usando de nuevo el Lema 8.4, podemos construir la interseccion R0 de r con la paralela a
L(P, R) que pasa por Q0 . Este punto verifica que dista a R la distancia de P a Q (el otro
se obtiene cortando r con C(R, R0 )).
Observese que en realidad la construcci
on del lema anterior se puede hacer con cualquier comp
as normal: se pincha el compas en el punto P , se abre hasta que llegue al punto
97
Q y se levanta el comp
as hasta pincharlo en el punto R; sin embargo, este movimiento
de levantar el comp
as no est
a contemplado en nuestra definicion de constructibilidad.
Del mismo modo, hay que demostrar rigurosamente que con nuestros axiomas se pueden
trasladar
angulos.
Lema 8.6. Si es un
angulo constructible, entonces dada una recta r constructible y un
punto P r constructible se puede construir una recta que pase por P y forme con r un
angulo .
Demostraci
on: Como se puede construir , esto quiere decir que se pueden construir tres
0
puntos P , Q0 , R0 tales que el
angulo que forman en P 0 las rectas L(P 0 , Q0 ) y L(P, R0 ) es .
Construimos en primer lugar un punto Q r que diste de P exactamente la longitud de
P 0 a Q0 (lo que se puede hacer por el Lema 8.5). En segundo lugar (y aplicando el mismo
resultado) podemos construir las circunferencias de centro P y radio la distancia de P 0 a
R0 y de centro Q y radio la distancia de Q0 a R0 . Si R es un punto en la intersecci
on de
ambas circunferencias (y por tanto constructible) se sigue que las rectas r = L(P, Q) y
L(P, R) forman en P un
angulo .
Trasladamos todo lo visto hasta ahora al lenguaje de las coordenadas cartesianas en
el plano eucldeo. Para ello, escogemos un sistema de coordenadas en que el punto O es
el origen (0, 0), la distancia de O a A es la unidad y tomamos A como el punto (1, 0). En
particular, la recta {Y = 0} es constructible. Por el Lema 8.3, tambien es constructible
la perpendicular a {Y = 0} desde el punto (0, 0), es decir, la recta {X = 0}. La primera
observacion importante es la siguiente:
Proposici
on 8.7. El punto (x, y) es constructible si y solo si los puntos (x, 0) y (0, y) son
constructibles.
Demostraci
on: Si (x, y) es constructible, por el Lema 8.3, son constructibles las perpendiculares a {Y = 0} y {X = 0} que pasan por (x, y), es decir, las rectas {X = x} e
{Y = y}. Cortando respectivamente dichas rectas con {Y = 0} y {X = 0} tenemos que
son constructibles los puntos (x, 0) y (0, y).
Recprocamente, si son constructibles los puntos (x, 0) y (0, y), por el Lema 8.3 es
constructible la recta que pasa por (x, 0) perpendicular a {Y = 0} y la recta que pasa por
(0, y) perpendicular a {X = 0}. Es decir, son constructibles las rectas {X = x} e {Y = y}.
Intersecando ambas rectas, se obtiene que es constructible el punto (x, y).
Observaci
on 8.8. Observese que, por el Lema 8.5, el punto (x, 0) es constructible si y
solo si se pueden construir dos puntos que esten a distancia |x|, ya que en tal caso basta
98
construir los puntos de la recta {Y = 0} que estan a distancia |x| del punto (0, 0), que son
precisamente los puntos (x, 0). De la misma forma, el punto (0, y) es constructible si y
solo si se pueden construir dos puntos que esten a distancia |y|. En particular, el punto
(x, 0) es constructible si y s
olo si es constructible el punto (0, x). Basta por tanto estudiar
los n
umeros x R tales que (x, 0) es constructible. El resultado siguiente muestra que el
conjunto de tales n
umeros tiene estructura de cuerpo.
Teorema 8.9. El conjunto K = {x R | (x, 0) es constructible} es un subcuerpo de R.
Demostraci
on: Basta s
olo demostrar que, dados x, x0 K entonces x x0 K y,
suponiendo x0 6= 0, tambien xx0 K.
En primer lugar, como podemos construir la distancia |x0 |, podemos construir los
puntos de la recta {Y = 0} que distan |x0 | de (x, 0); estos puntos son precisamente (x
x0 , 0), lo que demuestra la primera parte.
En segundo lugar, construimos la recta que pasa por (0, x0 ) y (x, 0) (de ecuaci
on
0
0
x X + xY xx = 0). El Lema 8.4 permite construir la recta paralela a la recta anterior
que pasa por (0, 1) (que tiene ecuacion x0 X + xY x = 0). Entonces ( xx0 , 0) es el punto
de intersecci
on de esta u
ltima recta con {Y = 0}, luego xx0 K.
Observaci
on 8.11. El lema anterior implica que la extension Q K no es finita. En
efecto, si [K : Q] fuera un n
umero finito, siempre podramos encontrar n N tal que
n
n
n
2 > [K : Q], y por el lema anterior 2 2 K. Como [Q( 2 2) : Q] = 2n debe dividir a
[K : Q], se llegara a un absurdo. El Teorema 8.12 siguiente probara que, sin embargo, la
extension [K : Q] es algebraica.
La idea ahora es que para ir construyendo puntos hay que cortar dos rectas (que
son ecuaciones lineales), una recta y una circunferencia (que da lugar a una ecuaci
on de
grado dos) o dos circunferencias (que geometricamente es la interseccion de una recta y
una circunferencia). Parece por tanto que las coordenadas de cada punto constructible (es
decir, los elementos de K) se obtienen despues de resolver una cantidad finita de ecuaciones
cuadraticas. Esto es lo que afirma el siguiente resultado:
99
a2 4b
a
2
+ a + b = 0, con a, b Kr1 . Es decir, = 2
(observese que el radicando
2
es positivo, ya que es real). Por hipotesis de induccion a, b K, luego por el Lema 8.10
tambien a2 4b K, luego K.
Un modo alternativo de hacer la construccion anterior es identificando un punto (x, y)
del plano con el n
umero complejo x + yi. En este caso, el resultado es el siguiente
Teorema 8.13. El conjunto L = {x + yi C | (x, y) es constructible} es el subcuerpo de
K[i] de C. Por tanto, un n
umero complejo z esta en L si y solo si existe una cadena de
cuerpos Q = L0 L1 . . . Lr tal que z Lr y cada extension Li1 Li tiene grado
dos. En particular, [Q(z) : Q] es una potencia de dos.
Demostraci
on: Por definici
on z = x + yi K si y solo si el punto (x, y) es constructible,
lo que es equivalente, por la Proposicion 8.7, a que los puntos (x, 0) y (0, y) sean constructibles. Por la Observaci
on 8.8, esto equivale a que x, y K, que es lo mismo que
decir z = x + yi K[i].
Ejercicio 8.14. Demostrar que las rectas del plano complejo son los subconjuntos de
ecuacion z +
z + r = 0, con C \ {0} y r R, y que las circunferencias son los
subconjuntos de ecuaci
on z z + z +
z + r = 0, con C, r R y ||||2 r > 0.
1
Completando C con un punto en el infinito (por ejemplo, considerando
PC ), demostrar que
a b
las transformaciones de M
obius z 7 az+b
cz+d (con a, b, c, d R y c d 6= 0) son biyecciones
que mandan rectas y/o circunferencias a rectas y/o circunferencias. Estudiar cuando la
imagen de una recta es una circunferencia y viceversa. Lo mismo para transformaciones
z +b
del tipo z 7 a
c
z +d .
Veamos finalmente algunas aplicaciones usuales (alguna de ellas problemas clasicos)
del Teorema 8.12.
Ejemplo 8.15. (Trisecci
on del
angulo) Veamos en primer lugar que no se puede construir
con regla y comp
as un
angulo que mida la tercera parte de un angulo dado. Si fuera
posible, en particular se podra construir un angulo de 10o , ya que un angulo de 30o se
puede construir, as que veamos que es imposible construir un angulo de 10o . Si pudiera
101
construirse, por el Lema 8.5 se podra construir una circunferencia de radio uno centrada
en el vertice del
angulo, es decir, se podra construir un triangulo isosceles con dos lados
de longitud uno y
angulo opuesto de 10o . Trazando la altura desde uno de los vertices
con angulo 85o (que se puede construir por el Lema 8.2), obtendramos un segmento de
longitud sen 10o , luego sen 10o K. Sin embargo, de la formula cos 3 + i sen 3 = e3i =
(cos +i sen )3 se deduce que sen 3 = 3 cos2 sen sen3 = 3 sen 4 sen3 . Aplicado
al caso en que = 10o , tendremos que sen 10o es raz del polinomio 8X 3 6X + 1. Este
polinomio es irreducible en Q[X] (ya que, aplicando la Proposicion 2.28, es inmediato ver
que no tiene races en Q). Por tanto, la extension Q Q(sen 20o ) tiene grado tres, luego,
por el Teorema 8.12, sen 10o 6 K.
Ejemplo 8.16. (Duplicidad del cubo) Dado la longitud de la arista de un cubo, no se
puede construir con regla y comp
as la longitud de la arista de un segundo cubo que tenga
como volumen el doble del volumen del primer cubo. En efecto, si se pudiera, en particular
se podra duplicar el cubo de arista uno, es decir, se podra construir la arista de un cubo
poder construir la longitud , y por tanto tambien . Sin embargo, puede demostrarse
que no es algebraico sobre Q (este resultado, que intuitivamente puede parecer evidente,
no es tan sencillo de demostrar).
Ejemplo 8.18. (Polgonos constructibles) Estudiamos finalmente que polgonos regulares
pueden construirse con regla y compas. Nos centraremos solo en el caso en que el n
umero
de lados es un primo p. Si se puede construir un polgono regular de p lados, entonces se
puede construir el
angulo 2
p radianes, y por el Lema 8.6 podremos construir una recta que
pase por el origen y forme un
angulo de 2
p con el eje horizontal. Cortando esta recta con
la circunferencia unidad e identificando el plano eucldeo con C, tendremos entonces que L
contiene una raz primitiva p-esima de la unidad . Como [Q() : Q] = p 1 (como vimos
en el Ejemplo 5.26), se tiene, por el Teorema 8.13, que si es constructible entonces p 1
debe ser una potencia de dos (as que, por ejemplo, no se puede construir un hept
agono
k
regular). En este caso, el recproco tambien es cierto, ya que si p 1 = 2 , entonces
Gal(Q()/Q) es un 2-grupo, y por la Proposicion 6.7 existe una cadena de subgrupos
{1} = H0 < H1 < . . . < Hk1 < Hk = Gal(Q()/Q)
tal que cada Hi tiene orden 2i . Por la correspondencia de Galois (la extension Q Q() es
102
de Galois, como vimos en el Ejemplo 5.26), tendremos entonces una cadena de subcuerpos
Q = K0 K1 . . . Kk1 Kk = Q()
en la que cada extensi
on Ki1 Ki tiene grado dos. El Teorema 8.13 implica entonces
que es constructible. Por tanto, el polgono regular de p lados se puede construir si y
s
olo si p 1 = 2k para alg
un k N. Si fuera k = (2r + 1)s, entonces
2k + 1 = (2s )2r+1 + 1 = (2s + 1) (2s )2r (2s )2r1 + . . . 2s + 1
luego 2k + 1 no podra ser primo. Se sigue entonces que k no puede tener factores impares,
t
luego debe ser una potencia de dos. En otras palabras, p = 1 + 22 para alg
un t
N. Un primo de esta forma se llama primo de Gauss. Para t = 0, 1, 2, 3, 4 obtenemos
respectivamente p = 3, 5, 17, 257, 65537 y no se conoce ning
un otro primo de Gauss (aunque
se sabe que primeros valores de t 5 dan n
umeros que no son primos).
103
9. Extensiones transcendentes
En esta secci
on discutiremos brevemente las extensiones transcendentes, en contraposicion a las extensiones algebraicas a las que hemos dedicado tanto espacio. El modelo
que hay que tener siempre en la cabeza es el de los espacios vectoriales. Lo que queremos
es construir un an
alogo de las bases de un espacio vectorial. La nocion buena de base que
queremos generalizar es la de mayor conjunto de vectores linealmente independientes de
un espacio vectorial. Para ello, debemos generalizar la nocion de dependencia lineal. En
el caso de espacios vectoriales la dependencia lineal se hace con combinaciones lineales, ya
que la estructura de espacio vectorial viene dada precisamente por ellas (es decir, suma
de vectores y productos por escalares). Para el caso de extensiones de cuerpos, la noci
on
analoga ser
a la que involucre expresiones polinomiales (ya que sas son las operaciones,
sumas y productos). Por tanto, debemos usar la definicion de dependencia algebraica que
ya vimos en la secci
on 1 en el caso de anillos, y que recordamos a continuacion:
Definici
on. Sea K L una extension de cuerpos. Se dice que los elementos 1 , . . . , r L
son algebraicamente dependientes sobre K si existe un polinomio no nulo f K[X1 , . . . , Xr ]
tal que f (1 , . . . , r ) = 0. En caso contrario, se dice que 1 , . . . , r son algebraicamente
independientes sobre K.
En el caso de espacios vectoriales, para ampliar un conjunto de vectores linealmente
independientes hay que a
nadir vectores que no dependan linealmente de los anteriores. El
resultado an
alogo para extensiones de cuerpos es el siguiente:
Lema 9.1. Si K L es una extension de cuerpos y 1 , . . . , r L son algebraicamente
independientes sobre K, entonces un elemento L es transcendente sobre K(1 , . . . , r )
si y solo si 1 , . . . , r , son algebraicamente independientes sobre K.
Demostraci
on: Decir que L no es transcendente sobre K(1 , . . . , r ) es equivalente a
decir que existe una relaci
on
0 + 1 + . . . + r d = 0
con 0 , . . . , d K(1 , . . . , d ) y no todos nulos. Para cada i = 0, . . . , d se podra escribir
i =
gi (1 , . . . , r )
hi (1 , . . . , r )
limitar solo al caso finito (al igual que suele hacerse en un primero curso de Algebra
Lineal). Para asegurar la existencia de bases de transcendencia en este caso necesitamos
poner una hip
otesis adicional a la extension (de la misma forma que para tener bases finitas
en espacios vectoriales se pide que stos sean finitamente generados):
Teorema 9.2. Sea K L una extension de cuerpos finitamente generada. Entonces L
tiene una base de transcendencia sobre K.
Demostraci
on: Al ser K L una extension finitamente generada podemos escribir
L = K(1 , . . . , r ). Sea s el mayor n
umero de elementos entre 1 , . . . , r que son algebraicamente independientes sobre K. Reordenando los generadores si hiciera falta, podemos suponer que 1 , . . . , s son algebraicamente independientes sobre K. Entonces, para
cada i = s + 1, . . . , r, se tendr
a que 1 , . . . , s , i no son algebraicamente independientes, luego, por el Lema 9.1, i no sera transcendente sobre K(1 , . . . , s ). Por tanto,
s+1 , . . . , r son algebraicos sobre K(1 , . . . , s ). El Lema 4.17 implica entonces que la extension K(1 , . . . , s ) K(1 , . . . , s , s+1 , . . . , r ) = L es algebraica, lo que demuestra
que 1 , . . . , s es una base de transcendencia de L sobre K.
De la misma forma que para espacios vectoriales todas las bases tienen el mismo
n
umero de elementos, para bases de trascendencia ocurre lo mismo (y de hecho la demostracion es calcada del caso de espacios vectoriales):
Teorema 9.3. Si K L es una extension de cuerpos y 1 , . . . , r L es una base de
transcendencia de L sobre K, entonces todas las bases de transcendencia sobre K tienen
n elementos.
105
Demostraci
on: Sean 1 , . . . , r y 10 , . . . , s0 dos bases de transcendencia. La idea es ir
sustituyendo uno a uno los elementos de la primera base por elementos de la segunda.
Empezamos por el primero. Como 1 es transcendente sobre K(2 , . . . , r ) (por el Lema
9.1) entonces la extensi
on K(2 , . . . , r ) L es transcendente. No puede ser que 10 , . . . , s0
sean algebraicos sobre K(2 , . . . , r ), porque entonces tendramos que cada eslabon de
K(2 , . . . , r ) K(2 , . . . , r , 10 , . . . , s0 ) L
sera una extensi
on algebraica, luego la extension K(2 , . . . , r ) L tambien sera algebraica (por la Proposici
on 4.19), lo que es absurdo. Por tanto, alg
un i0 (supondremos i = 1, reordenando) es transcendente sobre K(2 , . . . , r ). Por el Lema 9.1,
10 , 2 . . . , r son algebraicamente independientes. Ademas 1 no puede ser transcendente
sobre K(10 , 2 . . . , r ), ya que en tal caso, una vez mas por el Lema 9.1, 10 , 1 , 2 . . . , r
seran algebraicamente independientes, en contra del hecho de que 1 , 2 . . . , r es una
base de transcendencia de L sobre K (y por tanto 10 L tiene que ser algebraico sobre
K(1 , 2 . . . , r ), contradiciendo el Lema 9.1). Por tanto, los eslabones de
K(10 , 2 . . . , r ) K(10 , 1 , 2 . . . , r ) L
son extensiones algebraicas, lo que implica que (por la Proposicion 4.19) que la extensi
on
0
compuesta es algebraica. Esto demuestra que 1 , 2 . . . , r es una nueva base de transcendencia de L sobre K.
Veamos que podemos ir repitiendo el proceso. Es decir, supongamos que ya sabemos
que 10 , . . . , i0 , i+1 . . . , r es una base de transcendencia de L sobre K. y que i + 1 r, s.
Veamos que podemos sustituir ahora i+1 repitiendo todo el procedimento anterior. De
nuevo, la extensi
on K(10 , . . . , i0 , i+2 . . . , r ) L es transcendente ya que i+1 es trascendente sobre K(10 , . . . , i0 , i+2 . . . , r ). Por tanto, no todos los 10 , . . . , s0 pueden ser algebraicos sobre K(10 , . . . , i0 , i+2 . . . , r ), porque sera algebraica la extension composici
on
K(10 , . . . , i0 , i+2 . . . , r ) K(i+2 , . . . , r , 10 , . . . , s0 ) L.
La u
nica diferencia ahora con el caso i = 0 es que, como obviamente 10 , . . . , i0 son al0
gebraicos sobre K(10 , . . . , i0 , i+2 . . . , r ), concluimos que alguno entre i+1
, . . . , s0 es
transcendente sobre K(10 , . . . , i0 , i+2 . . . , r ). Reordenando si hiciera falta, podemos
0
suponer que i+1
es transcendente sobre K(10 , . . . , i0 , i+2 . . . , r ), luego por el Lema 9.1
0
se tendra que 10 , . . . , i0 , i+1
, i+2 . . . , r son algebraicamente independientes sobre K.
0
Ademas, i+1 es algebraico sobre K(10 , . . . , i0 , i+1
, i+2 . . . , r ), pues en caso contrario
0
0
0
1 , . . . , i , i+1 , i+1 , i+2 . . . , r seran algebraicamente independientes sobre K, en contra de que 10 , . . . , i0 , i+1 , i+2 . . . , r es una base de transcendencia de L sobre K. Por
tanto, la extensi
on compuesta
0
0
K(10 , . . . , i0 , i+1
, i+2 . . . , r ) K(10 , . . . , i0 , i+1
, i+1 , i+2 . . . , r ) L
106
0
es algebraica, lo que termina de demostrar que 10 , . . . , i0 , i+1
, i+2 . . . , r es una base de
transcendencia de L sobre K.
El motivo intuitivo por el que sale la dimension es que el grado de transcendencia mide el
n
umero de variable libres, que sera como decir el n
umero de parametros independientes.
De hecho, la definici
on de dimensi
on de esta forma se puede hacer general. Consideremos
n
en C el conjunto X definido como puntos que se anulan para un n
umero finito de polinomios f1 , . . . , fm y supongamos que el ideal I generado por ellos sea primo (esto tiene una
interpretaci
on precisa que no vamos a detallar: que I sea primo significa que el conjunto
X no se pueda escribir como uni
on finita de otros conjuntos tambien definidos por polinomios). Entonces, como antes, el cociente C[X1 , . . . , Xn ]/I es un dominio de integridad,
y su cuerpo de fracciones L es una extension de C. Entonces la dimension de X es, por
definicion, el grado de transcendencia de L sobre C. Notese que es fundamental usar C
(o bien otro cuerpo algebraicamente cerrado) ya que, si por ejemplo en el ejemplo de la
cuadrica ponemos R, nos encontraramos con el conjunto vaco, mientras que el grado de
transcendencia sigue siendo n 1.
Terminamos con el resultado fundamental sobre grados de transcendencia. Con la
interpretaci
on de dimensi
on anterior, el resultado puede llegar a traducirse en que la dimension de un producto de dos conjuntos de dimensiones r y s tiene dimension r + s (m
as
en general, se puede interpretar como que si tenemos una aplicacion polinomial suprayectiva X Y entre dos conjuntos polinomiales de dimensiones respectivas r y s, entonces
la preimagen de un punto suficientemente general de Y tiene dimension r s).
Teorema 9.5. Si K K 0 L es una cadena de cuerpos, entonces
gr.tr.(L/K) =gr.tr.(L/K 0 )+gr.tr.(K 0 /K).
Demostraci
on: Sea 1 , . . . , r una base de transcendencia de K 0 sobre K y 1 , . . . , s una
base de transcendencia de L sobre K 0 . Como ning
un i puede estar en K 0 (puesto que en tal
caso i sera obviamente algebraico sobre K 0 ), entonces el conjunto {1 , . . . , r , 1 , . . . , s }
tiene r + s elementos. Por tanto, el teorema estara demostrado si vemos que tal conjunto
es una base de transcendencia de L sobre K.
En primer lugar, la extensi
on K(1 , . . . , r , 1 , . . . , s ) L es algebraica porque se
puede descomponer como K(1 , . . . , r , 1 , . . . , s ) K 0 (1 , . . . , s ) y K 0 (1 , . . . , s )
L, y ambos eslabones son extensiones algebraicas (la primera extension lo es por serlo
K(1 , . . . , r ) K 0 ).
Veamos entonces que 1 , . . . , r , 1 , . . . , s son algebraicamente independientes sobre
K. Para ello vamos a ir a
nadiendo uno a uno los elementos de 1 , . . . , s a 1 , . . . , r .
Como 1 es transcendente sobre K 0 , lo es tambien sobre K(1 , . . . , r ), luego el Lema 9.1
implica que 1 , . . . , r , 1 son algebraicamente independientes sobre K.
En general, si ya sabemos que 1 , . . . , r , 1 , . . . , i son algebraicamente independientes sobre K, consideremos i+1 . Como 1 , . . . , i+1 son algebraicamente independientes
108
sobre K 0 , el Lema 9.1 implica que i+1 es transcendente sobre K 0 (1 , . . . , i ), luego tambien
es transcendente sobre K(1 , . . . , r , 1 , . . . , i ). Aplicando de nuevo el Lema 9.1 llegamos
a que 1 , . . . , r , 1 , . . . , i , i+1 son algebraicamente independientes sobre K.
Por tanto, repitiendo este proceso s veces llegamos a que 1 , . . . , r , 1 , . . . , s son
algebraicamente independientes sobre K.
109