4. AUTOMORFISMOS DE CUERPOS.

En este tema probaremos que dos elementos y , conjugados sobre un cuerpo

F, determinan un isomorsmo entre los cuerpos F() y F(). Tambien cierto
recproco sera valido. Estos isomorsmos son llamados isomorsmos basicos de la
teora de cuerpos algebraicos. Dos consecuencias se derivaran de este resultado. La
primera, que todo monomorsmo de F() en F que deje jo F enva a un conju-
gado sobre , resultado clave para la demostracion del Teorema de Extension en el
tema siguiente. La segunda, que los ceros complejos en un polinomio con coecientes
reales aparecen por parejas.
Se estudiara ademas la estructura algebraica de los automorsmos de un cuerpo
que dejan jo un subcuerpo del mismo, y se dara, para cada cuerpo nito de carac-
terstica p, un automorsmo que deja jo el cuerpo primo Z
p
: el automorsmo de
Frobenius.
Los isomorsmos basicos de la teora de cuerpos algebraicos.
En lo que sigue supondremos que la clausura algebraica de un cuerpo F es
unica, salvo isomorsmos de cuerpos que dejan jos los elementos de F, hecho que
demostraremos mas adelante (en el Tema 5).
Veremos que si dos elementos y son ceros del mismo polinomio irreducible
sobre un cuerpo F, entonces F() y F() son isomorfos. En general esto no es cierto
pues, por ejemplo, Q(

2) y Q(

3) no son isomorfos: Si : Q(

2) Q(

3) fuera un
isomorsmo de cuerpos, como (1) = 1, (a + b

2) = a + b(

2), cualesquiera que

sean a, b Q, as que es un isomorsmo de Q-espacios vectoriales y la base {1,

2}
de Q(

2) habra de transformarse mediante en una base {1, u+v

3} de Q(

3), con
u, v Q. Observemos que 2 = (

2)
2
= (

2)
2
= (u+v

3)
2
= u
2
+3v
2
+2uv

3. Por
la independencia lineal sobre Q de {1,

3}, 2 = u
2
+ 3v
2
y 0 = 2uv, as que uv = 0.
Si u = 0, 2 = 3v
2
, luego

2
3
estara en Q, lo que no es cierto. Si v = 0, u =

2
pertenecera a Q, absurdo. En consecuencia no puede existir un isomorsmo entre
ambos cuerpos.
Esta demostracion sera innecesaria despues de probar el Corolario 4.7.
4.1. Denicion.
Sea F E una extension algebraica. Diremos que dos elementos y pertene-
cientes a E son conjugados sobre F si irr(, F) = irr(, F).
4.2. Ejemplos.
(1) a + b

2 y a b

2, con a, b Q, son conjugados sobre Q porque son las

1
2

Algebra Cl asica. Curso 03/04
races del polinomio x
2
2ax + (a
2
2b
2
), que es irreducible sobre Q si
b = 0.
(2) i y i son conjugados sobre R porque son las races del polinomio x
2
+ 1,
que es irreducible sobre R. En general a + bi y a bi, con a, b R, son
conjugados sobre R, como se prueba de manera analoga.
4.3. Teorema (Los isomorsmos basicos de la teora de cuerpos alge-
braicos).
Sea F un cuerpo y sean y algebraicos sobre F, con deg(, F) = n N.
Entonces, la siguiente aplicaci on:

,
: F() F()
a
0
+ a
1
+ . . . a
n1

n1
a
0
+ a
1
+ . . . a
n1

n1
es un isomorsmo de cuerpos si y solo si y son conjugados sobre F.
Demostracion:
Supongamos en primer lugar que
,
es un isomorsmo. Como dicha apli-
cacion es un homomorsmo de espacios vectoriales, n = [F() : F] = [F() : F] =
deg(, F). Sea f(x) = b
0
+b
1
x+. . . b
n1
x
n1
+x
n
= irr(, F). Puesto que f() = 0,
0 =
,
(f()) = b
0
+b
1
+. . . b
n1

n1
+
n
, as que f(x) es un polinomio monico
irreducible de F[x], de grado n, del que es raz, luego f(x) = irr(, F).
Recprocamente, supongamos que irr(, F) = irr(, F) = p(x). Recordemos
que F()

= F[x]/ < p(x) >, y que la aplicacion

: F[x]/ < p(x) > F()

a
0
+ a
1
x + . . . a
n1
x
n1
a
0
+ a
1
+ . . . a
n1

n1
es un isomorsmo de cuerpos. Analogamente se tiene un isomorsmo

: F[x]/ < p(x) > F()

a
0
+ a
1
x + . . . a
n1
x
n1
a
0
+ a
1
+ . . . a
n1

n1
Para cada elemento a
0
+ a
1
+ . . . a
n1

n1
F(),

(a
0
+ a
1
+ . . . a
n1

n1
) =

(a
0
+ a
1
x + . . . a
n1
x
n1
) =
a
0
+ a
1
+ . . . a
n1

n1
) =
,
(a
0
+ a
1
+ . . . a
n1

n1
),
as que
,
=

es un isomorsmo de cuerpos por ser composicion de isomor-

smos de cuerpos.

Algebra Cl asica. Curso 03/04 3

4.4. Observacion.
Si y son conjugados sobre un cuerpo F, entonces
1
,
=
,
.
4.5. Denicion.
Sea : E K un homomorsmo entre dos cuerpos que contienen a un cuerpo
F, y sea a F. Decimos que a queda jo por si (a) = a. Decimos que deja
jo F si deja jos todos sus elementos.
4.6. Ejemplo.
El homomorsmo : Q(i) C dado por (p + qi) = p qi, con p, q Q, deja
jo Q.
4.7. Corolario.
Sea algebraico sobre F. Si : F() F es un monomorsmo de cuer-
pos que deja jos los elementos de F, entonces y () son conjugados sobre F.
Recprocamente, si y son conjugados sobre F, existe un unico monomorsmo de
F() en F que deja jos los elementos de F. Este monomorsmo es
,
.
Demostracion:
Denotemos por f(x) = a
0
+a
1
x +. . . +a
n1
x
n1
+x
n
al polinomio irreducible
de sobre F. Como f() = 0 y es un homomorsmo de cuerpos que deja jos los
elementos de F, 0 = (f()) = a
0
+a
1
() +. . . +a
n1
()
n1
+()
n
= f(()),
luego () es un cero de f(x), que es irreducible sobre F. En consecuencia y ()
son conjugados sobre F.
Recprocamente, si y son conjugados sobre F por el Teorema 4.3 sabemos
que
,
es un isomorsmo de F() en F(). Como F contiene a F(),
,
es un
monomorsmo de F() en F. La unicidad del monomorsmo se deduce porque como
F() esta generado por {1, , . . . ,
n1
}, donde n = deg(, F), cualquier monomor-
smo que deje jo F viene determinado por la imagen de . Si ha de ir a parar a
, este monomorsmo solo puede ser
,
.
4.8. Corolario.
Si un n umero complejo a + bi, con a, b R, es un cero de un polinomio f(x)
R[x], entonces tambien a bi es un cero de f(x).
Demostracion:
Sabemos que
i,i
: R(i) R(i) = R(i) es el unico isomorsmo de C en C que
deja jos los elementos de R y que lleva i a i. As, si a+bi es un cero de un polinomio
f(x) = a
0
+ a
1
x + . . . + a
n
x
n
, entonces 0 = a
0
+ a
1
(a + bi) + . . . + a
n
(a + bi)
n
, y si
aplicamos el isomorsmo
i,i
tenemos: 0 =
i,i
(a
0
+a
1
(a+bi)+. . .+a
n
(a+bi)
n
) =
4

Algebra Cl asica. Curso 03/04

i,i
(a
0
) +
i,i
(a
1
)
i,i
(a +bi) +. . . +
i,i
(a
n
)(
i,i
(a +bi))
n
= a
0
+a
1
(a bi) +
. . . + a
n
(a bi)
n
, luego a bi es raz de f(x).
Automorsmos y cuerpos jos.
El objetivo que perseguimos ahora es estudiar la estructura de una extension
algebraica E de un cuerpo F indagando en los automorsmos de E que dejan jo F
4.9. Denicion
Sea F un cuerpo. Un automorsmo de F es un isomorsmo (de cuerpos)
: F F. Al conjunto de los automorsmos de F lo denotaremos por Aut(F).
4.10. Ejemplos
: C C y
i,i
: C C
a + bi a + bi a + bi a bi
son automorsmos de C. Es mas, son los unicos automorsmos de C que dejan jo
R.
Demostracion:
Ya sabemos que son automorsmos que dejan jo R. Veamos que son los unicos.
Si : C C fuera un automorsmo de C que dejara jos los elementos de R,
(a + bi) = a + b(i), as que quedara determinado en cuanto conozcamos la
imagen de i. Como 0 = i
2
+ 1, si aplicamos , que es un homomorsmo de anillos y
deja jo R, 0 = (i)
2
+ 1, esto es, (i)
2
= 1, luego (i) =

1 = i, con lo que
= (si (i) = i), o =
i,i
(si (i) = i).
4.11. Notacion.
Sea {
i
}
iI
una coleccion de automorsmos de un cuerpo E. Denotaremos por
E
{
i
}
al conjunto de los elementos de E que quedan jos por todos los elementos de
{
i
}
iI
. Para un unico automorsmo Aut(E), el conjunto de los elementos de E
que deja jos se denotara por E

. Esto es,
E
{
i
}
= {a E |
i
(a) = a para todo i I} =

iI
E

i
.
4.12. Lema.
Sea {
i
}
iI
una coleccion de automorsmos de un cuerpo E. Entonces el con-
junto E
{
i
}
es un subcuerpo de E.
Demostracion:

Algebra Cl asica. Curso 03/04 5

Sean a, b E
{
i
}
. Para todo i I,
i
(a +b) = (
i
es un automorsmo)
i
(a) +

i
(b) = (a, b E
{
i
}
) a + b; ademas, si b = 0,
i
(ab
1
) = (
i
es un automorsmo)

i
(a)
i
(b)
1
= (a, b E
{
i
}
) ab
1
. Por otro lado, como
i
es un automorsmo,

i
(0) = 0 y
i
(1) = 1, luego E
{
i
}
contiene a 0 y a 1, es cerrado para la suma y
el producto, contiene al opuesto de todo elemento que le pertenezca y al inverso de
todo elemento no nulo que le pertenezca. Esto prueba el resultado.
4.13. Ejemplo
Consideremos el cuerpo E = Q (

3,

5), y sean
1
=

3,

3
y
2
=

5,

5
,
esto es,
1
(a+b

3+c

5+d

15) = ab

3+c

5d

15 y
2
(a+b

3+c

5+d

15) =
a + b

3 c

5 d

15, con a, b, c, d Q (no olvidemos que {1,

3,

5,

15} es
una base de E como Q-espacio vectorial). As, E

1
= Q (

5), E

2
= Q (

3) y
E
{
1
,
2
}
= E

1
E

2
= Q.
4.14. Observacion
Todo automorsmo de un cuerpo E es, en particular, una aplicacion biyectiva;
dicho con otras palabras, es una permutacion de E. Como la aplicacion identidad
de E en E es un automorsmo, y Aut(E) es cerrado para la composicion y para la
existencia de inverso (el inverso de un elemento de Aut(E) es un elemento de Aut(E))
es, Aut(E) es, de hecho, un subgrupo de S
E
, el grupo de las permutaciones de E.
4.15. Denicion
Sea F un subcuerpo de E. El conjunto
G(E/F) = { Aut(E) | (a) = a para todo a F}
es llamado el grupo de los automorsmos de E que dejan jos los elementos de
F. Este nombre queda justicado por el siguiente resultado.
4.16. Proposicion.
Si F es un subcuerpo de E, G(E/F) es un subgrupo de Aut(E). Ademas, F
E
G(E/F)
.
Demostracion:
Sean , G(E/F). Cualquiera que sea a F, ()() = (()) = () = ;
ademas, () = implica
1
(()) =
1
(), esto es, =
1
(). En consecuen-
cia ,
1
G(E/F), lo que demuestra que G(E/F) es un subgrupo de Aut(E).
La relacion F E
G(E/F)
se tiene de manera inmediata porque E
G(E/F)
son
los elementos de E que permanecen jos por los automorsmos de G(E/F), y estos
dejan jos, por denicion, los elementos de F.
6

Algebra Cl asica. Curso 03/04
4.17. Ejemplo.
La contencion F E
G(E/F)
puede ser estricta. Por ejemplo, Q < C
G(C/Q)
=
Aut(C) .
Con el siguiente ejemplo se claricaran las ideas subyacentes en los resultados
anteriores.
4.18. Ejemplo.
Consideremos el cuerpo Q(

5,

7). Nuestro objetivo sera determinar el grupo

G(Q(

5,

7)/Q).
Sean

5,

5
y

7,

7
los siguientes isomorsmos basicos:

5,

5
: (Q(

7))(

5) (Q(

7))(

5)
a + b

5 + c

7 + d

35 a b

5 + c

7 d

35
y

7,

7
: (Q(

5))(

7) (Q(

5))(

7)
a + b

5 + c

7 + d

35 a + b

5 c

7 d

35
Llamemos
1
=

5,

5
,
2
=

7,

7
, y G = G(Q(

5,

7)/Q). Es facil ver

que (Q(

5,

7))

1
= Q(

7) y que (Q(

5,

7))

2
= Q(

5); en particular
1
y
2
dejan jo Q, luego son elementos de G.
Si H denota al sugbrupo de G generado por
1
y por
2
, como
1
1
=
1
y

1
2
=
2
, H = {
0
,
1
,
2
,
3
}, donde
0
= id y
3
=
1

2
=
2

1
=
1
3
, y si
hacemos la tabla del grupo H, veremos que es isomorfo al grupo 4 de Klein, esto es,
a Z
2
Z
2
.
Por otro lado, como {
1
,
2
} G, Q(

5,

7)
G
Q(

5,

7)
{
1
,
2
}
= Q, y
teniendo en cuenta que G deja jo el cuerpo base, esto es, Q, podemos deducir que
Q(

5,

7)
G
= Q.
Ahora lo que probaremos es que H = G. Si G, es un automorsmo
de Q(

5,

7) que deja jos los elementos de Q. Si tenemos en cuenta esto y que

{1,

5,

7,

35} es una base de Q(

5,

7) como Q-espacio vectorial, resulta que

queda determinado una vez conocidos (

5) y (

7). Por el Corolario (4.7), (

5)
ha de ser conjugado de

5 respecto de Q, y lo mismo para (

7). Como en cada caso

tenemos dos posibilidades de eleccion (

5 para el primero y

7 para el segundo),
en total tenemos cuatro posibilidades para elegir , lo que demuestra que G = 4 y,
por tanto, que G = H.
Observemos que G(Q(

5,

7)/Q) = [Q(

5,

7) : Q] = 4. E sto, como veremos

mas adelante, no es una casualidad.

Algebra Cl asica. Curso 03/04 7

El automorsmo de Frobenius.
Para un cuerpo nito F se probara que Aut(F) es cclico. Como todo grupo
cclico tiene un generador, Aut(F) lo tiene en este caso particular. Con el siguiente
resultado probamos que Aut(F) tiene un generador canonico, el llamado automor-
smo de Frobenius.
4.19. Teorema.
Sea F un cuerpo nito de caracterstica p. Entonces la aplicacion
p
: F F
dada por
p
() =
p
, tara todo F, es un automorsmo de F. Ademas, F
{
p
}

=
Z
p
.
Demostracion:
Sean y F. Si aplicamos la formula del binomio de Newton tenemos:
(+)
p
=
p
+(p.1)
p1
+

p(p1)
2
1

p2

2
+. . .+(p.1)
p1
+
p
=
p
+
p
, luego

p
( + ) =
p
() +
p
(). Como ademas
p
() = ()
p
=
p

p
=
p
()
p
(), y

p
(1) = 1,
p
es un homomorsmo de anillos unitarios. Es inyectivo porque si F
es tal que 0 =
p
() =
p
, como un cuerpo no tiene elementos nilpotentes, = 0, y
sobreyectivo porque toda aplicacion inyectiva de un conjunto nito en otro del mismo
cardinal lo es. Esto demuestra que
p
es un automorsmo de F.
Finalmente, como F tiene caracterstica p, contiene un subcuerpo isomorfo a
Z
p
, llamemosle F
p
. Por el Teorema de Fermat, si a Z
p
, a
p
= a, luego para F
p
,

p
= . As, todo elemento de F
p
es raz del polinomio x
p
x que, a lo sumo tiene
p races, luego las races de dicho polinomio son, exactamente, los elementos de F
p
.
Observemos que dichas races son precisamente los elementos de F que quedan jos
por
p
, lo que nos dice que F
p
es el cuerpo jo de
p
.
4.20. Denicion
El automorsmo del Teorema (4.19) recibe el nombre de automorsmo de
Frobenius, o (clasicamente) sustitucion de Frobenius.