Documentos de Académico
Documentos de Profesional
Documentos de Cultura
b
2
4ac)/2a. Esta solucin est en una tableta de barro que so-
brevive hasta la fecha. Este mtodo es vlido para cualquier polinomio con
coecientes en un campo de caracterstica diferente de 2 cuyas races estn
en la cerradura algebraica de ese campo. Lo mismo sucede para polinomios
de grado 3 y 4 (del Ferro, Tartaglia, Ferrari y Cardano en 1545) sobre los
nmeros racionales. Los matemticos trataron por cientos de aos de encon-
trar una frmula por radicales para polinomios de grado 5 (Lagrange en 1770
y Runi en 1799 probaron que los mtodos para grados 3 y 4 fallan para
grado 5). Fue Abel en 1824 y 1826 quien prob que esto no puede necesaria-
mente resolverse por radicales. En n, la solucin de ecuaciones polinomiales
ha sido un problema matemtico por ms de 3500 aos.
Galois asoci a cada ecuacin un grupo, llamado ahora, de Galois en
honor a l. Este grupo consiste de un subconjunto de permutaciones de las
soluciones. A partir de las propiedades del grupo de Galois se pueden deducir
propiedades de una ecuacin, sin hacer mencin de ella. Vagamente, la idea
7
8 Introduccin
principal de la Teora de Galois es la de considerar las permutaciones de las
races de un polinomio que tienen la caracterstica de que permutadas siguen
satisfaciendo cualquier ecuacin algebraica que satisfagan originalmente. Es-
tas permutaciones de las races forman un grupo, el grupo de Galois.
El concepto que abarca a los polinomios y a los campos es el de anillo
conmutativo. Comenzamos el Captulo I estudiando el sistema algebraico de
los anillos. La palabra anillo fue introducida por David Hilbert. Alrededor
del ao 1921, Emmy Noether fundamenta la Teora de Anillos Conmutativos.
Tambin estudiamos dos tipos de anillos importantes, los dominios enteros y
los campos. El concepto de campo (o cuerpo) fue considerado por Dedekind
en 1871, por Kronecker en 1881, y por ambos alrededor de 1850 en sus
clases. Pero fue Weber en 1893 quien provey de una denicin como la
que actualmente usamos. El concepto de ideal fue introducido por Kummer
alrededor de 1850 y utilizado como ahora lo conocemos por Dedekind.
En 1881 Leopold Kronecker provey una extensin de un campo adjun-
tado una raz de un polinomio irreducible. En 1894 Dedekind fue el primer
matemtico en desarrollar el concepto de automorsmo de campos, lo llam
permutaciones del campo. Fue Emil Artin en 1926 quien desarroll la relacin
entre campos y grupos con mucho detalle y enfatiz que la Teora de Galois
no debera tener como meta la de determinar las condiciones de solubilidad
de ecuaciones algebraicas sino la de explorar las relaciones entre las exten-
siones de campos y los grupos de automorsmos y es esta ltima intencin
la que se sigue en el presente texto.
Con respecto a la notacin para una extensin de campos hemos preferido
denotar con K
, es decir,
f(x y) = f(x) +f(y) y f(x y) = f(x) f(y).
Usualmente utilizaremos, por abuso, la notacin + y para denotar las
(posibles) diferentes operaciones binarias de dos anillos relacionados mediante
un homomorsmo, quedando la notacin imprecisa, pero usual
f(x +y) = f(x) +f(y) y f(x y) = f(x) f(y).
o peor an,
f(x +y) = f(x) +f(y) y f(xy) = f(x)f(y).
Imitando lo correspondiente para grupos [Ll3] tenemos la siguiente
1.11 Proposicin. La composicin de dos homomorsmos de anillos es
un homomorsmo de anillos.
Demostracin. Sean f :
y g :
homomorsmos de
anillos. Luego (g f)(x + y) = g(f(x + y)) = g(f(x) + f(y)) = g(f(x)) +
g(f(y)) = (g f)(x) + (g f)(y). Anlogamente, (g f)(xy) = g(f(xy)) =
I.1 Anillos 13
g(f(x)f(y)) = g(f(x))g(f(y)) = (g f)(x)(g f)(y). Por lo tanto (g f) es
un homomorsmo de anillos.
1.12 Denicin. Sea f :
si existe un
homomorsmo g :
tal que g f = 1
y f g = 1
.
Es fcil comprobar (Problema 1.11) que, si g existe est determinada en
forma nica; lo denotaremos con f
1
y se llama inverso de f. Diremos que
dos anillos y
y
escribiremos
.
1.13 Denicin. Sea f :
un homomorsmo de anillos. El
ncleo de f, denotado ker f, es el conjunto de todos los elementos x
tales que f(x) = 0 donde 0 denota la identidad aditiva de
. La imagen de
f, denotada im f, es el conjunto de f(x) con x .
Observe que solamente vemos el concepto de ncleo de un homomorsmo
de anillos como ncleo de la parte de grupo aditivo de los anillos. An cuando
los anillos sean con uno, no pediremos que la imagen del uno del anillo del
dominio vaya a dar al uno del anillo codominio (Problema 1.12).
Si en la denicin de homomorsmo se tiene que ker f = 0, diremos
que f es un monomorsmo y lo denotamos f :
; si im f =
,
diremos que f es un epimorsmo y lo denotamos f :
y si f es
tal que ker f = 0 e im f =
, g :
dos homomorsmos de
anillos y h = g f la composicin. Entonces, (i) si h es monomorsmo, f es
monomorsmo, y (ii) si h es epimorsmo, g es epimorsmo.
Demostracin. (i) Supongamos que h es monomorsmo. Si f(x) = f(y)
luego h(x) = g(f(x)) = g(f(y)) = h(y). Como h es monomorsmo, x = y.
Por lo tanto, f es monomorsmo. (ii) Supongamos que h es epimorsmo.
Entonces h(
) =
. Luego,
= h(
) = g(f(
)) g()
. Por lo
tanto, g() =
.
Problemas.
1.1 (i) Compruebe que los conjuntos con sus operaciones binarias respec-
tivas en el Ejemplo 1.2 son efectivamente anillos.
(ii) Dena operaciones binarias de suma y producto en nZ y pruebe que
nZ es un anillo, n entero positivo.
1.2 Pruebe que un anillo con uno es un anillo con divisin, s, y slo si,
los elementos distintos de cero forman un grupo bajo la multiplicacin.
1.3 Verique que los cuaternios H forman un anillo (no conmutativo) con
divisin.
1.4 Pruebe que un subconjunto de un anillo (, +, ) es un subanillo
de si, y slo si, es estable o cerrado bajo + y .
1.5 Compruebe que si G es un grupo abeliano, entonces el conjunto de
endomorsmos End(G, G) con la composicin es un anillo.
1.6 Compruebe que los anillos (Z, +, ), (Z
n
, +, ), (Q, +, ) son conmuta-
tivos y que End(G, G) del Problema 1.5 no lo es.
1.7 Pruebe que un subanillo no trivial de un dominio entero es un
subdominio de s, y slo si, contiene al elemento de identidad de .
I.1 Anillos 15
1.8 Pruebe que un subanillo de un campo es un subcampo de s,
y slo si, para todo elemento x , su inverso x
1
.
1.9 Sea un anillo. Pruebe que el conjunto I = x [ nx = 0, n Z
es un ideal de .
1.10 Pruebe que f : Z Z
n
dado por x r, donde r es el residuo
mdulo n es un homomorsmo de anillos.
1.11 En la notacin la Denicin 1.12 pruebe que, si g existe, est de-
terminada en forma nica, el cual es denotado con f
1
y se llama inverso de
f.
1.12 Proporcione un ejemplo en donde bajo un homomorsmo de anillos,
f :
, f(1
) ,= 1
.
Pruebe que, como anillos, Z
i
Z
j
es isomorfo a Z
ij
cuando el mximo
comn divisor (i, j) = 1.
1.14 Encuentre las races de la ecuacin x
2
7x + 12 en Z
8
.
1.15 Pruebe que los inversos izquierdo y derecho de una unidad en un
anillo con uno coinciden.
1.16 Demuestre que los divisores de cero del anillo Z
n
son los elementos
distintos de cero que no son primos relativos con n, por lo tanto, Z
p
no posee
divisores de cero para p primo.
1.17 Demuestre que si es un dominio entero nito, entonces es
campo.
16 Captulo I. Teora de Anillos
I.2 Propiedades elementales y
Teoremas de Isomorsmo
Veamos algunas propiedades de los anillos.
2.1 Proposicin. Sea un anillo. Entonces
(i) 0x = 0 = x0 para toda x .
(ii) En un anillo vale la ley de cancelacin para todo elemento distinto
de cero s, y slo si, no posee divisores de cero.
(iii) (x)y = x(y) = (xy), para toda x,y .
(iv) (x)(y) = xy para toda x,y .
Demostracin. (i) Como 0 = 0 + 0, 0x = (0 + 0)x = 0x + 0x. Luego,
0x = 0. Anlogamente, x0 = 0.
(ii) Supongamos que en vale la ley de la cancelacin para todo elemento
distinto de cero. Veamos que no tiene divisores de cero. Tomemos el
producto de dos elementos distintos de cero tal que su producto sea cero,
es decir, xy = 0. Por la parte (i), x0 = 0. Luego xy = x0. Como x ,= 0,
entonces y = 0. Esto contradice el hecho de que y ,= 0.
Ahora, supongamos que no tiene divisores de cero. Supongamos que
xa = ya para a ,= 0. Luego, por la distributividad, (x y)a = xa ya = 0.
Como a ,= 0 y no posee divisores de cero, x y = 0. As, x = y.
(iii) Como xy + (x)y = (x + (x))y = 0y = 0 luego (x)y = (xy)
pues el inverso es nico. Anlogamente xy +x(y) = x(y +(y)) = x0 = 0,
luego x(y) = (xy).
I.2 Propiedades elementales y Teoremas de Isomorsmo 17
(iv) Por (iii) (x(y)) = (x)(y). Tambin, por (iii), (x(y)) =
((xy)). Luego, ((xy)) + (xy) = 0. Luego, ((xy)) = xy. As,
(x)(y) = xy para toda x,y .
Sea (, +, ) un anillo con uno. Un elemento x se llama inverso
izquierdo de un elemento invertible por la izquierda y si xy =
1. Anlogamente, un elemento x se llama inverso derecho de un
elemento invertible por la derecha z si zx = 1. Diremos que y
es invertible o unidad si es a la vez invertible por la izquierda y la derecha.
Es fcil comprobar que los inversos izquierdo y derecho de una unidad en
un anillo con uno coinciden y que el conjunto de unidades es un grupo bajo
la multiplicacin (Problema 2.6).
Observe que si I es un ideal con uno de un anillo conmutativo con uno
, se tiene que I I, es decir xI I para toda x . Si tomamos y I
una unidad de , entonces consideremos x = y
1
. Luego, y
1
y = 1 I. As,
xI I, para toda x y x1 = x . Entonces I = . Adems si es
un anillo no necesariamente conmutativo con uno e I un ideal que contiene
tambin al uno de , entonces I = .
2.2 Proposicin. Sea f :
.
Demostracin. Por [Ll3, I.3.20] ker f e imf son subrupos de la parte
abeliana aditiva de y
respectivamente.
Para ver que ker f es un ideal de , sea x ker f y a . Entonces
f(ax) = f(a)f(x) = f(a)0 = 0. Por lo tanto, ax ker f. Anlogamente,
xa ker f. Luego, ker f es un ideal.
Una consecuencia inmediata es la siguiente: sea f :
un homo-
morsmo no trivial donde es un campo y
p
/I 0.
Por lo tanto, hemos visto que un subanillo I de un anillo es un ideal de
si, y slo si, existe un homomorsmo de anillos f :
con ncleo
ker f = I.
Sea f :
, entonces f
: /I
/I
dado por f
(x+I) = f(x)+I
(xy +I)
= f(xy) +I
= f(x)f(y) +I
= (f(x) +I
)(f(y) +I
)
= f
(x +I)f
(y +I)
para toda x,y , el homomorsmo de anillos f
: /I
/I
se llama
homomorsmo inducido por f.
Anlogamente a [Ll3, II.3.2], se tiene
2.8 Proposicin. Sea f :
/I
.
Entonces f
: /I
/I
/I
f
/I
= p
(imf) y ker f
= p(f
1
(I
)).
Anlogamente a [Ll3, II.3.3], se tiene
2.9 Teorema. Bajo las mismas hiptesis de la proposicin anterior, en
particular, si f es un epimorsmo con I
= e e I = ker f entonces
/I
y f
p
= I
/ ker f
f
: /I
dado por x + I f
(x + I) = f(x) + I
= f(x). Adems,
ker f
. El homomorsmo f
es un isomorsmo si,
y slo si, f es un epimorsmo e I = ker f.
Anlogamente a [Ll3, II.3.5], se tiene
2.11 Corolario. (Primer Teorema de Isomorsmo). Bajo las mis-
mas hiptesis del teorema anterior / ker f
= imf.
Demostracin. Como f es epimorsmo, imf =
, luego / ker f
=
imf.
En otras palabras, si f :
: / ker f
=
, tal que
f = f
p
/I 0
es una sucesin exacta corta. Consideremos ahora una sucesin exacta corta
0
h
k
0.
Recordemos entonces que imf
= ker f, y f
es monomorsmo, pues 0 =
imh = ker f y, adems, f es epimorsmo porque imf = ker k =
. Sea I =
imf
establece un isomorsmo
I
=
donde = Z y
= Z
n
es un epimorsmo
con ncleo el subgrupo nZ, es decir,
0 nZ Z
f
Z
n
0
es un sucesin exacta corta. Luego, por el teorema anterior Z/nZ
= Z
n
.
Anlogamente a [Ll3, II.3.11], se tiene
2.14 Teorema. (Segundo Teorema de Isomorsmo). Sean I,J
ideales de . Entonces (I +J)/J
= I/(I J).
Anlogamente a [Ll3, II.3.13], se tiene
2.15 Teorema. (Tercer Teorema de Isomorsmo). Sean I,J ideales
de con J I. Entonces, /I
= (/J)/(I/J).
2.16 Teorema.
(i) Si es un dominio entero de caracterstica 0, entonces el subgrupo
aditivo de generado por el 1 es isomorfo a Z.
(ii) Si es un dominio entero de caracterstica p ,= 2, entonces el sub-
grupo aditivo de generado por el 1 es un subcampo isomorfo a Z
p
.
24 Captulo I. Teora de Anillos
Demostracin. (i) Sea f : Z dada por n f(n) = n1. Como
f(n + n
) = (n + n
)1 = n1 + n
1 = f(n) + f(n
) y f(nn
) = (nn
)1 =
(n1)(n
1) = f(n)f(n
: Z/pZ .
Problemas.
2.1 Compruebe que todo dominio entero nito es un anillo con divisin.
2.2 Compruebe que el dominio entero Z no es un campo.
2.3 Compruebe que Z
n
es campo s, y slo si, n es un nmero primo.
2.4 Compruebe que los dominios enteros Q, R y C son campos.
2.5 (i) Pruebe que la interseccin de subanillos de un anillo es un subani-
llo.
(ii) Pruebe lo correspondiente a la parte (i) para subdominios y subcam-
pos.
2.6 Demuestre que los inversos izquierdo y derecho de una unidad en un
anillo con uno coinciden y que el conjunto de unidades es un grupo bajo
la multiplicacin, denotado
.
2.7 Compruebe que /0
= y que /
= 0.
2.8 Escriba detalladamente la demostracin de 2.8.
2.9 Escriba detalladamente la demostracin de 2.9.
2.10 Escriba detalladamente la demostracin de 2.10.
2.11 Escriba detalladamente la demostracin de 2.14.
2.12 Escriba detalladamente la demostracin de 2.15.
I.3 Polinomios y Campo de Cocientes 25
I.3 Polinomios y Campo de Cocientes
En los cursos usuales de lgebra Superior (como en CLl) se estudia el anillo
de polinomios. Ah se denen, se le da una estructura de anillo al conjunto
de polinomios, se estudia lo referente a divisibilidad y factorizacin, etc. En
este curso damos por estudiado tales temas y nicamente haremos mencin
de los resultados que requerimos para nuestro estudio posterior.
A continuacin deniremos, siguiendo el estilo de [Ll3], el anillo de poli-
nomios [t] de un anillo .
3.1 Denicin. Sea un anillo con uno. Un anillo de polinomios de
es una terna,
(, f, t)
donde es un anillo, f : es un monomorsmo con f(1) como identi-
dad de , t un elemento que conmuta con f(x) para toda x , tal que
(cumple la siguiente propiedad llamada universal ) para todo monomorsmo
g :
y todo elemento y
que con-
muta con g(x) para toda x , existe un homomorsmo nico h :
g
h
, f
, t
) es otro anillo de
polinomios de , entonces existe un isomorsmo nico k :
tal que
k(t) = t
y k f = f
.
26 Captulo I. Teora de Anillos
Demostracin. La demostracin es anloga a las de [Ll3, III.3] y la
dejamos como ejercicio para el lector (Problema 3.1).
Considrese Z
+
0 el conjunto de enteros no negativos, un anillo
con uno, y sea = : Z
+
0 [ (n) = 0 para casi toda n
Z
+
0. Dmosle a una estructura de anillo (Problema 3.2 (i)) deniendo
dos operaciones binarias
+ :
(, ) ( +)(n) = (n) +(n)
:
(, ) ()(n) =
n
j=0
(j)(n j).
Ahora, para cada x , denamos una funcin que depende de x deno-
tada f
x
mediante
f
x
(n) = x si n = 0 0 si n > 0.
As, f
x
y la asignacin dada por x f
x
dene una funcin f : .
Es fcil comprobar que f es un monomorsmo y que f(1) es la identidad de
(Problema 3.2 (ii)).
Denamos t dado por t(n) = 1 si n = 1 o 0 si n ,= 1. Claramente t
conmuta con f
x
para toda x . Veamos que (, f, t) es un anillo de poli-
nomios de : sea g :
mediante
h() = g((0)) +
n=1
g((n))y
n
.
Como (n) = 0 para casi toda n, la sumatoria es nita. Es fcil ver que
h es homomorsmo, h(t) = y, h f = g y que es nica (Problema 3.2 (iii)).
De aqu que cualquier elemento de puede escribirse de manera nica como
=
n
t
n
+ +
2
t
2
+
1
t
1
+
0
, donde
i
y
i
= (i) para i = 0, . . . , n.
As tenemos el siguiente
3.3 Teorema. Para cualquier anillo con uno , existe un anillo de
polinomios de .
I.3 Polinomios y Campo de Cocientes 27
Identicaremos con su imagen f() dentro de . As, se puede ver
como un subanillo de bajo la inclusin f. Llamaremos a , anillo de
polinomios de y a t indeterminada. Usualmente denotamos a como
[t] y sus elementos los llamaremos polinomios en la indeterminada
t con coecientes en el anillo . Los elementos de los llamaremos
constantes. Los elementos de se llaman coecientes del polinomio ,
n
coeciente inicial y
0
trmino constante. El grado, gr(), de un
elemento distinto de cero [t] es el mayor entero n tal que (n) ,= 0.
Sea un anillo conmutativo. Si [t] es un anillo de polinomios del anillo
, podemos considerar el anillo de polinomios en la indeterminada t
del
anillo de [t], es decir, ([t])[t
]
y diremos que es el anillo de polinomios en las indeterminadas t y t
con
coecientes en . Generalizando esto podemos denir el anillo de polinomios
[t
1
,..., t
s
] en las indeterminadas t
1
,..., t
s
con coecientes en .
Consideremos
de un anillo
conmutativo y a . Por la propiedad universal de los anillos de poli-
nomios aplicada como en el siguiente diagrama
[t]
E
a
existe un homomorsmo
E
a
:
[t]
dado por
n
t
n
+ +
2
t
2
+
1
t
1
+
0
E
a
(
n
t
n
+ +
2
t
2
+
1
t
1
+
0
)
=
n
a
n
+ +
2
a
2
+
1
a
1
+
0
tal que para b
, E
a
(b) = b y E
a
(t) = a llamado homomorsmo de
evaluacin o sustitucin. Resulta que a cada polinomio f =
n
t
n
+ +
2
t
2
+
1
t
1
+
0
le asociamos el elemento de un anillo E
a
(f) = E
a
(
n
t
n
+ +
2
t
2
+
1
t
1
+
0
) =
n
a
n
+ +
2
a
2
+
1
a
1
+
0
. sto es vlido para anillos
conmutativos y no necesariamente para no conmutativos. E
a
(f) signica
28 Captulo I. Teora de Anillos
evaluar el polinomio f en t = a. La asignacin a E
a
(f) determina una
funcin f
@
: tal que f
@
a = E
a
(f), es decir: si
f =
n
t
n
+ +
2
t
2
+
1
t
1
+
0
entonces
f
@
a = E
a
(f) =
n
a
n
+ +
2
a
2
+
1
a
1
+
0
.
Cualquier funcin de en que pueda escribirse como una funcin del tipo
f
@
se llama funcin polinomial.
Como observamos, cada polinomio f
[t]
= Q, luego
= Q de un anillo
= C e i = C. Por la propiedad universal de los anillos de polinomios
aplicada como en el siguiente diagrama
= Q
f
[t] = Q[t]
E
i
= C
existe un homomorsmo
E
i
:
[t] = Q[t] = C
dado por
n
t
n
+ +
2
t
2
+
1
t
1
+
0
E
i
(
n
t
n
+ +
2
t
2
+
1
t
1
+
0
)
=
n
i
n
+ +
2
i
2
+
1
i
1
+
0
tal que para a
= Q, E
i
(t) = i y E
i
(a) = a. Denotamos E
i
(Q[t]) con
Q[i] el cual consta de nmeros complejos de la forma a + bi con a,b Q.
Sabemos que el ncleo de E
i
es el ideal de Q[t] generado por t
2
+1 y por 2.11
considerando el siguiente diagrama
30 Captulo I. Teora de Anillos
ker E
i
Q[t] Q[t]/ ker E
i
=
E
i
(Q[t]) = Q[i]
que Q[t]/ ker E
i
= E
i
(Q[t]) = Q[i]. Como ker E
i
es un ideal mximo, Q[i] es
un subcampo de C el cual denotaremos Q(i).
A continuacin, veamos que todo dominio entero puede verse contenido
en un campo que llamaremos campo de cocientes. Para que la ecuacin
mx = n, con m,n Z, tenga solucin nos vemos forzados a considerar el
campo Q de nmeros racionales.
3.4 Denicin. Sea un dominio entero conmutativo no trivial. Un
campo de cocientes de es una pareja (K, f) donde K es un campo y
f : K es un monomorsmo de anillos tal que para cualquier monomor-
smo g :
con
K
g
h
, f
tal que k f = f
.
Demostracin. La demostracin es anloga a las de [Ll3, III.3] y la
dejamos como ejercicio para el lector (Problema 3.3).
Para probar la existencia de un campo de cocientes, imitemos la construc-
cin de los nmeros racionales a partir de los nmeros enteros pero para un
dominio entero.
Consideremos el conjunto
con
mediante h
(a, b) = g(a)/g(b). Es
fcil comprobar que h
, f
, t
) es otro
anillo de polinomios de , entonces existe un isomorsmo nico k :
y k f = f
.
3.2 (i) Sea Z
+
0 el conjunto de enteros no negativos y un anillo
con uno. Compruebe que el conjunto = : Z
+
0 [ (n) = 0
para casi toda n Z
+
0 posee una estructura de anillo deniendo dos
operaciones binarias mediante
n ( +)(n) = (n) +(n)
n ()(n) =
n
j=0
(j)(n j).
(ii) Sea f
x
y considere la asignacin dada por x f
x
la cual dene
una funcin f : . Compruebe que f es un monomorsmo y que f(1)
es la identidad de .
I.3 Polinomios y Campo de Cocientes 33
(iii) En el Teorema 3.2 compruebe que: h es homomorsmo, h(t) = y,
h f = g y que h es nica. Establezca que cualquier elemento de puede
escribirse de manera nica como =
0
+
1
t
1
+
2
t
2
+ +
n
t
n
, donde
i
y
i
= (n) para i = 0, . . . , n.
3.3 Pruebe que si (K, f) es un campo de cocientes de , entonces, f()
genera K. Tambin, pruebe que si (K
, f
tal que k f = f
.
3.4 Considere el conjunto
mediante h
.
Pruebe que h es un homomorsmo tal que h f = g.
3.7 Pruebe que si
se extiende a un
monomorsmo nico h : K
un
subanillo de un anillo y a . Pruebe que la funcin
E
a
:
[t]
dada por
n
t
n
+ +
2
t
2
+
1
t
1
+
0
E
a
(
n
t
n
+ +
2
t
2
+
1
t
1
+
0
)
=
n
a
n
+ +
2
a
2
+
1
a
1
+a
0
es un homomorsmo tal que para b
, E
a
(b) = b y E
a
(t) = a.
3.16 Pruebe que la asignacin f f
@
determina un homomorsmo de
anillos :
[t]
.
3.17 Pruebe el algoritmo de la divisin para polinomios, es decir, pruebe
que si f(t) =
n
t
n
+ +
2
t
2
+
1
t
1
+
0
y g(t) =
m
t
m
+ +
2
t
2
+
1
t
1
+
0
son polinomios en K[t] con
n
,
m
,= 0 en K y m > 0 entonces existen
polinomios nicos q(t) y r(t) en K[t] tal que f(t) = g(t)q(t) + r(t), con
r(t) = 0 o bien el grado de r(t) menor que el grado de g(t).
3.18 Pruebe que (i) (t a) es un factor de un polinomio f(t) K[t] si,
y slo si, a es una raz de f(t), a K.
(ii) Pruebe que cualquier polinomio no trivial de grado m en K[t] tiene a
lo ms m races en K.
I.3 Polinomios y Campo de Cocientes 35
3.19 Recuerde que un polinomio es irreducible si no puede expresarse
como producto de dos polinomios de menor grado. Pruebe que todo poli-
nomio no trivial en K[t] puede factorizarse en forma nica como producto
de polinomios irreducibles salvo el orden y constantes de los mismos.
3.20 Para un primo p considere el polinomio
p
(t) =
t
p
1
t 1
= t
p1
+t
p2
+ +t + 1.
Pruebe que es irreducible en Q[t] y por tanto en Z[t]. Sugerencia: pruebe que
p
(t)(t 1) (t 1)
p
(mod p) y que
p
(t) (t 1)
p1
y utilice el Criterio
de Einsenstein.
3.21 Los polinomios ciclotmicos
n
(t) Z[t], n 1 estn denidos
mediante
t
n
1 =
d|n
d
(t).
Escriba los polinomios ciclotmicos para n 20 y establezca la frmula
recursiva
n
(t) =
t
n
1
d|n,d<n
d
(t)
para calcular
n
(t) a partir de
i
(t) para i < n. Las races del polinomio
t
n
1 se llaman races n-simas de la unidad. Los polinomios ciclotmicos
aparecen en la Teora Matemtica de la Msica, vase [Am] y artculos en
[Ll-M-N].
36
Captulo II
Teora de Campos y
Teora de Galois
II.1 Extensiones de Campos
Los objetos de estudio de la Teora de Campos son precisamente stos, sin
embargo dicha teora se concentra principalmente en el estudio de las exten-
siones de ellos.
Los campos que usaremos son: el de los nmeros racionales denotado con
Q, el de los nmeros reales denotado con R, el de los nmeros complejos
denotado con C, el de los enteros mdulo un primo p denotado Z
p
. Recuerde
tambin el campo de cocientes de un dominio entero del ejemplo I.3.7 K(t)
y K(t
1
,..., t
s
).
Recuerde que todo homomorsmo de campos es inyectivo.
1.1 Denicin. Consideremos dos campos K
y K. Diremos que K es
una extensin de K
K
es decir, es un monomorsmo e identicamos K
con (K
) dentro de K
cuando esto sea posible. Decimos que K
= (K
o extensin de K
en K con K
K o bien K
K,
o bien K : K
, o bien K
< K cuando K
,= K, o tambin K/K
, o
K
[
K
K para
denotar una extensin imitando una torre rotada 90 grados a la derecha, es
decir, una torre o "condominio horizontal" de campos ya que esto facilita
visualizar especcamente los campos y su respectiva inclusin en otros.
1.3 Deniciones. (i) Si K
K y K K
K es una subextensin de K
y se acostumbra escribir
(K
K) (K
).
(ii) Diremos que dos extensiones
K
K
y
L
L
son isomorfas si existen homomorsmos de campos : K
y :
K L tal que el siguiente diagrama conmuta
K
L
Podemos identicar K
= (K
), L
=
(L
) y [
K
= .
Ahora introduciremos el lgebra Lineal en el estudio de las extensiones
de campos. Considere una extensin K
K. Como K
, denotar dim
K
K
como [K
K y K K
K][K K
] = [K
].
Demostracin. Consideremos u
i
n
i=1
y v
j
m
j=1
bases para las exten-
siones K
K y K K
y para K
sobre K
.
Sea w cualquier elemento de K
. Entonces w =
m
j=1
j
v
j
con
j
K. Pero como
j
K y K es un espacio sobre K
,
j
=
n
i=1
ij
u
i
con
ij
K
. Sustituyendo, w =
m
j=1
(
n
i=1
ij
u
i
)v
j
=
i,j
ij
(u
i
v
j
). Luego,
los elementos u
i
v
j
generan el espacio K
sobre K
.
Consideremos una combinacin lineal
i,j
ij
(u
i
v
j
) = 0 con
ij
K
.
Entonces,
m
j=1
(
n
i=1
ij
u
i
)v
j
= 0 con
n
i=1
ij
u
i
K. Como v
j
m
j=1
es
base del espacio K
sobre K,
n
i=1
ij
u
i
= 0 para toda j. Como a la vez,
u
i
n
i=1
es una base para K sobre K
,
n
i=1
ij
u
i
= 0 implica que
ij
= 0
para toda i,j. Luego, los elementos u
i
v
j
son linealmente independientes.
As, u
i
v
j
es una base para K
sobre K
.
En esta situacin, decimos que K es un campo intermedio de K
y K
.
Ntese que si K
K
y K K
o la de K
sobre
K divide a la dimensin de K
sobre K
, es decir [K
K] [ [K
]
o [K K
] [ [K K
divide al grado de K
sobre K
sobre K divide al
grado de K
sobre K
.
1.5 Corolario. Consideremos una familia de campos K
i
para i =
1,..., s tal que cada K
i+1
es una extensin nita de K
i
. Entonces K
s
es una
extensin nita de K
1
y
[K
1
K
2
][K
2
K
3
] [K
s1
K
s
] = [K
1
K
s
].
II.1 Extensiones de Campos 41
Demostracin. Problema 1.1.
1.6 Ejemplos. Considere la extensin R C donde C = a1+bi [ a,b
R. Entonces 1 e i generan a C como espacio vectorial sobre R . Como i / R,
1, i es linealmente independiente sobre C. Luego, 1, i es una base para
C sobre R y por lo tanto dim
R
C = [R C] = 2. Sea R(i) el subcampo que
contiene a los elementos de la forma x + iy, con x,y R. Luego, C = R(i),
(Problema 1.2).
1.7 Ejemplo. Sea Q(
2) = a +b
2 [ a, b Q. Al denir as Q(
2),
cualquier elemento es de la forma a + b
2 y por lo tanto 1,
2 genera
el espacio vectorial Q(
2 = c1 y as
2 =
c
d
Q lo cual es imposible. Por lo tanto 1,
2 es linealmente
independiente y constituye una base para el espacio vectorial Q(
2) sobre
Q. Luego [Q Q(
2)] = 2.
Recordemos de (I.3) el homomorsmo de evaluacin o sustitucin adap-
tado a campos: consideremos K
de un campo K
y a K
. El homomorsmo
E
a
: K
[t] K
dado por
n
t
n
+ +
2
t
2
+
1
t
1
+
0
E
a
(
n
t
n
+ +
2
t
2
+
1
t
1
+
0
)
=
n
a
n
+ +
2
a
2
+
1
a
1
+
0
tal que para b K
, E
a
(b) = b y E
a
(t) = a se llama homomorsmo de
evaluacin o sustitucin. Es decir, a cada polinomio f =
n
t
n
+ +
2
t
2
+
1
t
1
+
0
le asociamos el elemento del campo E
a
(f) = E
a
(
n
t
n
+ +
2
t
2
+
1
t
1
+
0
) =
n
a
n
+ +
2
a
2
+
1
a
1
+
0
. E
a
(f) signica evaluar el
polinomio f en t = a. La asignacin a E
a
(f) determina una funcin f
@
:
K
tal que f
@
a = E
a
(f), es decir: si
f =
n
t
n
+ +
2
t
2
+
1
t
1
+
0
42 Captulo II. Teora de Campos y Teora de Galois
entonces
f
@
a = E
a
(f) =
n
a
n
+ +
2
a
2
+
1
a
1
+
0
.
Cualquier funcin de K
en K
en K
[t] K
K
[t] los
denotaremos con letras como f, g, h. El uso tradicional de escribirlos como
f(t) slo indicar que la indeterminada es t. Esta notacin tradicional hace
aparentar a f como si fuera una funcin con variable t y no debe causar
confusin alguna. Como K
(Problema I.3.17).
Nos interesa considerar campos que estn entre K
y K
. Considere el
subcampo de K
y K
una extensin.
El subcampo de K
generado por K
X denotado con K
(X), se llama
subcampo obtenido por la adjuncin de X a K
.
Obsrvese que el subcampo K
X. K
(x, y, z) se denota K
con X = a
1
,..., a
j
[ a
i
K
(a
1
,..., a
j
) el mnimo subcampo de K
que contiene a K
y a los elementos
a
1
,..., a
j
.
La extensin K
(a
1
,..., a
j
) se dice que est generada por a
1
,..., a
j
y tambin decimos que es una extensin nitamente generada de K
.
La extensin K
por a. El
reordenar las a
i
K
(a
1
,..., a
j
) y se tiene que
K
(a
1
,..., a
n
) = K
(a
1
,..., a
n1
)(a
n
).
1.9 Ejemplo. Por 1.7 sabemos que [Q Q(
2)] = 2. Adjuntemos
3 a
Q(
2))(
3 con c,d Q(
2). Luego, 1,
3 generan (Q(
2))(
3).
Es fcil ver que son linealmente independientes sobre Q(
2))(
3) sobre Q(
2) (Q(
2))(
3)] = 2.
II.1 Extensiones de Campos 43
Por 1.4, se tiene que [Q Q(
2)(
6,
3,
2,1 es base de Q(
2,
3) sobre Q.
1.10 Ejemplo. Como vimos en 1.7 [Q Q(
2) es subcampo de R y que i / Q(
2) pues i / R. Como i
2
+ 1 = 0,
Q(
2)(i) = Q(
2, i) y [Q(
2)Q(
2, i)] = 2. Luego
[Q Q(
2)][Q(
2)Q(
2, i)] = [Q Q(
2, i)] = 4
Observe que K
donde
los elementos a
n
con n 0 generan K
[t] sobre K
y que K
[t] no es de
dimensin nita pues los polinomios pueden tener un grado muy grande y
no ser combinaciones lineales de un conjunto nito de polinomios.
Podemos hacer equivalente el problema de "encontrar las soluciones" de
una ecuacin polinomial
f =
n
t
n
+ +
2
t
2
+
1
t
1
+
0
al problema de encontrar las races o ceros de
f
@
a = E
a
(f) =
n
a
n
+ +
2
a
2
+
1
a
1
+a
0
.
Es decir, resolveremos el problema original traducido a un problema equi-
valente usando homomorsmos, ideales, cocientes, etc. Nos preguntamos si
existe una extensin K
.
Veremos que todo polinomio de grado mayor o igual a 1 con coecientes
en cualquier campo K
que lo
contenga. Existir una extensin K de K
[t]
tenga una raz en K?
Consideremos la extensin K
, a K
y t la indeterminada.
Entonces el homomorsmo de evaluacin E
a
: K
[t] K
enva K
isomr-
camente en s mismo tal que para b K
, E
a
(b) = b y E
a
(t) = a. Como
todo polinomio f se factoriza en K
,
si q denota uno de tales polinomios irreducibles, el ideal I generado por q es
mximo en K
[t]/I
44 Captulo II. Teora de Campos y Teora de Galois
dada por
x x +I
Es fcil ver que enva a K
[t]/I
(Problema 1.4). As, podemos considerar K = K
[t] K. Si
q(t) =
n
t
n
+ +
2
t
2
+
1
t
1
+
0
,
i
K
entonces
q
@
a = E
a
(q(t)) = (
n
(t +I)
n
+ +
2
(t +I)
2
+
1
(t +I)
1
+
0
) +I K.
Como t es un representante de la clase lateral a = t +I, q(a) = (
n
t
n
+ +
2
t
2
+
1
t
1
+
0
) + I = q(t) + I = I en K. Luego, a es tal que q(a) = 0 y,
por lo tanto, f(a) = 0. Hemos probado el siguiente
1.11 Teorema. (Kronecker) Si f(t) es un polinomio no trivial en K
[t]
donde K
y un elemento
a K tal que f(a) = 0.
1.12 Ejemplo. El polinomio f(t) = t
2
+t +1 Z
2
[t] es irreducible sobre
Z
2
, (Problema 1.5). Por el Teorema 1.11 existe un campo K = Z
2
(a) que
contiene una raz a de f. Luego, Z
2
(a) posee los elementos de la forma
0 + 0a 1 + 0a 0 + 1a 1 + 1a
0 1 a 1 +a
lo cual nos proporciona un campo con cuatro elementos.
1.13 Ejemplo. Considere K
= R y f(t) = t
2
+ 1 un polinomio ir-
reducible en R[t]. Luego, el ideal I = t
2
+ 1 generado por este poli-
nomio irreducible es mximo y por lo tanto el cociente R[t]/I es campo.
Podemos ver a R como un subcampo de R[t]/I. Sea a = t + I. Entonces
a
2
+1 = (t +I)
2
+(1 +I) = (t
2
+1) +I = 0
R[t]/I
. As, a es una raz de t
2
+1.
Nos interesarn las extensiones K
.
1.14 Denicin. Sea K
[t]
II.1 Extensiones de Campos 45
tal que a es raz de f. Si a no es raz de algn polinomio no nulo f K
[t]
diremos que es trascendente sobre K
. Diremos
que K es una extensin trascendente de K
si al menos un elemento de
K es trascendente sobre K
.
Se acostumbra llamar nmero algebraico a un elemento de C el cual
es algebraico sobre Q y nmero trascendente si es trascendente sobre Q.
1.15 Ejemplos. Considere la extensin Q R.
2 es un elemento
algebraico sobre Q pues es raz del polinomio t
2
2 Q[t]. Tambin, si
consideramos la extensin Q C,
2 e i =
1 son elementos algebraicos
sobre Q pues son races de los polinomios t
2
2 Q[t] y t
2
+1 Q[t] respecti-
vamente. Cualquier elemento a K
[t] y por
lo tanto es algebraico sobre K
, y a K
algebraico sobre K
. El
polinomio mnimo para a sobre K
, denotado m
a,K
, es el polinomio
mnico irreducible nico de grado mnimo m(t) K
y
lo denotaremos gr(a, K
). Es inmediato que si a K
algebraico sobre K
entonces [K
(a)] = gr(a, K
)
Considrese la extensin simple K
(a) de K
[t] K
(a)
sea no trivial. Es entonces un ideal, el cual es principal generado por un
polinomio irreducible mnico de grado positivo m
a,K
el cual es mximo (P
I.3.14) i.e. ker E
a
= m
a,K
. Si suponemos que a es algebraico sobre K
, el
ncleo de E
a
es un ideal, el cual es principal (P I.3.10) generado por m
a,K
[t]/m
a,K
es un campo el cual es isomorfo a E
a
(K
[t]) el cual
es un subcampo de K
[t]/m
a,K
es de la forma f(t)+I donde I = m
a,K
con el grado de f(t) <
grm
a,K
. Luego, cualquier elemento de K
[t]/m
a,K
puede escribirse como
combinacin lineal de n clases laterales 1 +I, t + I,t
2
+ I,...,t
n1
+ I donde
n = gr(m
a,K
). Como t
i
+ I a
i
, vemos que los elementos 1, a,..., a
n1
son base para K
(a) sobre K
. As, [K
(a)] = gr(m
a,K
). (Vase el
Problema 1.8)
Si consideramos la misma extensin simple K
(a) de K
[t] K
(t) y
se tiene un monomorsmo K
(t) K
).
1.16 Ejemplos. Considere la extensin Q C , el polinomio f(t) =
t
2
2 y el homomorsmo de evaluacin E
2
: Q C. Entonces E
2
(f(t)) =
f(
2) = (
2)
2
2 = 0. Luego, f(t) = t
2
2 ker E
2
. As [Q Q(
2)] =
2 = gr(
2, Q), luego m
2,Q
(t) = t
2
2.
Considere la extensin Q C , el polinomio f(t) = t
2
+ 1 y el homo-
morsmo de evaluacin E
i
(f(t)) = f(i) = i
2
+ 1 = 0. Luego, f(t) = t
2
+ 1
ker E
i
. As [Q Q(i)] = 2 = gr(i, Q), luego m
i,Q
(t) = t
2
+1. Anlogamente
y m
i,C
(t) = t i. No es trivial el obtener el polinomio mnimo en general.
1.17 Proposicin. Si una extensin K
K es nita, entonces es
algebraica sobre K
.
Demostracin. Sea a K. Veamos que a es algebraico sobre K
. Por
1.11 el conjunto a
n
, a
n1
, . . . , a
2
, a
1
, a
0
no es linealmente independiente, es
decir, existe una combinacin lineal
n
a
n
+ +
2
a
2
+
1
a
1
+
0
= 0
con no toda
i
= 0. Luego f(t) =
n
t
n
+ +
2
t
2
+
1
t
1
+
0
es un polinomio
no trivial en K
.
El inverso de 1.17 es falso pues hay extensiones algebraicas de grado
innito.
1.18 Teorema. Considere la extensin algebraica K
K. Entonces,
K = K
(a
1
,..., a
n
) para a
1
,..., a
n
K s, y slo si K es una extensin nita
sobre K
.
II.1 Extensiones de Campos 47
Demostracin. Si K = K
(a
1
,..., a
n
), a
i
es algebraico sobre K
y por
lo tanto es algebraico sobre cualquier extensin de K
. Luego, el campo
K
(a
1
) es algebraico sobre K
y generalizando K
(a
1
,..., a
k
) es algebraico sobre
K
(a
1
,..., a
k1
) para k = 2,..., n. Luego K = K
(a
1
,..., a
n
) es una extensin
nita de K
K. La ce-
rradura algebraica de K
en K es el conjunto a K [ a es algebraico
sobre K
y lo denotaremos con K
K
o simplemente, por abuso, K
.
1.20 Proposicin. Si K
K es una extensin y K
K
la cerradura
algebraica de K
en K entonces K
K
es un campo y es la extensin ms
grande de K
en K.
Demostracin. Si a,b K son algebraicos sobre K
entonces a b, ab
y a/b con b ,= 0 son algebraicos sobre K
. Si a,b K
K
entonces K
(a, b)
es una extensin nita y sus elementos son algebraicos sobre K
. Es decir,
K
(a, b) K
K
. Luego, K
K
contiene a todo elemento de K que es algebraico
sobre K
, y as, K
K
es la extensin ms grande de K
contenida en K.
Problemas.
1.1 Considere una familia de campos K
i
para i = 1,..., s tal que cada
K
i+1
es una extensin nita de K
i
. Pruebe que K
s
es una extensin nita
de K
1
y que
[K
1
K
s
] = [K
1
K
2
][K
2
K
3
] [K
s1
K
s
].
1.2 Sea R(i) el subcampo que contiene a los elementos de la forma x+iy,
con x,y R. Pruebe que C = R(i).
1.3 Pruebe que Q R y Q C son extensiones innitas y que
[Q Q(i)] = 2.
1.4 Considrese
: K
[t]/I
dada por
t t +I
48 Captulo II. Teora de Campos y Teora de Galois
Verique que enva a K
[t]/I.
1.5 Pruebe que si f es un polinomio en K
.
1.6 Escriba las tablas de sumar y multiplicar del campo con cuatro ele-
mentos del Ejemplo 1.12.
1.7 Pruebe que el polinomio mnimo para a sobre K
, denotado m
a,K
,
divide a cualquier otro polinomio que tenga a a como raz.
1.8 Pruebe que si a K entonces son equivalentes las siguientes: (i) a es
algebraico sobre K
(a) es nita.
1.9 Compruebe que m
2,Q
(t) = t
2
2, que m
2,R
(t) = t
2
2, y por lo
tanto,
2 es algebraico de grado 2 sobre Q y es algebraico de grado 1 sobre
R. Tambin compruebe que m
i,C
(t) = t i.
1.10 Pruebe la parte "slo si" de 1.18.
1.11 Compruebe que K
[t] sobre K
.
1.12 Considere la extensin QC. Encuentre el polinomio mnimo para
2 +
3 sobre Q.
1.13 Compruebe que Q
2)
= Q(
2,
3
2)
Q(
2,
3
2)] = 1.
II.2 Automorsmos y ms sobre extensiones 49
II.2 Automorsmos y ms sobre extensiones
2.1 Denicin. Sea un anillo. Un automorsmo de es un isomorsmo
de anillos : . Denotaremos con Aut() el conjunto de automorsmos
de .
2.2 Denicin. Sea un subanillo de . Un automorsmo de
sobre es un isomorsmo de anillos : tal que (a) = a para toda
a . Denotaremos con Aut
().
2.4 Ejemplo. Considere = Z. Entoces todo m Z es de la forma
m1 para m Z. Claramente (m1) = m1. Por lo tanto = I
Z
. Luego,
Aut(Z) = I
Z
.
2.5 Proposicin. Sea un dominio entero, (K, f) su campo de co-
cientes y : un automorsmo. Entonces el homomorsmo inducido
: K K es un automorsmo.
Demostracin. Por I.3.4, existe
: K K y
1
=
1
= I.
Por el Problema 2.3 (i),
1
= I
K
. Luego,
posee a
1
como
inverso.
50 Captulo II. Teora de Campos y Teora de Galois
2.6 Denicin. Sea K
K una extensin y f K
tal que f K
[t] se descompone
sobre K
generan el
subcampo K
(a
1
, ..., a
j
) de K
en el cual f
se factoriza en factores lineales en K
[t].
2.7 Denicin. La extensin mnima de K
y lo denotaremos K
f
.
Nos preguntamos si existe una extensin K
K
1
y omitimos el factor (t a
1
) considerando
el polinomio f
1
(t) = f(t)/(t a
1
) K
1
[t]. Luego hacemos lo mismo en-
contrando una extensin K
K
2
que contenga una raz de f
1
(t), etc. As
tenemos el siguiente
2.8 Teorema. Sea f K
.
2.9 Ejemplo. Considere el polinomio f(t) = t
4
4 en Q[t]. Como f(t) =
(t
2
2)(t
2
+ 2) podemos adjuntar las races
2 y
2 de t
2
2 obteniendo
Q(
2,
2) = Q(
2) de grado 2. Nos
jamos en (t
2
+2) Q(
2i y
2i son complejas, no en R,
luego (t
2
+2) es irreducible en Q(
2,
2i) =
Q(
2, i) y la extensin Q(
2)Q(
2)
2
Q(
2, i) C. Luego el
campo de descomposicin de f sobre Q en C es Q(
2, i) y por lo tanto
[Q Q(
2, i)] = 4.
Suponga que a
1
, ..., a
j
K son las distintas races de f K
[t]. K
(a
1
, ..., a
j
)
es el mnimo subcampo que contiene a K
y a las a
i
. Pero K
(a
1
, . . . , a
j
)
est contenido en cualquiera o todo subcampo de descomposicin. Por lo
tanto tenemos la siguiente
2.10 Proposicin. Sea K
una extensin y f K
[t]. Si K
1
y
K
2
son subcampos de descomposicin para f sobre K
entonces K
1
= K
2
.
II.2 Automorsmos y ms sobre extensiones 51
Notacin. (i) Para las extensiones K
K y K
denotare-
mos con hom
K
(K, K
que dejan jo a K
, entonces
hom
K
(K
, K
) =Aut
K
(K
, K
una ex-
tensin y f K
.
2.11 Proposicin. Sea K
una extensin y f K
[t] un poli-
nomio irreducible. Sea a
i
K
(a
i
), K
) y R(f, K
)
poseen la misma cardinalidad.
Demostracin. Considere el diagrama
K
[t]
K
[t]/ f
E
a
a
=
a
i
K
(a
i
)
donde E
a
: K
[t] K
[t]/ f K
2)
= Q[t]/ t
2
2 donde t
2
2 es irreducible
sobre Q, hay dos homomorsmos que dejan jo a Q que envan
2 en
2,
que son races complejas de t
2
2. Estas dos races nos dan los homomorsmos
1, : Q(
2) C
a +b
2 1(a +b
2) = a +b
2
a +b
2 (a +b
2) = a b
2
Si ponemos Q(
2) en lugar de C obtenemos
hom
Q
(Q(
2), C) = hom
Q
(Q(
2), Q(
2)) = Aut
Q
(Q(
2).
52 Captulo II. Teora de Campos y Teora de Galois
Luego [hom
Q
(Q(
2), C)[ = 2.
La siguiente proposicin es clave para comprender el grupo de automor-
smos para el caso de extensiones algebraicas.
2.13 Proposicin. Considere las extensiones K
K y K
.
Entonces
(i) para f K[t], cada hom
K
(K, K
).
(ii) si hom
K
(K, K) entonces
f
: R(f, K) R(f, K) es biyectiva.
Demostracin. (i) Para a R(f, K) se tiene que f((a)) = (f(a)) =
(0) = 0, por lo tanto enva R(f, K) en R(f, K
). Como es inyectiva, su
restriccin a R(f, K) K es una inyeccin tambin.
(ii) De (i),
f
: R(f, K) R(f, K) es inyectiva y como es de un conjunto
nito en s mismo es suprayectiva.
Observe que (ii) dice que cualquier automorsmo de K permuta el con-
junto de races de K de un polinomio f K[t].
2.14 Denicin. Considere la extensin K
, es decir, m
a,K
= m
b,K
.
2.15 Ejemplos. Considere la extensin Q C, i y i son conjugados
sobre Q pues son races del mismo polinomio mnimo sobre Q, m
i,Q
(t) =
t
2
+ 1 = m
i,Q
(t). Si se considera la extensin Q C,
2 y
2 son
conjugados sobre Q pues son races del mismo polinomio mnimo sobre Q,
m
2,Q
(t) = t
2
2 = m
2,Q
(t). Tambin, para Q C,
3
2,
3
2e
2i/3
,
3
2e
4i/3
son conjugados sobre Q pues son races del mismo polinomio mnimo
sobre Q, m
_,Q
(t) = t
3
2.
2.16 Teorema. Sea K
,
n = gr(m
a,K
). Entonces a y b son conjugados sobre K
a,b
: K
(a) K
(b)
dada por
n1
a
n1
+ +
1
a
1
+
0
n1
b
n1
+ +
1
b
1
+
0
II.2 Automorsmos y ms sobre extensiones 53
es un isomorsmo de campos.
Demostracin. Supongamos que a y b son conjugados, es decir, m
a,K
=
m
b,K
. Consideremos el siguiente diagrama
m
a,K
K
[t] K
[t]/ m
a,K
= K
[t]/ m
b,K
E
a
=
a
=
b
K
(a)
a,b
K
(b)
Denimos
a,b
=
b
1
a
el cual es un isomorsmo tal que
a,b
(
n1
a
n1
+ +
1
a
1
+
0
) =
b
1
a
(
n1
a
n1
+ +
1
a
1
+
0
)
=
b
(
n1
a
n1
+ +
1
a
1
+
0
) +m
a,K
=
n1
b
n1
+ +
1
b
1
+
0
.
Ahora veamos que si
a,b
es isomorsmo entonces a y b sern conjugados.
Considere m
a,K
(t) =
n
t
n
+ +
2
t
2
+
1
t
1
+
0
. Entonces
n
a
n
+ +
2
a
2
+
1
a
1
+
0
= 0. Por lo tanto
a,b
(
n
a
n
+ +
2
a
2
+
1
a
1
+
0
) =
n
b
n
+
+
2
b
2
+
1
b
1
+
0
= 0. Luego m
b,K
[m
a,K
. Anlogamente m
a,K
[m
b,K
y
as, a y b son conjugados.
2.17 Ejemplo. Considere la extensin Q Q(
2) y el polinomio
m
2,Q
(t) = t
2
2. Sus races son
2 y
2 y por denicin, son conju-
gadas sobre Q. Por el teorema anterior,
2,
2
: Q(
2) Q(
2) dada
por a+b
2,
2
(a+b
2) = ab
2 es un automorsmo de Q(
2).
2.18 Deniciones. Sea f K
. Un elemento algebraico a K
en una extensin
K
[t] es separable.
Si K
, de la extensin K
, es el orden de hom
K
(K
, K
). Si
K
=
[K
].
Observe que si K
= K
se tiene que K
(a) = [R(m
a,K
, K
)[.
54 Captulo II. Teora de Campos y Teora de Galois
2.19 Proposicin. Si K
K y K K
KK K
= K
.
Demostracin. Problema 2.6.
2.20 Denicin. Considere K
de algn polinomio f K
[t].
Recurdese que hom
K
(K, K
que dejan jo a K
. As, hom
K
(K, K
) = Aut
K
(K
, K
)
se tiene que (K
) = K
. Obsrvese que si K
[t] el cual
posea una raz en K
, se separa en K
que enva a K
en s mismo.
2.21 Teorema. Sea K
K
K
que
"extiende" a
0
.
K
0
[
K [
[ [
K
= K
) y : C K
extiende a
0
. Ordenemos A mediante la relacin
para la cual (C
1
,
1
) (C
2
,
2
) siempre que C
1
C
2
y
2
extiende
a
1
. Luego (A, )es un conjunto parcialmente ordenado. Supngase que
B A es un subconjunto totalmente ordenado. Sea ( =
(C,)Y
C. En-
tonces (K () (K K
para (C
) B entonces
0
,
0
).
II.2 Automorsmos y ms sobre extensiones 55
Supongamos que K
0
,= K
para el
cual a / K
0
. Como K
es algebraico sobre K
0
pues a es algebraico sobre K
0
. Si m
a,K
0
(t) = t
n
+ +
2
t
2
+
1
t
1
+
0
, entonces el polinomio f(t) = t
n
+ +
0
(
2
)t
2
+
0
(
1
)t
1
+
0
(
0
)
(
0
(K
0
))[t] es tambin irreducible y por lo tanto tiene una raz b en K
el cual
es tambin la cerradura algebraica de
0
(K
0
). Por la propiedad universal del
anillo de polinomios K
0
[t],
0
da lugar a
0
como en el siguiente diagrama
K
0
K
0
[t] K
0
[t]/
m
a,K
0
(t)
= K
0
(a)
0
K
Pero (K
0
,
0
) (K
0
(a),
0
) y (K
0
,
0
) ,= (K
0
(a),
0
) contradiciendo
la maximalidad de (K
0
,
0
). Por lo tanto, K
0
= K
y podemos tomar
=
0
.
2.22 Denicin. Considere K
= K
(a).
El siguiente teorema se conoce como el teorema del elemento primitivo.
2.23 Teorema. Sea K
se
construye a partir de una sucesin de extensiones simples, basta considerar
el caso K
= K
respectivamente. Considere a = a
1
, ..., a
r
y b = b
1
, ..., b
s
las distintas races de f y g respectivamente en K
. Como K
es
separable, r = gr (f) y s = gr (g). Para j ,= 1 se tiene que b = b
1
,= b
j
y por
lo tanto la ecuacin a +xb = a
i
+xb
j
tiene solamente una solucin, a saber,
a a
i
= xb
j
xb = x(b
j
b) y x =
aa
i
b
j
b
. Si escogemos una x K
diferente
de estas soluciones (pues K
(a, b) = K
().
2.3 Sean
y dominios enteros, K
: K
K tal que
induce I
= I : K
y
que si
= ()
: K
.
2.4 (i) Pruebe que ( )
: Aut(
) Aut(K
) es un monomorsmo.
(ii) Pruebe que ( )
K y K K
son extensiones
nitas, entonces K
KK K
= K
.
2.7 Pruebe que si K
K y K K
K y K K
es separable.
2.8 Pruebe que K
de algn
polinomio f K
) = K
, K
).
2.9 Considere las extensiones nitas K
K y K K
. Pruebe que si
la extensin K
es normal.
II.2 Automorsmos y ms sobre extensiones 57
2.10 Sea f un polinomio en K
[t]. Un elemento a K
[t] entonces
todas las races de f en K
que dejan jo a
K
).
3.1 Denicin. Una extensin nita K
se llama extensin de
Galois si es normal y separable.
Por el teorema 2.21, todo automorsmo K
se extiende a un
homomorsmo de K
. Luego
tenemos la biyeccin hom
K
(K
, K
) Aut
K
(K
) y por lo tanto
[Aut
K
(K
)[ = K
= [K
].
3.2 Denicin. El grupo de Galois de la extensin K
es el grupo Aut
K
(K
) denotado Gal(K
.
As, [Gal(K
)[ = K
= [K
].
3.3 Ejemplo. Por 1.9 sabemos que [Q Q(
2,
3)] = 4. Conside-
remos Q(
2,
3) = (Q(
2))(
3). El isomorsmo
3,
3
: Q(
2,
3)
Q(
2,
3) dado por c + d
3 c d
3, con c,d Q(
2) es un au-
tomorsmo que tiene a Q(
2,
2
:
Q(
2,
3) Q(
2,
3) tiene a Q(
3,
2,
2
no deja jo ni a
2, ni a
2,
3)). Sabe-
mos que 1,
2,
3,
2,
3) sobre Q. Consideremos
= 1
Aut
Q
(Q(
2,
3))
,
1
=
2,
2
,
2
=
3,
3
y
3
=
3,
2,
2
.
II.3 Teora de Galois 59
Como
1
(
2) =
2,
1
(
6) =
6 y
2
(
3) =
3, Q es el campo jo
de ,
1
,
2
,
3
.
Sea K
).
Denotemos con
(K
)
H
= a K
)
H
es un subcampo de K
que contiene a K
pues si a,b
(K
)
H
y H, (a + b) = (a) + (b) = a + b, (ab) = (a)(b) = ab,
(a
1
) = (a)
1
si a ,= 0 y si c K
(K
)
H
.
Llamaremos a (K
)
H
subcampo jo de H. Si H denota una familia
i
de automorsmos de K
que dejan jo a K
, denotamos con (K
)
{
i
}
al
subcampo jo de la familia
i
.
3.4 Ejemplo. Considere la extensin Q Q(
2) y el polinomio
m
2,Q
(t) = t
2
2. Sus races son
2 y
2 y son conjugadas sobre Q.
Como vimos en el Ejemplo 2.17,
2,
2
: Q(
2) Q(
2) dada por
a + b
2,
2
(a + b
2) = a b
2 es un automorsmo de Q(
2).
Pero a+b
2 = ab
2,
es Q(
2)
{
2,
2
}
= Q.
Por el Problema 2.7, si K
(K
)
H
y (K
)
H
K
)
H
K
)
H
K
)[ = (K
)
H
K
= [(K
)
H
K
]. Todo
automorsmo de Gal((K
)
H
K
) es un subgrupo de Gal(K
).
Observe que por denicin, H Gal((K
)
H
K
) y por el Teorema de
Lagrange, o(H)[o(Gal((K
)
H
K
).
3.5 Proposicin. Si H es un subgrupo de Gal(K
) entonces
Gal((K
)
H
K
) = H.
Demostracin. Como la extensin (K
)
H
K
es separable, por el
teorema 2.23, es una extensin simple, es decir, K
= (K
)
H
(a). Considere
los distintos elementos de H = 1
H
=
1
,
2
,...,
n
. Considere el polinomio
de grado n
f(t) = (t a)(t
2
(a)) (t
n
(a)) K
[t].
60 Captulo II. Teora de Campos y Teora de Galois
Observe que f(t) no cambia al aplicar
j
a sus coecientes puesto que las
races
k
(a) son permutadas por
j
. Por lo tanto, f(t) (K
)
H
[t]. As,
[(K
)
H
K
] = [(K
)
H
((K
)
H
)(a)] n = o(H). Por otro lado, como
H (Gal((K
)
H
K
)) = [(K
)
H
K
)
H
K
)) = [(K
)
H
K
)]
y por lo tanto Gal((K
)
H
K
) = H
Sea K
K) (K
).
Entonces la extensin K K
).
3.6 Denicin. El grupo de Galois Gal(K K
) anterior se llamar
grupo de Galois relativo de las extensiones (K
K) y (K
).
3.7 Proposicin. Considere (K
K) (K
). Entonces
(K
)
Gal(KK
)
= K.
Demostracin. Es claro que K (K
)
Gal(KK
)
. Por otro lado, sea
a K
)
tal que (a) ,= a y por lo tanto a / (K
)
Gal(KK
)
. As, (K
)
Gal(KK
)
K.
Por lo tanto, (K
)
Gal(KK
)
= K.
Consideremos una extensin de Galois nita K
. Sea Subgr(K
) y Subext(K
K de K
, es decir,
donde K es un campo intermedio K
K K
) es un conjunto nito.
Los siguientes resultados constituyen los principales de la Teora de Ga-
lois.
3.8 Teorema . Sea K
) Subext(K
) dada por
H g(H) = ((K
)
H
K
)
y
f : Subext(K
) Subgr(K
) dada por
(K
K) f(K
K) = Gal(K K
)
II.3 Teora de Galois 61
Entonces las funciones f y g son biyecciones mutuamente inversas que preser-
van el orden de contencin inverso.
Demostracin. Utilizando los resultados anteriores, considere las com-
posiciones siguientes
Subgr(K
)
g
Subext(K
)
f
Subgr(K
)
H g(H) = ((K
)
H
K
)
f(g(H)) =
= f((K
)
H
K
)
= Gal((K
)
H
K
)
= H
Subext(K
)
f
Subgr(K
)
g
Subext(K
)
(K
K)
f(K
K)
|
Gal(K K
)
(K
(K
)
Gal(KK
)
=
= (K
K)
i.e., f g = 1
Subgr(K
)
y g f = 1
Subext(K
)
. Luego, f y g son inversos
uno del otro. Si H
1
y H
2
son elementos del conjunto Subgr(K
) tal
que H
1
H
2
entonces (K
(K
)
H
2
) (K
(K
)
H
1
) pues si b (K
)
H
2
entonces permanece jo por todo elemento de H
1
pues H
1
es un subconjunto
de H
2
. Por lo tanto, g tambin invierte el orden. Tambin, si (K
K
1
)
(K
K
2
) son elementos de Subext(K
), entonces como K
1
K
2
,
Gal(K
2
K
) Gal(K
1
K
) y si Gal(K
2
K
) entonces ja
todo elemento de K
1
. Por lo tanto f(K
K
2
) f(K
K
1
) y f invierte
el orden de contencin.
Es de mencionarse que este fenmeno no se estudia solamente en la Teora
de Galois, sino en general en la Teora de Conjuntos Parcialmente Ordena-
dos. Tal par de biyecciones son, de hecho, funtores y se les conoce como
una conexin de Galois. Esto tiene mucha importancia en la Teora de la
Computacin y en la Teora Matemtica de la Msica.
3.9 Proposicin. Sea K
K) (K
)
de las extensiones (K
K) y (K
) es un subgrupo normal de
Gal(K
) si, y slo si (K
) Gal(K
), es
decir, para toda Gal(K K
) y Gal(K
) tenemos que
62 Captulo II. Teora de Campos y Teora de Galois
1
Gal(K K
) y Gal(K K
) (k) K
satisface (k) = (
1
(k)) = (k)
puesto que
1
Gal(K K
); luego (k) (K
)
Gal(KK
)
= K. Por
el Teorema 2.21, todo homomorsmo K K
que deja jo a K
se extiende
a un homomorsmo K
. Por lo tanto,
K
1
Gal(K K
), Gal(K
K
)
1
= Gal(K K
) Gal(K
).
3.10 Proposicin . Sea K
)/Gal(K K
= Gal(K
K)
dado por Gal(K K
) [
K
.
Demostracin. Como K
) Gal(K
K)
[
K
es un homomorsmo de grupos con ncleo Gal(K K
). As que obtenemos
un monomorsmo
Gal(K
)/Gal(K K
) Gal(K
K)
tal que
o(Gal(K
)/Gal(K K
)) = [K
]/[K K
]
= [K
K] = o(Gal(K
K))
y por lo tanto es un isomorsmo.
3.11 Ejemplo. El problema 3.1 y el ejemplo 3.3 nos dicen que
Gal(Q Q(
2,
3))
= V
II.3 Teora de Galois 63
y que los cuatro automorsmos ,
1
,
2
,
3
dejan jo a Q. Los diagramas
siguientes ilustran la correspondencia de Galois para la extensin
Q Q(
2,
3) :
Q(
2,
3)
[
Q(
3) Q(
2) Q(
6)
[
Q
Gal(Q Q(
2,
3))
[
,
1
,
2
,
3
de grado l. Veamos a K
. Supongamos que K
tiene q elementos.
Luego, cualquier elemento u de K
l
i=1
K
y v
i
l
i=1
una base de K
. Hay q
l
expresiones para u pues cada
i
puede ser cualquiera de los q elementos de
K
. Luego K
tiene q
l
elementos.
Observe que si K
donde K
= Z
p
. Luego K
tiene p
l
elementos, para
l un entero positivo, es decir, [K
[ = p
[ZpK
]
.
Ahora, si consideramos el grupo multiplicativo (K
de los elementos
distintos de cero de K
, el orden de a, o(a)[o((K
) = p
l
1. Luego a
p
l
1
= 1 y
a
p
l
= a. por lo tanto, cualquier elemento de K
est contenido en Z
p
, los elementos
de K
(t) =
p
l
t
p
l
1
1 = 1. Por el problema 3.4 todas las races de f(t) en Z
p
son
simples. Luego, f posee p
l
races distintas en Z
p
. Si 0, a
1
,..., a
p
l
1
son las
64 Captulo II. Teora de Campos y Teora de Galois
distintas races, entonces en Z
p
[t], t
p
l
t = t(t a
1
) (t a
p
l
1
) y cada raz
es separable sobre Z
p
.
Denotemos con F
p
l = a Z
p
[ f(a) = 0 Z
p
.
3.12 Teorema . F
p
l es un subcampo de Z
p
con p
l
elementos, l 1.
Demostracin. Si a,b F
p
l entonces (a + b)
p
l
(a + b) = (a
p
l
+ b
p
l
)
(a+b) = (a
p
l
a)+(b
p
l
b) = 0 y (ab)
p
l
(ab) = (a
p
l
b
p
l
)(ab) = abab = 0.
Claramente 0,1 son races de t
p
l
t. Si a ,= 0, a
p
l
= a y (1/a)
p
l
= 1/a. Por
lo tanto, F
p
l es un subcampo de Z
p
.
Observe que Z
p
F
p
l y que Z
p
F
p
l es una extensin nita. El sub-
campo F
p
l se llama campo de Galois de orden p
l
. Se acostumbra denotar
a Z
p
con F
p
. Tambin se usa la notacin GF(p
l
) para F
p
l en la literatura
sobre este tema. Es claro que [F
p
F
p
l ] = l.
Problemas.
3.1 Compruebe que Aut
Q
(Q(
2,
3)) = Gal(Q Q(
2,
3))
= V (el
grupo 4 de Klein).
3.2 Pruebe que el grupo de Galois Gal(K K
K) y (K
) es un subgrupo de Gal(K
), es decir,
Gal(K K
) Gal(K K
)) = [K
].
3.3 Recuerde que [A-D-Ll-M p.107] una accin de un grupo G en un
conjunto X es transitiva si para cualesquiera x,y X existe g G tal que
gx = y. Tambin decimos que la accin es libre si solamente para g = e G
se tiene que gx = x, de otra manera, si para cuando g ,= e G, gx ,= x.
Pruebe que si K
es el
campo de descomposicin de un polinomio irreducible de grado n f K
[t]
entonces el grupo Gal(K
).
3.4 Considere el anillo de polinomios K[t] para un campo K. Se dene la
derivada : K[t] K[t] dada por (f(t)) = (
n
t
n
+ +
2
t
2
+
1
t
1
+
0
) = n
n
t
n1
+ + 2
2
t
1
+
1
= f
(t);
i
K. Pruebe que si f K[t]
65
posee una raz a K
sea
nito.
3.6 Pruebe que F
p
l F
p
es el subcampo de descomposicin para los
polinomios t
p
l
t y t
p
l
1
1 sobre F
p
.
3.7 Pruebe que F
p
l es el nico subcampo (salvo isomorsmo) con p
l
ele-
mentos.
3.8 Considere F
p
k y F
p
l dos campos de Galois de caracterstica p. Pruebe
que F
p
k es subcampo de F
p
l si, y slo si, k divide a l.
3.9 Dibuje un diagrama de los subcampos de F
p
60 ordenados via la divisi-
bilidad por l = 60.
66
Bibliografa y Referencias
[Am] Amiot, E. Rhythmic Canons and Galois Theory. H. Fripertinger, L.
Reich (Eds.). Colloquium on Mathematical Music Theory. Grazer Math.
Ber. Bericht Nr. 347. (2005).
[A-D-Ll-M] Agustn-Aquino, O., du Plessis, J., Lluis-Puebla, E., Montiel,
M. Una introduccin a la Teora de Grupos con aplicaciones en la Teora
Matemtica de la Msica. Pub. Electr. Sociedad Matemtica Mexicana.
Serie textos. Vol. 10 (2009).
[A-Ll1] Ace, F., Lluis-Puebla, E. Matemtica en la Matemtica, Msica,
Medicina y Aeronutica. Pub. Electr. Sociedad Matemtica Mexicana.
Serie Divulgacin. Vol. 1 (2006).
[A-Ll2] Ace, F., Lluis-Puebla, E. Matemtica en la Matemtica II, Msica
II, Naturaleza y Nuestro Cuerpo. Pub. Electr. Sociedad Matemtica Mexi-
cana. Serie Divulgacin. Vol. 2 (2007).
Artin E. Galois Theory. (1944 Segunda Ed.) Dover. (1998).
Baker, A. An Introduction to Galois Theory. www.maths.gla.ac.uk/~ajb/dvi-
ps/Galois.pdf (2007).
Bewersdor, J. Galois Theory for Beginners. Student Math. Library. Vol.
35. American Mathematical Society. (2006).
Birkho, G. MacLane, S. Algebra.Macmillan. (1968).
Bourbaki, N. Algebra I. Addison Wesley. (1973).
[F] Fraleigh, J.B. Abstract Algebra. Seventh Edition. Addison Wesley.
(2003).
67
68 Bibliografa y Referencias
Hu, S-T. Elements of Modern Algebra. Holden-Day. (1965).
Hungerford, T.W. Algebra. Springer. (1980).
Lang, S. Algebra. Addison Wesley. (1965).
[Ll1] Lluis-Puebla, E. lgebra Homolgica. Addison Wesley Ib. (1990).
[Ll2] Lluis-Puebla, E. lgebra Lineal. Sitesa. (1997).
[Ll3] Lluis-Puebla, E. Teora de Grupos, un primer curso. Pub. Electr.
Sociedad Matemtica Mexicana. Vol. 6 (2006).
[Ll-M-N] Lluis-Puebla, E., Mazzola, G. and Noll, T. (Eds.). Perspectives in
Mathematical and Computational Music Theory. EpOs, 149164, Univer-
sitt Osnabrck. (2004).
Milne, J.S. Fields and Galois Theory. www.jmilne.org/math/CourseNotes/
ft.html. (2003).
Morandi, P. Field and Galois Theory. Graduate Texts in Mathematics Vol.
167. Springer. (1996).
Rotman, J.J. Galois Theory. Second Edition. Universitext, Springer. (2001)
Snaith, V.P. Groups, Rings and Galois Theory. World Scientic. (2003).
Stewart, I. Galois Theory. Chapman & Hall. (2004).
Lista de Smbolos
(, +, ) 9
1 10
o
10
< 10
ker f 13
f
1
13
f :
=
13
13
im f 13
f :
13
f :
13
14
End(G, G) 14
f
1
15
car () = 0 18
car () = n 18
x +I 19
/I 20
p 20
(, f, t) 25
f
x
26
[t] 27
gr () 27
E
a
27
f
@
28
S 28
t
1,
..., t
n
28
30
(K, f) 30
t
n
1 =
d|n
d
(t) 35
K
K 38
K
K 38
K : K
38
K
< K 38
K
[
K
38
(K
K) (K
) 39
[K
K] 39
K
(X) 42
K
(a
1
, ..., a
j
) 42
K
(a
1
, ..., a
j
) 42
gr (a, K
) 45
K
K
47
K
47
Aut () 49
Aut
() 49
K
f
50
hom
K
(K, K
) 51
Aut
K
(K
, K
) 51
R(f, K
) 51
K
53
Gal (K
) 58
(K
)
H
59
(K
)
{
i
}
59
69
70 Lista de smbolos
Subgr (K
) 60
Subext (K
) 60
F
p
64
GF(p
l
) 64
64
ndice Analtico
A
accin
libre 64
transitiva 64
algebraica(o)
cerradura 47
elemento 44
nmero 45
extensin 45
anillo 9
caracterstica de un 18
cociente sobre su ideal I 20
con uno 10
con divisin 10
con identidad 10
conmutativo 10
de caracterstica 0 18
de polinomios de 25
opuesto 10
anillos
homomorsmo de 12
ismorsmo de 13
isomorfos 13
automorsmo 13, 49
de sobre 49
de Galois 58
B
base 28
C
campo 10
base de una extensin 37
de cocientes con s indeter-
minadas 31
de cocientes de 30
de descomposicin 50
de funciones racionales con s
indeterminadas 31
de Galois 64
extensin de un 37
intermedio 40
campos primos 32
caracterstica
0 18
de un anillo 18
cero de un polinomio 28
cerradura algebraica 47
clases laterales 19
cociente de
anillo sobre su ideal 20
grupos 19
coeciente inicial 27
coecientes del polinomio 27
combinaciones lineales 28
71
72 ndice Analtico
constantes 27
criterio de Einsenstein 32
D
derivada 64
divisores de cero 10
dominio de ideales principales 28
dominio entero 10
E
elemento
algebraico 44
grado de un 45
invertible por la derecha 17
invertible por la izquierda 17
primitivo 55
separable 53
trascendente 45
elementos conjugados 52
endomorsmo 13
epimorsmo 13
extensin
algebraica 45
de Galois 58
de K de K
38
de K
en K 38
de un campo 37
elemento primitivo de una 55
nita 40
nita separable 53
nitamente generada 42
generada por 42
innita 40
K de K
38
normal 54
simple 42
trascendente 45
extensiones isomorfas 39
F
nita
extensin 40
separable 53
nitamente generada(o)
extensin 42
ideal 28
funcin polinomial 28
G
Galois
campo de 64
extensin 58
grupo 58, 60
generadores del ideal 28
grado
de K sobre K
39
de separabilidad de una ex-
tensin 53
de un elemento sobre K
45
de un polinomio 27
grupo
cociente 19
de Galois de una extensin 58
de Galois relativo a las ex-
tensiones 60
H
homomorsmo
de anillos 12
de evaluacin o sustitucin 27
de identidad 14
inducido por f 21
trivial 13
I
ideal 11
base del 28
ndice Analtico 73
de generado por S 28
derecho 11
nitamente generado 28
izquierdo 11
maximo 29
primo 29
principal 28
ideales
propios no triviales 12
triviales 11
imagen de f 13
inclusin 14
indeterminada 27
inverso
de f 13
derecho 17
izquierdo 17
invertible 17
por la derecha 17
por la izquierda 17
isomorfas(os)
anillos 13
extensiones 39
isomorsmo 13
isomorsmo de anillos 13
L
ley distributiva 9
M
monomorsmo 13
N
ncleo de f 13
nmero
algebraico 45
trascendente 45
P
polinomio
cero de un 28
mnimo 45
raz de un 28
separable sobre K 53
polinomios
ciclotmicos 35
en la indeterminada t con
coecientes en el anillo 27
Primer teorema de isomorsmo 22
proyeccin cannica 20
R
races n-simas de la unidad 35
raz
de multiplicidad n 57
de un polinomio 28
S
Segundo teorema de isomorsmo 23
separable
elemento 53
extensin nita 53
polinomio 53
subanillo 10
de generado por S 28
de generado por S 28
subcampo 11
jo 59
jo de una familia 59
generado por S 18
obtenido por adjuncin de un
conjunto 42
subdominio 11
generado por S 18
subextensin de campos 39
T
74 ndice Analtico
Teorema
de isomorsmo
Primer 22
Segundo 23
Tercer 23
de Kronecker 44
del elemento primitivo 55
Tercer teorema de isomorsmo 23
trmino constante 27
trascendente
elemento 45
extensin 45
nmero 45
U
unidad 17