Teoria Galois

Publicaciones Electrnicas
Sociedad Matemtica Mexicana

Teora de Galois,
un primer curso.

Flor de Mara Aceff
Emilio Lluis-Puebla

www.smm.org.mx
Serie: Textos. Vol. 14 (2011)

Teora de Galois,
un primer curso.

Flor de Mara Aceff
y
Emilio Lluis-Puebla
Universidad Nacional Autnoma de Mxico

Publicaciones Electrnicas
Sociedad Matemtica Mexicana

ndice General
Prefacio 5
Introduccin 7
I Teora de Anillos 9
I.1 Anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
I.2 Propiedades elementales y
Teoremas de Isomorsmo . . . . . . . . . . . . . . . . . . . . . 16
I.3 Polinomios y Campo de Cocientes . . . . . . . . . . . . . . . . 25
II Teora de Campos y
Teora de Galois 37
II.1 Extensiones de Campos . . . . . . . . . . . . . . . . . . . . . . 37
II.2 Automorsmos y ms sobre extensiones . . . . . . . . . . . . . 49
II.3 Teora de Galois. . . . . . . . . . . . . . . . . . . . . . . . . . 58
Bibliografa y Referencias 67
Lista de Smbolos 69
ndice Analtico 71
3
4
Prefacio
La teora general de las estructuras es una herramienta muy poderosa. Siem-
pre que alguien pruebe que sus objetos de estudio satisfacen los axiomas de
cierta estructura, obtiene, de inmediato para sus objetos, todos los resulta-
dos vlidos para esa teora. Ya no tiene que comprobar cada uno de ellos
particularmente. Actualmente, podra decirse que las estructuras permiten
clasicar las diversas ramas de la Matemtica.
Este texto contiene el trabajo escrito a lo largo de varios aos del mate-
rial correspondiente a nuestro curso sobre la materia (lgebra Moderna II)
que hemos impartido en la Facultad de Ciencias de la Universidad Nacional
Autnoma de Mxico. Despus de haber ofrecido por muchos aos el curso
con excelentes textos, algunos citados en la Bibliografa, y de los cuales hemos
sido inspirados, decidimos escribir uno que siga el enfoque de los libros [Ll1]
[Ll2] y [Ll3]. Es decir, escogimos una presentacin moderna donde introduci-
mos el lenguaje de diagramas conmutativos y propiedades universales, tan
requerido en la Matemtica actual as como en la Fsica y en la Ciencia de
la Computacin, entre otras disciplinas.
Ha sido nuestra intencin la de llegar al Teorema Principal de la Teora de
Galois de la manera ms corta y elegante posible. Hemos visto que el exponer
demasiado material hace muy tedioso el curso a los alumnos y al profesor,
adems de que algunos alumnos pierden de vista el objetivo dentro de un
mar de deniciones y proposiciones. Creemos haber logrado este propsito.
El texto consta de dos captulos con tres secciones cada uno. Cada seccin
contiene una serie de problemas que se resuelven con creatividad utilizando
el material expuesto, mismos que constituyen una parte fundamental del
texto. Tienen tambin como nalidad, la de permitirle al estudiante redactar
matemtica. El libro est diseado para un primer curso sobre la Teora de
Galois el cual se cubre en su totalidad en cuarenta horas de clase.
5
6 Prefacio
Deseamos agradecer a nuestros alumnos y a los rbitros revisores el haber
hecho oportunas y acertadas sugerencias para mejorar este texto. Cualquier
falta u omisin que an permanezca es de nuestra exclusiva responsabilidad.
En particular, el segundo autor de este libro agradece y aprecia el enorme
esfuerzo y dedicacin de su esposa, la Dra. Flor de Ma. Ace quien a
pesar de su delicado estado de salud por varios aos, siempre mostr el
profesionalismo y amor a la Matemtica trabajando en el presente texto con
todo su entusiasmo.
Finalmente, comento que hemos decidido incluir este texto dentro de
las Publicaciones Electrnicas de la Sociedad Matemtica Mexicana con el
nimo de predicar con el ejemplo y mostrar la conanza en este tipo de
publicaciones.
Ciudad Universitaria.
Agosto de 2011.
Introduccin
Como es frecuente en la Matemtica, los intentos por resolver un problema
especco dan lugar a una Teora Matemtica. En este caso, los intentos
por encontrar soluciones por radicales de ecuaciones algebraicas dan como
resultado varias de las ramas de la Matemtica: la Teora de Grupos, la
Teora de Anillos y la Teora de Galois entre otras. En [A-Ll1] y [A-Ll2] el
lector puede encontrar otros ejemplos de esta situacin. La Teora de Galois
es una interaccin entre grupos, campos y polinomios, entre el lgebra Lineal
y la Teora de Grupos.
Se sabe de la escuela secundaria cmo encontrar por el mtodo de radi-
cales las soluciones de un polinomio cuadrtico, con coecientes en R, de la
forma f(t) = at
2
+ bt + c, con a ,= 0. Esto lo saban los antiguos babilo-
nios alrededor del ao 1600 A.C. Las races estn dadas mediante la frmula
(b
2
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
K una extensin imitando una torre rotada 90 grados a la

derecha, es decir, una torre acostada de campos ya que esto facilita visualizar
especcamente los campos y su respectiva inclusin en otros.
Captulo I
Teora de Anillos
I.1 Anillos
En esta seccin deniremos varias estructuras algebraicas que son los objetos
de estudio de la Teora de Anillos. Para un breve panorama de algunas
estructuras algebraicas incluyendo las de los anillos vase [Ll3]. Supondremos
que el lector ya conoce los fundamentos de la Teora de Grupos como en [Ll3]
y utilizaremos la notacin que ah se expone.
1.1 Denicin. Un anillo es una terna (, +, ) donde es un conjunto
no vaco, + y son operaciones binarias tales que
(i) (, +) es un grupo conmutativo
(ii) (, ) es un semigrupo
(iii) u(v +w) = uv +uw y (u +v)w = uw +vw
La propiedad (iii) se llama ley distributiva.
Ntese que se ha suprimido el smbolo , en uv, como es usual en la
notacin utilizada en la Teora de Grupos.
1.2 Ejemplos. El lector podr comprobar que (Z, +, ), (Z
n
, +, ), (Q, +, ),
(R, +, ), (M
n
K, +, ), (K, +, ), (K[x], +, ), (C, +, ) son anillos, (Problema
1.1).
Si un anillo (, +, ) satisface
9
10 Captulo I. Teora de Anillos
(iv) (, ) es un semigrupo conmutativo, entonces (, +, ) se llamar
anillo conmutativo.
Si (, ) es un monoide, diremos que (, +, ) es un anillo con identidad
o con uno. Denotaremos con 1 a este nico elemento neutro del monoide.
Si consideramos un anillo con multiplicacin dada por (u, v) uv
pero denimos su multiplicacin como (u, v) vu, obtendremos un anillo
llamado opuesto de , denotado
o
, que tiene el mismo elemento cero y
uno de . Dicho anillo coincide con solamente cuando es conmutativo.
Si el producto de dos elementos distintos de cero de un anillo es el ele-
mento cero del anillo, entonces esos dos elementos se dice que son divisores
de cero. Si un anillo conmutativo (, +, ) con 1 ,= 0 no posee divisores de
cero, se llamar dominio entero. Si un dominio entero posee un inverso
multiplicativo para cada elemento no nulo, se dice que es un anillo con
divisin.
Observe 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 (Problema
1.2). Los cuaternios H constituyen un ejemplo de anillo (no conmutativo)
con divisin (Problema 1.3).
Finalmente, un campo es un anillo conmutativo con divisin.
1.3 Ejemplos. Z es un dominio entero, 2Z es un anillo conmutativo
sin elemento de identidad para la multiplicacin; Z
n
no es dominio entero
para toda n, solamente cuando n es primo. Q, R y C son campos bajo
las operaciones binarias usuales en cada uno. Las matrices cuadradas sobre
cualquiera de los tres campos mencionados son un anillo no conmutativo con
uno. Los enteros mdulo n son anillos conmutativos con uno y cuando n
es primo, son campos. 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.4 Denicin. Diremos que un subconjunto de un anillo (, +, )
es un subanillo de si es, a la vez, un anillo estable o cerrado [Ll3,
I.1.6] bajo las operacines binarias inducidas. Lo denotaremos < . Si el
subanillo de un anillo es un dominio entero, entonces diremos que es
I.1 Anillos 11
un subdominio de . Si el subanillo de un anillo es un campo, entonces
diremos que es un subcampo de .
De la denicin de subanillo es inmediato el siguiente resultado que pro-
porciona una manera de comprobar si un subconjunto de un anillo es un
subanillo de l.
1.5 Proposicin. Un subconjunto de un anillo (, +, ) es un subanillo
de si, y slo si, es estable o cerrado bajo + y , i.e., si xy y xy
para cualesquiera x, y .
Demostracin. Vase el Problema 1.4.
1.6 Ejemplos. Para todo entero n Z, nZ < Z. Z < R < C. Pero
como dominios enteros, Z es un subdominio de R y nZ no es un subdominio
de Z para n distinto de 1 y 1. Q es un subcampo de R, pero Z no es un
subcampo de R.
Es fcil ver que un subanillo no trivial de un dominio entero es un
subdominio de s, y slo si, contiene al elemento de identidad de
(Problema 1.7). Asmismo, es fcil ver que un subanillo de un campo es
un subcampo de s, y slo si, para todo elemento x , su inverso x
1

(Problema 1.8).
A continuacin, veamos un concepto que hace el papel para la Teora de
Anillos equivalente a la de subgrupo normal para la Teora de Grupos.
1.7 Denicin. Un subanillo I de un anillo se llamar ideal izquierdo
de si para toda x y para toda a I se tiene que xa I, es decir,
I I. Un subanillo I de un anillo se llamar ideal derecho de si
para toda x y para toda a I se tiene que ax I, es decir, I I. Un
subanillo I de un anillo se llamar ideal de si es ideal izquierdo e ideal
derecho a la vez.
1.8 Ejemplos. El subanillo nZ es un ideal de Z. Los subanillos y 0
son los ideales triviales de . Los ideales izquierdos de son los ideales
derechos de
o
.
Observe que si es un anillo e I un ideal de , la parte aditiva de
constituye un grupo abeliano y, por lo tanto, I es un subgrupo normal de .
Los ideales de un anillo distintos de los triviales se llamarn ideales propios
no triviales.
1.9 Proposicin. Sea un anillo con divisin. Entonces solamente
posee ideales triviales.
Demostracin: Sea I un ideal no trivial cualquiera de . Como I
es no trivial, posee un elemento a I diferente de cero. Por ser I ideal,
1 = aa
1
I. Por lo tanto, = 1 I I. Luego, I = .
Observe que debido a esta proposicin, un campo no puede poseer ideales
propios no triviales.
Cmo se relacionan dos anillos? Mediante funciones que preserven la
estructura de anillos.
1.10 Denicin. Si (, , ) y (
, +, ) son anillos, un homomorsmo

de anillos es una funcin que es un homomorsmo del grupo conmutativo
de en el grupo conmutativo de
y que tambin es un homomorsmo del

semigrupo de en el semigrupo de
, 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 :
un homomorsmo de anillos. Di-

remos que f es un isomorsmo, y escribiremos 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
son isomorfos si existe un isomorsmo f :

=

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 =
, entonces diremos que f es un isomor-

smo. De otra manera, f es un monomorsmo cuando es inyectiva; es un
epimorsmo cuando es suprayectiva y es un isomorsmo cuando es biyectiva.
Llamaremos endomorsmo a un homomorsmo f : y diremos que
es automorsmo si dicha f es biyectiva.
Observe que, como grupos conmutativos, 2._ : Z 2Z dado por x 2x
establece un isomorsmo de grupos abelianos pero, como anillos no se tiene
un isomorsmo.
Diremos que un homomorsmo f :
es trivial si f(x) = 0 para

todo x . Es decir, im f = 0. Equivalentemente, f = 0 si, y slo si,
ker f = .
Recurde que si A es un subconjunto de B, la funcin : A B dada
por (a) = a B para toda a A se llama inclusin de A en B. La
funcin identidad de un anillo en s mismo es un homomorsmo llamado
homomorsmo de identidad.
1.14 Proposicin. Sean 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.
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 :
un homomorsmo de anillos. En-

tonces ker f es un ideal de e imf es un subanillo de
.
Demostracin. Por [Ll3, I.3.20] ker f e imf son subrupos de la parte
abeliana aditiva de y
respectivamente y fcilmente se puede ver que

son subsemigrupos de la parte multiplicativa 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
un anillo. Por la proposicin

anterior, ker f es un ideal de y por 1.9, como es campo, no posee ideales
no triviales, es decir, solamente posee al 0 y a como ideales. Como f no
es trivial, ker f = 0 y por lo tanto, f es monomorsmo.
Es inmediato comprobar que todo dominio entero nito es un anillo con
divisin (Problema 2.1) y que todo dominio entero conmutativo nito es
un campo (Problema 1.17). Observe que todo dominio entero y anillo con
divisin poseen al menos los elementos de identidad bajo la suma y multipli-
cacin. Por ejemplo, el dominio entero Z no es un campo pues todo entero
distinto de 1 no posee inverso.
De manera semejante a [Ll3, I.3.18] se tiene la siguiente
2.3 Proposicin. La interseccin de subanillos de un anillo es un sub-
anillo.
Demostracin. Vase el Problema 2.5.
Imitando la denicin de [Ll2, I.2.17] para espacios vectoriales, tenemos
2.4 Denicin. Sea S un subconjunto de un anillo . La interseccin
de todos los subanillos de que contienen a S se llama subanillo de
generado por S.
Deniciones semejantes se tienen de subdominio o subcampo gene-
rado por un subconjunto S.
2.5 Denicin. Diremos que un anillo es de caracterstica 0 (deno-
tada car() = 0) si n = 0 es el nico entero tal que nx = 0 para toda x .
Si no es de caracterstica 0, el menor entero positivo n tal que nx = 0 para
toda x se llama caracterstica del anillo (denotada car() = n).
2.6 Ejemplos Los anillos Z, Q, R y C tienen caracterstica 0. El anillo
Z
n
tiene caracterstica n.
2.7 Proposicin.
(i) Sea un anillo con 1. La caracterstica de es igual al orden del
elemento 1. De no ser as, es de caracterstica 0 si el grupo aditivo de
es de orden innito.
(ii) Si no posee divisores de 0, todos los elementos distintos de cero
tienen el mismo orden.
(iii) Si es un anillo no trivial sin divisores de cero tal que car() ,= 0,
entonces es de caracterstica igual a un nmero primo.
Demostracin. (i) Sea n el orden del 1, es decir, n veces 1+1+ +1 =
0. Entonces, nx = n(1x) = (n1)x = 0 para toda x . As, es de
caracterstica n. Es claro que es de caracterstica 0 si el 1 es de orden
innito.
(ii) Sean x,y cualesquiera dos elementos distintos de cero del anillo y
supongamos que x es de orden n. Luego, x(ny) = n(xy) = (nx)y = 0y = 0.
Por hiptesis, no posee divisores de cero y como x es distinto de cero, se
tiene que ny = 0. Como y es arbitrario, cualquier elemento distinto de cero
tiene orden n.
(iii) Sea n = car(). Como ,= 0, podemos escoger un elemento x ,=
0. Luego, por (ii), x es de orden n. Veamos que n debe ser un nmero
primo. Supongamos que n se factoriza como producto de dos primos n = pq.
Entonces, (px)(qx) = pqxx = nxx = 0. Como no posee divisores de cero,
px qx debe ser 0. Como x es de orden n, p q es n y el que queda es 1.
Por lo tanto, n es primo.
Por la proposicin anterior podemos decir que un anillo no trivial sin
divisores de cero es de caracterstica 0 s, y slo si, todo elemento distinto
de cero es de orden innito. De otra manera, la caracterstica car() es un
nmero primo y todo elemento distinto del cero es de orden p.
Recordando el concepto de espacio vectorial cociente estudiado en el curso
de lgebra Lineal como en [Ll2, II.4] o en la Teora de Grupos como en [Ll3,
II.2] y considerando la parte aditiva, se tena que, para el caso en que es
un grupo conmutativo e I un subgrupo de con x , denotbamos con
x +I el conjunto x+y[y I. Dichos elementos x +I los llamamos clases
laterales de I en . Como 0 I y x = x +0 x +I, cada x pertenece
a una clase lateral.
Se comprob que cualesquiera dos clases laterales o son ajenas o son
iguales. Se denot con /I el conjunto de todas las clases laterales de I en
y se le dio a /I una estructura de grupo mediante
+: /I /I /I
dada por
((x +I), (y +I)) ((x +y) +I).
Tambin se comprob que la operacin binaria anterior est bien denida
y que dene una estructura de grupo abeliano (la parte aditiva de espacio
vectorial) en /I. Llamamos a /I, grupo cociente de mdulo I.
Tambin, se vio que si I es un subgrupo del grupo y si y x + I,
entonces existe w I tal que y = x + w. As y x = w I. Luego,
y x I (y x) = x y I x y +I. En resumen,
y x +I y x I x y +I
Finalmente, se consider p: /I dada por x x +I. Si x,w ,
entonces
p(x +w) = (x +w) +I = (x +I) + (w +I) = p(x) +p(w).
Por lo tanto, p es un homomorsmo de grupos llamado proyeccin
cannica.
Todo esto se realiz para espacios vectoriales sobre un campo K. Re-
curdese de nuevo que la parte aditiva es un grupo conmutativo. Lo mismo
sucede para la parte abeliana aditiva de los anillos. Si es un anillo e I un
ideal de , la parte aditiva de constituye un grupo abeliano y, por lo tanto,
I es un subgrupo normal de .
Ahora, para un anillo e I un ideal de , denamos en el grupo cociente
/I una multiplicacin
: /I /I /I
dada por
((x +I), (y +I)) ((x y) +I)
Si tomamos elementos cualesquiera x,y y a,b I entonces,
(x +a)(y +b) = xy +xb +ay +ab xy +I
por la distributividad e I ser un ideal. Luego
(x +I)(y +I) xy +I.
As, la clase lateral xy + I no depende de los elementos x e y y nicamente
s depende de las clases laterales (x + I) y (y + I) lo cual nos dice que la
multiplicacin anterior est bien denida haciendo por lo tanto de /I un
anillo. Llamaremos a /I anillo cociente de sobre su ideal I. Si
posee elemento de identidad 1, entonces 1+I es la identidad en /I. Observe
que si es conmutativo, tambin /I lo es.
Considere p: /I dada por x x +I. Si x,y , entonces
p(xy) = (xy) +I = (x +I)(y +I) = p(x)p(y).
Luego, p es un epimorsmo de anillos, denotado p : /I, con ncleo
I = ker p. As tenemos una sucesin exacta corta [Ll3, II.1]:
0 I
i
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 :
un homomorsmo de anillos con ideales I e I
tales que f(I) I
, entonces f
: /I
/I
dado por f
(x+I) = f(x)+I
es el homomorsmo inducido por f en los grupos abelianos cociente [Ll3, II.3].

Como
f
((x +I)(y + I)) = f
(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 :
un homomorsmo de anillos con

ideales I e I
tales que f(I) I
. Considrense las proyecciones

cannicas a los cocientes correspondientes p : /I y p
/I
.
Entonces f
: /I
/I
es el homomorsmo inducido por f, el siguiente

cuadrado es conmutativo
/I
f
/I

e imf
= p
(imf) y ker f
= p(f
1
(I
)).
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
es un isomorsmo en el siguiente diagrama conmutativo:
p
= I
/ ker f
f

2.10 Teorema. Sea f :
un homomorsmo de anillos con ideales

I e I
tales que f(I) I
y como caso particular del teorema

anterior, e = I
con I ker f. Entonces existe un homomorsmo nico

f
: /I
dado por x + I f
(x + I) = f(x) + I
= f(x). Adems,
ker f
= ker f/I e imf = imf
. El homomorsmo f
es un isomorsmo si,
y slo si, f es un epimorsmo e I = ker f.
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 :
es un epimorsmo de anillos con n-

cleo ker f, entonces existe un isomorsmo nico f
: / ker f

=
, tal que
f = f
p, es decir, cualquier homomorsmo de con ncleo ker f tiene

imagen isomrca a / ker f. An ms, nos dice cul isomorsmo: aquel
tal que imf = imf
. Este resultado, / ker f

= imf se conoce como el
Primer Teorema de Isomorsmo. Uno puede "determinar" cul es el
anillo cociente de dos anillos sin necesidad de establecer las clases laterales
como veremos en ms adelante.
2.12 Ejemplo. Sea I un ideal de un anillo . Consideremos el anillo
cociente /I. Sea : I el monomorsmo de inclusin y p: /I
el epimorsmo de proyeccin. Entonces im = I = ker p y, por lo tanto,
0 I

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
= ker f el cual es un ideal de , entonces f
establece un isomorsmo
I

=

y f establece otro isomorsmo /I

=

por el primer teorema

de isomorsmo. Por lo tanto, una sucesin exacta corta es una sucesin con
un ideal y el anillo cociente de un anillo.
2.13 Ejemplo. f :
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
.
2.14 Teorema. (Segundo Teorema de Isomorsmo). Sean I,J
ideales de . Entonces (I +J)/J

= I/(I J).
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
.
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
). Luego f es un homomorsmo. Como es de carac-

terstica 0, el 1 es de orden innito. As que el ncleo de f consiste solamente
del 0 y por lo tanto, f es monomorsmo. Claramente, la imagen de Z bajo
f es el subgrupo de .
(ii) Si no es de caracterstica 0 entonces la caracterstica de es un
nmero primo p y el 1 es de orden p. Por lo tanto, el ncleo de f es el ideal
pZ. Luego f induce un monomosmo f
: 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.
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 :
con g(1) como identidad de
y todo elemento y
que con-
muta con g(x) para toda x , existe un homomorsmo nico h :
tal que h(t) = y y h f = g, es decir, el siguiente diagrama conmuta:

g

h
3.2 Teorema. Sea (, f, t) un anillo de polinomios de . Entonces

el conjunto f() t genera . Adems, si (
, f
, t
) es otro anillo de
polinomios de , entonces existe un isomorsmo nico k :
tal que
k(t) = t
y k f = f
.
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 :
un monomorsmo con g(1) como identidad tal

que cualquier elemento y
conmute con g(x) para toda x . Denamos

h :
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 .
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
], el cual se puede probar que es isomorfo a

([t
])[t]. Usando esta identicacin lo denotaremos simplemente con [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
[t] un anillo de polinomios de un subanillo
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
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] determina una funcin de

en . Formalmente, podramos resumir que la asignacin f f
@
determina
un homomorsmo de anillos :
[t]
(Problema 3.16), (el cual no

siempre es inyectivo, a menos que
sea dominio entero innito).

Los elementos de [t] los denotaremos con letras como f. El uso tradi-
cional 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 va-
riable t.
Si es un dominio entero, se estudi en un curso de lgebra Superior
que existe el algoritmo de la divisin para polinomios sobre . Recordemos
que un elemento a es un cero o raz del polinomio f si f
@
(a) = 0.
Recuerde (2.4) que si S es un subconjunto de un anillo , la interseccin
de todos los subanillos de que contienen a S se llama subanillo de
generado por S. De manera similar, si S un subconjunto de un anillo ,
la interseccin de todos los ideales de que contienen a S es un ideal de
(Problema 3.13) y se llama ideal de generado por S denotado S.
Los elementos de S se llaman generadores del ideal S. Si S consiste de
elementos t
1
,..., t
n
denotaremos el ideal S con t
1
, ..., t
n
y diremos que es
nitamente generado. Si S est generado por un solo elemento t diremos
que t es un ideal principal. Un dominio entero en el cual todo ideal es
principal lo llamaremos dominio de ideales principales.
Observe que el ideal t
1
, ..., t
n
, al contener los elementos t
1
,..., t
n
implica
que debe contener a todos los elementos ("combinaciones lineales") de la
forma
1
t
1
+ +
n
t
n
donde
i
. Los elementos t
1
,..., t
n
constituyen una
"base" del ideal. Se tiene el siguiente resultado: si K es un campo, el anillo
de polinomios K[t] es un dominio de ideales principales. Tambin, Z es un
dominio de ideales principales (Problema 3.10). Observe tambin que este
concepto de generadores diere del denido en lgebra Lineal para espacios
vectoriales.
Sea un anillo. Diremos que un ideal m es mximo si los nicos ideales
que lo contienen son m y . Es decir, m es un ideal mximo de , si para
cualquier ideal n de tal que m n se tiene que n = m o n = .
Diremos que un ideal p es primo si para cualesquiera elementos x,y ,
tales que si xy p entonces x p y p. Es fcil comprobar que si es
un anillo conmutativo con uno entonces /m es un campo si, y slo si, m es
un ideal mximo. Adems, p es un ideal primo si, y slo si /p es campo
(Problema 3.12).
Como un ejemplo de lo anterior, considere el caso en que
= Q, luego
[t] = Q[t] es el anillo de polinomios de un subanillo
= 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
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
un anillo con divisin, existe un homomorsmo

de anillos nico h : K
tal que el siguiente diagrama conmuta:
K
g

h
3.5 Teorema. Sea (K, f) un campo de cocientes de . Entonces, f()

genera a K. Adems, si (K
, f
) es otro campo de cocientes de , entonces

existe un isomorsmo nico k : K K
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
de los elementos distintos de cero de y

denotemos con =
. Denamos en una relacin mediante (a

1
, b
1
)
(a
2
, b
2
) s y slo si a
1
b
2
= a
2
b
1
en . Es fcil vericar que es una relacin
de equivalencia (Problema 3.4).
Sea K = / y denotemos con a/b la clase de equivalencia de (a, b). De-
namos la suma y multiplicacin de clases como en los nmeros racionales, es
decir, (a
1
/b
1
)+(a
2
/b
2
) = (a
1
b
2
+a
2
b
1
)/b
1
b
2
y (a
1
/b
1
)(a
2
/b
2
) = (a
1
a
2
)/(b
1
b
2
).
Es fcil comprobar que estas operaciones estn bien denidas y que hacen
de K un anillo conmutativo con uno, cuyo elemento cero es la clase de equi-
valencia de la forma 0/b y su uno la clase de la forma a/b con a = b. (Prob-
lema 3.5).
Como el inverso de un elemento diferente de cero a/b es b/a pues a ,= 0,
(a/b) (b/a) = 1 luego, K es un campo. Veamos que (K, f : K) es un
campo de cocientes de . Denamos f : K mediante f(a) = a/1. Es
inmediato comprobar que f es un monomorsmo. Consideremos cualquier
monomorsmo g :
con
un anillo con divisin. Como g(b) ,= 0 si

b ,= 0 en , podemos denir h
mediante h
(a, b) = g(a)/g(b). Es
fcil comprobar que h
est bien denida (Problema 3.6).

As, h
(a, b) depende solamente de la clase de equivalencia a/b, por lo tanto

podemos denir una funcin h : K
. Es fcil comprobar que h es un

homomorsmo tal que hf = g (Problema 3.6). Veamos que h es nica: sea
k : K
cualquier otro homomorsmo tal que k f = g. Sea a/b K.

Luego a/b = f(a)f(b)
1
y por lo tanto k(a/b) = g(a)g(b)
1
= h(a/b). As,
k = h. Hemos probado el siguiente
3.6 Teorema. Para cualquier dominio entero conmutativo no trivial
existe un campo de cocientes.
3.7 Ejemplos. Si es el dominio entero conmutativo no trivial Z,
entonces su campo de cocientes es Q. Si consideramos el campo K, el anillo
de polinomios K[t] de K es un dominio entero y no un campo. Sin embargo
por el teorema 3.6 podemos construir su campo de cocientes K(t), donde cada
elemento puede escribirse de la forma f/g donde f y g son polinomios en K[t]
con g ,= 0. Anlogamente, para K[t
1
,..., t
s
] podemos construir K(t
1
,..., t
s
) el
cual se llama campo de cocientes o de funciones racionales con s
indeterminadas sobre K.
3.8 Teorema. Sea K un campo de caracterstica 0. El subcampo de K
generado por el uno de K es isomorfo a Q.
Demostracin. Sea x = m/n Q con m un entero y n un entero
positivo. Si x ,= 0 podemos considerar m y n con solamente 1 como divisor
comn. Si x = 0, podemos tomar m = 0 y n = 1. As, la expresin para x
es nica. Denamos f : Q K mediante f(x) = m1/n1, para toda x =
m/n. Es fcil ver que f es un homomorsmo (Problema 3.11). Consideremos
el ideal ker f de Q. Como f(1) = 1, ker f ,= Q. Pero como un anillo con
divisin no puede tener ideales propios no triviales (1.9), ker f = 0. Luego,
f es monomorsmo. Como imf es un subcampo de K generado por el 1
hemos terminado.
Por la proposicin anterior y 2.16 (ii) todo campo contiene un subcampo
isomorfo a Z
p
para algn primo p o un subcampo isomorfo a Q. Llamaremos
a Z
p
y a Q campos primos. Ellos sern fundamentales para nuestro estudio
posterior de campos.
Existe una manera, que no demostraremos, de probar cuando un poli-
nomio
f(t) =
n
t
n
+ +
2
t
2
+
1
t
1
+
0
Q[t]
es irreducible llamado Criterio de Einsenstein. Dice que si p es un nmero
primo y f Z[t], entonces f es irreducible sobre Q si
n
no es congruente
con 0 mdulo p,
i
, 0 (mod p) para i < n, y
0
no es congruente con 0
mdulo p
2
.
Problemas.
3.1 Pruebe que si (, f, t) es un anillo de polinomios de , entonces el
conjunto f() t genera . Tambin, pruebe que si (
, f
, t
) es otro
anillo de polinomios de , entonces existe un isomorsmo nico k :
tal que k(t) = t
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 .
(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
) es otro campo de cocientes de ,

entonces existe un isomorsmo nico k : K K
tal que k f = f
.
3.4 Considere el conjunto
de los elementos distintos de cero de

y denote con =
. Dena en una relacin mediante (a

1
, b
1
)
(a
2
, b
2
) s y slo si a
1
b
2
= a
2
b
1
en . Compruebe que es una relacin de
equivalencia.
3.5 Sea K = / y denote con a/b la clase de equivalencia de (a, b).
Dena la suma y multiplicacin de clases como en los nmeros racionales, es
decir, (a
1
/b
1
)+(a
2
/b
2
) = (a
1
b
2
+a
2
b
1
)/b
1
b
2
y (a
1
/b
1
)(a
2
/b
2
) = (a
1
a
2
)/(b
1
b
2
).
Compruebe que estas operaciones estn bien denidas y que hacen de K un
anillo conmutativo con uno cuyo elemento cero es la clase de equivalencia de
la forma 0/b y con uno la clase de la forma a/b con a = b.
3.6 (i) Dena h
mediante h
(a, b) = g(a)/g(b). Compruebe

que h
est bien denida. (ii) Por la parte (i) h
(a, b) depende solamente de

la clase de equivalencia a/b, por lo tanto dena una funcin h : K
.
Pruebe que h es un homomorsmo tal que h f = g.
3.7 Pruebe que si
es un anillo con divisin que contiene a un sub-

dominio entonces la funcin inclusin :
se extiende a un
monomorsmo nico h : K
donde K es el campo de cocientes.

3.8 Pruebe que el campo de cocientes de un campo cualquiera K es K
mismo.
3.9 Pruebe que en un anillo el ideal 0 = 0 donde 0 denota el ideal
generado por el elemento de identidad aditivo 0. Tambin, pruebe que si
tiene uno, entonces 1 = .
3.10 Pruebe que (i) Z es un dominio de ideales principales. (ii) Demuestre
que si K es un campo, el anillo de polinimios K[t] es un dominio de ideales
principales. (iii) Pruebe que si es un dominio entero nito, entonces [t]
es un dominio entero.
3.11 Pruebe que, en el Teorema 3.8, f es un homomorsmo.
3.12 Sea es un anillo conmutativo con uno. Pruebe que /m es un
campo si, y slo si, m es un ideal mximo y que p es un ideal primo si, y slo
si /p es un dominio entero.
3.13 Pruebe que si S un subconjunto de un anillo , la interseccin de
todos los ideales de que contienen a S es un ideal de .
3.14 Sea K un campo. Pruebe que un polinomio en K[t] es irreducible
si, y slo si, el ideal generado por l es mximo.
3.15 Considere
[t] un anillo de polinomios de un campo
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.
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
si la siguiente sucesin de homomorsmos es exacta:

0 K

K
es decir, es un monomorsmo e identicamos K
con (K
) dentro de K
cuando esto sea posible. Decimos que K
es el campo base de la extensin.

Vemos entonces a K

= (K
) como un subcampo de K. Denotamos la

37
38 Captulo II. Teora de Campos y Teora de Galois
extensin K de 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
Tambin escribiremos simplemente extensin por abuso cuando est im-

plcito el contexto correspondiente.
1.2 Ejemplos.
0 Q R
0 R C
0 Q C
son extensiones. Con las dems notaciones se veran as:
Q R
R C
Q C
R : Q
C : R
C : Q
R/Q
C/R
C/Q
R
[
Q
II.1 Extensiones de Campos 39
C
[
R
C
[
Q
Este tipo de "torres de campos" son uno de los principales temas de
estudio de la Teora de Campos. Preferiremos la notacin 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
son extensiones, diremos

que 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
puede verse dentro

de K, podemos considerar el espacio vectorial K sobre K
, denotar dim
K
K
como [K
K] y llamarla grado de K sobre K
, el cual puede ser innito.

Si el grado de K sobre K
es nito (innito), entonces diremos que la exten-

sin K
K es nita (innita). El grado de una extensin es el invariante

ms importante de una extensin.
1.4 Teorema. Si K
K y K K
son extensiones nitas entonces

K
es una extensin nita y

[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
, es decir para K como espacio vectorial sobre K
y para K
como espacio vectorial sobre K. Veamos que los nm elementos

u
i
v
j
forman una base para 0 K
, es decir, una base 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
es una extensin innita, tambin lo sern K
K
y K K
. Tambin observe que si K
es una extensin nita,

como corolario se tiene que la dimensin de K sobre 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
]. Dicho de otra manera, el grado de K sobre K
divide al grado de K
sobre K
o bien que el grado de 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
].
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) sobre Q. Veamos que es linealmente indepen-

diente: supongamos que es linealmente dependiente, es decir, que existe una
combinacin lineal de ellos c + d
2 = 0 con c,d Q no ambos cero. Si

d = 0,entonces c1 = 0 lo cual implica que ambos c,d seran cero contra lo
supuesto. Tambin, si c = 0, entonces d
2 = 0 lo cual implica que ambos

c,d sean cero contra lo supuesto. La nica posibilidad es que ambos c y
d sean distintos de cero y por lo tanto se tendra que d
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
[t] el anillo de polinomios de un subcampo

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
entonces
f
@
a = E
a
(f) =
n
a
n
+ +
2
a
2
+
1
a
1
+
0
.
Cualquier funcin de K
en K
que pueda escribirse como una funcin del

tipo f
@
se llama funcin polinomial.
Como observamos, cada polinomio f K
[t] determina una funcin de

K
en K
. Formalmente, decimos que la asignacin f f

@
determina un
homomorsmo de anillos : K
[t] K
K
, (el cual no siempre es inyectivo,

a menos que K
sea dominio entero innito). Los elementos de 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
[t] es un dominio entero, existe un algoritmo de

la divisin para polinomios sobre K
(Problema I.3.17).
Nos interesa considerar campos que estn entre K
y K
. Considere el
subcampo de K
generado por un subconjunto X de K
(I.2.4 y P.I.2.6 ii).

1.8 Denicin. Sea X un subconjunto 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) puede ser mucho ms grande que

K
X. K
(x, y, z) se denota K
(x, y, z). Consideremos la extensin

K
con X = a
1
,..., a
j
[ a
i
K
para i = 1,..., j. Denotamos con

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
(a) se llama extensin simple de K
por a. El
reordenar las a
i
K
para i = 1,..., j, no cambia 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), es decir, consideremos (Q(
2))(
3). Entonces sus elementos son de

la forma a = c +d
3 con c,d Q(
2). Luego, 1,
3 generan (Q(
2))(
3).
Es fcil ver que son linealmente independientes sobre Q(
2). Por lo tanto son

una base de (Q(
2))(
3) sobre Q(
2). As, [Q(
2) (Q(
2))(
3)] = 2.
Por 1.4, se tiene que [Q Q(
2)(
3)] = 4. Por la demostracin de 1.4,
6,
3,
2,1 es base de Q(
2,
3) sobre Q.
1.10 Ejemplo. Como vimos en 1.7 [Q Q(
2)] = 2. Sabemos que

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
[t] puede verse como un espacio vectorial sobre 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
tal que f(t) K
[t] posea una raz K
.
Veremos que todo polinomio de grado mayor o igual a 1 con coecientes
en cualquier campo K
posee una raz en algn subcampo K de K
que lo
contenga. Existir una extensin K de K
tal que un polinomio f(t) 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
[t] en polinomios irreducibles sobre K
,
si q denota uno de tales polinomios irreducibles, el ideal I generado por q es
mximo en K
[t]. Luego el cociente K
[t]/I es campo. Considrese

: K
[t]/I
dada por
x x +I
Es fcil ver que enva a K
isomrcamente en s mismo dentro de K
[t]/I
(Problema 1.4). As, podemos considerar K = K
[t]/I como una extensin

de K
. Sea a = t +I, a K. Consideremos E

a
: 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
es un campo, entonces existe una extensin K de 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
K para las cuales cualquier ele-

mento a K sea raz de una ecuacin polinomial sobre K
.
1.14 Denicin. Sea K
K una extensin. Diremos que un elemento

a K es algebraico sobre K
si existe un polinomio no nulo f K
[t]
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

algebraica de K
si todo elemento de K es algebraico 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
es raz del polinomio ta K
[t] y por
lo tanto es algebraico sobre K
. Se puede probar que ,e R son trascen-

dentes sobre Q. Pero es algebraico sobre R al ser raz de t R[t].
Observe que
2 tambin es raz de muchos polinomios ms, propnga usted

algunos.
Considere la extensin 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
[t] tal que m(a) = 0 el

cual divide a cualquier otro polinomio que tenga a a como raz (Problema
1.7). El grado del polinomio m
a,K
lo llamaremos grado de a sobre 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
tal que el ncleo ker E

a
del
homomorsmo de evaluacin
E
a
: 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
el cual es mximo (P I.3.14) i.e. ker E

a
= m
a,K
es un ideal mximo.
Luego, K
[t]/m
a,K
es un campo el cual es isomorfo a E
a
(K
[t]) el cual
es un subcampo de K
(a) que contiene a a, i.e. K
(a). Todo elemento 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
tal que el ncleo

ker E
a
del homomorsmo de evaluacin E
a
: K
[t] K
(a) sea trivial.

Entonces E
a
es un monomorsmo. Luego E
a
(K
[t]) no es un campo pero

es un dominio entero y podemos considerar el campo de cocientes K
(t) y
se tiene un monomorsmo K
(t) K
(a) el cual tambin es suprayectivo

pues a est en la imagen. (a es trascendente sobre 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
[t] con f(a) = 0. Luego, a es algebraico sobre 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
.
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
. La parte, slo si, se deja como ejercicio, ver Problema 1.10.

1.19 Denicin. Considere la extensin algebraica 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
Verique que enva a K
isomrcamente en s mismo dentro de K
[t]/I.
1.5 Pruebe que si f es un polinomio en K
[t] de grado 2 3, entonces f

tiene una raz en K
si, y slo si, f es reducible sobre 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
, (ii) el homomorsmo de evaluacin posee un ncleo no

trivial y (iii) la extensin 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] puede verse como un espacio vectorial sobre

K
donde los elementos a

n
con n 0 generan 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). Sugerencia: Verique que

[Q
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
() el conjunto de automorsmos de sobre

.
2.3 Proposicin. Aut() y Aut
() son grupos bajo la composicin de

funciones.
Demostracin. Como la composicin de automorsmos es automor-
smo, como vale la asociatividad de funciones bajo la composicin, como
el inverso de un automorsmo tambin es un automorsmo y la identidad
tambin lo es, el conjunto Aut() es un grupo bajo la composicin. Anloga-
mente para 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. Veamos que posee

inverso. Como : induce
1
: K K y
1
=
1
= I.
Por el Problema 2.3 (i),
1
= I
K
. Luego,
posee a
1
como
inverso.
2.6 Denicin. Sea K
K una extensin y f K
[t]. Diremos que f

se descompone en K
K o sobre K si se factoriza en factores lineales

en K[t].
Observe que si se tiene un campo K
tal que f K
[t] se descompone
sobre K
, entonces las distintas races a

1
, ..., a
j
de f(t) en K
generan el
subcampo K
(a
1
, ..., a
j
) de K
que es el campo mnimo de K
en el cual f
se factoriza en factores lineales en K
[t].
2.7 Denicin. La extensin mnima de K
que cumple lo anterior se

llama campo de descomposicin de f sobre K
y lo denotaremos K
f
.
Nos preguntamos si existe una extensin K
tal que un polinomio

f se factorice en factores lineales. Para contestar esta pregunta, supongamos
que a
1
es una raz en 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
[t] un polinomio. Entonces existe una exten-

sin nita K
que es un campo de descomposicin de f sobre 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) el cual es una extensin Q Q(
2) de grado 2. Nos
jamos en (t
2
+2) Q(
2)[t]. Las races
2i y
2i son complejas, no en R,
luego (t
2
+2) es irreducible en Q(
2)[t]. Ahora consideramos Q(
2,
2i) =
Q(
2, i) y la extensin Q(
2)Q(
2, i) la cual es de grado 2. Considere

la torre acostada de campos 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
.
Notacin. (i) Para las extensiones K
K y K
denotare-
mos con hom
K
(K, K
) el conjunto de homomorsmos (inyectivos) de K en

K
que dejan jo a K
. Considere la extensin nita K
, entonces
hom
K
(K
, K
) =Aut
K
(K
, K
) es un grupo. (ii) Sea K
una ex-
tensin y f K
[t]. Denotaremos con R(f, K
) el conjunto de las races de

f en K
.
una extensin y f K
[t] un poli-
nomio irreducible. Sea a
i
K
una raz de f. Entonces los conjuntos

hom
K
(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
es el homomorsmo de evaluacin, el cual se facto-

riza mediante
a
: K
[t]/ f K
. Para cada raz a

i
existe un
a
i
. En-
tonces, cada raz a
i
da lugar a un homomorsmo
a
=
a
(
a
i
)
1
para el
cual
a
(a
i
) = a
i
.
2.12 Ejemplo. Como Q(
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).
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
) se restringe a una funcin

inyectiva
f
: R(f, K) R(f, 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
. Diremos que los

elementos a, b K
son conjugados sobre K
si son races del mismo

polinomio mnimo sobre 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
un campo, a, b elementos algebraicos sobre K
,
n = gr(m
a,K
). Entonces a y b son conjugados sobre K
si, y slo si, la funcin
a,b
: K
(a) K
(b)
dada por
n1
a
n1
+ +
1
a
1
+
0

n1
b
n1
+ +
1
b
1
+
0
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
[t] un polinomio irreducible. Diremos

que el polinomio f es separable sobre K
si toda raz de f es simple en

la extensin K
. Un elemento algebraico a K
en una extensin
K
es separable si su polinomio mnimo m

a,K
K
[t] es separable.
Si K
es una extensin nita, el grado de separabilidad, denotado

K
, de la extensin K
, es el orden de hom
K
(K
, K
). Si
K
es una extensin nita, se dice que es separable si K
=
[K
].
Observe que si K
(a) es una extensin nita simple, por 2.11

aplicado a K
= K
se tiene que K
(a) = [R(m
a,K
, K
)[.
2.19 Proposicin. Si K
K y K K
son extensiones nitas,

entonces K
KK K
= K
.
Demostracin. Problema 2.6.
2.20 Denicin. Considere K
una extensin nita. Diremos

que es una extensin normal si K
es el campo de descomposicin sobre

K
de algn polinomio f K
[t].
Recurdese que hom
K
(K, K
) denota el conjunto de homomorsmos de

K en K
que dejan jo a K
. As, hom
K
(K, K
) = Aut
K
(K
) pues todo ho-

momorsmo inyectivo es suprayectivo y por lo tanto invertible. Por el Prob-
lema 2.8, una extensin K
es normal si para toda hom

K
(K
, K
)
se tiene que (K
) = K
. Obsrvese que si K
es una extensin nor-

mal, entonces, siempre que se tenga un polinomio irreducible f K
[t] el cual
posea una raz en K
, se separa en K
puesto que cada par de races de f

son conjugadas sobre K
y una va a dar a la otra mediante un homomorsmo

K
que enva a K
en s mismo.
2.21 Teorema. Sea K
una extensin algebraica y K
K
K
una torre de campos. Si

0
: K K
es un homorsmo que ja los

elementos de K
, entonces existe un homomorsmo : K
que
"extiende" a
0
.
K
0
[
K [
[ [
K
= K
Demostracin. Sea A el conjunto de las parejas (C, ) donde (K C)

(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
). Tambin existe una funcin : ( K
dada por (a) = (a) cuando a C para (C, ) B. Es claro que si a C
para (C
) B entonces
(a) = (a) y por lo tanto est bien denida.

Entonces para toda pareja (C, ) B tenemos que (C, ) ((, ) y as
((, ) es una cota superior de B. Por el Lema de Zorn, debe de haber un
elemento mximo de A, a saber, (K
0
,
0
).
Supongamos que K
0
,= K
, entonces existe un elemento a K
para el
cual a / K
0
. Como K
es algebraico sobre K
, tambin 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
una extensin nita simple. Dire-

mos que a K
es un elemento primitivo de la extensin si K
= K
(a).
El siguiente teorema se conoce como el teorema del elemento primitivo.
2.23 Teorema. Sea K
una extensin separable. Entonces K
posee un elemento primitivo.

Demostracin. Supongamos que K
es un campo innito. Como K
se
construye a partir de una sucesin de extensiones simples, basta considerar
el caso K
= K
(a, b). Sean f, g K
[t] los polinomios mnimos de a

y b sobre 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
es innito), entonces a +xb ,= a

i
+xb
j
, excepto
cuando i = j = 1.
Sea c = a+xb. Entonces los polinomios g(t) y f(cxt) tienen coecientes
en K
(c)[t] y poseen a b como raz, es decir, g(b) = 0 y f(c xb) = f(a) = 0.

De hecho, b es su nica raz comn pues escogimos x tal que c ,= a
i
+xb
j
, es
decir, a
i
,= c xb
j
a menos que 1 = i = j.
Por lo tanto, el m.c.d.(g(t), f(c xt)) = t b. Se sabe que el mximo
comn divisor de dos polinomios tiene coecientes en el mismo campo que los
coecientes de los polinomios. Luego b K
(c) y esto implica que a = c xb

tambin est en K
(c). Por lo tanto, K
(a, b) = K
(c). Para el caso en que

K
sea un campo nito, ver el Problema 3.5 en la siguiente seccin.

Problemas.
2.1 Pruebe que Aut(Z
n
) = I
Zn
.
2.2 Suponga que un anillo contiene a = Z Z
n
y Aut(). Pruebe
que se restringe a la identidad en y por lo tanto Aut() = Aut
().
2.3 Sean
y dominios enteros, K
y K sus campos de cocientes

respectivamente y :
un monomorsmo. (i) Pruebe que existe

un nico homomorsmo inducido
: K
K tal que
(a) = (a) para

a
. (ii) Pruebe que I
induce I
= I : K
y
que si
son monomorsmos de dominios enteros, entonces
= ()
: K
.
2.4 (i) Pruebe que ( )
: Aut(
) Aut(K
) es un monomorsmo.
(ii) Pruebe que ( )
: Aut(Z) Aut(Q) es un isomorsmo y por lo tanto

Aut(Q) = I
Q
.
2.5 Pruebe que las races de polinomios con coecientes en R son conju-
gadas. Sugerencia: considere C = R(i) = R(i).
2.6 Pruebe la Proposicin 2.19: si K
K y K K
son extensiones
nitas, entonces K
KK K
= K
.
2.7 Pruebe que si K
K y K K
son extensiones nitas, entonces

K
K y K K
son separables si, y slo si K
es separable.
2.8 Pruebe que K
es el campo de descomposicin sobre K
de algn
polinomio f K
[t] (es decir K
es una extensin normal) si, y slo

si, (K
) = K
para todo hom

K
(K
, K
).
2.9 Considere las extensiones nitas K
K y K K
. Pruebe que si
la extensin K
es normal, entonces la extensin K K
es normal.
2.10 Sea f un polinomio en K
[t]. Un elemento a K
tal que f(a) = 0

es una raz de multiplicidad n si n es el mayor entero tal que (t a)
n
es un factor de f en K
[t]. Pruebe que si f es irreducible en K
[t] entonces
todas las races de f en K
tienen la misma multiplicidad. Sugerencia: Use

los Teoremas 2.16 y 2.21.
II.3 Teora de Galois.
Recordemos que hemos estado estudiando la estructura de una extensin
algebraica K
analizando los automorsmos de K
que dejan jo a
K
, es decir, analizando Aut

K
(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
manteniendo jos a los elementos 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
). Sus elementos se llaman

automorsmos de Galois de 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) como campo jo. Anlogamente,
2,
2
:
Q(
2,
3) Q(
2,
3) tiene a Q(
3) como campo jo. Como la com-

posicin de automorsmos es un automorsmo, vemos que
3,
2,
2
no deja jo ni a
2, ni a
3. Consideremos el grupo Aut

Q
(Q(
2,
3)). Sabe-
mos que 1,
2,
3,
6 es una base para Q(
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
una extensin de Galois y H un subgrupo de Gal(K
).
Denotemos con
(K
)
H
= a K
[(a) = a, para toda H.

Entonces (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
, entonces (c) = c, es decir 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 cuando b = 0. Luego, el subcampo jo de
2,
es Q(
2)
{
2,
2
}
= Q.
Por el Problema 2.7, si K
es una extensin de Galois entonces

las extensiones K
(K
)
H
y (K
)
H
K
son separables y tambin

(K
)
H
K
es normal y por lo tanto es una extensin de Galois. Recuerde

que [Gal((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].
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
)]. Por las dos desigualdades

anteriores se tiene que o(H) = n = o(Gal((K
)
H
K
)) = [(K
)
H
K
)]
y por lo tanto Gal((K
)
H
K
) = H
Sea K
una extensin de Galois y (K
K) (K
).
Entonces la extensin K K
tambin es de Galois cuyo grupo de Galois

lo denotamos Gal(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
K. Por el Problema 3.3, existe un automorsmo Gal(K 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
) el conjunto de todos los subgrupos de Gal(K
) y Subext(K
) el conjunto de todas las subextensiones K
K de K
, es decir,
donde K es un campo intermedio K
K K
. Ordenemos estos conjuntos

por inclusiones. Claramente Subgr(K
) es un conjunto nito.
Los siguientes resultados constituyen los principales de la Teora de Ga-
lois.
3.8 Teorema . Sea K
una extensin de Galois nita. Denamos

las siguientes funciones
g : Subgr(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
)
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.
una extensin de Galois y (K

K) (K
). Entonces el grupo de Galois relativo Gal(K K
)
de las extensiones (K
K) y (K
) es un subgrupo normal de
Gal(K
) si, y slo si (K
K) es una extensin normal.

Demostracin. Supongamos que Gal(K K
) Gal(K
), es
decir, para toda Gal(K K
) y Gal(K
) tenemos que
1
Gal(K K
). Si k K, entonces para cualquier Gal(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
el cual debe tener imagen K
. Por lo tanto,
K
K es una extensin normal.

Ahora supongamos que K
K es una extensin normal. Entonces,

para cada Gal(K
) y k K, (k) K. Tambin, para cada

Gal(K K
), ((k)) = (k) y por lo tanto

1
(k) = k. As que
1
Gal(K K
). Luego, para toda Gal(K
), Gal(K
K
)
1
= Gal(K K
) y por lo tanto Gal(K K
) Gal(K
).
3.10 Proposicin . Sea K
K una extensin de Galois. Entonces

existe un isomorsmo de grupos
Gal(K
)/Gal(K K
= Gal(K
K)
dado por Gal(K K
) [
K
.
Demostracin. Como K
K es una extensin normal, si

Gal(K
) entonces K = K. As es que podemos restringir a

un automorsmo de K, [
K
: K K. Entonces [
K
es la identidad en K
s, y slo si , Gal(K K
). Es inmediato comprobar que la funcin

Gal(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
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
Consideremos una extensin nita K
de grado l. Veamos a K
como espacio vectorial sobre K
. Supongamos que K
tiene q elementos.
Luego, cualquier elemento u de K
puede escribirse en forma nica como

u =
1
v
1
+ +
l
v
l
para
i
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
es un campo nito de caracterstica p, entonces se tiene

una extensin 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
, recordemos que tiene orden p

l
1. Si tomamos un
elemento a 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
es raz del polinomio t

p
l
t,
el cual tiene a lo ms p
l
races. As, si K
est contenido en Z
p
, los elementos
de K
son las races en Z

p
del polinomio t
p
l
t Z
p
[t].
Considere el polinomio f(t) = t
p
l
t Z
p
[t]. Su derivada es f
(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
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
) relativo de las exten-

siones (K
K) y (K
) es un subgrupo de Gal(K
), es decir,
Gal(K K
) Gal(K K
) cuyo orden o(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 una extensin de Galois nita donde K
es el
campo de descomposicin de un polinomio irreducible de grado n f K
[t]
entonces el grupo Gal(K
) acta transitiva y libremente en R(f, 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
para una extensin K K
, entonces a es una raz

mltiple de f si, y slo si, f y f
poseen un factor lineal comn en K[t] que

se anula en a.
3.5 Pruebe el teorema del elemento primitivo para el caso en que 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
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

Teoria Galois

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Teoria Galois

Transféré par

Droits d'auteur :

Formats disponibles

Publicaciones Electrnicas

Sociedad Matemtica Mexicana

K una extensin imitando una torre rotada 90 grados a la

, +, ) son anillos, un homomorsmo

y que tambin es un homomorsmo del

un homomorsmo de anillos. Di-

son isomorfos si existe un isomorsmo f :

, entonces diremos que f es un isomor-

es trivial si f(x) = 0 para

un homomorsmo de anillos. En-

respectivamente y fcilmente se puede ver que

un anillo. Por la proposicin

un homomorsmo de anillos con ideales I e I

tales que f(I) I

es el homomorsmo inducido por f en los grupos abelianos cociente [Ll3, II.3].

((x +I)(y + I)) = f

un homomorsmo de anillos con

tales que f(I) I

. Considrense las proyecciones

es el homomorsmo inducido por f, el siguiente

22 Captulo I. Teora de Anillos

es un isomorsmo en el siguiente diagrama conmutativo:

Anlogamente a [Ll3, II.3.4], se tiene

un homomorsmo de anillos con ideales

tales que f(I) I

y como caso particular del teorema

con I ker f. Entonces existe un homomorsmo nico

= ker f/I e imf = imf

es un epimorsmo de anillos con n-

p, es decir, cualquier homomorsmo de con ncleo ker f tiene

. Este resultado, / ker f

= ker f el cual es un ideal de , entonces f

y f establece otro isomorsmo /I

por el primer teorema

). Luego f es un homomorsmo. Como es de carac-

con g(1) como identidad de

tal que h(t) = y y h f = g, es decir, el siguiente diagrama conmuta:

3.2 Teorema. Sea (, f, t) un anillo de polinomios de . Entonces

un monomorsmo con g(1) como identidad tal

conmute con g(x) para toda x . Denamos

], el cual se puede probar que es isomorfo a

])[t]. Usando esta identicacin lo denotaremos simplemente con [t, t

[t] un anillo de polinomios de un subanillo

[t] determina una funcin de

(Problema 3.16), (el cual no

sea dominio entero innito).

[t] = Q[t] es el anillo de polinomios de un subanillo

un anillo con divisin, existe un homomorsmo

tal que el siguiente diagrama conmuta:

3.5 Teorema. Sea (K, f) un campo de cocientes de . Entonces, f()

) es otro campo de cocientes de , entonces

de los elementos distintos de cero de y

. Denamos en una relacin mediante (a

un anillo con divisin. Como g(b) ,= 0 si

est bien denida (Problema 3.6).

(a, b) depende solamente de la clase de equivalencia a/b, por lo tanto

. Es fcil comprobar que h es un

cualquier otro homomorsmo tal que k f = g. Sea a/b K.

tal que k(t) = t

) es otro campo de cocientes de ,

de los elementos distintos de cero de

. Dena en una relacin mediante (a

(a, b) = g(a)/g(b). Compruebe

est bien denida. (ii) Por la parte (i) h