Aceff, Lluis-Puebla - Teoría de Galois, Un Primer Curso. (Tercera Edición) PDF

Publicaciones Electrnicas
Sociedad Matemtica Mexicana
Teora de Galois,
un primer curso.
(Tercera Edicin)
Flor de Mara Aceff

Emilio Lluis-Puebla
www.smm.org.mx
Serie: Textos. Vol. 14 (2016)

Teora de Galois,
un primer curso.
Tercera Edicin
Flor de Mara Aceff

y
Emilio Lluis-Puebla
Universidad Nacional Autnoma de Mxico
Publicaciones Electrnicas
Sociedad Matemtica Mexicana
2
ndice General
Prefacio 5
Introduccin 7
I Teora de Anillos 9
I.1 Anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
I.2 Propiedades elementales y
Teoremas de Isomorfismo . . . . . . . . . . . . . . . . . . . . . 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 Automorfismos 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
clasificar 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 definiciones 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 finalidad, la de permitirle al estudiante redactar
matemtica. El libro est diseado para un primer curso sobre la Teora de
5
6 Prefacio
Galois el cual se cubre en su totalidad en cuarenta horas de clase. La primera

edicin sali publicada en el 2011, la segunda en el 2013 y la presente en el
2016 conservando la estructura original con pequeos cambios y correcciones
tipogrficas que siempre aparecen a pesar de mltiples revisiones.
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, comentamos 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 confianza en este tipo de
publicaciones.
Mayo de 2016.
Introduccin
Como es frecuente en la Matemtica, los intentos por resolver un problema

especfico 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 coeficientes en R, de la
forma () = 2 + + con 6= 0 Esto lo saban los antiguos babilo-
nios alrededor
del ao 1600 A.C. Las races estn dadas mediante la frmula
( 2 2 4)2 Esta solucin est en una tableta de barro que so-
brevive hasta la fecha. Este mtodo es vlido para cualquier polinomio con
coeficientes 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 fin, 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 definicin 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 automorfismo 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 automorfismos 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 0 una extensin imitando una torre rotada 90 grados a la
derecha, es decir, una torre acostada de campos ya que esto facilita visualizar
especficamente los campos y su respectiva inclusin en otros.
Captulo I
Teora de Anillos
I.1 Anillos
En esta seccin definiremos 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 Definicin. 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) ( + ) = + y ( + ) = +
La propiedad (iii) se llama ley distributiva.
Ntese que se ha suprimido el smbolo , en , como es usual en la

notacin utilizada en la Teora de Grupos.
1.2 Ejemplos. El lector podr comprobar que (Z + ), (Z + ), (Q + ),

(R + ), ( + ), ( + ), ([] + ), (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 ( ) 7

pero definimos su multiplicacin como ( ) 7 , obtendremos un anillo
llamado opuesto de , denotado , 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 6= 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 no es dominio entero
para toda , solamente cuando 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 son anillos conmutativos con uno y cuando
es primo, son campos. Los divisores de cero del anillo Z son los elementos
distintos de cero que no son primos relativos con , por lo tanto, Z no posee
divisores de cero para primo.
1.4 Definicin. 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 definicin 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 y
para cualesquiera , .
Demostracin. Vase el Problema 1.4.
1.6 Ejemplos. Para todo entero Z, Z Z. Z R C. Pero

como dominios enteros, Z es un subdominio de R y Z no es un subdominio
de Z para 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 , su inverso 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 Definicin. Un subanillo de un anillo se llamar ideal izquierdo

de si para toda y para toda se tiene que , es decir,
. Un subanillo de un anillo se llamar ideal derecho de si
para toda y para toda se tiene que , es decir, . Un
subanillo de un anillo se llamar ideal de si es ideal izquierdo e ideal
derecho a la vez.
1.8 Ejemplos. El subanillo Z es un ideal de Z. Los subanillos y 0

son los ideales triviales de . Los ideales izquierdos de son los ideales
derechos de .
Observe que si es un anillo e un ideal de , la parte aditiva de

constituye un grupo abeliano y, por lo tanto, 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 un ideal no trivial cualquiera de . Como
es no trivial, posee un elemento diferente de cero. Por ser ideal,
1 = 1 . Por lo tanto, = 1 . Luego, = .
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 Definicin. Si ( ) y (0 + ) son anillos, un homomorfismo

de anillos es una funcin que es un homomorfismo del grupo conmutativo
de en el grupo conmutativo de 0 y que tambin es un homomorfismo del
semigrupo de en el semigrupo de 0 , es decir,
( ) = () + () y ( ) = () ()
Usualmente utilizaremos, por abuso, la notacin + y para denotar las

(posibles) diferentes operaciones binarias de dos anillos relacionados mediante
un homomorfismo, quedando la notacin imprecisa, pero usual
( + ) = () + () y ( ) = () ()
o peor an,
( + ) = () + () y () = ()()
Imitando lo correspondiente para grupos [Ll3] tenemos la siguiente
1.11 Proposicin. La composicin de dos homomorfismos de anillos es

un homomorfismo de anillos.
Demostracin. Sean : 0 y : 00 homomorfismos de
anillos. Luego ( )( + ) = ( ( + )) = (() + ()) = (()) +
(()) = ( )() + ( )(). Anlogamente, ( )() = (()) =
I.1 Anillos 13
(()()) = ( ())(()) = ( )()( )(). Por lo tanto ( ) es

un homomorfismo de anillos.
1.12 Definicin. Sea : 0 un homomorfismo de anillos. Di-

=
remos que es un isomorfismo, y escribiremos : 0 si existe un
homomorfismo : 0 tal que = 1 y = 10 .
Es fcil comprobar (Problema 1.11) que, si existe est determinada en

forma nica; lo denotaremos con 1 y se llama inverso de . Diremos que

=
dos anillos y 0 son isomorfos si existe un isomorfismo : 0 y
escribiremos = 0 .
1.13 Definicin. Sea : 0 un homomorfismo de anillos. El

ncleo de , denotado ker , es el conjunto de todos los elementos
tales que () = 0 donde 0 denota la identidad aditiva de 0 . La imagen de
, denotada , es el conjunto de () con .
Observe que solamente vemos el concepto de ncleo de un homomorfismo

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 definicin de homomorfismo se tiene que ker = {0}, diremos

que es un monomorfismo y lo denotamos : 0 ; si = 0 ,
diremos que es un epimorfismo y lo denotamos : 0 y si es
tal que ker = {0} e = 0 , entonces diremos que es un isomor-
fismo. De otra manera, es un monomorfismo cuando es inyectiva; es un
epimorfismo cuando es suprayectiva y es un isomorfismo cuando es biyectiva.
Llamaremos endomorfismo a un homomorfismo : y diremos que
es automorfismo si dicha es biyectiva.
Observe que, como grupos conmutativos, 2._ : Z 2Z dado por 7 2

establece un isomorfismo de grupos abelianos pero, como anillos no se tiene
un isomorfismo.
Diremos que un homomorfismo : 0 es trivial si () = 0 para

todo . Es decir, = {0}. Equivalentemente, = 0 si, y slo si,
ker = .
Recurde que si es un subconjunto de , la funcin : dada

por () = para toda se llama inclusin de en . La
funcin identidad de un anillo en s mismo es un homomorfismo llamado
homomorfismo de identidad.
1.14 Proposicin. Sean : 0 , : 00 dos homomorfismos de

anillos y = la composicin. Entonces, (i) si es monomorfismo, es
monomorfismo, y (ii) si es epimorfismo, es epimorfismo.
Demostracin. (i) Supongamos que es monomorfismo. Si () = ()
luego () = (()) = (()) = (). Como es monomorfismo, = .
Por lo tanto, es monomorfismo. (ii) Supongamos que es epimorfismo.
Entonces (0 ) = 00 . Luego, 00 = (0 ) = ((0 )) () 00 . Por lo
tanto, () = 00 .
Problemas.
1.1 (i) Compruebe que los conjuntos con sus operaciones binarias respec-
tivas en el Ejemplo 1.2 son efectivamente anillos.
(ii) Defina operaciones binarias de suma y producto en y pruebe que
es un anillo, 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 Verifique 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 es un grupo abeliano, entonces el conjunto de

endomorfismos ( ) con la composicin es un anillo.
1.6 Compruebe que los anillos (Z + ), (Z + ), (Q + ) son conmuta-

tivos y que ( ) 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 , su inverso 1 .
1.9 Sea un anillo. Pruebe que el conjunto = { | = 0, Z}

es un ideal de .
1.10 Pruebe que : Z Z dado por 7 , donde es el residuo

mdulo es un homomorfismo de anillos.
1.11 En la notacin la Definicin 1.12 pruebe que, si existe, est de-

terminada en forma nica, el cual es denotado con 1 y se llama inverso de
.
1.12 Proporcione un ejemplo en donde bajo un homomorfismo de anillos,

: 0 , (1 ) 6= 10 .
Pruebe que, como anillos, Z Z es isomorfo a Z cuando el mximo

comn divisor ( ) = 1.
1.14 Encuentre las races de la ecuacin 2 7 + 12 en Z8 .
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 son los elementos
distintos de cero que no son primos relativos con , por lo tanto, Z no posee
divisores de cero para primo.
1.17 Demuestre que si es un dominio entero finito, entonces es

campo.
I.2 Propiedades elementales y

Teoremas de Isomorfismo
Veamos algunas propiedades de los anillos.
2.1 Proposicin. Sea un anillo. Entonces
(i) 0 = 0 = 0 para toda .
(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) () = () = (), para toda , .
(iv) ()() = para toda , .
Demostracin. (i) Como 0 = 0 + 0, 0 = (0 + 0) = 0 + 0. Luego,

0 = 0. Anlogamente, 0 = 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, = 0. Por la parte (i), 0 = 0. Luego = 0. Como 6= 0,
entonces = 0. Esto contradice el hecho de que 6= 0.
Ahora, supongamos que no tiene divisores de cero. Supongamos que
= para 6= 0. Luego, por la distributividad, ( ) = = 0.
Como 6= 0 y no posee divisores de cero, = 0. As, = .
(iii) Como + () = ( + ()) = 0 = 0 luego () = ()

pues el inverso es nico. Anlogamente + () = ( + ()) = 0 = 0,
luego () = ().
I.2 Propiedades elementales y Teoremas de Isomorfismo 17
(iv) Por (iii) (()) = ()(). Tambin, por (iii), (()) =

(()). Luego, (()) + () = 0. Luego, (()) = . As,
()() = para toda , .
Sea ( + ) un anillo con uno. Un elemento se llama inverso

izquierdo de un elemento invertible por la izquierda si =
1. Anlogamente, un elemento se llama inverso derecho de un
elemento invertible por la derecha si = 1. Diremos que
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 es un ideal con uno de un anillo conmutativo con uno

, se tiene que , es decir para toda . Si tomamos
una unidad de , entonces consideremos = 1 . Luego, 1 = 1 . As,
, para toda y 1 = . Entonces = . Adems si es
un anillo no necesariamente conmutativo con uno e un ideal que contiene
tambin al uno de , entonces = .
2.2 Proposicin. Sea : 0 un homomorfismo de anillos. En-

tonces ker es un ideal de e es un subanillo de 0 .
Demostracin. Por [Ll3, I.3.20] ker e son subrupos de la parte
abeliana aditiva de y 0 respectivamente y fcilmente se puede ver que
son subsemigrupos de la parte multiplicativa de y 0 respectivamente.
Para ver que ker es un ideal de , sea ker y . Entonces
() = () () = ()0 = 0. Por lo tanto, ker . Anlogamente,
ker . Luego, ker es un ideal.
Una consecuencia inmediata es la siguiente: sea : 0 un homo-

morfismo no trivial donde es un campo y 0 un anillo. Por la proposicin
anterior, ker 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 no
es trivial, ker = 0 y por lo tanto, es monomorfismo.
Es inmediato comprobar que todo dominio entero finito es un anillo con

divisin (Problema 2.1) y que todo dominio entero conmutativo finito 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 definicin de [Ll2, I.2.17] para espacios vectoriales, tenemos
2.4 Definicin. Sea un subconjunto de un anillo . La interseccin

de todos los subanillos de que contienen a se llama subanillo de
generado por .
Definiciones semejantes se tienen de subdominio o subcampo gene-

rado por un subconjunto .
2.5 Definicin. Diremos que un anillo es de caracterstica 0 (deno-

tada () = 0) si = 0 es el nico entero tal que = 0 para toda .
Si no es de caracterstica 0, el menor entero positivo tal que = 0 para
toda se llama caracterstica del anillo (denotada () = ).
2.6 Ejemplos Los anillos Z, Q, R y C tienen caracterstica 0. El anillo

Z tiene caracterstica .
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 infinito.
(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 () 6= 0,

entonces es de caracterstica igual a un nmero primo.
Demostracin. (i) Sea el orden del 1, es decir, veces 1+1+ +1 =

0. Entonces, = (1) = (1) = 0 para toda . As, es de
caracterstica . Es claro que es de caracterstica 0 si el 1 es de orden

infinito.
(ii) Sean , cualesquiera dos elementos distintos de cero del anillo y

supongamos que es de orden . Luego, () = () = () = 0 = 0.
Por hiptesis, no posee divisores de cero y como es distinto de cero, se
tiene que = 0. Como es arbitrario, cualquier elemento distinto de cero
tiene orden .
(iii) Sea = (). Como 6= 0, podemos escoger un elemento 6=

0. Luego, por (ii), es de orden . Veamos que debe ser un nmero
primo. Supongamos que se factoriza como producto de dos primos = .
Entonces, ()() = = = 0. Como no posee divisores de cero,
debe ser 0. Como es de orden , es y el que queda es 1.
Por lo tanto, 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 infinito. De otra manera, la caracterstica () es un
nmero primo y todo elemento distinto del cero es de orden .
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 un subgrupo de con , denotbamos con
+ el conjunto { + | }. Dichos elementos + los llamamos clases
laterales de en . Como 0 y = + 0 + , cada pertenece
a una clase lateral.
Se comprob que cualesquiera dos clases laterales o son ajenas o son

iguales. Se denot con el conjunto de todas las clases laterales de en
y se le dio a una estructura de grupo mediante
+ :
dada por
(( + ) ( + )) 7 (( + ) + )
Tambin se comprob que la operacin binaria anterior est bien definida
y que define una estructura de grupo abeliano (la parte aditiva de espacio
vectorial) en . Llamamos a , grupo cociente de mdulo .
Tambin, se vio que si es un subgrupo del grupo y si + ,

entonces existe tal que = + . As = . Luego,
( ) = + . En resumen,
+ +
Finalmente, se consider : dada por 7 + . Si , ,

entonces
( + ) = ( + ) + = ( + ) + ( + ) = () + ()
Por lo tanto, es un homomorfismo de grupos llamado proyeccin

cannica.
Todo esto se realiz para espacios vectoriales sobre un campo . 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 un
ideal de , la parte aditiva de constituye un grupo abeliano y, por lo tanto,
es un subgrupo normal de .
Ahora, para un anillo e un ideal de , definamos en el grupo cociente

una multiplicacin
dada por
(( + ) ( + )) 7 (( ) + )
Si tomamos elementos cualesquiera , y , entonces,
( + )( + ) = + + + +
por la distributividad e ser un ideal. Luego
( + )( + ) +
As, la clase lateral + no depende de los elementos e y nicamente

s depende de las clases laterales ( + ) y ( + ) lo cual nos dice que la
multiplicacin anterior est bien definida haciendo por lo tanto de un
anillo. Llamaremos a anillo cociente de sobre su ideal . Si
posee elemento de identidad 1, entonces 1+ es la identidad en . Observe

que si es conmutativo, tambin lo es.
Considere : dada por 7 + . Si , , entonces

() = () + = ( + )( + ) = ()()
Luego, es un epimorfismo de anillos, denotado : , con ncleo
= ker . As tenemos una sucesin exacta corta [Ll3, II.1]:

0 0
Por lo tanto, hemos visto que un subanillo de un anillo es un ideal de
si, y slo si, existe un homomorfismo de anillos : 0 con ncleo
ker = .
Sea : 0 un homomorfismo de anillos con ideales e 0 0

tales que () 0 , entonces : 0 0 dado por (+) = ()+ 0
es el homomorfismo inducido por en los grupos abelianos cociente [Ll3, II.3].
Como
(( + )( + )) = ( + )
= () + 0
= () () + 0
= ( () + 0 )(() + 0 )
= ( + ) ( + )
para toda , , el homomorfismo de anillos : 0 0 se llama
homomorfismo inducido por .
Anlogamente a [Ll3, II.3.2], se tiene
2.8 Proposicin. Sea : 0 un homomorfismo de anillos con

ideales e 0 0 tales que () 0 . Considrense las proyecciones
cannicas a los cocientes correspondientes : y 0 : 0 0 0 .
Entonces : 0 0 es el homomorfismo inducido por , el siguiente
cuadrado es conmutativo

0
0

0 0
e = 0 ( ) y ker = ( 1 ( 0 )).
2.9 Teorema. Bajo las mismas hiptesis de la proposicin anterior, en

particular, si es un epimorfismo con 0 = e = ker entonces 0 0
= 0
y es un isomorfismo en el siguiente diagrama conmutativo:

0

= 0

ker 0

2.10 Teorema. Sea : 0 un homomorfismo de anillos con ideales

e 0 0 tales que () 0 y como caso particular del teorema
anterior, = 0 0 con ker . Entonces existe un homomorfismo nico
: 0 dado por + 7 ( + ) = () + 0 = (). Adems,
ker = ker e = . El homomorfismo es un isomorfismo si,
y slo si, es un epimorfismo e = ker .
2.11 Corolario. (Primer Teorema de Isomorfismo). Bajo las mis-

mas hiptesis del teorema anterior ker
= .
Demostracin. Como es epimorfismo, = 0 , luego ker
=
.
En otras palabras, si : 0 es un epimorfismo de anillos con n-

cleo ker , entonces existe un isomorfismo nico : ker
= 0 , tal que
= , es decir, cualquier homomorfismo de con ncleo ker tiene
imagen isomrfica a ker . An ms, nos dice cul isomorfismo: aquel
tal que = . Este resultado, ker = se conoce como el
Primer Teorema de Isomorfismo. 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 un ideal de un anillo . Consideremos el anillo

cociente . Sea : el monomorfismo de inclusin y :
el epimorfismo de proyeccin. Entonces = = ker y, por lo tanto,

0 0
es una sucesin exacta corta. Consideremos ahora una sucesin exacta corta
0
0 0 00 0
Recordemos entonces que 0 = ker , y 0 es monomorfismo, pues 0 =

= ker y, adems, es epimorfismo porque = ker = 00 . Sea =
0 = ker el cual es un ideal de , entonces 0 establece un isomorfismo

=
=
0 y establece otro isomorfismo 00 por el primer teorema
de isomorfismo. Por lo tanto, una sucesin exacta corta es una sucesin con
un ideal y el anillo cociente de un anillo.
2.13 Ejemplo. : 00 donde = Z y 00 = Z es un epimorfismo

con ncleo el subgrupo Z, es decir,

0 Z ZZ 0
es un sucesin exacta corta. Luego, por el teorema anterior ZZ

= Z .
2.14 Teorema. (Segundo Teorema de Isomorfismo). Sean ,

ideales de . Entonces ( + )
= ( ).
2.15 Teorema. (Tercer Teorema de Isomorfismo). Sean , ideales

de con . Entonces,
= ()().
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 6= 2, entonces el sub-
grupo aditivo de generado por el 1 es un subcampo isomorfo a Z .
Demostracin. (i) Sea : Z dada por () = 1. Como

( + 0 ) = ( + 0 )1 = 1 + 0 1 = () + (0 ) y (0 ) = (0 )1 =
(1)(0 1) = () (0 ). Luego es un homomorfismo. Como es de carac-
terstica 0, el 1 es de orden infinito. As que el ncleo de consiste solamente
del 0 y por lo tanto, es monomorfismo. Claramente, la imagen de Z bajo
es el subgrupo de .
(ii) Si no es de caracterstica 0 entonces la caracterstica de es un
nmero primo y el 1 es de orden . Por lo tanto, el ncleo de es el ideal
Z. Luego induce un monomofismo : ZZ .
Problemas.
2.1 Compruebe que todo dominio entero finito es un anillo con divisin.
2.2 Compruebe que el dominio entero Z no es un campo.
2.3 Compruebe que Z es campo s, y slo si, 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 definen, 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 definiremos, siguiendo el estilo de [Ll3], el anillo de poli-

nomios [] de un anillo .
3.1 Definicin. Sea un anillo con uno. Un anillo de polinomios de

es una terna,
( )
donde es un anillo, : es un monomorfismo con (1) como identi-
dad de , un elemento que conmuta con () para toda , tal que
(cumple la siguiente propiedad llamada universal) para todo monomorfismo
: 0 con (1) como identidad de 0 y todo elemento 0 que con-
muta con () para toda , existe un homomorfismo nico : 0
tal que () = y = , es decir, el siguiente diagrama conmuta:

&
0
3.2 Teorema. Sea ( ) un anillo de polinomios de . Entonces

el conjunto () {} genera . Adems, si (0 0 0 ) es otro anillo de
polinomios de , entonces existe un isomorfismo nico : 0 tal que
() = 0 y = 0 .
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} | () = 0 para casi toda
Z+ {0}}. Dmosle a una estructura de anillo (Problema 3.2 (i)) definiendo
dos operaciones binarias
+ :
( ) 7 ( + )() = () + ()
:
X
( ) 7 ()() = ()( )
=0
Ahora, para cada , definamos una funcin que depende de deno-

tada mediante
() = si = 0 0 si 0
As, y la asignacin dada por 7 define una funcin : .
Es fcil comprobar que es un monomorfismo y que (1) es la identidad de
(Problema 3.2 (ii)).
Definamos dado por () = 1 si = 1 o 0 si 6= 1. Claramente
conmuta con para toda . Veamos que ( ) es un anillo de poli-
nomios de : sea : 0 un monomorfismo con (1) como identidad tal
que cualquier elemento 0 conmute con () para toda . Definamos
: 0 mediante
X

7 () = ((0)) + (())
=1
Como () = 0 para casi toda , la sumatoria es finita. Es fcil ver que

es homomorfismo, () = , = y que es nica (Problema 3.2 (iii)).
De aqu que cualquier elemento de puede escribirse de manera nica como
= + + 2 2 + 1 1 + 0 , donde y = () para = 0 .
As tenemos el siguiente
3.3 Teorema. Para cualquier anillo con uno , existe un anillo de

polinomios de .
Identificaremos con su imagen () dentro de . As, se puede ver

como un subanillo de bajo la inclusin . Llamaremos a , anillo de
polinomios de y a indeterminada. Usualmente denotamos a como
[] y sus elementos los llamaremos polinomios en la indeterminada
con coeficientes en el anillo . Los elementos de los llamaremos
constantes. Los elementos de se llaman coeficientes del polinomio ,
coeficiente inicial y 0 trmino constante. El grado, (), de un
elemento distinto de cero [] es el mayor entero tal que () 6= 0.
Sea un anillo conmutativo. Si [] es un anillo de polinomios del anillo

, podemos considerar el anillo de polinomios en la indeterminada 0 del
anillo de [], es decir, ([])[0 ], el cual se puede probar que es isomorfo a
([0 ])[]. Usando esta identificacin lo denotaremos simplemente con [ 0 ]
y diremos que es el anillo de polinomios en las indeterminadas y 0 con
coeficientes en . Generalizando esto podemos definir el anillo de polinomios
[1 ... ] en las indeterminadas 1 ... con coeficientes en .
Consideremos 0 [] un anillo de polinomios de un subanillo 0 de un anillo

conmutativo y . Por la propiedad universal de los anillos de poli-
nomios aplicada como en el siguiente diagrama

0 0 []
&

existe un homomorfismo
: 0 []
dado por
+ + 2 2 + 1 1 + 0 7 ( + + 2 2 + 1 1 + 0 )
= + + 2 2 + 1 1 + 0
tal que para 0 , () = y () = llamado homomorfismo de

evaluacin o sustitucin. Resulta que a cada polinomio = + +
2 2 +1 1 +0 le asociamos el elemento de un anillo ( ) = ( + +
2 2 + 1 1 + 0 ) = + + 2 2 + 1 1 + 0 . sto es vlido para anillos
conmutativos y no necesariamente para no conmutativos. () significa
evaluar el polinomio en = . La asignacin 7 () determina una

funcin @ : tal que @ = ( ), es decir: si
= + + 2 2 + 1 1 + 0
entonces
@ = ( ) = + + 2 2 + 1 1 + 0
Cualquier funcin de en que pueda escribirse como una funcin del tipo
@ se llama funcin polinomial.
Como observamos, cada polinomio 0 [] determina una funcin de

en . Formalmente, podramos resumir que la asignacin 7 @ determina
un homomorfismo de anillos : 0 [] (Problema 3.16), (el cual no
siempre es inyectivo, a menos que 0 sea dominio entero infinito).
Los elementos de [] los denotaremos con letras como . El uso tradi-

cional de escribirlos como () slo indicar que la indeterminada es . Esta
notacin tradicional hace aparentar a como si fuera una funcin con va-
riable .
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 es un cero o raz del polinomio si @ () = 0.
Recuerde (2.4) que si es un subconjunto de un anillo , la interseccin

de todos los subanillos de que contienen a se llama subanillo de
generado por . De manera similar, si un subconjunto de un anillo ,
la interseccin de todos los ideales de que contienen a es un ideal de
(Problema 3.13) y se llama ideal de generado por denotado hi.
Los elementos de se llaman generadores del ideal hi. Si consiste de
elementos 1 ... denotaremos el ideal hi con h1 i y diremos que es
finitamente generado. Si hi est generado por un solo elemento diremos
que hi es un ideal principal. Un dominio entero en el cual todo ideal es
principal lo llamaremos dominio de ideales principales.
Observe que el ideal h1 i, al contener los elementos 1 ... implica

que debe contener a todos los elementos ("combinaciones lineales") de la
forma 1 1 + + donde . Los elementos 1 ... constituyen una
"base" del ideal. Se tiene el siguiente resultado: si es un campo, el anillo
de polinomios [] es un dominio de ideales principales. Tambin, Z es un

dominio de ideales principales (Problema 3.10). Observe tambin que este
concepto de generadores difiere del definido en lgebra Lineal para espacios
vectoriales.
Sea un anillo. Diremos que un ideal es mximo si los nicos ideales

que lo contienen son y . Es decir, es un ideal mximo de , si para
cualquier ideal de tal que se tiene que = o = .
Diremos que un ideal es primo si para cualesquiera elementos , ,
tales que si entonces . Es fcil comprobar que si es
un anillo conmutativo con uno entonces es un campo si, y slo si, es
un ideal mximo. Adems, es un ideal primo si, y slo si es dominio
entero (Problema 3.12).
Como un ejemplo de lo anterior, considere el caso en que 0 = Q, luego

0 [] = Q[] es el anillo de polinomios de un subanillo 0 = Q de un anillo
= C e = C. Por la propiedad universal de los anillos de polinomios
aplicada como en el siguiente diagrama

0 = Q 0 [] = Q[]
&
=C
existe un homomorfismo
: 0 [] = Q[] = C
dado por
+ + 2 2 + 1 1 + 0 7 ( + + 2 2 + 1 1 + 0 )
= + + 2 2 + 1 1 + 0
tal que para 0 = Q, () = y () = . Denotamos (Q[]) con

Q[] el cual consta de nmeros complejos de la forma + con , Q.
Sabemos que el ncleo de es el ideal de Q[] generado por 2 + 1 y por 2.11
considerando el siguiente diagrama
ker Q[] Q[] ker

& =
(Q[]) = Q[]
que Q[] ker
= (Q[]) = Q[]. Como ker es un ideal mximo, Q[] es
un subcampo de C el cual denotaremos Q().
A continuacin, veamos que todo dominio entero puede verse contenido

en un campo que llamaremos campo de cocientes. Para que la ecuacin
= , con , Z, tenga solucin nos vemos forzados a considerar el
campo Q de nmeros racionales.
3.4 Definicin. Sea un dominio entero conmutativo no trivial. Un

campo de cocientes de es una pareja ( ) donde es un campo y
: es un monomorfismo de anillos tal que para cualquier monomor-
fismo : 0 con 0 un anillo con divisin, existe un homomorfismo
de anillos nico : 0 tal que el siguiente diagrama conmuta:

&
0
3.5 Teorema. Sea ( ) un campo de cocientes de . Entonces, ()

genera a . Adems, si ( 0 0 ) es otro campo de cocientes de , entonces
existe un isomorfismo nico : 0 tal que = 0 .
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 = . Definamos en una relacin mediante (1 1 )
(2 2 ) s y slo si 1 2 = 2 1 en . Es fcil verificar que es una relacin
de equivalencia (Problema 3.4).
Sea = y denotemos con la clase de equivalencia de ( ). De-

finamos la suma y multiplicacin de clases como en los nmeros racionales, es
decir, (1 1 )+(2 2 ) = (1 2 +2 1 )1 2 y (1 1 )(2 2 ) = (1 2 )(1 2 ).

Es fcil comprobar que estas operaciones estn bien definidas y que hacen
de un anillo conmutativo con uno, cuyo elemento cero es la clase de equi-
valencia de la forma 0 y su uno la clase de la forma con = . (Prob-
lema 3.5).
Como el inverso de un elemento diferente de cero es pues 6= 0,

() () = 1 luego, es un campo. Veamos que ( : ) es un
campo de cocientes de . Definamos : mediante () = 1. Es
inmediato comprobar que es un monomorfismo. Consideremos cualquier
monomorfismo : 0 con 0 un anillo con divisin. Como () 6= 0 si
6= 0 en , podemos definir 0 : 0 mediante 0 ( ) = ()(). Es
fcil comprobar que 0 est bien definida (Problema 3.6).
As, 0 ( ) depende solamente de la clase de equivalencia , por lo tanto

podemos definir una funcin : 0 . Es fcil comprobar que es un
homomorfismo tal que = (Problema 3.6). Veamos que es nica: sea
: 0 cualquier otro homomorfismo tal que = . Sea .
Luego = ()()1 y por lo tanto () = ()()1 = (). As,
= . 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 , el anillo
de polinomios [] de es un dominio entero y no un campo. Sin embargo
por el teorema 3.6 podemos construir su campo de cocientes (), donde cada
elemento puede escribirse de la forma donde y son polinomios en []
con 6= 0. Anlogamente, para [1 ... ] podemos construir (1 ... ) el
cual se llama campo de cocientes o de funciones racionales con
indeterminadas sobre .
3.8 Teorema. Sea un campo de caracterstica 0. El subcampo de

generado por el uno de es isomorfo a Q.
Demostracin. Sea = Q con un entero y un entero
positivo. Si 6= 0 podemos considerar y con solamente 1 como divisor
comn. Si = 0, podemos tomar = 0 y = 1. As, la expresin para
es nica. Definamos : Q mediante () = 11, para toda =
. Es fcil ver que es un homomorfismo (Problema 3.11). Consideremos

el ideal ker de Q. Como (1) = 1, ker 6= Q. Pero como un anillo con
divisin no puede tener ideales propios no triviales (1.9), ker = 0. Luego,
es monomorfismo. Como es un subcampo de generado por el 1
hemos terminado.
Por la proposicin anterior y 2.16 (ii) todo campo contiene un subcampo

isomorfo a Z para algn primo o un subcampo isomorfo a Q. Llamaremos
a Z 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
() = + + 2 2 + 1 1 + 0 Q[]
es irreducible llamado Criterio de Einsenstein. Dice que si es un nmero
primo y Z[], entonces es irreducible sobre Q si no es congruente
con 0 mdulo , 6 0 ( ) para , y 0 no es congruente con 0
mdulo 2 .
Problemas.
3.1 Pruebe que si ( ) es un anillo de polinomios de , entonces el

conjunto () {} genera . Tambin, pruebe que si (0 0 0 ) es otro
anillo de polinomios de , entonces existe un isomorfismo nico : 0
tal que () = 0 y = 0 .
3.2 (i) Sea Z+ {0} el conjunto de enteros no negativos y un anillo

con uno. Compruebe que el conjunto = { : Z+ {0} | () = 0
para casi toda Z+ {0} posee una estructura de anillo definiendo dos
operaciones binarias mediante
7 ( + )() = () + ()
X
7 ()() = ()( )
=0
(ii) Sea y considere la asignacin dada por 7 la cual define

una funcin : . Compruebe que es un monomorfismo y que (1)
es la identidad de .
(iii) En el Teorema 3.2 compruebe que: es homomorfismo, () = ,

= y que es nica. Establezca que cualquier elemento de puede
escribirse de manera nica como = 0 + 1 1 + 2 2 + + , donde
y = () para = 0 .
3.3 Pruebe que si ( ) es un campo de cocientes de , entonces, ()

genera . Tambin, pruebe que si ( 0 0 ) es otro campo de cocientes de ,
entonces existe un isomorfismo nico : 0 tal que = 0 .
3.4 Considere el conjunto de los elementos distintos de cero de

y denote con = . Defina en una relacin mediante (1 1 )
(2 2 ) s y slo si 1 2 = 2 1 en . Compruebe que es una relacin de
equivalencia.
3.5 Sea = y denote con la clase de equivalencia de ( ).

Defina la suma y multiplicacin de clases como en los nmeros racionales, es
decir, (1 1 )+(2 2 ) = (1 2 +2 1 )1 2 y (1 1 )(2 2 ) = (1 2 )(1 2 ).
Compruebe que estas operaciones estn bien definidas y que hacen de un
anillo conmutativo con uno cuyo elemento cero es la clase de equivalencia de
la forma 0 y con uno la clase de la forma con = .
3.6 (i) Defina 0 : 0 mediante 0 ( ) = ()(). Compruebe

que 0 est bien definida. (ii) Por la parte (i) 0 ( ) depende solamente de
la clase de equivalencia , por lo tanto defina una funcin : 0 .
Pruebe que es un homomorfismo tal que = .
3.7 Pruebe que si 0 es un anillo con divisin que contiene a un sub-

dominio entonces la funcin inclusin : 0 se extiende a un
monomorfismo nico : 0 donde es el campo de cocientes.
3.8 Pruebe que el campo de cocientes de un campo cualquiera es

mismo.
3.9 Pruebe que en un anillo el ideal h0i = 0 donde h0i denota el ideal
generado por el elemento de identidad aditivo 0. Tambin, pruebe que si
tiene uno, entonces h1i = .
3.10 Pruebe que (i) Z es un dominio de ideales principales. (ii) Demuestre

que si es un campo, el anillo de polinimios [] es un dominio de ideales
principales. (iii) Pruebe que si es un dominio entero finito, entonces []

es un dominio entero.
3.11 Pruebe que, en el Teorema 3.8, es un homomorfismo.
3.12 Sea es un anillo conmutativo con uno. Pruebe que es un

campo si, y slo si, es un ideal mximo y que es un ideal primo si, y slo
si es un dominio entero.
3.13 Pruebe que si un subconjunto de un anillo , la interseccin de

todos los ideales de que contienen a es un ideal de .
3.14 Sea un campo. Pruebe que un polinomio en [] es irreducible

si, y slo si, el ideal generado por l es mximo.
3.15 Considere 0 [] un anillo de polinomios de un campo 0 , 0 un

subanillo de un anillo y . Pruebe que la funcin
: 0 []
dada por
+ + 2 2 + 1 1 + 0 7 ( + + 2 2 + 1 1 + 0 )
= + + 2 2 + 1 1 + 0
es un homomorfismo tal que para 0 , () = y () = .
3.16 Pruebe que la asignacin 7 @ determina un homomorfismo de

anillos : 0 [] .
3.17 Pruebe el algoritmo de la divisin para polinomios, es decir, pruebe

que si () = + +2 2 +1 1 +0 y () = + +2 2 +1 1 +0
son polinomios en [] con 6= 0 en y 0 entonces existen
polinomios nicos () y () en [] tal que () = ()() + (), con
() = 0 o bien el grado de () menor que el grado de ().
3.18 Pruebe que (i) ( ) es un factor de un polinomio () [] si,

y slo si, es una raz de (), .
(ii) Pruebe que cualquier polinomio no trivial de grado en [] tiene a
lo ms races en .
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 [] puede factorizarse en forma nica como producto
de polinomios irreducibles salvo el orden y constantes de los mismos.
3.20 Para un primo considere el polinomio

1
() = = 1 + 2 + + + 1
1
Pruebe que es irreducible en Q[] y por tanto en Z[]. Sugerencia: pruebe que
()( 1) ( 1) ( ) y que () ( 1)1 y utilice el Criterio
de Einsenstein.
3.21 Los polinomios ciclotmicos () Z[], 1 estn definidos

mediante
1 = | ()
Escriba los polinomios ciclotmicos para 20 y establezca la frmula
recursiva
1
() =
| ()
para calcular () a partir de () para . Las races del polinomio
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 denotado Z . Recuerde
tambin el campo de cocientes de un dominio entero del ejemplo I.3.7 ()
y (1 ... ).
Recuerde que todo homomorfismo de campos es inyectivo.
1.1 Definicin. Consideremos dos campos 0 y . Diremos que es

una extensin de 0 si la siguiente sucesin de homomorfismos es exacta:

0 0
es decir, es un monomorfismo e identificamos 0 con ( 0 ) dentro de
cuando esto sea posible. Decimos que 0 es el campo base de la extensin.
Vemos entonces a 0 = ( 0 ) como un subcampo de . Denotamos la
37
38 Captulo II. Teora de Campos y Teora de Galois
extensin de 0 o extensin de 0 en con 0 o bien 0 ,

o bien : 0 , o bien 0 cuando 0 6= , o tambin 0 , o

|
0
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
RQ
CR
CQ
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 0 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 especficamente los campos y su respectiva inclusin en otros.
1.3 Definiciones. (i) Si 0 y 00 son extensiones, diremos

que 0 es una subextensin de 0 00 y se acostumbra escribir
( 0 ) ( 0 00 ).
(ii) Diremos que dos extensiones

0
y
0
0
son isomorfas si existen homomorfismos de campos : 0 0 y :
tal que el siguiente diagrama conmuta

0

0
0
Podemos identificar 0
= ( 0 ), 0
= 0 (0 ) y | 0 = .
Ahora introduciremos el lgebra Lineal en el estudio de las extensiones

de campos. Considere una extensin 0 . Como 0 puede verse dentro
de , podemos considerar el espacio vectorial sobre 0 , denotar dim 0
como [ 0 ] y llamarla grado de sobre 0 , el cual puede ser infinito.
Si el grado de sobre 0 es finito (infinito), entonces diremos que la exten-

sin 0 es finita (infinita). El grado de una extensin es el invariante
ms importante de una extensin.
1.4 Teorema. Si 0 y 00 son extensiones finitas entonces

0 00 es una extensin finita y
[ 0 ][ 00 ] = [ 0 00 ]
Demostracin. Consideremos { }=1 y { } =1 bases para las exten-

siones y , es decir para como espacio vectorial sobre 0
0 00
y para 00 como espacio vectorial sobre . Veamos que los elementos

{ } forman una base para 0 0 00 , es decir, una base para 00
sobre 0 . P
Sea cualquier elemento de 00 . Entonces = con
=1 P
. Pero como y es P un espacio
P sobre P0
= =1 con
0 . Sustituyendo, = =1 (

=1 ) = ( ). Luego,
00 0
los elementos generan el espacio sobre P .
Consideremos
P P una combinacin linealP ( ) = 0 con 0 .
Entonces, =1 ( =1 ) P
= 0 con =1 . Como { } =1 es
00
base del espacio sobre , =1 P = 0 para toda . Como a la vez,
{ }=1 es una base para sobre 0 , =1 = 0 implica que = 0
para toda ,. Luego, los elementos { } son linealmente independientes.
As, { } es una base para 00 sobre 0 .
En esta situacin, decimos que es un campo intermedio de 0 y 00 .

Ntese que si 0 00 es una extensin infinita, tambin lo sern 0
y 00 . Tambin observe que si 0 00 es una extensin finita,
como corolario se tiene que la dimensin de sobre 0 o la de 00 sobre
divide a la dimensin de 00 sobre 0 , es decir [ 0 ] | [ 0 00 ]
o [ 00 ] | [ 00 ]. Dicho de otra manera, el grado de sobre 0
divide al grado de 00 sobre 0 o bien que el grado de 00 sobre divide al
grado de 00 sobre 0 .
1.5 Corolario. Consideremos una familia de campos { } para =

1... tal que cada +1 es una extensin finita de . Entonces es una
extensin finita de 1 y
[1 2 ][2 3 ] [1 ] = [1 ].
Demostracin. Problema 1.1.
1.6 Ejemplos. Considere la extensin R C donde C = {1+ | ,

R}. Entonces 1 e generan a C como espacio vectorial sobre R . Como R,
{1 } es linealmente independiente sobre C. Luego, {1 } es una base para
C sobre R y por lo tanto dimR C = [R C] = 2. Sea R() el subcampo que
contiene a los elementos de la forma + , con , R. Luego, C = R(),
(Problema 1.2).

1.7 Ejemplo. Sea Q( 2) = { + 2 | Q}. Al definiras Q( 2),
cualquier elemento es de la forma + 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 + 2 = 0 con , Q no ambos cero. Si = 0,
entonces 1 = 0 lo cual implica
que ambos , seran cero contra lo supuesto.
Tambin, si = 0, entonces 2 = 0 lo cual implica que ambos , sean cero
contra lo supuesto. La nica posibilidad es que ambos y sean distintos

de cero y por lo tanto se tendra que 2 = 1 y as 2 = 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 homomorfismo de evaluacin o sustitucin adap-

tado a campos: consideremos 0 [] el anillo de polinomios de un subcampo
0 de un campo 00 y 00 . El homomorfismo
: 0 [] 00
dado por
+ + 2 2 + 1 1 + 0 7 ( + + 2 2 + 1 1 + 0 )
= + + 2 2 + 1 1 + 0
tal que para 0 , () = y () = se llama homomorfismo de

evaluacin o sustitucin. Es decir, a cada polinomio = + +
2 2 + 1 1 + 0 le asociamos el elemento del campo () = ( + +
2 2 + 1 1 + 0 ) = + + 2 2 + 1 1 + 0 . () significa evaluar el
polinomio en = . La asignacin 7 () determina una funcin @ :
00 00 tal que @ = (), es decir: si
= + + 2 2 + 1 1 + 0
entonces
@ = ( ) = + + 2 2 + 1 1 + 0
Cualquier funcin de 00 en 00 que pueda escribirse como una funcin del
tipo @ se llama funcin polinomial.
Como observamos, cada polinomio 0 [] determina una funcin de

00 en 00 . Formalmente, decimos que la asignacin 7 @ determina un
00
homomorfismo de anillos : 0 [] 00 , (el cual no siempre es inyectivo,
a menos que 0 sea dominio entero infinito). Los elementos de 0 [] los
denotaremos con letras como , , . El uso tradicional de escribirlos como
() slo indicar que la indeterminada es . Esta notacin tradicional hace
aparentar a como si fuera una funcin con variable y no debe causar
confusin alguna. Como 0 [] es un dominio entero, existe un algoritmo de
la divisin para polinomios sobre 0 (Problema I.3.17).
Nos interesa considerar campos que estn entre 0 y 00 . Considere el

subcampo de 00 generado por un subconjunto de 00 (I.2.4 y P.I.2.6 ii).
1.8 Definicin. Sea un subconjunto de 00 y 0 00 una extensin.

El subcampo de 00 generado por 0 denotado con 0 (), se llama
subcampo obtenido por la adjuncin de a 0 .
Obsrvese que el subcampo 0 () puede ser mucho ms grande que

0 . 0 ({ }) se denota 0 ( ). Consideremos la extensin
0 00 con = {1 ... | 00 para = 1... }. Denotamos con
0 (1 ... ) el mnimo subcampo de 00 que contiene a 0 y a los elementos
1 ... .
La extensin 0 0 (1 ... ) se dice que est generada por 1 ...
y tambin decimos que es una extensin finitamente generada de 0 .
La extensin 0 0 () se llama extensin simple de 0 por . El
reordenar las 00 para = 1... , no cambia 0 (1 ... ) y se tiene que
0 (1 ... ) = 0 (1 ... 1 )( ).

1.9 Ejemplo. Por 1.7 sabemos que [Q
Q( 2)] = 2. Adjuntemos 3a
Q( 2), es decir, consideremos
(Q( 2))( 3). Entonces
sus elementos
son
de
la forma = + 3 con , Q( 2). Luego, 1, 3 generan (Q( 2))( 3).
Es fcil ver que son linealmente
independientes
sobre
Q( 2). lotanto son
Por
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 Q(
2) pues
R. Como 2 + 1 = 0,
Q( 2)() = Q( 2 ) y [Q( 2) Q( 2 )] = 2. Luego

[Q Q( 2)][Q( 2) Q( 2 )] = [Q Q( 2 )] = 4
Observe que 0 [] puede verse como un espacio vectorial sobre 0 donde

los elementos con 0 generan 0 [] sobre 0 y que 0 [] no es de
dimensin finita pues los polinomios pueden tener un grado muy grande y
no ser combinaciones lineales de un conjunto finito de polinomios.
Podemos hacer equivalente el problema de "encontrar las soluciones" de

una ecuacin polinomial
= + + 2 2 + 1 1 + 0
al problema de encontrar las races o ceros de
@ = () = + + 2 2 + 1 1 + 0
Es decir, resolveremos el problema original traducido a un problema equi-

valente usando homomorfismos, ideales, cocientes, etc. Nos preguntamos si
existe una extensin 0 tal que () 0 [] posea una raz en .
Veremos que todo polinomio de grado mayor o igual a 1 con coeficientes
en cualquier campo 0 posee una raz en algn subcampo de 00 que lo
contenga. Existir una extensin de 0 tal que un polinomio () 0 []
tenga una raz en ?
Consideremos la extensin 0 00 , 00 y la indeterminada.

Entonces el homomorfismo de evaluacin : 0 [] 00 enva 0 isomr-
ficamente en s mismo tal que para 0 , () = y () = . Como
todo polinomio se factoriza en 0 [] en polinomios irreducibles sobre 0 ,
si denota uno de tales polinomios irreducibles, el ideal generado por es
mximo en 0 []. Luego el cociente 0 [] es campo. Considrese
: 0 0 []
dada por
7 +
Es fcil ver que enva a 0 isomrficamente en s mismo dentro de 0 []
(Problema 1.4). As, podemos considerar = 0 [] como una extensin
de 0 . Sea = + , . Consideremos : 0 [] . Si
() = + + 2 2 + 1 1 + 0 0
entonces
@ = (()) = ( ( + ) + + 2 ( + )2 + 1 ( + )1 + 0 ) +
Como es un representante de la clase lateral = + , () = ( + +
2 2 + 1 1 + 0 ) + = () + = en . Luego, es tal que () = 0 y,
por lo tanto, () = 0. Hemos probado el siguiente
1.11 Teorema. (Kronecker) Si () es un polinomio no trivial en 0 []

donde 0 es un campo, entonces existe una extensin de 0 y un elemento
tal que () = 0.
1.12 Ejemplo. El polinomio () = 2 + + 1 Z2 [] es irreducible sobre

Z2 , (Problema 1.5). Por el Teorema 1.11 existe un campo = Z2 () que
contiene una raz de . Luego, Z2 () posee los elementos de la forma
0 + 0 1 + 0 0 + 1 1 + 1
q q q q
0 1 1+
lo cual nos proporciona un campo con cuatro elementos.
1.13 Ejemplo. Considere 0 = R y () = 2 + 1 un polinomio ir-

reducible en R[]. Luego, el ideal = h2 + 1i generado por este poli-
nomio irreducible es mximo y por lo tanto el cociente R[] es campo.
Podemos ver a R como un subcampo de R[]. Sea = + . Entonces
2 + 1 = ( + )2 + (1 + ) = (2 + 1) + = 0R[] . As, es una raz de 2 + 1.
Nos interesarn las extensiones 0 para las cuales cualquier ele-

mento sea raz de una ecuacin polinomial sobre 0 .
1.14 Definicin. Sea 0 una extensin. Diremos que un elemento

es algebraico sobre 0 si existe un polinomio no nulo 0 []
tal que es raz de . Si no es raz de algn polinomio no nulo 0 []

diremos que es trascendente sobre 0 . Diremos que es una extensin
algebraica de 0 si todo elemento de es algebraico sobre 0 . Diremos
que es una extensin trascendente de 0 si al menos un elemento de
es trascendente sobre 0 .
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
2
algebraico sobre Q pues es raz delpolinomio 2 Q[]. Tambin, si
consideramos la extensin Q C, 2 e = 1 son elementos algebraicos
sobre Q pues son races de los polinomios 2 2 Q[] y 2 +1 Q[] respecti-
vamente. Cualquier elemento 0 es raz del polinomio 0 [] y por
lo tanto es algebraico sobre 0 . Se puede probar que R son trascen-
dentes sobre Q. Pero es algebraico sobre R al ser raz de R[].
Observe que 2 tambin es raz de muchos polinomios ms, propnga usted
algunos.
Considere la extensin 0 00 , y 00 algebraico sobre 0 . El

polinomio mnimo para sobre 0 , denotado 0 , es el polinomio
mnico irreducible nico de grado mnimo () 0 [] tal que () = 0 el
cual divide a cualquier otro polinomio que tenga a como raz (Problema
1.7). El grado del polinomio 0 lo llamaremos grado de sobre 0 y lo
denotaremos ( 0 ). A continuacin veamos que si 00 es algebraico
sobre 0 entonces [ 0 0 ()] = ( 0 ): considrese la extensin simple
0 () de 0 tal que el ncleo ker del homomorfismo de evaluacin
: 0 [] 0 ()
sea no trivial. Si suponemos que es algebraico sobre 0 , el ncleo de es

un ideal, el cual es principal (P I.3.10) generado por 0 el cual es mximo
(P I.3.14) i.e. ker = h 0 i es un ideal mximo. Luego, 0 []h 0 i
es un campo el cual es isomorfo a ( 0 []) el cual es un subcampo de
0 () que contiene a , i.e. 0 (). Todo elemento de 0 []h 0 i es de la
forma () + donde = h 0 i con el grado de () ( 0 ). Luego,
cualquier elemento de 0 []h 0 i puede escribirse como combinacin lineal
de clases laterales 1+ + 2 + 1 + donde = ( 0 ). Como
+ , vemos que los elementos 1 ... 1 son base para 0 () sobre

0 . As, [ 0 0 ()] = ( 0 ). (Vase el Problema 1.8)
Si consideramos la misma extensin simple 0 () de 0 tal que el ncleo

ker del homomorfismo de evaluacin : 0 [] 0 () sea trivial.
Entonces es un monomorfismo. Luego ( 0 []) no es un campo pero
es un dominio entero y podemos considerar el campo de cocientes 0 () y
se tiene un monomorfismo 0 () 0 () el cual tambin es suprayectivo
pues est en la imagen. ( es trascendente sobre 0 ).
1.16 Ejemplos. Considere la extensin Q C, el polinomio () = 2

2 y el homomorfismo de evaluacin 2 : Q[] C. Entonces 2 ( ()) =

( 2) = ( 2)2 2 = 0. Luego, () = 2 2 ker 2 . As [Q Q( 2)] =

2 = ( 2 Q), luego 2Q () = 2 2.
Considere la extensin Q C , el polinomio () = 2 + 1 y el homo-
morfismo de evaluacin (()) = () = 2 + 1 = 0. Luego, () = 2 + 1
ker . As [Q Q()] = 2 = ( Q), luego Q () = 2 + 1. No es trivial
el obtener el polinomio mnimo en general.
1.17 Proposicin. Si una extensin 0 es finita, entonces es

algebraica sobre 0 .
Demostracin. Sea . Veamos que es algebraico sobre 0 . El
conjunto { 1 2 1 1} no es linealmente independiente, es decir,
existe una combinacin lineal
+ + 2 2 + 1 1 + 0 = 0
con no toda = 0. Luego () = + +2 2 +1 1 +0 es un polinomio

no trivial en 0 [] con () = 0. Luego, es algebraico sobre 0 .
El inverso de 1.17 es falso pues hay extensiones algebraicas de grado

infinito.
1.18 Teorema. Considere la extensin algebraica 0 . Entonces,

= 0 (1 ... ) para 1 ... s, y slo si es una extensin finita
sobre 0 .
Demostracin. Si = 0 (1 ... ), es algebraico sobre 0 y por
lo tanto es algebraico sobre cualquier extensin de 0 . Luego, el campo
0 (1 ) es algebraico sobre 0 y generalizando 0 (1 ... ) es algebraico sobre
0 (1 ... 1 ) para = 2... . Luego = 0 (1 ... ) es una extensin

finita de 0 . La parte, slo si, se deja como ejercicio, ver Problema 1.10.
1.19 Definicin. Considere la extensin algebraica 0 . La ce-

rradura algebraica de 0 en es el conjunto { | es algebraico
sobre 0 } y lo denotaremos con
0
o simplemente, por abuso, 0 .
1.20 Proposicin. Si 0 es una extensin y 0

la cerradura
0 0
algebraica de en entonces es un campo y es la extensin ms
grande de 0 en .
Demostracin. Si , son algebraicos sobre 0 entonces ,
y con 6= 0 son algebraicos sobre 0 . Si , 0
entonces 0 ( )
es una extensin finita y sus elementos son algebraicos sobre 0 . Es decir,
0 ( )
0 0
. Luego, contiene a todo elemento de que es algebraico
sobre , y as, es la extensin ms grande de 0 contenida en .
0 0
Problemas.
1.1 Considere una familia de campos { } para = 1... tal que cada
+1 es una extensin finita de . Pruebe que es una extensin finita
de 1 y que
[1 ] = [1 2 ][2 3 ] [1 ]
1.2 Sea R() el subcampo que contiene a los elementos de la forma + ,

con , R. Pruebe que C = R().
1.3 Pruebe que Q R y Q C son extensiones infinitas y que

[Q Q()] = 2.
1.4 Considrese
: 0 0 []
dada por
7 +
Verifique que enva a 0 isomrficamente en s mismo dentro de 0 [].
1.5 Pruebe que si es un polinomio en 0 [] de grado 2 3, entonces

tiene una raz en 0 si, y slo si, es reducible sobre 0 .
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 sobre 0 , denotado 0 ,

divide a cualquier otro polinomio que tenga a como raz.
1.8 Pruebe que si entonces son equivalentes las siguientes: (i) es

algebraico sobre 0 , (ii) el homomorfismo de evaluacin posee un ncleo no
trivial y (iii) la extensin 0 0 () es finita.

1.9 Compruebe que 2Q () = 2 2, que 2R () = 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 C () = .
1.10 Pruebe la parte "slo si" de 1.18.
1.11 Compruebe que 0 [] puede verse como un espacio vectorial sobre

donde los elementos con 0 generan 0 [] sobre 0 .
0
Considere la extensin Q C. Encuentre el polinomio mnimo para

1.12
2 + 3 sobre Q.

1.13 Compruebe que Q 6 2) = Q( 2 3 2). Sugerencia: Verifique que

2) Q( 2 2)] = 1
6 3
[Q
II.2 Automorfismos y ms sobre extensiones 49
II.2 Automorfismos y ms sobre extensiones
2.1 Definicin. Sea un anillo. Un automorfismo de es un isomorfismo

de anillos : . Denotaremos con () el conjunto de automorfismos
de .
2.2 Definicin. Sea un subanillo de . Un automorfismo de

sobre es un isomorfismo de anillos : tal que () = para toda
. Denotaremos con () el conjunto de automorfismos de sobre
.
2.3 Proposicin. () y () son grupos bajo la composicin de

funciones.
Demostracin. Como la composicin de automorfismos es automor-
fismo, como vale la asociatividad de funciones bajo la composicin, como
el inverso de un automorfismo tambin es un automorfismo y la identidad
tambin lo es, el conjunto () es un grupo bajo la composicin. Anloga-
mente para ().
2.4 Ejemplo. Considere = Z. Entonces todo Z es de la forma

1 para Z. Claramente (1) = 1. Por lo tanto = Z . Luego,
(Z) = {Z }.
2.5 Proposicin. Sea un dominio entero, ( ) su campo de co-

cientes y : un automorfismo. Entonces el homomorfismo inducido
: es un automorfismo.
Demostracin. Por I.3.4, existe : . Veamos que posee
inverso. Como : induce 1 : y 1 = 1 = .
Por el Problema 2.3 (i), = = . Luego, posee a 1
1 1
como
inverso.
2.6 Definicin. Sea 0 una extensin y 0 []. Diremos que

se descompone en 0 o sobre si se factoriza en factores lineales
en [].
Observe que si se tiene un campo 00 tal que 0 [] se descompone

sobre 00 , entonces las distintas races 1 ... de () en 00 generan el
subcampo 0 (1 ... ) de 00 que es el campo mnimo de 00 en el cual
se factoriza en factores lineales en 00 [].
2.7 Definicin. La extensin mnima de 0 que cumple lo anterior se

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

se factorice en factores lineales. Para contestar esta pregunta, supongamos
que 1 es una raz en 0 1 y omitimos el factor ( 1 ) considerando
el polinomio 1 () = ()( 1 ) 1 []. Luego hacemos lo mismo en-
contrando una extensin 0 2 que contenga una raz de 1 (), etc. As
tenemos el siguiente
2.8 Teorema. Sea 0 [] un polinomio. Entonces existe una exten-

sin finita 0 00 que es un campo de descomposicin de sobre 0 .
2.9 Ejemplo. Considere el polinomio () = 4 4

en Q[]. Como () =
(2 2)(2+ 2) podemos
adjuntar las races 2 y 2 de
2
2 obteniendo
Q( 2 2) = Q( 2)el cual es una extensin Q Q( 2) de grado 2. Nos
fijamos en (2 +2) Q( 2)[]. Lasraces 2 y 2 son complejas, noen R,
2
luego
( + 2) es irreducibleen Q( 2)[].
Ahora consideramos Q( 2 2) =
Q( 2 ) y la extensin Q( 2) Q( 2 ) la cual es de grado 2. Considere
2 2
la torre acostada de campos Q Q( 2) Q( 2 ) C. Luego el
campo dedescomposicin de sobre Q en C es Q( 2 ) y por lo tanto
[Q Q( 2 )] = 4.
Suponga que 1 ... son las distintas races de 0 []. 0 (1 )

es el mnimo subcampo que contiene a 0 y a las . Pero 0 (1 )
est contenido en cualquiera o todo subcampo de descomposicin. Por lo
tanto tenemos la siguiente
2.10 Proposicin. Sea 0 00 una extensin y 00 []. Si 1 y

2 son subcampos de descomposicin para sobre 0 entonces 1 = 2 .
Notacin. (i) Para las extensiones 0 y 0 00 denotare-

mos con 0 ( 00 ) el conjunto de homomorfismos (inyectivos) de en
00 que dejan fijo a 0 . Considere la extensin finita 0 00 , entonces
0 ( 00 00 ) = 0 ( 00 00 ) es un grupo. (ii) Sea 0 00 una ex-
tensin y 0 []. Denotaremos con ( 00 ) el conjunto de las races de
en 00 .
2.11 Proposicin. Sea 0 00 una extensin y 0 [] un poli-

nomio irreducible. Sea 00 una raz de . Entonces los conjuntos
0 ( 0 ( ) 00 ) y ( 00 )
poseen la misma cardinalidad.

Demostracin. Considere el diagrama

0 0 [] 0 [] h i

=
& .
00 L99 0 ( )
donde : 0 [] 00 es el homomorfismo de evaluacin, el cual se facto-

riza mediante : 0 [] hi 00 . Para cada raz existe un . En-
tonces, cada raz da lugar a un homomorfismo = ( )1 para el
cual ( ) = .

2.12 Ejemplo. Como Q( 2) = Q[] h2 2i donde 2 2 es
irreducible

sobre Q, hay dos homomorfismos que dejan fijo a Q que envan 2 en 2
que son races complejas de 2 2. Estas dos races nos dan los homomorfismos

1 : Q( 2) C
+ 2 7 1( + 2) = + 2
+ 2 7 ( + 2) = 2

Si ponemos Q( 2) en lugar de C obtenemos

Q (Q( 2) C) = Q (Q( 2) Q( 2)) = Q (Q( 2)

Luego |Q (Q( 2) C)| = 2.
La siguiente proposicin es clave para comprender el grupo de automor-

fismos para el caso de extensiones algebraicas.
2.13 Proposicin. Considere las extensiones 0 y 0 00 .

Entonces
(i) para [], cada 0 ( 00 ) se restringe a una funcin
inyectiva : ( ) ( 00 ).
(ii) si 0 ( ) entonces : ( ) ( ) es biyectiva.
Demostracin. (i) Para ( ) se tiene que (()) = (()) =
(0) = 0, por lo tanto enva ( ) en ( 00 ). Como es inyectiva, su
restriccin a ( ) es una inyeccin tambin.
(ii) De (i), : ( ) ( ) es inyectiva y como es de un conjunto
finito en s mismo es suprayectiva.
Observe que (ii) dice que cualquier automorfismo de permuta el con-

junto de races de de un polinomio [].
2.14 Definicin. Considere la extensin 0 00 . Diremos que los

elementos , 00 son conjugados sobre 0 si son races del mismo
polinomio mnimo sobre 0 , es decir, 0 = 0 .
2.15 Ejemplos. Considere la extensin Q C, y son conjugados

sobre Q pues son races del mismo polinomio mnimo sobre () =
Q, Q
2 + 1 = Q (). Si se considera la extensin Q C, 2 y 2 son
conjugados sobre Q pues son races del mismo polinomio mnimo sobre Q,
2Q () = 2 2 = 2Q (). Tambin, para Q C, 3 2, 3 223 ,
3
243 son conjugados sobre Q pues son races del mismo polinomio mnimo
sobre Q, _Q () = 3 2.
2.16 Teorema. Sea 0 un campo, , elementos algebraicos sobre 0 ,

= ( ). Entonces y son conjugados sobre 0 si, y slo si, la funcin
: 0 () 0 ()
dada por
1 1 + + 1 1 + 0 7 1 1 + + 1 1 + 0
es un isomorfismo de campos.
Demostracin. Supongamos que y son conjugados, es decir, 0 =
0 . Consideremos el siguiente diagrama
h 0 i 0 [] 0 [] h 0 i = 0 [] h 0 i
&
=
=
0 ()

0 ()

Definimos = 1
el cual es un isomorfismo tal que
(1 1 + + 1 1 + 0 ) = 1
(1
1
+ + 1 1 + 0 )
= [(1 1 + + 1 1 + 0 ) + h 0 i]
= 1 1 + + 1 1 + 0
Ahora veamos que si es isomorfismo entonces y sern conjugados.

Considere 0 () = + + 2 2 + 1 1 + 0 . Entonces + +
2 2 +1 1 +0 = 0. Por lo tanto ( + +2 2 +1 1 +0 ) = +
+ 2 2 + 1 1 + 0 = 0. Luego 0 | 0 . Anlogamente 0 | 0 y
as, y son conjugados.

2.17 Ejemplo. Considere la extensin Q Q( 2) y el polinomio
2Q () = 2 2. Sus races son 2 y 2 y por definicin, son conju-

gadas sobre Q. Por el teorema anterior, 22 : Q( 2) Q( 2) dada

por + 2 7 22 ( + 2) = 2 es un automorfismo de Q( 2).
2.18 Definiciones. Sea 0 [] un polinomio irreducible. Diremos

que el polinomio es separable sobre 00 si toda raz de es simple en
la extensin 0 00 . Un elemento algebraico 00 en una extensin
0 00 es separable si su polinomio mnimo 0 0 [] es separable.
Si 0 00 es una extensin finita, el grado de separabilidad, denotado
{ 0 00 }, de la extensin 0 00 , es el orden de 0 ( 00 0 ). Si
0 00 es una extensin finita, se dice que es separable si { 0 00 } =
[ 0 00 ].
Observe que si 0 0 () es una extensin finita simple, por 2.11

aplicado a 00 = 0 se tiene que { 0 0 ()} = |( 0 0 )|.
2.19 Proposicin. Si 0 y 00 son extensiones finitas,

entonces { 0 }{ 00 } = { 0 00 }.
Demostracin. Problema 2.6.
2.20 Definicin. Considere 0 00 una extensin finita. Diremos

que es una extensin normal si 00 es el campo de descomposicin sobre
0 de algn polinomio 0 [].
Recurdese que 0 ( 00 ) denota el conjunto de homomorfismos

de en 00 que dejan fijo a 0 . As, 0 ( 00 00 ) = 0 ( 00 ) pues
todo homomorfismo inyectivo es suprayectivo y por lo tanto invertible. Por
el Problema 2.8, una extensin 0 00 es normal si para toda
0 ( 00 0 ) se tiene que ( 00 ) = 00 . Obsrvese que si 0 00
es una extensin normal, entonces, siempre que se tenga un polinomio irre-
ducible 0 [] el cual posea una raz en 00 , se separa en 00 puesto que
cada par de races de son conjugadas sobre 0 y una va a dar a la otra
mediante un homomorfismo 0 0 que enva a 00 en s mismo.
2.21 Teorema. Sea 0 00 una extensin algebraica y 0

00 una torre de campos. Si 0 : 0 es un homorfismo que fija los
elementos de 0 , entonces existe un homomorfismo : 00 0 que
"extiende" a 0 .

00 99K 0
| % |
0
|
| |
0
= 0
Demostracin. Sea el conjunto de las parejas ( ) donde ( )
( 00 ) y : 0 extiende a 0 . Ordenemos mediante la relacin
para la cual (1 1 ) (2 2 ) siempre que 1 2 y 2 extiende
a 1 . Luego ( )es un conjunto parcialmente ordenado. Supngase que
es un subconjunto totalmente ordenado. Sea C = () . En-
tonces ( C) ( 00 ). Tambin existe una funcin : C 0
dada por () = () cuando para ( ) . Es claro que si 0
para ( 0 0 ) entonces 0 () = () y por lo tanto est bien definida.
Entonces para toda pareja ( ) tenemos que ( ) (C ) y as
(C ) es una cota superior de . Por el Lema de Zorn, debe de haber un
elemento mximo de , a saber, (000 0 ).
Supongamos que 000 6= 00 , entonces existe un elemento 00 para el

cual 000 . Como 00 es algebraico sobre 0 , tambin es algebraico sobre
000 pues es algebraico sobre 000 . Si 000 () = + + 2 2 + 1 1 +
0 , entonces el polinomio () = + + 0 (2 )2 + 0 (1 )1 + 0 (0 )
(0 (000 ))[] es tambin irreducible y por lo tanto tiene una raz en 0 el cual
es tambin la cerradura algebraica de 0 (000 ). Por la propiedad universal del
anillo de polinomios 000 [], 0 da lugar a 000 como en el siguiente diagrama

000 000 [] 000 [] 000 () = 000 ()
&0 00 .000
Pero (000 0 ) (000 () 000 ) y (000 0 ) 6= (000 () 000 ) contradiciendo

la maximalidad de (000 0 ). Por lo tanto, 000 = 00 y podemos tomar
= 0 .
2.22 Definicin. Considere 0 00 una extensin finita simple. Dire-

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

posee un elemento primitivo.
Demostracin. Supongamos que 00 es un campo infinito. Como 00 se
construye a partir de una sucesin de extensiones simples, basta considerar
el caso 00 = 0 ( ). Sean , 0 [] los polinomios mnimos de
y sobre 0 respectivamente. Considere = 1 ... y = 1 ...
las distintas races de y respectivamente en 0 . Como 0 00 es
separable, = () y = (). Para 6= 1 se tiene que = 1 6= y por
lo tanto la ecuacin + = + tiene solamente una solucin, a saber,
= = ( ) y =

. Si escogemos una 0 diferente
de estas soluciones (pues 0 es infinito), entonces + 6= + , excepto
cuando = = 1.
Sea = +. Entonces los polinomios () y () tienen coeficientes
en 0 ()[] y poseen a como raz, es decir, () = 0 y ( ) = () = 0.
De hecho, es su nica raz comn pues escogimos tal que 6= + , es
decir, 6= a menos que 1 = = .
Por lo tanto, el ...((), ( )) = . Se sabe que el mximo

comn divisor de dos polinomios tiene coeficientes en el mismo campo que los
coeficientes de los polinomios. Luego 0 () y esto implica que =
tambin est en 0 (). Por lo tanto, 0 ( ) = 0 (). Para el caso en que
00 sea un campo finito, ver el Problema 3.5 en la siguiente seccin.
Problemas.
2.1 Pruebe que (Z ) = {Z }.
2.2 Suponga que un anillo contiene a = Z Z y (). Pruebe

que se restringe a la identidad en y por lo tanto () = ().
2.3 Sean 0 y dominios enteros, 0 y sus campos de cocientes

respectivamente y : 0 un monomorfismo. (i) Pruebe que existe
un nico homomorfismo inducido : 0 tal que () = () para
0 0 . (ii) Pruebe que 0 : 0 0 induce = : 0 0 y

que si 0 00 son monomorfismos de dominios enteros, entonces
= () : 0 0 .
2.4 (i) Pruebe que ( ) : (0 ) ( 0 ) es un monomorfismo.

(ii) Pruebe que ( ) : (Z) (Q) es un isomorfismo y por lo tanto
(Q) = {Q }.
2.5 Pruebe que las races de polinomios con coeficientes en R son conju-
gadas. Sugerencia: considere C = R() = R().
2.6 Pruebe la Proposicin 2.19: si 0 y 00 son extensiones

finitas, entonces { 0 }{ 00 } = { 0 00 }.
2.7 Pruebe que si 0 y 00 son extensiones finitas, entonces

y 00 son separables si, y slo si 0 00 es separable.
0
2.8 Pruebe que 00 es el campo de descomposicin sobre 0 de algn

polinomio 0 [] (es decir 0 00 es una extensin normal) si, y slo
si, ( 00 ) = 00 para todo 0 ( 00 0 ).
2.9 Considere las extensiones finitas 0 y 00 . Pruebe que si

la extensin 0 00 es normal, entonces la extensin 00 es normal.
2.10 Sea un polinomio en 0 []. Un elemento 0 tal que () = 0

es una raz de multiplicidad si es el mayor entero tal que ( )
es un factor de en 0 []. Pruebe que si es irreducible en 0 [] entonces
todas las races de en 0 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 0 00 analizando los automorfismos de 00 que dejan fijo a
0 , es decir, analizando 0 ( 00 ).
3.1 Definicin. Una extensin finita 0 00 se llama extensin de

Galois si es normal y separable.
Por el teorema 2.21, todo automorfismo 0 0 se extiende a un

homomorfismo de 00 0 manteniendo fijos a los elementos de 0 . Luego
tenemos la biyeccin 0 ( 00 0 ) 0 ( 00 ) y por lo tanto
| 0 ( 00 )| = { 0 00 } = [ 0 00 ]
3.2 Definicin. El grupo de Galois de la extensin 0 00

es el grupo 0 ( 00 ) denotado ( 0 00 ). Sus elementos se llaman
automorfismos de Galois de 0 00 .
As, |( 0 00 )| = { 0 00 } = [ 0 00 ].

3.3 Ejemplo.
Por 1.9
sabemos
que [Q Q( 2 3)] = 4. Conside-

remos Q( 2 3) = (Q( 2))( 3). El isomorfismo 33 : Q( 2 3)

Q( 2 3) dado por + 3 7 3, con , Q( 2) es un au-
tomorfismo que tiene a Q( 2) como campo fijo. Anlogamente, 22 :

Q( 2 3) Q( 2 3) tiene a Q( 3) como campo fijo. Como la com-
posicin de automorfismos es un automorfismo, vemos que 33 22

no deja fijo ni a
2, ni a 3. Consideremos el grupo
Q (Q( 2 3)). Sabe-
mos que {1, 2, 3, 6} es una base para Q( 2 3) sobre Q. Consideremos
= 1Q (Q(23)) , 1 = 22 , 2 = 33 y 3 = 33 22 .
II.3 Teora de Galois 59

Como 1 ( 2) = 2, 1 ( 6) = 6 y 2 ( 3) = 3, Q es el campo fijo
de {,1 ,2 ,3 }.
Sea 0 00 una extensin de Galois y un subgrupo de ( 0 00 ).

Denotemos con
( 00 ) = { 00 |() = para toda }
Entonces ( 00 ) es un subcampo de 00 que contiene a 0 pues si ,

00
( ) y , ( + ) = () + () = + , () = ()() = ,
(1 ) = ()1 si 6= 0 y si 0 , entonces () = , es decir 0 ( 00 ) .
Llamaremos a ( 00 ) subcampo fijo de . Si denota una familia { }
de automorfismos de 00 que dejan fijo a 0 , denotamos con ( 00 ){ } al
subcampo fijo de la familia { }.

3.4 Ejemplo. Considere la extensin Q Q( 2) y el polinomio
2Q () = 2 2. Sus races son 2 y 2 y son conjugadas sobre Q.

Como vimos en el Ejemplo 2.17, 22 : Q( 2) Q( 2) dada por

+ 2 7 22 ( + 2) = 2 es un automorfismo de Q( 2).

Pero + 2 = 2 cuando = 0. Luego, el subcampo fijo de {22 }

es Q( 2){ 2 2 } = Q.
Por el Problema 2.7, si 0 00 es una extensin de Galois entonces

las extensiones 0 ( 00 ) y ( 00 ) 00 son separables y tambin
( 00 ) 00 es normal y por lo tanto es una extensin de Galois. Recuerde
que |(( 00 ) 00 )| = {( 00 ) 00 } = [( 00 ) 00 ]. Todo
automorfismo de (( 00 ) 00 ) es un automorfismo de ( 0 00 ),
luego (( 00 ) 00 ) es un subgrupo de ( 0 00 ). Observe que,
por definicin, (( 00 ) 00 ) y por el Teorema de Lagrange,
()|((( 00 ) 00 ).
3.5 Proposicin. Si es un subgrupo de ( 0 00 ) entonces

(( 00 ) 00 ) = .
Demostracin. Como la extensin ( 00 ) 00 es separable, por el
teorema 2.23, es una extensin simple, es decir, 00 = ( 00 ) (). Considere
los distintos elementos de = {1 = 1 2 ... }. Considere el polinomio
de grado
() = ( )( 2 ()) ( ()) 00 []
Observe que () no cambia al aplicar a sus coeficientes puesto que las

races () son permutadas por . Por lo tanto, () ( 00 ) []. As,
[( 00 ) 00 ] = [( 00 ) (( 00 ) )()] = (). Por otro lado,
como ((( 00 ) 00 ))tenemos que = () ((( 00 )
00 )) = [( 00 ) 00 )]. Por las dos desigualdades anteriores se tiene que
() = = ((( 00 ) 00 )) = [( 00 ) 00 )] y por lo tanto
(( 00 ) 00 ) =
Sea 0 00 una extensin de Galois y ( 0 ) ( 0 00 ).
Entonces la extensin 00 tambin es de Galois cuyo grupo de Galois
lo denotamos ( 00 ).
3.6 Definicin. El grupo de Galois ( 00 ) anterior se llamar
grupo de Galois relativo de las extensiones ( 0 ) y ( 0 00 ).
3.7 Proposicin. Considere ( 0 ) ( 0 00 ). Entonces
00 ( 00 )
( ) = .
00
Demostracin. Es claro que ( 00 )( ) . Por otro lado, sea
00 . Por el Problema 3.3, existe un automorfismo ( 00 )
00 00
( 00 )( ) . As, ( 00 )( ) .
tal que () 6= y por lo tanto
00
Por lo tanto, ( 00 )( ) = .
Consideremos una extensin de Galois finita 0 00 . Denotemos con
( 0 00 ) el conjunto de todos los subgrupos de ( 0 00 )
y ( 0 00 ) el conjunto de todas las subextensiones 0 de
0 00 , es decir, donde es un campo intermedio 0 00 .
Ordenemos estos conjuntos por inclusiones. Claramente ( 0 00 )
es un conjunto finito.
Los siguientes resultados constituyen los principales de la Teora de Ga-
lois.
3.8 Teorema . Sea 0 00 una extensin de Galois finita. Definamos
las siguientes funciones
: ( 0 00 ) ( 0 00 ) dada por
7 () = (( 00 ) 00 )
y
: ( 0 00 ) ( 0 00 ) dada por
( ) 7 ( 0 00 ) = ( 0 00 )
0 00
Entonces las funciones y son biyecciones mutuamente inversas que preser-

van el orden de contencin inverso.
Demostracin. Utilizando los resultados anteriores, considere las com-
posiciones siguientes

( 0 00 ) ( 0 00 ) ( 0 00 )
(()) =
= (( 00 ) 00 )
7 () = (( 00 ) 00 ) 7
= (( 00 ) 00 )
=

( 0 00 ) ( 0 00 ) ( 0 00 )
( 0 )
( 00 )( ) 00 =
0
( ) 7
0
k 7
= ( 0 )
( )
0
i.e., = 1( 0 00 ) y = 1( 0 00 ) . Luego, y son inversos

uno del otro. Si 1 y 2 son elementos del conjunto ( 0 00 ) tal
que 1 2 entonces ( 0 ( 00 )2 ) ( 0 ( 00 )1 ) pues si ( 00 )2
entonces permanece fijo por todo elemento de 1 pues 1 es un subconjunto
de 2 . Por lo tanto, tambin invierte el orden. Tambin, si ( 0 1 )
( 0 2 ) son elementos de ( 0 00 ), entonces como 1 2 ,
(2 00 ) (1 00 ) y si (2 00 ) entonces fija
todo elemento de 1 . Por lo tanto ( 0 2 ) ( 0 1 ) y invierte
el orden de contencin.
Es de mencionarse que este fenmeno no se estudia solamente en la Teora

de Galois, sino en general en la Teora de Conjuntos Parcialmente Ordena-
dos. Tal par de biyecciones son, de hecho, funtores y se les conoce como
una conexin de Galois. Esto tiene mucha importancia en la Teora de la
Computacin y en la Teora Matemtica de la Msica.
3.9 Proposicin. Sea 0 00 una extensin de Galois y ( 0

) ( 0 00 ). Entonces el grupo de Galois relativo ( 00 )
de las extensiones ( 0 ) y ( 0 00 ) es un subgrupo normal de
( 0 00 ) si, y slo si ( 0 ) es una extensin normal.
Demostracin. Supongamos que ( 00 ) C ( 0 00 ), es
decir, para toda ( 00 ) y ( 0 00 ) tenemos que
1 ( 00 ). Si , entonces para cualquier ( 0

00 ) y ( 00 ), () 00 satisface () = (1 ()) = ()
puesto que 1 ( 00 ); luego () ( 00 )( ) = . Por
00
el Teorema 2.21, todo homomorfismo 0 que deja fijo a 0 se extiende

a un homomorfismo 00 0 el cual debe tener imagen 00 . Por lo tanto,
0 00 es una extensin normal.
Ahora supongamos que 0 00 es una extensin normal. Entonces,
para cada ( 00 ) y , () . Tambin, para cada
( 0 00 ), (()) = () y por lo tanto 1 () = . As que
1 ( 00 ). Luego, para toda ( 0 00 ), (
00 )1 = ( 00 ) y por lo tanto ( 00 ) C ( 0 00 ).
3.10 Proposicin. Sea 0 una extensin de Galois. Entonces

existe un isomorfismo de grupos
( 0 00 )( 00 )
= ( 0 )
dado por ( 00 ) 7 | .
Demostracin. Como 0 es una extensin normal, si
( 0 00 ) entonces = . As es que podemos restringir a
un automorfismo de , | : . Entonces | es la identidad en
s, y slo si , ( 00 ). Es inmediato comprobar que la funcin
( 0 00 ) ( 0 )
7 |
es un homomorfismo de grupos con ncleo ( 00 ). As que obtenemos

un monomorfismo
( 0 00 )( 00 ) ( 0 )
tal que
(( 0 00 )( 00 )) = [ 0 00 ][ 00 ]
= [ 0 ] = (( 0 ))
y por lo tanto es un isomorfismo.
3.11 Ejemplo. El problema 3.1 y el ejemplo 3.3 nos dicen que

(Q Q( 2 3)) =
y que los cuatro automorfismos ,1 ,2 ,3 dejan fijo 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

(Q Q( 2 3))
|
{ 1 } { 2 } { 3 }
|
{}
Consideremos una extensin finita 0 00 de grado . Veamos a 00

como espacio vectorial sobre 0 . Supongamos que 0 tiene elementos.
Luego, cualquier elemento de 00 puede escribirse en forma nica como
= 1 1 + + para { }=1 0 y { }=1 una base de 00 . Hay
expresiones para pues cada puede ser cualquiera de los elementos de
0 . Luego 00 tiene elementos.
Observe que si 00 es un campo finito de caracterstica , entonces se tiene

una extensin 0 00 donde 0 = Z . Luego 00 tiene elementos, para
un entero positivo, es decir, | | = [Z ] .
00 00
Ahora, si consideramos el grupo multiplicativo ( 00 ) de los elementos

distintos de cero de 00 , recordemos que tiene orden 1. Si tomamos un

elemento 00 , el orden de , ()|(( 00 ) ) = 1. Luego 1 = 1 y

= . Por lo tanto, cualquier elemento de 00 es raz del polinomio ,
el cual tiene a lo ms races. As, si 00 est contenido en Z , los elementos

de 00 son las races en Z del polinomio Z [].

Considere el polinomio () = Z []. Su derivada es 0 () =

1 1 = 1. Por el problema 3.4 todas las races de () en Z son
simples. Luego, posee races distintas en Z . Si {0 1 ... 1 } son las

distintas races, entonces en Z [], = ( 1 ) ( 1 ) y cada raz
es simple sobre Z .
Denotemos con F = { Z | () = 0} Z .
3.12 Teorema. F es un subcampo de Z con elementos, 1.

Demostracin. Si , F entonces ( + ) ( + ) = ( + )

(+) = ( )+( ) = 0 y () () = ( )() = = 0.

Claramente 0,1 son races de . Si 6= 0, = y (1) = 1. Por
lo tanto, F es un subcampo de Z .
Observe que Z F y que Z F es una extensin finita. El sub-

campo F se llama campo de Galois de orden . Se acostumbra denotar
a Z con F . Tambin se usa la notacin ( ) para F en la literatura
sobre este tema. Es claro que [F F ] = .
Problemas.

3.1 Compruebe que Q (Q( 2 3)) = (Q Q( 2 3))
= (el
grupo 4 de Klein).
3.2 Pruebe que el grupo de Galois ( 00 ) relativo de las exten-

siones ( 0 ) y ( 0 00 ) es un subgrupo de ( 0 00 ), es decir,
( 00 ) ( 00 ) cuyo orden (( 00 )) = [ 0
00 ].
3.3 Recuerde que [A-D-Ll-M p.107] una accin de un grupo en un

conjunto es transitiva si para cualesquiera , existe tal que
= . Tambin decimos que la accin es libre si solamente para =
se tiene que = , de otra manera, si para cuando 6= , 6= .
Pruebe que si 0 00 es una extensin de Galois finita donde 00 es el
campo de descomposicin de un polinomio irreducible 0 [] de grado
entonces el grupo ( 0 00 ) acta transitiva y libremente en ( 00 ).
3.4 Considere el anillo de polinomios [] para un campo . Se define la

derivada : [] [] dada por (()) = ( + + 2 2 + 1 1 +
0 ) = 1 + + 22 1 + 1 = 0 (); . Pruebe que si []
65
posee una raz 00 para una extensin 00 , entonces es una raz

mltiple de si, y slo si, y 0 poseen un factor lineal comn en [] que
se anula en .
3.5 Pruebe el teorema del elemento primitivo para el caso en que 00 sea
finito.
3.6 Pruebe que F F es el subcampo de descomposicin para los

polinomios y 1 1 sobre F .
3.7 Pruebe que F es el nico subcampo (salvo isomorfismo) con ele-

mentos.
3.8 Considere F y F dos campos de Galois de caracterstica . Pruebe

que F es subcampo de F si, y slo si, divide a .
3.9 Dibuje un diagrama de los subcampos de F60 ordenados via la divisi-

bilidad por = 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 Scientific. (2003).
Stewart, I. Galois Theory. Chapman & Hall. (2004).

Lista de Smbolos
( + ) 9 30
1 10 ( ) 30

10 1 = | () 35
10 0 38
ker 13 0 38
1 13 : 0 38

: 0
=
13 0 38

= 0 13
| 38
13
0
: 0 13 ( 0 ) ( 0 00 ) 39
: 0 13 [ 0 ] 39
14 0 () 42
( ) 14 0 (1 ) 42
1 15 0 0 (1 ) 42
() = 0 18 ( 0 ) 45
() = 18 0
47
+ 19 0 47
20 () 49
20 () 49
( ) 25 0 50
26 hom 0 ( 00 ) 51
[] 27 0 ( 00 00 ) 51
() 27 ( 00 ) 51
27 { 0 00 } 53
@ 28 ( 0 00 ) 58
hi 28 ( 00 ) 59
h1 i 28 ( 00 ){ } 59
69
70 Lista de smbolos
( 0 00 ) 60 ( ) 64
( 0 00 ) 60 64
F 64
ndice Analtico
A B
accin base 28
libre 64
C
transitiva 64
campo 10
algebraica(o)
base de una extensin 37
cerradura 47 de cocientes con indeter-
elemento 44 minadas 31
nmero 45 de cocientes de 30
extensin 45 de descomposicin 50
anillo 9 de funciones racionales con
caracterstica de un 18 indeterminadas 31
cociente sobre su ideal 20 de Galois 64
con uno 10 extensin de un 37
con divisin 10 intermedio 40
con identidad 10 campos primos 32
conmutativo 10 caracterstica
de caracterstica 0 18 0 18
de un anillo 18
de polinomios de 25
cero de un polinomio 28
opuesto 10
cerradura algebraica 47
anillos clases laterales 19
homomorfismo de 12 cociente de
ismorfismo de 13 anillo sobre su ideal 20
isomorfos 13 grupos 19
automorfismo 13, 49 coeficiente inicial 27
de sobre 49 coeficientes del polinomio 27
de Galois 58 combinaciones lineales 28
71
72 ndice Analtico
constantes 27 F
criterio de Einsenstein 32 finita
extensin 40
D separable 53
derivada 64 finitamente generada(o)
divisores de cero 10 extensin 42
dominio de ideales principales 28 ideal 28
dominio entero 10 funcin polinomial 28
E G
elemento Galois
algebraico 44 campo de 64
grado de un 45 extensin 58
invertible por la derecha 17 grupo 58, 60
invertible por la izquierda 17 generadores del ideal 28
primitivo 55 grado
separable 53 de sobre 0 39
trascendente 45 de separabilidad de una ex-
elementos conjugados 52 tensin 53
endomorfismo 13 de un elemento sobre 0 45
epimorfismo 13 de un polinomio 27
extensin grupo
algebraica 45 cociente 19
de Galois 58 de Galois de una extensin 58
de de 0 38 de Galois relativo a las ex-
de 0 en 38 tensiones 60
de un campo 37
elemento primitivo de una 55 H
finita 40 homomorfismo
finita separable 53 de anillos 12
finitamente generada 42 de evaluacin o sustitucin 27
generada por 42 de identidad 14
infinita 40 inducido por 21
de 0 38 trivial 13
normal 54
simple 42 I
trascendente 45 ideal 11
extensiones isomorfas 39 base del 28
ndice Analtico 73
de generado por 28 polinomio

derecho 11 cero de un 28
finitamente generado 28 mnimo 45
izquierdo 11 raz de un 28
maximo 29 separable sobre 53
primo 29 polinomios
principal 28 ciclotmicos 35
ideales en la indeterminada con
propios no triviales 12 coeficientes en el anillo 27
triviales 11 Primer teorema de isomorfismo 22
imagen de 13 proyeccin cannica 20
inclusin 14
indeterminada 27 R
inverso races n-simas de la unidad 35
de 13 raz
derecho 17 de multiplicidad 57
izquierdo 17 de un polinomio 28
invertible 17
por la derecha 17 S
por la izquierda 17 Segundo teorema de isomorfismo 23
isomorfas(os) separable
anillos 13 elemento 53
extensiones 39 extensin finita 53
isomorfismo 13 polinomio 53
isomorfismo de anillos 13 subanillo 10
de generado por 28
L de generado por 28
ley distributiva 9 subcampo 11
fijo 59
M
fijo de una familia 59
monomorfismo 13
generado por 18
N obtenido por adjuncin de un
ncleo de 13 conjunto 42
nmero subdominio 11
algebraico 45 generado por 18
trascendente 45 subextensin de campos 39
P T
74 ndice Analtico
Teorema trmino constante 27

de isomorfismo trascendente
Primer 22 elemento 45
Segundo 23 extensin 45
Tercer 23 nmero 45
de Kronecker 44
del elemento primitivo 55 U
Tercer teorema de isomorfismo 23 unidad 17

Aceff, Lluis-Puebla - Teoría de Galois, Un Primer Curso. (Tercera Edición) PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Aceff, Lluis-Puebla - Teoría de Galois, Un Primer Curso. (Tercera Edición) PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

Publicaciones Electrnicas

Sociedad Matemtica Mexicana

Flor de Mara Aceff

Serie: Textos. Vol. 14 (2016)

Flor de Mara Aceff

La teora general de las estructuras es una herramienta muy poderosa. Siem-

Ha sido nuestra intencin la de llegar al Teorema Principal de la Teora de

Galois el cual se cubre en su totalidad en cuarenta horas de clase. La primera

Deseamos agradecer a nuestros alumnos y a los rbitros revisores el haber

Finalmente, comentamos que hemos decidido incluir este texto dentro

Como es frecuente en la Matemtica, los intentos por resolver un problema

Se sabe de la escuela secundaria cmo encontrar por el mtodo de radi-

Galois asoci a cada ecuacin un grupo, llamado ahora, de Galois en

principal de la Teora de Galois es la de considerar las permutaciones de las

El concepto que abarca a los polinomios y a los campos es el de anillo

En 1881 Leopold Kronecker provey una extensin de un campo adjun-

Con respecto a la notacin para una extensin de campos hemos preferido

1.1 Definicin. Un anillo es una terna ( + ) donde es un conjunto

La propiedad (iii) se llama ley distributiva.

Ntese que se ha suprimido el smbolo , en , como es usual en la

1.2 Ejemplos. El lector podr comprobar que (Z + ), (Z + ), (Q + ),

(iv) ( ) es un semigrupo conmutativo, entonces ( + ) se llamar

Si ( ) es un monoide, diremos que ( + ) es un anillo con identidad

Si consideramos un anillo con multiplicacin dada por ( ) 7

Si el producto de dos elementos distintos de cero de un anillo es el ele-

Finalmente, un campo es un anillo conmutativo con divisin.

1.3 Ejemplos. Z es un dominio entero, 2Z es un anillo conmutativo

1.4 Definicin. Diremos que un subconjunto de un anillo ( + )

un subdominio de . Si el subanillo de un anillo es un campo, entonces

De la definicin de subanillo es inmediato el siguiente resultado que pro-

1.5 Proposicin. Un subconjunto de un anillo ( + ) es un subanillo

1.6 Ejemplos. Para todo entero Z, Z Z. Z R C. Pero

Es fcil ver que un subanillo no trivial de un dominio entero es un

A continuacin, veamos un concepto que hace el papel para la Teora de

1.7 Definicin. Un subanillo de un anillo se llamar ideal izquierdo

1.8 Ejemplos. El subanillo Z es un ideal de Z. Los subanillos y 0

Observe que si es un anillo e un ideal de , la parte aditiva de

Los ideales de un anillo distintos de los triviales se llamarn ideales propios

1.9 Proposicin. Sea un anillo con divisin. Entonces solamente

Observe que debido a esta proposicin, un campo no puede poseer ideales

Cmo se relacionan dos anillos? Mediante funciones que preserven la

1.10 Definicin. Si ( ) y (0 + ) son anillos, un homomorfismo

Usualmente utilizaremos, por abuso, la notacin + y para denotar las

Imitando lo correspondiente para grupos [Ll3] tenemos la siguiente

1.11 Proposicin. La composicin de dos homomorfismos de anillos es

(()()) = ( ())(()) = ( )()( )(). Por lo tanto ( ) es

1.12 Definicin. Sea : 0 un homomorfismo de anillos. Di-

Es fcil comprobar (Problema 1.11) que, si existe est determinada en

1.13 Definicin. Sea : 0 un homomorfismo de anillos. El

Observe que solamente vemos el concepto de ncleo de un homomorfismo

Si en la definicin de homomorfismo se tiene que ker = {0}, diremos

Observe que, como grupos conmutativos, 2._ : Z 2Z dado por 7 2

Diremos que un homomorfismo : 0 es trivial si () = 0 para

Recurde que si es un subconjunto de , la funcin : dada

1.14 Proposicin. Sean : 0 , : 00 dos homomorfismos de

1.4 Pruebe que un subconjunto de un anillo ( + ) es un subanillo

1.5 Compruebe que si es un grupo abeliano, entonces el conjunto de

1.6 Compruebe que los anillos (Z + ), (Z + ), (Q + ) son conmuta-

1.7 Pruebe que un subanillo no trivial de un dominio entero es un

1.8 Pruebe que un subanillo de un campo es un subcampo de s,

1.9 Sea un anillo. Pruebe que el conjunto = { | = 0, Z}

1.10 Pruebe que : Z Z dado por 7 , donde es el residuo

1.11 En la notacin la Definicin 1.12 pruebe que, si existe, est de-