Sanchez Dario - Teoria de Cuerpos PDF

Daro Snchez H
Teora de Cuerpos y de Galois
Teora de Cuerpos
Jos Daro Snchez Hernndez
Bogot-Colombia, Junio del 2005
danojuanos@hotmail.com
danojuanos@tutopia.com
El objeto de estas notas es brindar al lector un modelo de aprendizaje. A continuacin

encontrar ms de cien resultados bsicos, entre los cuales se hallan definiciones, teoremas,
corolarios y algunos ejemplos, es posible que encuentre la manera de volver a redactar algunos,
por favor hgalo, de forma que los pueda recordar despus. Para las demostraciones es
indispensable el uso de una biblioteca con un buen nmero de textos de teora de Cuerpos y
teora de Galois, en esta forma el estudiante utiliza tcticas de investigacin y emplear la
biblioteca. Luego encontrar resultados en donde se ha dado una posible demostracin, la cual
se supone es correcta, sin descartar la posibilidad de que haya algunos errores; el lector deber
revisarlas analizando cual de los resultados bsicos se han utilizado en la prueba.
1. RESULTADOS BASICOS
1.Un dominio V es Euclidiano (V anillo conmutativo con elemento unidad)
si existe . V ! tal que
I" a+ , V !, . +, . +
I# a+ , V ! b; < V tal que + ,; < con < ! . < . , .
2. Un dominio V es principal si todo ideal de V es principal.

3. Un dominio es factorial si
J" a+ V (no inversible), puede ser escrito como producto finito de

elementos irreductibles
J# Si :3 "38 es una coleccin de elementos irreductibles y ;4 "47
es otra coleccin de elementos irreductibles de V tales que
:" : # : 8 ; " ; # ; 7
entonces 8 7 y b3 permutaciones de " # 7 tales que :3 ;33
(es decir, :3 esta asociado con ;33 )
4. B " B YE , donde YE forma una clase de elementos asociados y es
llamada una clase minimal (E es un anillo conmutativo . Consideramos
los elementos de E E YE !
E B E aC E ClB C B
B es irreducible B es minimal en
E aC D E B C D BlC BlD
B es irreductible B
dominios
5. Euclidianos
dominios
principales factoriales
""*
&
#
dominios
dominios
Daro Snchez H
3 V un anillo, ; es primo ; es un nmero primo ; es irreductible

33 V factorial, ; es primo ; es irreductible
V principal
V
Toda sucesin estrictamente

Toda familia de ideales
ascendente
de ideales es finito tiene un elemento maximal
es llamado un anillo Noetheriano cuando todo ideal de V es
finitamente generado.
V anillo Noetheriano
Toda sucesin estrictamente

ascendente
de ideales es finita
Toda familia de ideales

tiene
un elemento maximal
V es principal V es factorial y todo ideal primo es maximal

6.Sea E un anillo y consideremos EB +! +" B +8 B8 /+3 E
donde se define la adicin y la multiplicacin en la siguiente forma
+:
EB
+3 B3
3
+3 B3
3
, 3 B3
3
, 3 B3
+4 ,54 B5
4!
es un anillo.
EB es un dominio
Sea
+ 3 , 3 B3
E es un dominio
0 B un elemento de EB, 0 B es llamado un polinomio en B con
coeficientes en E. K<0 B es el grado de 0 B y es el mayor 8 tal que

+ 8 !.
Si E es un dominio de integridad entonces
K< 0 B 1 B K<0 B K<1 B

Si E no es un dominio de integridad, esta igualdad no es verdadera, como
contra-ejemplo tmese 0 B #B# $B " 1 B #B$ $ en %
E\ ]
E\ ] suponindose que \] ] \
E\ ]
E] \
E\" \# \8
E\" \# \8" \8
Si W es un conjunto cualquiera
H/0
EW EW
0 383>9
W
W
7.Sea O un cuerpo. Entonces OB es un anillo euclidiano.

OB es un dominio principal, entonces OB es un anillo factorial
Sea
0 B EB donde E es un anillo. Si E es tal que 0 !,
entonces existe 2B EB tal que 0 B B 2 B .
Daro Snchez H
Si E es un dominio y 0
B EB es de grado 8, entonces 0 B tiene a lo
mximo 8 races en E.
Sea E
un dominio, 0 B 1 B EB de grado menor o igual que 8, tales
que 0 B 1 B son iguales para 8 " valores distintos entonces 0 B 1 B
Sea
E un dominio infinito 0 B" B# B8 EB" B# B8 entonces
existen " # 8 E tales que 0 " # 8 !.
8.Sea V un anillo factorial entonces VB es un anillo factorial.

Si V es un anillo factorial entonces VB" B# B8 tambin es
un anillo
factorial.
Sea V
un anillo factorial, 0 B VB, 0 B +! +" B +# B# +8 B8 se
define contenido de 0 B como el mximo comn divisor de sus

coeficientes o sea . -98> 0 B 7.- +! +" +8
As 0 B . 0" B donde -98> 0" B " o igual .
Un
polinomio 1 B
-98> 1 B
-98> 0
Sea
se dice primitivo si su contenido es uno o sea
" 1 B se dice primitivo.

B1 B
-98> 0 B -98> 1 B
V un dominio factorial, O su cuerpo de fracciones, sea 1 B OB
entonces
" Existe O , existe 1" B VB primitivo tal que 1 B 1" B
# Si 1# B es otro polinomio primitivo de VB y " O tal que
1 B " 1# B , entonces existe % elemento irreductible de V tal que
1" B %1# B . En particular 1" y 1# son polinomios asociados en VB
$ Si 1 B 2 B OB entonces 1 B 2 B " 1" B 2" B
% 1 B es irreductible en OB si y slo si 1" B es irreductible en VB.
9. Sea V un anillo factorial y sea 0 B VB entonces 0 B es irreductible

en VB si y solamente si
" 0 B V (irreductible sobre V ) K<0 B "
# 0 B es primitivo
$ 0 B es irreductible en OB.
En particular, si 0 B VB es mnico entonces 0 B es irreductible en
OB si y solamente si 0 B es irreductible en VB.
Criterio de Eisenstein: Sea 0 B +! +" B +# B# +8 B8 un
polinomio con coeficientes en un anillo factorial V, sea O su cuerpo de
fracciones y : V un elemento irreductible tal que
:l +8 :l+3 a3 8 :#l +! entonces 0 B es irreductible en OB
10. O
es un cuerpo si
Daro Snchez H
G" O es un grupo abeliano

G# O es un grupo abeliano, donde O O !
G$ - + , -+ -, a+ , - O
P es un cuerpo O
P y el cardinal de O es mayor que # O es un
subcuerpo si O lO lO es un cuerpo.
Esta definicin es equivalente a
WG" + , O + , O
WG# + , O , ! +, +, " O
11.Sea
O un cuerpo,
es un homomorfismo
se considera :
O definida por : 8 8"O , :
ker:
:
O
Como O es un cuerpo, entonces : es un dominio, luego ker: es un
ideal primo. Si ker: ! entonces ker: : con : primo. Si ker: !
entonces ker: !
Se llama caracterstica de un cuerpo a la dimensin del ncleo de la
aplicacin :, la cual es ! si ker: ! , o, : (nmero primo) si ker: !.
12.
Sea O un cuerpo. O es un cuerpo primo si no existe subcuerpo

propio en O , es decir, P
O P O.
=?,-?/<:9
Sea O un cuerpo. Entonces

" Existe un nico P cuerpo primo contenido en O .
# Si -+> O : entonces P
:.
Si -+> O ! entonces P
U y los : con : primo son los nicos cuerpos primos.

Sea O un cuerpo. Si O es un subcuerpo de un cuerpo P entonces
decimos tambin que P es una extensin del cuerpo O Este hecho se
P
l
simboliza como O .
13.
P
l
Sea O un cuerpo y P una extensin O .
P puede ser considerado

como un O -espacio vectorial, el cual puede ser de dimensin finita o
infinita.
Se llama grado de una extensin y lo notamos por P O a la dimensin
del O -espacio vectorial sobre P.
Sean O P Q cuerpos y consideremos la triple extensin o torre
Q
l
P
l
O,
entonces
Q O Q PP O
P
l
14.Sea O una extensin y W
P (W un subconjunto), el menor cuerpo
entre O y P que contiene a W , es
Daro Snchez H
O W
Q
P
W
Q
Q -?/<:9
llamado el subcuerpo de P generado por W

O W 0 =" =# =< 0 B" B# B< OB W . Si Q es el cuerpo de
fracciones de OW tenemos O W
Q
OW entonces
=<
w
w
w
O W cuerpo de fracciones de OW 10 ==w"==w#=
w 1 =" =# => !
5" >58 >
Si W > en ese caso O > 56!!6
7
" >67 >
8
"
>
5 3 63
6! 6 " > 6 7 > 7 !
" B# OB" B#
Si W >" ># , O >" ># 01 >>"">>## 1 B" B0# BOB
" B# 1>" ># !
15.Si W
P
tal que P O W entonces decimos que P es generado por W

Si existe W
P (finito) tal que P O W decimos que P es finitamente
generado sobre O .
P
l
Sea O un cuerpo y P una extensin de O O si P puede ser obtenido
por O > para algn >, entonces decimos que P es una extensin simple.
P
l
O
Sea
una extensin de O , si existe W
P finito tal que P O W ,
entonces se dice que P es una extensin finitamente generada de O .
P
l
16.O
se dice una extensin finita si y solamente si P es un O -espacio
P
l
vectorial de dimensin finita, as O
es una extensin finita equivale a

decir
que
existen
6" 6# 6<
elementos
que
P
tal
que
P O6" O6# O6< ,o sea, que 6" 6# 6< es una base del
O -espacio vetorial P
P
P
l
l
Si O es una extensin finita, entonces O es una extensin finitamente
generada.
La recproca de esta afirmacin es falsa.
P
l
Sea O una extensin entonces P O " P O
O B
l
O [B] es una extensin finitamete generada de OB pero no es una
extensin finita.
17. Sea
P
l
O
O un cuerpo,
una extensin de O y P. es algebraico
sobre O si existe 0 B OB ! tal que 0 !.
P se dice un elemento trascendente sobre O si y slo si no es
un elemento algebraico sobre O .
Daro Snchez H
Sea O y P cuerpos < OB

O
P, < es un homomorfismo
3
3
53
53 B
de anillos. es algebraico si slo si ker< !
El nico polinomio de OB tal que ker< TlO B es llamado
polinomio irreductible sobre O o tambin es llamado polonimio
minimal de sobre O .
18.Las siguientes afirmaciones son equivalentes

+ es algebraico sobre O
, O O
- O O K<TlO B es finito.
19.Si : O
Q es un monomorfismos, un elemento algebraico sobre O ,

" una raz arbitraria de : TlO B donde : OB
: O B
53 B3
: 53 B3
entonces existe un homomorfismo :w O

de : o un levantamiento de : .
O " que es una extensin
P
l
O una extensin del cuerpo O , P, algebraico sobre
20.
O , " P una raz el polinomio TlO B entonces existe un
Ow
isomorfismo : de O sobre O " , que manda sobre " . Un
Oisomorfismo es aquel que mantiene fijos a los elementos de O , es decir,
:w 5 5 a5 O.
21.
P
l
Una extensin O se dice;
extensin algebraica, si todo P es algebraico sobre O .

Extensin trascendente, si existe algn " P trascendente sobre O .
Extensin simple, si existe P tal que P O .
Extensin finita si el grado P O es finito.
P
P
l
l
22.Si O es una extensin finita, entonces O es una extensin algebraica.
P
l
23. Sea O una extensin de O , P. Si es algebraico sobre O
O
l
entonces O es una extensin finita y por lo tanto algebraica.
Daro Snchez H
24.
Sea
P
l
O
una
extensin
de
O,
P
l
P O " # 8 , as O es algebraica
sobre O
" # 8 = P
tales
que
" # 8 son algebraicos
PO W
l
25. O es una extensin algebraica a= W , = es algebraico sobre O .
P
l
26. O B C P. B C son algebraicos sobre O C ! B C BC BC son
algebraicos sobre O .
P
l
27.Sea O
una extensin de O , P! P es algebraico sobre O.

Entonces P! es un cuerpo llamado la clausura algebraica de O en P y
es claro que
P!
l
O es una extensin algebraica sobre O .
l
28.Sea , es algebraico sobre es un cuerpo que se llama
el cuerpo de los nmeros algebraicos y

Q
P
l
l
29.Sean P , y O
algebraico.
P
l
P! ,
Q
P
Q
l
l
l
extensiones. P es algebraico y O es algebraico O es
P!
l
O extensiones donde P!
Sean
es la clausura algebraica de O ,
entonces todo elemento P que es algebraico sobre P! , pertenece a P! .
P
l :
Q Q
P
P
l
l
l
Sea O una extensin. O es algebraico para todo Q cuerpo
30. O
intermediario entre P y O , y para todo : ! O -endomorfismo entonces :
es un O -automorfismo de Q .
31.Un
cuerpo O es algebraicamente cerrado si satisface una de las

siguientes condiciones equivalentes:
3 No existe extensin algebraica estricta de O
33 a0 B OB de grado ", 0 B tiene una raz en O
333 Si 0 B OB es irreductible sobre O entonces l tiene grado "
3@ a0 B OB, existen " # 8 O tal que 0 B B " B 8
32.
Sea O un cuerpo, P O una extensin de O , P es una cerradura

algebraica de O si
P
l
O es algebraico y
3
33 P es algebraicamente cerrado.
Daro Snchez H
33.Sea
P un cuerpo algebraicamente cerrado, sea O un cuerpo tal que

P O es una extensin, sea O! P es algebraico sobre O
entonces O! es una cerradura algebraica de O .
34.Sea O un cuerpo cualquiera. Entonces
3 Existe una cerradura algebraica de O

33 Si P" P# son cerraduras algebraicas de O entonces ellos son
O -isomorfos, es decir, b: P" P# isomorfismo que deja O fijo.
35.Sea O
un cuerpo. Sea 0 B OB un polinomio irreductible de grado

mayor que o igual a uno, entonces existe una extensin P en la cual 0 B
tiene una raz.
36.Sea O
un cuerpo, 0 B OB no necesariamente irreductible entonces

existe P extensin de O y " # 8 P tal que
0 B B " B # B 8 .
37.
Si se tienen 8 polinomios distintos 0" 0# 08 OB entonces existe

una extensin P tal que cada polinomio puede ser factorizado en factores
lineales.
38. Sea O
un cuerpo entonces existe una extensin P tal que para todo

polinomio no constante 0 B OB, existe P tal que 0 !.
39.
Sea H una cerradura algebraica de un cuerpo O , : O

P
O w un
isomorfismo, Hw una cerradura algebraica de O w . Si O es una extensin

algebraica entonces existe 3 P Hw la cual es un monomorfismo y que es
una extensin de : tal que 3|O =:
40. Sea H una clausura algebraica de O . : un O -isomorfismo de P sobre
: P o sea : M=9O P H entonces existe < E?> HO tal que <|P :.

H
41.Sea
O , H, TlO B entonces TlO B B " B 8 el conjunto

" # $ 8 ser llamado el conjunto de los conjugados de .
42. Sea H entonces conjugados de 55 E?> HO

43.Sea O
P
l
un cuerpo, 0 B OB. Sea O , P es un cuerpo de fracciones de
0 B si
CF" 0 B se factoriza en factores lineales en PB, es decir, existen
" # $ 8 P tal que 0 B B " B # B 8
CF# : P O " # $ 8
44.Sea O un cuerpo, 0 B OB.
Entonces
3 Existe un cuerpo de factorizacin para 0 B
33 Si P" P# son dos cuerpos de factorizacin de 0 B entonces existe
: P" P# : sobre tal que : es un O -isomorfismo
Daro Snchez H
45.Sea
0# B 0# B OB # A . P es cuerpo de fracciones de si
3 Todos los 0# se descompone en fractores lineales en PB
33 P O races de 0# B , para todos los # A
46. Sea como en la definicin 45, entonces

3 Existe P cuerpo de factorizacin
33 Es nico mdulo un O -isomorfismo.
P
l
47.
Una extensin O es normal si las condiciones siguientes son

equivalentes:
+ P es el cuerpo de factorizacin de una familia de polinomios de OB.
0+ B OB+A
, Sea H una cerradura algebraica de P. Para todo : M=9O P H :P
P
- Si 0 B OB es un polinomio irreductible teniendo una raz en P,
entonces l tiene todas las races en P.
P
P
48.Sea O un cuerpo y
si todo 5 E?> HlO
P
l
O una extensin de O . O es normal si y solamente

5 P P.
P
l
49. O tal que P O #, entonces O es normal.

50.Sea O
R
l
un cuerpo, H una cerradura algebraica de O . Si O es normal y P

R
l
es algn cuerpo intermediario OPR estonces P es una extensin

normal.
51. Sea O un cuerpo, H una cerradura algebraica de O P cuerpo

intermediario. Sea
0 B OB0 B es irreductible, 0 B tiene una raz en P
Sea R el cuerpo de factorizacin de esa familia . Entonces
R
l
" R es la menor extensin que contiene a P tal que O es normal

# Si P O es finito entonces R O es finito.
P+
52.Sea O
l
extensin normal
entonces
P+
+
l
"
O
es normal
O P+
+
l
una familia de extensiones normales,

+ A
es normal.
Daro Snchez H
10
53.Sea O un cuerpo de caracterstica :. : O
O es un isomorfismo
:
: O C ObB O C: B
3 O es perfecto si : O O
33 O no es perfecto si : O O
Si O es un cuerpo finito entonces O es perfecto

Si O es algebraicamente cerrado entonces O es perfecto.
54.Si H es algebraicamente cerrado y H entonces existe un nico " tal

que " : .
55.Sea O un cuerpo de caracterstica :, H una cerradura de O
P" O : H: O.
O es perfecto si y slo si a+ O , B: + OB tiene una raz en O .
P" es un cuerpo
"
"
8
O : O :8 Hb8 : O
8!
"
:
O es un cuerpo perfecto, y el menor cuerpo de H que contiene a O
P
"
O
P O extensin algebraica
perfecto.
si O es perfecto entonces P
es
56.0
B es un polinomio inseparable si l satisface una de las siguientes

condiciones equivalentes:
PIS" : 0 B tiene una raz mltiple en H
PIS# : 0 B y 0 w B tienen races en comn.
PIS$ 0 w B !
PIS% 0 B +! B<: +" B <" : +3 B <3 : +8
+! B: < +" B: <" +3 B: <3 +8
o sea que 0 B OB: .
57.Un polinomio irreductible es llamado no inseparable si y slo si 0
B es
separable si y slo si 0 B no tiene races mltiples.

Si la caracterstica de O es igual a cero y 0 B es irreductible entonces
0 B es separable.
58. 0 B OB es separable si todos los factores irreductibles de 0 B son

separables.
59.Sea
O un cuerpo perfecto esto es equivalente a decir que para todo

polinomio 0 B OB irreductible entonces 0 B es separable.
60.Sea
O un cuerpo no perfecto, sea : ! la caracterstica de O . Sea

/
+ O O : . Entonces para todo / !, B: + OB es irreductible.
61.Sea
0 B OB, 0 B B8 +" B8" +8 , entonces

" El nmero de races distintas de 0 B
es igual a 7! (= grado del
polinomio separable 0! C grado de separabilidad de 0 B )
Daro Snchez H
11
# La multiplicidad de cada raz es igual a :/ (=grado de inseparabilidad

de 0 B ).
H
l
62.Sea O
un cuerpo O una cerradura algebraica de O , H es separable

sobre O si TlO B es un polinomio separable.
TlO B es separable TlO B no tiene races mltiples todos los
conjugados de son distintos.
P
l
63.Sea
O P H una torre de extensiones de O O es separable si y

slo si a P, es separable sobre O .
Q
l
64. Sea
R una extensin de R , " Q se dice puramente inseparable

8
sobre R si existe 8 tal que " : R .
En particular todos los elementos de R son puramente inseparables.
H
l
65.Sea
Q , en adelante R Q H una torre de extensiones sobre R .

l
Q
l
Si R es puramente inseparable entonces M=9R Q H M.

P
Q
l
66.Sea
O una extensin de O y P una extensin de P entonces se tiene

Q
Q
P
l
O y P son extensiones separables si y solamente si O es una extensin

separable.
67. Sea P
O una extensin algebraica. Entonces
O P es separable sobre O y puramente inseparable sobre O

P
68.
" Si O es una extensin separable entonces se tiene P OP:

P
P
l
# Si O es una extensin finita y P OP: entonces O es separable.
69. Sea
O un cuerpo de caracterstica : H una cerradura algebraica,
H
H
l
O
l
O :
l
Las siguientes afirmaciones son equivalentes
O
3 es separable sobre O .
O
l
33 O es separable
333 O O :
Daro Snchez H
12
70.
" # 8 son elementos separables sobre O si y solamente si

O " # 8
l
es una extensin separable.

O W
71. Sea W una familia de generadores
O es una extensin separable si y

solamente si para todo B W es separable sobre O .
72. Sean O y P
" O=/:
O=/:
cuerpos y O
O=/:
P
P es separable sobre O es un cuerpo
# O es una extensin separable

P
l
$ O =/: es una extensin puramente inseparable

% Si P O=/: es finita entonces P O=/: es igual a una potencia de :.
73. Sea O un cuerpo y H una cerradura algebraica de O .

O! H es separable sobre O
es llamado la cerradura separable de O .
O=/:
l
74.
Sea O un cuerpo y P una extensin de O . O es una extensin

separable cuyo grado de separabilidad de P sobre O se denota P O=/: .
P
l
O =/: es una extensin puramente inseparable cuyo grado es llamado

grado de inseparabilidad de P sobre O y se nota P O38=/: y se tiene
P O P O=/: P O38=/: .
75.
Sea O un cuerpo de caracterstica :. Sea H y TlO B . Sea 8! el

grado de separabilidad de TlO B :/ el grado de inseparabilidad de
TlO B . Entonces 8! O O=/: :/ O O38=/: .
R
76.Sea
O un cuerpo O (en adelante denotaremos R O ) una extensin

normal, P un cuerpo intermediario tal que PO sea una extensin finita.
Entonces # M=9O P R P O=/: .
77.Sea
O P Q R cuerpos tal que R O es normal , PO Q P son

finitas entonces Q O=/: Q P=/: P O=/: . Como consecuencia
tambin los grados de inseparabilidad
Q O38=/: Q P38=/: P O38=/: .
78.) M=9O
Q R
M=9O P R M=9P Q R
3
3 lP 3 w
"
donde 3w 3lP
3 , es una biyeccin.
Daro Snchez H
13
79.
P O=/: lE?> PlO l. Sea O

P
R tal que R O es
normal y PO finita separable entonces P O lM=9O P R l.
80.Sea
PO una extensin finita normal, E?> PO es llamado grupo de

Galois de PO E?> PO es un grupo con la operacin composicin de
funciones. Se puede establecer una correspondencia biunvoca entre los
subcuerpos intermediarios Q , de P a O , con los subgrupos de E?> PO .
Q O
Q
P Q cuerpo subgrupos de E?> PO
K
J
Q K Q
J P5 a5
J es llamado el cuerpo fijo.
81. Teorema
de Galois Sea PO una extensin finita normal separable.
Entonces
" J K M. K J M. K,
isomorfismo de retculos
es
una
biyeccin,
es
un
auto-
# Q O normal E?> PQ K Q E?> PO

en ese caso E?> Q O
E?> PO E?> PQ
$ K Q lE?> PQ l P Q
82.T U
83.PO
normal. B T 5B B a5 E?> T U
B T B puramente inseparable sobre U
una extensin finita separable entonces existe solamente un

nmero finito de cuerpos intermediarios entre O y P.
84.Sea PO una
extensin finita normal, separable, sea R una extensin

cualquiera de O entonces
" R PR normal, finita separable
# E?> R PR
E?> PR P
$ E?> R PR P
E?> R PP E?> R PR .
Daro Snchez H
14
Sea O un cuerpo 0 B OB, P cuerpo factorizacin de 0 B . El grupo

de Galois de 0 B es E?> PO
Sean " # 8 las races distintas de 0 B . P O " # 8
85. B$ B# " B # B $ $ " $# B # $$$
$
B $ "
#
$ B
$ #
$
$$
$ "
#
$
se toma ] B $ y se tiene 1 ] ] $ +] , . P cuerpo de

factorizacin de 1. lE?> PO l ' %+$ #(, # no es cuadrado perfecto
en O .
86.Si O es un anillo de divisin finito, entonces O es un cuerpo.
Todo cuerpo finito tiene un nmero de elementos igual a una potencia

de un nmero primo : : G+<+->O .
87.Sea : , H una cerradura algebraica de : . Sea 8 un nmero entero
cualquiera entonces existe un nico cuerpo O tal que :

O
H y de
8
manera que lOl : . Adems
se sigue que O es el cuerpo de
:8
factorizacin del polinomio B B, de manera que O: es normal.
88.
Sea 7 O un cuerpo finito, existe una nica extensin de O tal

que P O 7.
89. Sea O un cuerpo finito entonces O O ! es un grupo cclico.
90.Sea O un cuerpo posiblemente infinito . Sea >

O un subgrupo
finito del grupo multiplicativo entonces > es cclico.
91.Sea
O un cuerpo finito. Entonces 3 E?> O es cclico donde

3 B B: el cual claramente es sobreyectivo, y conocido como
automorfismo de Frobenius.
92.Si P O son dos cuerpos finitos
O :8 , P :7 entonces
"
:8
:7 8l7
8
# En ese caso E?>:7 :8 es cclico e igual a 7 donde 7 B B:
cuyo orden es
7
8
93.
PO es abeliano resp. cclico si el grupo de Galois, es

decir, E?> PO es abeliano resp. cclico . As toda extencin finita de
cuerpos finitos es una extensin cclica.
94. Elemento
primitivo . Sea O un cuerpo y P una extensin separable

finita de O . Entonces existe P tal que P O .
Toda extensin finita de los racionales es simple.
95.Sea PO una extensin finita de O . Entonces existe P tal que

P O si y slo si existe solamente un nmero finito de cuerpos entre
O y P.
Daro Snchez H
15
96.Sea
PO una extensin separable. Si existe 8 tal que a P

1<+.TlO B 8 entonces P O 8.
97.Sea
K un grupo finito. Entonces K es subgrupo de un grupo de
permutaciones. Tmese K
permutaciones del conjunto K
1
:1 Kp
K
C 1C
98. Teorema
de Artin Supongamos que P es un cuerpo, K

E?>P un
subgrupo finito. Sea O P5 a5 K. Entonces
" PO es normal separable
# E?> PO K.
99.Sea
K un grupo finito entonces existe una extensin PO normal

separable tal que E?> PO K.
100.0" B" B# B8 0# B" B
B" B$ B" B8 B# B$ B8" B8

08 B" B# B8 . Los polinomios 0" 0# 08 son llamados polinomios
simtricos elementales en 8 letras y son tradicionalmente designados por
=" =# =8 , respectivamente.
#
101.Si B8 " entonces B se dice una 8-sima raz de la unidad.
Si 0 >8 8-simas races de la unidad es tal que 08 " y 0< " para
todo < 8, entonces decimos que 0 es una 8-sima raz primitiva de la
unidad. Adems >8 es generado por una de las races primitivas. >8 es un
grupo cclico.
102.Existe
una 8-sima raz primitiva si y solamente si 8 : " donde :

es la caracterstica de H.
103.Sea
H un cuerpo, sea 0 una 8-sima raz primitiva de ". Sea O un

subgrupo de H. Entonces
" O 0 O es normal separable.
# O0 O es un divisor de : 8
$ E?> O 0 lO es isomorfo a un subgrupo de
8 < ! " # 8 " < 8 "
que es un grupo multiplicativo que tiene : 8 elementos.
% Si O
tenemos que E?> 0 l
y en ese caso
8
", si 8 "
0 : 8 donde : 8
: si : 8 "
104.Sea
PO una extensin de O . Supongamos que O contiene una

8-sima raz primitiva de la unidad. Entonces
" Si PO es una extensin cclica de grado 7 (es decir, PO es normal,
separable y tal que E?> PO es cclico) entonces b P tal que P O
y TlO B B7 + con + O .
# Si " P con " raz de la ecuacin B7 , , entonces la extensin es
cclica y el grado de ella P O es un divisor de : 7 .
Daro Snchez H
105 Artin Sea :" :# ,:< M=9O P,Q

linealmente independientes sobre Q .
16
distintas. Entonces ellas son
MDULOS
106. Sea V un anillo entonces Q
es un V -mdulo a izquierda si
RM" : Q es un grupo abeliano
RM# V Q
Q es tal que
< 7 <7
3 < 7" 7# <7" <7# a< V a7" 7# Q

33 <" <# 7 <" 7 <# 7 a<" <# V a7 Q
333 <" <# 7 <" <# 7 a<" <# V a7 Q

3@ " 7 7 a7 Q
107. Sea V un anillo, Q A una familia de V-mdulos

# Q 0 A
Q 0 Q
es un V -mdulo con las operaciones <0 <0 a<V llamado mdulo

producto.
Si se considera
Q 0 #Q 0 SPUNFI con las operaciones
A
0 1 0 1
inducidas, es un V -mdulo llamado suma directa externa

Con WT Y R J M indicaremos salvo para un nmero finito de ndices.
108.Sea V un anillo Q un V-mdulo, R Q , R

SM" R es un subgrupo de Q
SM# V R VR
R.
109.Sean
Q" , Q# dos V -mdulos y 0 Q"

V-homomorfismo de mdulos si
RHM" 0 7" 7# 0 7" 0 7#
RHM# 0 <7 <0 7 , a< V .
es submdulo de Q si
Q# una aplicacin. 0 es un
110.Si V es abeliano, sea Q" Q# dos V-mdulos entonces consideremos
L97V Q" Q# 0 Q" Q# 0 es V -homomorfismo

L97V Q" Q# es un V -mdulo con las operaciones
0 1 7
0 1 L97V Q" Q#
0 7 1 7
<0 7
< V 0 L97V Q" Q#
<0 7
111.Sea Q un V-mdulo, V siendo un V-mdulo se puede considerar el
conjunto de los V -homomorfismos Q L97V Q V , es un V -mdulo
llamado el Dual.
Se puede an considerar
Q L97V L97V Q V V L97V Q V
es tambin un V -mdulo llamado Bidual.
112.Sea V un anillo fijo y Q
un V -mdulo fijo
Daro Snchez H
17
3 Si Q A es una familia de V -submdulos de Q entonces Q es

A
un V -mdulo de Q .
33 Sea X un subgrupo de Q , X <3 >3 <3 V >3 X es un
0 383>+
submdulo de Q y es el menor que contiene a X . Llamado submdulo

generado por X .
333 Un submdulo R de Q es finitamente generado si
X
Q , |X | finito tal que R X
3@ R es cclico, si existe X 7 tal que
R 7 <7< V
V7
Si X 7" 7# 7> entonces X <" 7" <# 7# >> 7> <3 V
V7" V7# V7>
113. 3
Sea 7 Q 7 es un elemento de torsin si existe < ! que

pertenece a V tal que <7 !
33 Sea Q un V -mdulo sea
M < V<7 ! a7 Q < V<Q ! E88 Q
M es un ideal bilateral de V llamado el anulador de Q .
114.Sea V
un anillo y Q un V -mdulo, R un submdulo de Q . Como Q

es un grupo abeliano y R es un subgrupo de Q podemos formar el grupo
cociente Q R de Q por R .
Q R B R B Q , donde , B R B 88 R
Tomando V Q R
Q R
, entonces Q R es un V -mdulo
< 7 R <7 R
llamado mdulo cociente.
115.Sea
0 Q R un V -homomorfismo de mdulos, entonces ker0 e

M710 son V -mdulos de Q y R respectivamete.
116.Sean
Q" Q# V -mdulos. Sea 0 Q" Q# un V -homomorfismo de

mdulos sobreyectivo entonces Q" ker0
Q# .
Sea Q un V -mdulo, Q" y Q# dos submdulos de Q . Entonces
Q" Q# Q" Q# son submdulos de Q y se tiene
Q"
Q" Q#
Q" Q#
Q#
117. Sea
V un anillo,
Q un V -mdulo,
R A una familia de
V -submdulos de Q . Q es suma directa interna de sus submdulos
R si,
" Q R
# R R" ! a
"
Se denota Q R
A
Daro Snchez H
18
118. 3
Sea V un anillo, Q un V-mdulo y sea W

Q . W es linealmente
independiente sobre V si
<3 =3 ! entonces <3 ! a3
0 38>+
=3 W
33 Q es un V -mdulo libre si existe W

Q tal que
ML" W es linealmente independiente sobre V
ML# W
Q
donde
W <3 =3 <3 V =3 W M es finito
3M
119.Sea
V un anillo conmutativo y Q un V -mdulo libre entonces todas

las bases de Q tienen el mismo cardinal llamado el rango de Q
120.
Sea V un dominio principal. Sea Q un V -mdulo libre de rango

finito 7 R un submdulo de Q , entonces
" R es un mdulo libre, de rango 8 7
# Existe una base B" B# B8 B8" B7 , y existen -" -# -8 V tal
que -" B" -# B# -8 B8 es una base de R con -3 l-3" , es decir,
-3" >-3 -3"
-3 .
121.Sea
V un dominio principal, Q un V -mdulo finitamente generado

(eso quiere decir que puede encontrarse ]" ]# ]7 Q tal que para
todo B Q ,
<3 ]3 ). Entonces existen B" B# B8 B8" B7 Q
3"
tales que
" Q
VB" VB# VB8
VB8" VB7
T EVX I HI X SVWMSR
T EVX I PMFVI
# E88 B" -" con -" V E88 B# -# con -# V E88 B8 -8

con -8 V , B8" B8# B7 son elementos sin torsin donde -3 l-3" (es
decir, -3"
-3 ). Adems esta descomposicin es nica, 7 8 es
llamado el rango de Q . -" -# -8 son los invariantes de torsin.
122.Todo V-mdulo Q
es imagen homomrfica de un V -mdulo libre. Si

adems Q es finitamente generado entonces Q es imagen homomorfa
de un V -mdulo libre de rango finito:
V7 Q
<
7Q
V7 V
<7 7
:
VVV
Q V]" V]7
7-@/-/=
<" ] " < 7 ] 7

<" <# <7
<7
7Q
123.Sea
Q un V -mdulo, 7 Q 7 es de torsin es un submdulo de

Q que es llamado el submdulo de torsin de Q .
124.Sea R
un V -mdulo de torsin, : un elemento primo de V

R: B R E88 B sea una potencia del ideal :
B R E88 B :> V para algn >
Sea P representantes de los elementos irreductibles de V
Daro Snchez H
19
ideales principales primos

Para cada M escogemos un generador TM as P TM M entonces
R R: .
:P
125.Sea
V un dominio principal. Sea R un V -mdulo finitamente

generado. Si R es un V -submdulo entonces es finitamente
generado y tiene un nmero de generadores menores o iguales al
nmero de generadores de R .
126. Sea Z
un O -espacio vectorial de dimensin 8.

3 L97O Z Z tambin es un O -espacio vectorial con las operaciones
0" 0 # @ 0 " @ 0 # @
"
50 @ 50 @
#
33 L97O Z Z es un anillo con las operaciones, adicin como en "
y como composicin 0" 0# 0" 0#
333 50" 0# 0" 50# 5 0" 0#
$
Un conjunto que satisface " # y $ es llamado una O -lgebra.
127.Sea O
un cuerpo, Z un O -espacio vectorial de dimensin 8. Z es en

particular un grupo abeliano con respecto a la adicin. Si en Z esta
definida una multiplicacin tal que Z sea un anillo con identidad con
respecto de y adems
+ , + , + ,
para todo O y todo + , Z decimos que Z es una O -lgebra de
dimensin finita 8 (O cuerpo finito).
128.Sean
Z" y Z# dos O -lgebras 0 Z" Z# es llamado un morfismo de

O -lgebras o O -homomorfismo de lgebras si
KMA" 0 8 7 0 8 0 7
KMA# 0 8 7 0 8 0 7
KMA$ 0 5 7 50 7
129.Sea
Z un O -espacio vectorial sobre Z

estructura de L97O Z Z -mdulo mediante
L97O Z Z Z
Z
0 @ 0 @
aplicacin sta que es llamada evaluacin.
130.
se puede definir una
Sea Z un O -espacio vectorial de dimensin finita. 3 L97O Z Z

Se define
<: OB
O3
L97O Z Z
1 3
1 B
Se considera de manera natural una estructura de OB-mdulo sobre Z
de la manera siguiente
OB Z
Z
1 B @ 1 3 @
Daro Snchez H
20
Se escribir Z3 queriendo decir que Z se considera con su escritura de

O-mdulo definida va el morfismo <3 .
131.Z3
es un OB-mdulo finitamente generado, como OB es un

dominio principal, entonces
Z3
[" [# [8
[8" [7
T EVX I HI X SVWMSR
T EVX I PMFVI
[3 es OB-mdulo cclico o sea [3 OBC3 C3 Z3 .

Z3 es un OB-mdulo de torsin.
Se debe mostrar que a@ Z3 b1B OB 1 B ! 1 B @ 13 @ !
Se considera <3,Z OB
Z
, <3Z es una aplicacin lineal entre O 0 B 0 3 @
espacios vectoriales. Como OB es de dimensin infinita y Z es de
dimensin finita <3Z no es inyectiva, esto prueba la afirmacin.
132.As
Z3 [" [ # [ 8
con
E88 [" E88 C" 1" B
E88 [# E88C# 1# B E88 [8 E88 C" 1" B
con
13 B l13" B
13 B ker<3C3 , C3 generador de Z3
18 B es el polinomio minimal de Z3
18 B es un mltiplo de todos los 13 3 " # 8 "
El producto 1" B 1# B 18 B es llamado polinomio caracterstico
de 3.
133.Los 13
B dependen de 3 adems
1<+.13 B es independiente de 3 y
es igual a la dimensin de Z , y podemos escribir

13 B B>3 +" B>3 " +> T3"<3" B T3=<3= B
Z3 [" [8 OBC" OBC8
donde ["T3" [" T 3= OBC3 es llamado submdulo primario.
134. Sea P una
O -lgebra, sea Z un O -espacio vectorial entonces un O homomorfismo de lgebras : P L97O Z Z

es llamado una
representacin de P.
135.Sea
Z P se
considera
V P L97O P P
es
una
B VB P P
C CB
representacin llamada representacin regular.
Sea : una representacin de P entonces podemos definir sobre Z una
estructura de P-mdulo de la manera siguiente
PZ
Z
B @ : B @
o sea se define sobre Z lo que se conoce con el nombre de una accin de
P sobre Z .
Recprocamente si Z es un O -espacio vectorial sobre el cual P actua (es
decir, Z tiene una estructura de P-mdulo) entonces podemos definir una
representacin de P de la manera siguiente
Daro Snchez H
21
: P L97O Z Z
B :B Z
Z
@ B@
2. RESULTADOS PROBADOS
1.Mostrar
que si V es un dominio principal, T ! es un ideal primo entonces T

es un ideal mximal.
T + V.
SOLUCIN: Basta probar que si a+ V + T entonces
Sea T + el ideal generado por T y por +. Como V es principal, existe
. V tal que T + . entonces : . b< tal que : <. .
. " o,
Sabemos que T es primo, entonces : es irreductible as
pero
.:
. : no se tiene ya que si . : . : T , entonces
+ . : + T po entonces, esta contradiccin implica que . "
as . T + " V
2.Para la otra direccin, es decir, supongamos V factorial y todo ideal

primo ! es maximal.
+ Mostrar que todo ideal primo es principal
, Si M es un ideal cualquiera de V , considere
ideales E de V tal que
S
E V E principalE
M
," Mostrar que S .
,# Mostrar que existen elementos minimales en S.
,$ Considerar VC un tal elemento de S, y considerar el conjunto
M VC B VBC M.
Mostrar que M VC es un ideal de V y que M M VC C .
,% Mostrar que M VC V y que luego M VC es principal.
SOLUCIN: + Sea T un ideal primo distinto de ! entonces sea ! + T
como V es factorial existen :" :# :< elementos irreductibles tales que
+ :" : # : <
entonces existe un 3 " # < tal que :3
T
Daro Snchez H
22
Si demostramos que :3 es un ideal primo, entonces es maximal o sea

que :3 T , tenindose la afirmacin.
Veamos entonces que :3 es primo, sean 7" 7# :3 y 7" :3 . Como
V es un anillo factorial el mximo comn divisor de 7" y :3 es ", as
existen < = V tales que " <7" =:3 multiplicando por 7# se tiene
7# >7" 7# =7# :3
aqu 7" 7# :3 y =7# :3 :3 , luego 7# :3 y por lo tanto :3 es un
ideal primo.
," Para M existe un ideal maximal de V tal que M
, adems V ,
maximal, V tiene elemento unidad, entonces es primo, este
resultado es un corolario de los siguientes dos hechos:
" Sea un ideal diferente de V . Entonces es un ideal primo si y
solamente si V no tiene divisores de cero.
# Si V tiene elemento unidad, es maximal si y solamente si V es un
cuerpo. Luego de la parte + es principal por ser primo , as S y
S .
,# Consideremos una sucesin estrictamente decreciente de ideales
principales que contiene M
+" +# VC M .
Siendo V factorial entonces +" :" :5 (factores irreductibles)

+# tiene por lo menos # elementos irreductibles
+8 tiene por lo menos 8 elementos irreductibles

Como +# +" +# +" = :" :# :8 ;" ;= , ;3 irreductible a3. Ntese que
la sucesin del tipo de arriba no puede ser infinita, pues en caso
contrario los elementos de M quedaran descompuestos en un producto
infinito de factores irreductibles. Por lo tanto habr un ideal menor
principal VC conteniendo a M .
,$ 3 : M VC ; M VC entonces esto significa que
: V :C M ; V ;C M
ahora como V es un dominio : ; V y como M es un ideal
: ; C :C ;C M o sea que : ; V : ; C M luego : ; M VC
33 Veamos que V M VC
M VC
Sea ; V M VC esto significa que existe B V > M VC tal que
; B > pero > > C M VC > V as, ; B > C B> C como B> V
se tiene que ; B> C M VC.
Ahora M M VC C ya que claramente M VC C
M Sea entonces
D M como M
VC, entonces D BC con B V .
Ahora que BC D M
entonces B M VC
en esta forma
D BC M VC C de donde se tiene la igualdad.
Daro Snchez H
23
,% Supongamos M VC V esto significa que M VC V , as existe F
ideal maximal tal que

M VC F VD donde D no es la unidad.
Multiplicando por C se tiene
M M VC C
VDC VC C

esta contenencia es extricta ya que si C DC entonces C ?DC, como

estamos en un dominio " ?D y D sera invertible o una unidad. Esto
significa entonces que VC no es un elemento mnimo de S po lo cual
es contradictorio.
Luego M VC V , en esta forma
M M VC C VC C
es principal.
3.Sea /8>/<9=;
sea O un cuerpo cualquiera. Mostrar que los anillos

B y OB C son factoriales, pero no son primos.
SOLUCIN: Como es anillo factorial entonces B es factorial por lo
tanto basta hallar un ideal de B que sea primo pero no maximal, en
efecto, consideremos
0 383>9
B T B
3"
+3 B3 +3
o sea el conjunto de los polinomios cuyo trmino constante es nulo, es

claro que B es un ideal, veamos que es primo; en efecto sea
0 0! 0" B" 0# B# 08 B8 B
1 1! 1" B" 1# B# 17 B7 B
mostremos que
01
! B 0 ! B o, 1 ! B
o equivalentemente que
01 ! B 1
! B 0 ! B
pero si 0 1 ! B entonces 0! 1! ! y como 1
! B entonces 1! ! o sea
0! 1! ! 1! !. Puesto que B no tiene divisores de cero se tiene que
0! ! o sea que 0 ! B de donde B es primo.
Ahora es claro que B B # , donde B # es el ideal engendrado por
los polinomios cuyo trmino constante es un mltiplo de dos, esto indica
que B no es maximal ya que B # B.
Ahora tomemos O un cuerpo entonces OB C es un anillo factorial,
veamos simplemente que existe un ideal primo que no es maximal.
En efecto, sea B un elemento irreductible, como O es un dominio factorial
entonces B es un ideal primo, el cual esta estrictamente contenido en
B C , ideal engendrado por B C con trmino constante nulo, puesto que
B B C OB C
Se sigue que B no es maximal, de donde OB C no es principal.
Daro Snchez H
4.Sea
24
V un dominio, 0 B 1 B VB de grado 8. Mostrar que si ellos
coinciden en 8 " valores distintos, entonces ellos son iguales.

SOLUCIN:Sean 0 B 1 B VB tal que 1<+.0 B 8, 1<+.1 B 8. Sea
2 B 0 B 1 B el polinomio formado haciendo la sustraccin de 0 B
con 1 B es claro que
1<+. 0 B 1 B max 1<+.0 1<+.1 8.
Puesto que 0 B y 1 B coinciden en 8 " valores distintos entonces 2 B
tendra 8 " races distintas, como 1<+.2 B 8 entonces necesariamente
2 B ! aB
Luego 0 B 1 B aB
5.Sea V un dominio, si 0 B +8 B8 +8" B8" +" B +! VB,

entonces se define la derivada de 0 w B por
8
0 w B 8+8 B8" +"

" Muestre que 0 B 1 B
0 B 1 B
3+3 B3"
3"
w
y que
0 B 1 B
0 B 1 B 0 B 1 B
# Mostrar que 0 B tiene una raz mltiple si y slo si 0 B y 0 w B tienen
una raz en comn.
SOLUCIN: " 0 B
0 B 1 B
3
+ 3 B3
3!
1 B
4!
+3 ,3 B3 , as
w
0 B 1 B
3 +3 ,3 B3"
3"
3"
3+3 B
3"
Ahora 0 B 1 B
Se sigue que
0w B 1 B
3,3 B
3"
3+3 3,3 B3"

3"
w
0 B 1 B
3"
-3 B3 , con -3
3!
+4 ,34 , as
, 3 B3
3
3"
3,3 B3"
3!
3
3
3-3 B3"
4+4 ,34 B3"
4!
3"
3"
3!
+ 3 B3
0 B1 B
4!
3+3 B3"
3"
0 B 1w B
entonces
, 4 B4
+4 3 4 ,34 B3"
4!
As
3
0 w B 1 B 0 B 1w B
3"
3
3"
4!
4+4 ,34 B3"
4!
4 3 4 +4 ,34 B3"
3"
3
3
3"
+4 3 4 ,34 B3"
4!
+4 ,34 B3" 0 B 1 B
4!
Daro Snchez H
25
# Sea una raz comn a 0 B y 0 w B . Como 0 ! entonces

existe 2 B EB tal que 0 B B 2 B . Derivando tenemos
0 w B 2 B B 2w B
haciendo B ; se tiene
! 0 w 2 2w 2
o sea que es una raz de 2 B por lo tanto existe 2" B EB tal que
2 B B 2" B
o sea que 0 B B # 2" B en esta forma 0 tiene una raz mltiple en
B .
) Sea ahora una raz mltiple de 0 B entonces existe 2 B EB
tal que 0 B B 7 2 B . Derivando se tiene
0 w B 7 B 7" 2 B B 7 2 w B
Tomando B se obtiene
0 w 7 7" 2 7 2
entonces es una raz de 0 w B , as 0 B y 0 w B tienen una raz comn,
aqu 7 debe ser mayor que o igual a #.
Si 7 " entonces 0 w 2 ! y no es raz de 0 w B .
6.Mostrar que $ no es un nmero racional

SOLUCIN: Consideremos el polinomio T B B# $
el cual es un
elemento de B. Como es un cuerpo de fracciones, segn el criterio
de Eisenstein
entonces T B es un polinomio irreductible en B. Luego no existe

tal que T ! ya que, si existe , entonces T B B 2 B para
algn 2 B B y el grado de 2 B es uno. Como T B es irreductible
entonces 2 B es una unidad de B, esto es una po contracdiccin ya
que las unidades en B son las constantes y 1<+. 2 B ".
Ntese que =$ Anlogamente B no es una unidad ya que
1<+. B " Luego =$ .
7.Sea V
un dominio, sea + V , mostrar que + es invertible en V si y slo

si, l es invertible en VB es decir , que los elementos invertibles de VB
son los de V
SOLUCIN:Si + es invertible en V , entonces b, V tal que +, " (claramente
+ ! y , !). Como V VB, entonces
+ + !B !B8 , y , , , !B !B7
entonces
+ !B !B8 , !B !B7 +, !B !B78
" !B !B87
Daro Snchez H
26
que es el elemento unidad de VB, luego + + !B !B8 es

invertible en VB.
Recprocamente, supongamos que + es invertible en VB esto es, existe
: B ,! ," B ,7 B7 VB tal que
+ !B !B8 ,! ," B ,7 B7 " !B !B<
o lo que es equivalente a
+,! +," B +,7 B7 " !B !B<
segn la definicin de polinomio y la igualdad entre polinomios se sigue
que:
+,! " +,3 ! 3 " 7 <
de aqu se recibe que
+,! " ,! ! elemento de V o sea que + es invertible en V.
8.Sea
V un dominio factorial, sea O el cuerpo de fracciones de V. Sean
1 B 2 B OB dos polinomios mnicos de OB tales que el producto
1 B 2 B VB. Mostrar que de hecho 1 B 2 B VB

+
+
+
+
SOLUCIN: Sea 1 B , ! , " B , # B# , 8" B8" B8 +3 ,3 V
!
"
#
8"
Sea + ,! ," ,8" V entonces +" +1 B 1 B adems +1 B VB.
Ahora
1 B +" +1 B +" -98> +1 B 1" B
donde 1" B VB es un polinomio primitivo. Como 1 B es mnico
entonces el 8-simo coeficiente de +1 B es igual a +. Como -98> +1 B
divide a cada uno de los coeficientes de +1 B entonces
-98> +1 B l+
entonces + --98> +1 B con - V . Ahora sea
w
w
w
2 B +,w! +,w" B ,+7"
B7" B7 +3w ,3w V
w
Sea ,
"
7"
w
,!w ,"w ,7"
entonces
2 B ", ,2 B ", -98>
,2 B 2" B
con 2" B VB es un polinomio primitivo, as tambin existe " V tal
que , " -98> ,2 B . En esta forma se tiene
1 B +" +1 B +" -98> +1 B 1" B -" 1" B
2 B ", ,2 B ", -98> ,2 B 2" B "" 2" B
Ahora
"
1 B 2 B "1" B 2" B
"
Como 1 B 2 B es mnico se tiene que " " entonces
"
"
"
"- . b" - ". " ".
Luego
1 B 1" B VB
2 B 2" B VB
9.Sea 0
B B% B# ". Mostrar que 0 B es irreductible sobre .

SOLUCIN:Sea 0 B B% B# " B
Daro Snchez H
27
Afirmacin: 0 B es irreductible en B.
0 B es primitivo en B y K<.0 B ", entonces basta verificar que 0 B
es irreductible en B.
Paso 1. 0 B no tiene factor de grado " (en B) o sea de una manera
equivalente 0 B no tiene raz en . Es claro ya que
0 " """ "!
0 " """ "!
0 # "' % " "* !
0 $ )" * " )* !
%
#
0 8 8 8 "!
o sea que 0 B no tiene factores de grado ".
Paso 2. 0 B no tiene factores de grado $, esto como una consecuencia
del paso 1.
Paso 3. Supongamos que se tiene un factor de grado # o sea que
B% B# " B% B# " B# B " B# #B $
o sea que
B% B# " B% # B$ " # $ B# "# $ B $"
donde " # $ son elementos de . Por definicin de igualdad de
polinomios tenemos que
$" " "# $ ! " # $ " # !
Mp$" " " $ "
"
MMp"# $ ! $# $ ! de donde $ # !, como $ ! se
tiene #
#
MMMp" # $ " # " de donde $ # "
$
" $
MZ p # ! as
# " implica " " # ! lo cual es obviamente
una po contradiccin en .
Luego 0 B es irreductible en B y por lo tanto en B.
10.Sea : un nmero primo impar. Mostrar que
0 B B:" B:# B "
es un polinomio irreductible sobre .

Basta mostrar que 0 B "
SOLUCIN: "
Consideremos la aplicacin
: B
B "
8
8
+ B3
+ B" 3
3
3!
3!
es irreductible sobre .
Daro Snchez H

8
3 : esta bien definida, ya que si
+3 B3
3!
28
,3 B3 entonces por definicin
3!
de polinomio
+3 ,3 a3 8 7
3
as
+3 B " ,4 B " 4 o sea : esta bien definida.
3!
4!
33 : es un homomofismo de anillos
+3 B3
:
3!
, 4 B4
4!
3!
,3 B " 3 :
4!
+3 B "
+ 3 B3
3!
,4 B4 :
3!
+3 ,3 B "
3
3!
+4 ,34
4!
4
4!
,3 B3
3!
+4 ,34 B3
,4 B "
3!
3!
3!
+3 B3
3!
+3 B " 3
+ 3 , 3 B3
3!
+ 3 B3
3!
B"
4!
,4 B4
4!
333 : es uno a uno

8
+3 B3
3!
, 4 B4
4!
+3 B " 3
3!
,4 B "
4!
segn la definicin de polinomio se tiene 8 7 +3 ,3 a3 .

Luego
+3 B3 ,4 B4 , en esta forma : es un isomorfismo.
3!
4!
3@ As todo polinomio irreductible en B es irreductible en B ", por

lo tanto 0 B " es irreductible en si y solamente si 0 B es irreductible
en .
@ Ahora veamos que 0 B " es irreductible en .
:
"
0 B BB"
B:" B:# B "
por lo tanto
:
"
:
"
:"
0 B " B"
:B:# #" : : " B:$ :
B" " B B " " B
Como cada cociente 5x" : : " : 5 "

de este polinomio con
excepcin del primero, son mltiplos de : y el trmino constante, :, no es
mltiplo de :# , se sigue del criterio de Eisenstein que 0 B " es un
polinomio irreductible, de donde 0 B es irreductible.
# Mostremos que si ! 3 :, entonces G:3 :3 es mltiplo de :.
Claramente ya que
: :" :3"
:3"
:x
G:3 :3 3x :3
: :"
x
3x
3 3" #"
El numerador para 3 :, es un mltiplo de :, mientras que el
:3"
denominador no lo es, por otra parte G:3 : :"
, 3 : : ,
3 3" #"
lo tanto G:3 es mltiplo de :.

$ Usando el criterio de Eisenstein mostramos que 0 B " es irreductible
en B y desde luego 0 B tambin lo es
Daro Snchez H
0 B"
:"
B" : "
B" "
:" B:#
29
:
B: :" B:" " 3 :3 B:" :"
B""
"
B
3 :
3 B:3"
:
:"
Aqu tenemos las condiciones necesarias para aplicar el criterio de

Eisenstein, ya que
:
:l" c :l" , :l :3 a3 " # : " : #l :"
Luego 0 B " es un polinomio irreducible en B como : B B "

es un isomorfismo se tiene que 0 B es tambin irreductible en B.
11.Sea
: : y : B
8
3"
+3 B3
: B
8
+3 B3
3"
Tmese 0 B B: B ". Mostrar que 0 B es irreductible sobre .

" Mostrar que 0 B : 0 B es irreductible en : B, para eso.
+ Mostrar que 0 B no tiene raz en : .
, Mostrar que si es una raz de 0 B en un cuerpo mayor, entonces
" : " son todas las races.
- Mostrar que 0 B es irreductible sobre : : .
# Mostrar que 0 B es irreductible en B.
$ Concluir que 0 B es irreductible en B.
SOLUCIN: " + Supongamos que : es una raz de 0 B , esto es,
: " ! pero : ! ya que :
mod : as ! " ! o sea
que " ! . Lo cual po es contradictorio por lo tanto 0 B no tiene raz
en : .
, Como : es un cuerpo de caracterstica : entonces se tiene que
+ , : +: , : , , + , : +: , : .
Tambin se tiene que
B: B
! mod : aB : .
As
tomemos
3
con
! 3 : ", donde es una raz de
0 B B: B " en : , entonces
0 3 3 : 3 " : 3 : 3 "
: " 3 : 3 ! .
- Por la parte anterior
# B +3
:"
0 B B B " B 3 B :"
3"
donde +3 3. Supongamos que 0 B no es irreductible en : B

entonces existen 1 B 2 B en : B con 1<+. 1 B ", 1<+. 2 B " tal
que 0 B 1 B 2 B entonces existen - y . tales que
Daro Snchez H
30
# B 35
-
1 B B 3" B 3 -
5"
# B 45
.
2 B B 4" B 4 .
5"
o sea que
5
1 B B-
B-" otros trminos
34
4"
Como 1 B : B entonces
34 : B, adems
4"
5
34 con 3 5 : "
34 5
4"
4"
entonces 5 : o sea : esto es una po contradiccin por que 0 B

no tiene races en : B.
# Veamos que : B
: B= : B
es un homorfismo
8
8
+ B3
+ B3
3
3"
8
+3 B3
, 4 B4
3"
8
4"
7
3"
3"
+3 B3
Ahora
+3 B3
3"
78
3"
4!
, 3 B3 :
7
4"
3
3"
8
3"
+ 3 B3
3"
,4 B4 :
+4 , 34 B3
87
+ 3 B3
3"
+ 3 , 3 B3
3"
3"
3"
+3 , 3 B3
,3 B3
3"
+4 ,34 B3
78
4!
7
+ 3 ,3 B3
, 4 B4
4"
3"
+ 3 B3
3"
+4 ,34 B4
4!
,4 B4
4"
As que : es un homomorfismo de anillos.

Si 0 B B: B " no es irreductible en B entonces, como : es un
homomorfismo, 0 B : 0 B no es irreductible en : B lo cual es po
contradictorio ya que en la parte - se mostr que 0 B era irreductible.
$ 0 B B: B " es un polinomio mnico de grado mayor que uno,
irreductible en B luego es irreductible en B.
12.Cuando ellos existan, de un ejemplo de :

+ Un cuerpo infinito de caracterstica !.
, Un cuerpo finito de caracterstica !.
- Un cuerpo infinito de caracterstica (.

. Un cuerpo finito de caracterstica (.
/ Un cuerpo infinito de caracterstica "#
Daro Snchez H
31
0 Un cuerpo finito de caracterstica "#

SOLUCIN: + Existen cuerpos infinitos de caracterstica ! podemos tomar
por ejemplo el cuerpo de los nmeros racionales ya que
:
8 8
es una inclusin.
, No existen cuerpos finitos de caracterstica !.
- Existen cuerpos infinitos de caracterstica (, por ejemplo,
consideramos ( ( el cuerpo de los enteros mdulo ( con la adicin
y la multiplicacin mdulo (. El nmero 1 es un elemento trascendente
sobre ( ya que no existe 0 B ( B tal que 0 1 ! entonces
( 1 01 11 0 1 1 1 O1
es un cuerpo infinito o sea de dimensin infinita de caracterstica ( ya

que la dimensin de ker: es (, donde : ( 1
8 " " "
. Existe como se vi en la parte - donde ( 7 el cuerpo de los
enteros mdulo ( son un cuerpo de caracterstica ( que es finito.
/ y 0 son falsas por que la caracterstica de un cuerpo es cero o es un
nmero primo y claramente "# no es primo.
13.Sea O
un cuerpo, P una extensin de O de grado : primo. Mostrar o

dar un contraejemplo para ver que P es una extensin simple.
SOLUCIN: Se sabe de la hiptesis que P es una extensin de caracterstica
: primo, o sea que O P as existe P tal que O esto implica que
O O y por lo tanto O O ". Ahora se sabe por un teorema
fundamental que cal? que
O P P O O O :
como : es primo, entonces no admite divisores as como O O ",
se sigue inmediatamente que O O : y por lo tanto P O ",
esto equivale a decir que O P.
Lema: Sea P una extensin de O se tiene P O " P O .
En efecto, Es evidente, si P O entonces P O ".
Ahora si P O " y como P es un espacio vectorial sobre O y O P
por lo tanto se puede considerar O como espacio vectorial sobre si
mismo, as O es un subconjunto vectorial de P de dimensin uno, as P
debe ser igual a O .
14.Sea los nmeros racionales, los nmeros complejos. Sea

E B B es algebraico sobre (llamado el cuerpo de los nmeros
algebraicos). Mostrar que el grado de E sobre es infinito.
Daro Snchez H
32
8
SOLUCIN: Sea 5 " 8 un nmero entero arbitrario, ahora # E
8
8
pues 0 B B8 # B y se tiene que 0
# !, as T
8
# B #,
pues B8 # es irreductible, por el criterio de Eisenstein, entonces

8
T
8
#l 8, as # E entonces
E 8 5 " 5
es decir que a8 , b E tal que E 8.
Ntese que E es un cuerpo, ya que si ? @ E entonces ? @ son
algebraicos sobre , tomando ? !, entonces ? @ es una extensin
algebraica de as ? @ E por lo tanto ? @ ? @ ? ?" son
elementos de ? @ y por lo tanto son elementos de E, as E es un
cuerpo.
15. Sea O
un cuerpo, P una extensin algebraica de O . Mostrar que todo

anillo V entre O y P es algebraico. Recprocamente, mostrar que si P es
una extensin de O tal que todo anillo entre O y P es un cuerpo,
entonces P es una extensin algebraica de O .
SOLUCIN: " Sea V , !, como V P entonces P como se esta
suponiendo que P es una extensin algebraica sobre O , existe
0 B OB tal que 0 !.
Sea +! +" B +# B# +8 B8 0 B entonces claramente
+ ! + " " + # # + 8 8 !
dividimos ahora por +! , supngase +! !
" ++"! ++#! # ++8! 8 !
" ++"! ++#! # ++8! 8

ahora a3,
+3
+!
"
+"
+!
+#
+!
+8
8"
+!
O V y V . Como V es un anillo
+"
+!
+#
+!
+8
8"
+!
As, " " con " V de donde es invertible, como es arbitrario se

sigue que cualquier elemento no cero es invertible por lo tanto V es un
cuerpo.
P
l
# Recprocamente, supongamos que O no es una extensin algebraica

sobre O , esto es existe C P tal que a0 B OB se tiene 0 C !
consideremos entonces OC el anillo de los polinomios en C, que es ahora
un elemento trascendente sobre O , claramente O OC y como C P
entonces OC P, as hemos obtenido un anillo V OC entre O y P
(anillo intermediario) de la hiptesis se tiene entonces que OC es un
Daro Snchez H
33
cuerpo, esto es claramente una po contradiccin ya que

polinomio.
"
C
sera un
16.Sean O P Q
cuerpos. Sea Q , el cual es algebraico sobre O .

+ Mostrar que es algebraico sobre P
, Cual es la relacin entre el polinomio minimal de sobre O y el
polinomio minimal de sobre P.
- Mostrar que O 5 P P
SOLUCIN: + Sea lgebraico sobre O , esto es equivalente a decir que
es raz de un polinomio con coeficientes en O , as existen +! +" +8 no
todos nulos, elementos en O tales que
T +! + " + # # + 8 8 !
esto es,
8
T B
+3 B3 OB y , T !
3!
Como O P y +3 O para cada 3, entonces T B PB y T !

entonces es algebraico sobre P.
, Sea TlO B el polinomio minimal de sobre O y TlP B el polinomio
minimal de sobre P.
Afirmacin: TlO BTlP B
Supongamos que esta relacin es falsa, o sea TlO B TlP B entonces
existen B B polinomios de grado mayor que " tales que

TlP B B TlO B B "
Ahora como esa igualdad se cumple para B, en particular para se tiene
TlP TlO "
Como TlO ! y TlP ! se sigue que ! " , lo cual es po
contradictorio. Esta relacin nos afirma por lo tanto que
1<+. TlP B 1<+. TlO B
donde 1<+. indica el grado del polinomio.
- Ahora se sabe de la teora general cal? , que
O O 1<+. TlO B 1<+. TlP B P P
de donde se tiene la demostracin de - .
17.Sea 0
B B( " " , donde es una raz de 0 B
+ Calcular el polinomio minimal de sobre
, Calcular
SOLUCIN: + 0 B puede romperse en dos factores de la forma
0 B B " B' B& B% B% B$ B# B "
Como " y por un ejercicio ya efectuado, el polinomio ciclotmico
Daro Snchez H
34
B' B& B% B% B$ B# B "

es irreductible sobre , adems es una raz de 0 B ; por lo tanto
Tl B B' B& B% B% B$ B# B "
, De la parte + se sabe que es algebraico sobre por lo tanto por un
teorema de la teora general cal? se tiene que
1<+. Tl B '
18.Sea
O un cuerpo, H la clausura algebraica (o la cerradura algebraica)
de O Sea 0 B OB de grado 8 Sean por otra parte " # 8 las

races de 0 B en H.
+ Mostrar que O " # 8 O 8x
, Si adems 0 B es irreductible, mostrar que
8 O" # 8 O 8x
SOLUCIN: + Se conoce el siguiente resultado; si : B es un polinomio de
OB de grado 8 " el cual es irreductible sobre O , entonces existe una
extensin I de O tal que I O 8 en donde : B tiene una raz.
Afirmacin: Si 0 B OB entonces existe una extensin finita I! de O
en la cual 0 B tiene una raz. Ms an I! O 1<+. 0 B .
En efecto, sea : B un factor irreductible de 0 B , cualquier raz de : B es
raz de 0 B . Entonces existe una extensin I! de O con
I! O 1<+.: B 1<+. 0 B en el cual : B tiene una raz y por lo tanto
0 B tiene una raz, digamos que " es esta raz. Sea I! O " ya que el
el cuerpo ms pequeo que contiene a O y a " , y en el cual " es
algebraico o sea 0 " !. As en I! B 0 B
se factoriza como
0 B B " ;" B , donde ;" B tiene grado 8 ", es un polinomio de
I! B ahora por el mismo argumento existe una extensin J! de I! tal
que J! I! 1<+.;" B 8 ", en el cual ;" B tiene una raz # ,
podemos tomar J! I! # ya que # es tambin raz de 0 B
0 # # " ;" # ! o sea que J! O " # O " # . As ;" B
puede ser factorizado en
O " # B
como
;" B B # ; # B ,
donde ;# B tiene grado 8 #
Continuando el proceso se llega a que ;# B tiene una raz $ en
O " # $ y que O " # $ O " # 1<+.;# B 8 #. Adems
0 B tiene tres de sus races en O " # $ . Continuando
recurrentemente el proceso obtenemos en general que
O " # 3" O " # 3 8 3 3 " # 8 "
y 0 B tiene 3 " de sus races en O " # 3" . Ahora
O " # 8 O
O " # 8 O " # 8" O " # 8" O " # 8#
O " # O " O " O " # 8 " 8 8x
, Puesto que 0 B es irreductible entonces O " O 8. Por otra parte
Daro Snchez H
Luego
O " # 3 O " # 3" "
35
a3 " # 8
8 O " O O " # O " O " # 8 O " # 8" 8x
pero
O " # 8 O O " # 8 O " # 8" O " # O " O " O
Luego
8 O " # 8 O 8x
19.Sea 0
B B:" B:# B " B, donde : es un nmero primo.
Sea E la cerradura algebraica de . Hallar las races " # :" de 0 B en

E, y mostrar que " # :" : ".
:
"
, luego cualquier
SOLUCIN: Ntese que 0 B B:" B:# B " BB"
:
raz de 0 B es raz de B ", o sea, se trata de las :-simas races de la
unidad distintas de " o ms exactamente
#135
5 / : 5 " # : "
Sea A " una raz :-sima de la unidad, entonces cualquier otra raz es
una potencia de A, ya que las races de la unidad forman un grupo cclico.
Sea " # :" las : " races de 0 B B:" B:# B ". Como
0 B es irreductible sobre se sigue que 3 : "
Afirmacin: " # :" 3
En efecto, se tiene trivialmente que 3
" # :" . Ahora
veamos el recproco; basta ver que cada una de las races 4 ,
4 " # : " esta en 3 . Se sabe que las races de la unidad distintas
de " forman un grupo cclico, as supongamos que 3 A una cualquiera
de las races de la unidad distitas de " entonces
" A 1" # A1# :" A1:"
donde 14 es una cualquiera de las permutaciones del conjunto
" # : ", por lo tanto
" U3 # 3 :" 3
ya que son justamente las potencias de 3 , as como " # :" es el
menor cuerpo que contiene a , y a " # :" entonces
" # :"
3 .
Luego,
" # :" 3 : "
esto completa la prueba.
20.Sea el cuerpo de los nmeros racionales y sea 0 B B$ #. En el

cuerpo las tres races de 0 B son:
$
$
$
# A
# A#
# donde A " $3
$
$
$
Halle
#, A
# A#
# .
Daro Snchez H
36
SOLUCIN: Como ninguna de las races de 0 B B$ # pertence a se
sigue que 0 B es irreductible en as

$

# 1<+. 0 B $
$
Ahora 0 B puede ser factorizado en
#B en la siguiente forma
$
$
$
0 B B
#2 B donde 2 B B#
#B
#
Ahora tenemos que

" 2 B es un polinomio mnico
$
$
# 2 B es irreductible en dB, pueto que
#A d y
#A# d .
Entonces estas dos propiedades de 2 B , segn uno de los criterios que se
conocen para irreductibilidad de polinomios, esto equivale a decir que
ww
$
ww
2 B es irreductible sobre
# .
$
$
$
Luego
#
#A
# 1<+.2 B #, ahora
$
$
$
$
$
#
#A
#A#
#
#A
esto se prueba, por un argumento anlogo al seguido en el problema 19

de arriba, as
$
$
$
$
$
#
#A
#A#
#
#A#
$
$
$
$

#
#A
#
# # $ $x
21.Sea K un grupo y L" L# dos subgrupos normales de K tales que
K L"
y K L# son finitos entonces, usando teoremas de homomorfismos, es

fcil mostrar que
L" L# L" L# L" L#
lo cual es equivalente a que
L" L# L" L# L" L" L# L# L" L# .
L" L# L" L# L" L# , basta probar que
SOLUCIN: Para probar que
L#
L# L"
.
L" L#
L"
En efecto, si ( L" L# y 2 L" entonces 2 " (2 L" ya que L"
K y
2 " (2 L# con ( L# . Por lo tanto 2 " (2 L" L# de donde se sigue que
L" L#
L# . Ahora L# L" es un subgrupo, ya que no es vaco y si B" B# L"
L# , entonces B" 2" 8" B# 2# 8# ; as
" "
"
"
"
B" B"
28%
# 2 " 8" 8 # 2 # 2 " 8 $ 2 # 2 " 2 # 2 # 8 $ 2 #
donde
"
"
8$ 8" 8"
# L" 2 " 2 # 2 L # y 2 # 8 $ 2 # 8 % L "
ya que por hiptesis L" K. Por lo tanto B" B"
L# L" es un
# L# L" y
subgrupo de K. Sea F L# LL# L" " definida por F 2 L" 2 . Entonces F es
claramente sobre, es decir,
F L#
L# L"
L"
" .
Daro Snchez H
37
L#
Por el teorema de homomorfismos F L#
#
kerF
donde
kerF BB L# FB " BBL# L" B L" .
Si L" B L" entonces " B B L" y si B L" , entonces L" B L" . Por lo
tanto se tiene kerF BB L# B L" L" L#
$
L" L#
L#
De " # y $ se tiene L" L" L#
Luego
L" L#
L"
L#
L" L#
Ahora sea
kL" L# :L" L#
cL# L" L" d L# L" L#
[ todos los subgrupos de L" L#

[L" L# L [L" L#
L
Tomemos en particular L" [L" L# L" L" L# , en efecto;
"
B2B
L" L#
L" L#
L" K 2# K
2" 2# 22#" 2""
2" 2 2"" L"
B L " L # B 2" 2 #
As como L" L" L# , se tiene una condicin necesaria y suficiente para que
L"
L#
LL""L
L" L# #
En esta condiciones, siguiendo a el teorema de isomorfismos existe uno y
slo un isomorfismo
L#
"
kL" L# : LL" L" # LL""L
L"LL
#
#
tal que kL" kL" L# K L" L# kL" o sea la conmutatividad del siguiente
diagrama
kL" L# L" L#
L" L#
kL"
As
L" L#
kL"
L" L#k L" L# L" L#

"
L" L# L"LL
L"
#
L" L#
L"
L" L#
L"
L" L# L" L# o sea que
L" L# L"
L" L# L" L#
L" L" L#
o equivalentemente
L" L" L# L" L# L" L" L# L" L#
pero % nos dice que
L" L# L" L# L" L# .
Luego
L" L# L" L# L" L" L# L# L" L#
22.Vamos
a ver que en la teora de cuerpos la situacin del problema de

arriba no es tan buena en general. Sea P un cuerpo, O" O# dos subcuerpos
Daro Snchez H
38
tales que O# O" O# es finito. Sea O" O# el menor

subcuerpo de P que contiene a O" y a O#
" Verificar que O" O# es algebraico sobre O" .
# Sea e" # 8 f una base de O# sobre O" O# entonces estos
elementos son un sistema de generadores de O" O# sobre O" como espacio
vectorial.
$ Concluir que O" O# O" O# O" O# .
% Para ver que la desigualdad puede ser estricta se considera el polinomio
0 B B$ # B; sea " una raz real de 0 B y # $ las races
complejas; tome O" " y O# # mostrar que
+ O" O #
, O" O# O" # $ O# O" O#
SOLUCIN: " Se sabe que O# O" O# es una extensin finita y que O" es
una extensin de O" O# por # , que mostreramos seguidamente, existen
elementos " # 8 O# tales que
O# O" O# " # 8 .
Entonces O" O# O" " # 8 y por lo tanto O" O# O" es finitamente
generado por elementos algebraicos entonces O" O# O" es una extensin
finita luego O" O# O" es algebraica as O" O# es algebraico sobre O" .
# Sean " # 8 una base de O# O" O# . Entonces ciertamente
O# O" O# " # 8
como
O# O " O # " # 8
es
finitamente generado
y O" es una extensin de O" O# , ambas O" O#
estan contenidos en P, entonces
O" O# O" " # 8
y as O" O# es finitamente generado sobre O" , esto significa que
" # 8 es un sistema de generadores de O" O# sobre O" .
.
Se dice que O# es finitamente generado sobre O" O# si existe una

familia
finita
de
elementos
" # 8
de
O#
tales
que
O# O" O# " # 8
.
$ Como una conclusin obvia se sigue de las partes " y # que
O" O# O" O# O" O#
Daro Snchez H
+ Sea

$
$
O"
# y O #
#
"
#
$
# 3
$
39
$

#A.
Sabemos por el problema 20 que O" 1<+. B # $ ya que B$ # es

irreductible sobre . Ahora
O" O" O" O# O" O# $
O" O" O# " ya que si O" O" O# ", entonces O" O" O# pero
esto es imposible ya que O" O# y O"
O# . Luego necesariamente
O" O# ", esto es equivalente a afirmar que O" O# . Lo cual

queriamos mostrar.
$
$
, O" O#
#
#A. El cibernauta interesado puede demostrar esta
igualdad
como un ejercicio. Por el problema 20 sabemos que

#
$
$
$
2 B B#
#B
# es un polinomio irreductible sobre
# luego
O" O# O" # , por otra parte B$ # es un polinomio irreductible sobre

por lo tanto O# O" O# 1<+. B$ # $.
Luego
O" O# O" O# O" O# .
23.Sea
E el cuerpo de los nmeros algebraicos. Mostrar que E tiene un
nmero infinito de automorfismos.

SOLUCIN: Se sabe segn el problema 14 que
a8 b E, tal que 8
Sea " otra raz de Tl B existe un -isomorfismo :w
" tal que
w
: " . Con estas hiptesis y dado que E es algebraicamente cerrado
existe 5 E?> E
tal que 5| :w . As obtenemos tantos
automorfismos como races tenga Tl B . Ms an sea : 8 " un
nmero primo, el cual siempre es posible hallar, y consideremos las races
:-simas de la unidad, sea A " una raz :-sima de la unidad se sabe que
B:" B:# B "
es el polinomio minimal de A en , notmoslo Al B , consideremos ahora
A A# A$ A:"
y como antes;
:" A A# :# A# A$ ::" A:" A
Esta familia e :3 A3
A3" f es una familia de -isomorfismos
distintos, as segn la teora general, existe para todo 3, 53 E?> El tal
que
53 l A3 :3
as hemos obtenido una familia 53 E?> El que tiene : " elementos, o
sea hemos obtenido por lo menos 8 automorfismos distintos de E. En total
a8 b: 8 " primob53 E?>El "3:"
Esto indica que el nmeros de automorfismos de E es infinito.
Daro Snchez H
40
24.Sea O
un cuerpo, H una clausula algebraica de O . Sea H y TlO B el

polinomio minimal de sobre O . Mostrar que
55 E?> HlO races de TlO B
SOLUCIN: " 5 5 5 E?>HlO, supongamos que
TlO B +! +" B +# B# +8 B8
Ahora veamos que es TlO 5
TlO 5 +! +" 5 +# 5 # +8 5 8
5 +! + " + # # + 8 8 5 !
!
+3 5 + 3
5 E?> HlO
Luego 5 races de TlO B
# Sean " races de TlO B y M. O O es homomorfismo idntico,
entonces segn la teora general existe un homomorfismo :w O O "
que es una extensin de M. O O mediante la aplicacin
-! - " - # # - 8 8 - ! - " " - # " # - 8 " 8
:w es inyectiva
: w > : w 6 : w > >! > " " > # " # > 8 " 8 6 ! 6 " " 6 # " # 6 8 " 8 : w 6
por definicin de polinomio se recibe

>! 6! >" 6" >3 6" ,>8 68 .
As
> >! > " > # # > 8 8 6 ! 6 " 6 # # 6 8 8 6
Puesto que O B es un espacio vectorial sobre O de dimensin finita se
sigue que :w es un O isomorfismo
:w " .
Ya que,
: w : w ! " ! # ! 8 ! " " ! " # ! " 8 "
Se sabe que H es una cerradura algebraica de O y que :w es un
O -isomorfismo de O sobre O " , entonces existe G E?> HlO tal que
G|O :w . As G|O :w " luego existe 5 E?> HlO tal que
5 " por lo tanto " 55 E?>HlO.
25.Sea
un cuerpo algebraicamente cerrado : H Hw : H un

isomorfismo. Mostrar que Hw es algebraicamente cerrado.
:
Hw B : H B
es un isomorfismo
SOLUCIN: 3 HB
8
8
+3 B3
: +3 B3
H
3!
: es uno a uno
8
3!
: +3 B3
3!
8
4!
: ,4 B4 : +3 : ,3 a3 ! " 8
Daro Snchez H
41
Como : es un isomorfismo de H sobre Hw entonces +3 ,3 a3 ! " 8, de

8
donde se tiene que
+3 B3
3!
, 4 B4
4!
: es sobreyectiva
8
Sea
3!
-3 B3 :HB, puesto que -3 :H a3 entonces existe -3 H a3 tal
que -3 : -3 a3. Tomando

:
-3 B3
-3 B3 HB se tiene que
3!
: -3 B3
3!
3!
- 3 B3
3!
: es un homomorfismo de anillos
8
+3 B3
:
3!
, 4 B4
4!
8
: +3 B3
3!
4!
Ahora;
:
8
3!
+3 B3
3!
: +5 : ,35
5!
8
+ 3 , 3 B3
3!
: + 3 ,3 B3
3!
: , 4 B4 :
,4 B4 :
4!
33 Si : B
8
3!
B3
: +3 : ,4 B3
3!
3!
,4 B4
4!
+5 ,35 B3
3!
5!
: + 3 B3
3!
+ 3 B3
8
4!
: ,4 B4
+5 ,35 B3
5!
+ 3 B3
3!
,4 B4
4!
+3 B3 es un polinomio irreductible en HB entonces : : B es
3!
tambin irreductible en Hw B. En efecto, supongamos que : : B no es

irreductible entonces esto significa que existe 2 B :HB tal que
2 B l: : B Puesto que : es un isomorfismo de HB sobre Hw B entonces
tomamos :" la aplicacin inversa
:" 2 B l:" : : B :" 2 B l: B
como :" 2 B es tambin un polinomio con coeficientes en H entonces
resultara que : B no es irreductible.
333 Sea una raz de 0 B HB entonces : es una raz de : 0 B , en
efecto, supongamos que
0 B +! + " B + 8 B8 y 0 !
Ahora,
: 0 B : +! : + " B : + # B# : + 8 B 8 J : B
as
J: : : + ! : + " : : + # : # : + 8 : 8
: +! + " + 8 8 : ! !
3@ Sea 1 B :HB un polinomio arbitrario por 3 existe 0 B HB tal
que :0 B 1B. Ahora H es algebraicamente cerrado entonces existen
" # 8 races de 0 B tales que 0 B B " B # B 8 .
Daro Snchez H
42
Por 333 se concluye que : " : # : 8 son races de : 0 B 1 B

por lo tanto 1 B B : " B : # B : 8 , esto implica que Hw
es algebraicamente cerrado.
26.Sea H una cerradura algebraica de O
:H
Hw : H un isomorfismo.
Mostrar que Hw es una cerradura algebraica de : O . Si en particular : es

un O -isomorfismo, entonces Hw es una cerradura algebraica de O .
SOLUCIN: Ya sabemos por el problema 25, que : H es algebraicamente
cerrado, slo resta probar que : H es algebraico sobre : O , en efecto,
sea > :H, entonces existe 7 H tal que : 7 > pero H es algebraico
sobre O entonces existe
0 B +! +" B +8 B8 OB tal que 0 7 !.
Segn la parte 3 del problema 25
: 0 B : +! : +" B : +# B# : +8 B8 es un polinomio en : O B
tal que > es una raz, en efecto,
: +! : + " > : + # > # : + 8 > 8
: +! : + " : 7 : + # : 7 # : + 8 : 7 8
: + ! + " 7 + # 7# + 8 7 8 : 0 7 : ! !
Luego Hw es lgebraico sobre : O y por tanto una cerradura algebraica de
: O .
Si : es un O -isomorfismo : 7 > es una raz de
0 B +! +" B +8 B8 OB
En efecto,
: + ! + " 7 + # 7# + 8 7 8
+! + " : 7 + # : 7 # + 8 : 7 8
: +3 +3 a3
: 0 7 : ! !
En este caso : H Hw es una cerradura algebraica de O
27. Sea Y un cuerpo algebraicamente cerrado que contiene a O . Mostrar

que H Y es lgebraico sobre O, es la nica cerradura algebraica
de O contenido en Y .
SOLUCIN: Es fcil mostrar que si Y es algebraicamenta cerrado, entonces
H Y es lgebraico sobre O es la cerradura algebraica de O en Y .
En efecto sea 0 B HB de grado ", se tiene por otro lado que
0 B HB
Y B, siendo Y algebraicamente cerrado existe Y tal que
0 !, en esta forma es algebraico sobre H, pero ahora por la
transitividad de la algebrizacin se tiene que es algebraico sobre O
entonces H. Se sigue entonces de la definicin que H es algraicamente
cerrado y se concluye finalmente que H es cerradura algebraica de O
Sea H" otra cerradura algebraica de O en Y
Daro Snchez H
43
H Y y es algebraico sobre O entonces

H" es una extensin algebraica sobre H" , como H" es algebraicamente
cerrado se sigue que H" H" entonces H" en esta forma H H" .
De una manera totalmente semejante, se prueba que H" H, luego H" H.
28.Sea
O un cuerpo, 0 B OB. Sea P su cuerpo de factorizacin de 0 B
sobre O . Sea Y un cuerpo algebraicamente cerrado, y : O Y un

isomorfismo. Sea 0" B : +! : +" B : +8 B8 donde +! +" +8
son los coeficientes de 0 B (es decir, 0 B +! +" B +8 B8 ).
" Sea G una extensin de : hasta P (la cual sabemos que existe, pues
PO es algebraico). Mostrar que G P es un cuerpo de factorizacin de
0" B sobre : O .
# Si G" y G# son dos extensiones de : hasta P, entonces G" P G# P .
SOLUCIN: " Sea una raz de 0 B entonces G es una raz de 0" B . En
efecto, 0 +! +" +8 8 ! ahora
0" G : + ! : + " G : + 8 G 8
La construccin de G es tal que G|O : por lo tanto
: +3 G +3 a3 ya que +3 O a3 ! " # 8
As
0" G G + ! + " + 8 8 G ! ! .
Por hiptesis P es el cuerpo de factorizacin de 0 B entonces existen
" # 8 P tal que P O " # 8 como cada 3 es raz de 0 B
entonces G 3 es tambin raz de 0" B , as
0" B B G " B G # B G 8 .
Ahora como : O G " G # G 8 es el cuerpo ms pequeo que
contiene a G " G # G 8 se sigue que
G P : O G " G # G 8 .
Por lo tanto G P es el cuerpo de factorizacin de 0" B .
# Segn la parte " G" P y G# P son cuerpos de factorizacin de 0" B
Daro Snchez H
44
Segn la parte " G" P y G# P son cuerpos de factorizacin

de 0" B sobre : O o sea que
G" P : O " # 8 G # P : O " # 8 ,
donde " # 8 son las races de 0" B y como se encuentran dentro de
un cuerpo algebraicamente cerrado se sigue de la teora general que
G" P G# P .
29.Sea P $ #. Hallar: 3 Todos los -isomorfismos de P en

33 Todos los isomorfismos de P en
333 Todos los -automorfismos de P
3@ Todos los automorfismos de P

$
$
SOLUCIN: 3 Sea P # puesto que # es lgebraico sobre
entonces los -isomorfismos de P en son dados por
$
$
# " donde " es cualquier raz de :

$
#l B B #
"$3
#
Puesto que
los nicos
$
Por lo tanto los -isomorfismos son M. :"
#
$
:#
#
$
$

#A :$
#
$

#A# donde
#
una extensin de , entonces :" :# :$ son
|
$
-isomorfismos porque si
3
#
es un nuevo
-isomorfismo, entonces, l debe mandar una raz de B$ # en una raz

de
3 B$ # 3 " B$ 3 #
B$ #
3 /= ?8 3=979<0 3=79
As que 3 coincide con alguno de los -isomorfismos :" :# :$ anteriores,

ya que B$ # segn el teorema fundamental del lgebra slo tiene $ races.
$
$
33 Los isomorfismos de
# P y como
#es una extensin
de ellos deben mantener a fijo por lo tanto son los -isomorfismos
:" :# :$ determinados en la parte 3 .
333 Para calcular el nmero de -automorfismos aplicamos el problema 24
Daro Snchez H
45
$
#l
5 5 E?>
$
$
nmeros de races de B$ # que hay en
#
#
$
$
Luego 5 es la aplicacin que deja a fijo y manda
# en
# o sea 5 es el
automorfismo idntico.
3@ Anlogamente al caso 33 los automorfismos de P deben mantener a
P
|
$
fijo ya que es una extensin y
# es lgebraico sobre por lo tanto el
nico automorfismo es el idntico.
30. " Sea

O
"
:8
O un cuerpo, H una cerradura algebraica de O . Para 8 " sea

8
H: O
" Mostrar que O es perfecto O : es perfecto

"
# Mostrar que ms generalmente O :8 es perfecto O :7 es perfecto a7

"
$ Llamando O :
a la cerradura perfecta de O en H. Mostrar que
"
"
:
"
O " , o,
SOLUCIN: " ) Si O es perfecto
y : O O: entonces eso quiere decir

BB
: O O : , o sea O :# O :
que : O O . Ahora : : O
"
"
"
"
:
"
: O O: O
de donde O : es perfecto.
"
O:
"
) Se sabe que O O por lo tanto O O O :

"
:
"
:#
"
:
"
"
:
"
Por lo tanto, sabemos que O : es perfecto esto es O T # O : ahora

:
"
" :
O :# O : O
"
O O O :
"
:#
de donde
"
"
:
"
:
"
O : O :# O : O .
"
"
"
de donde O es perfecto.
"
"
"
# O T 8 es perfecto si y slo si O :8 O :8" as
O
"
:7
O
"
:8
"
:78
"
:8"
"
:78
"
O :7"
de donde O :7 es perfecto para todo 7.

"
"
) Es evidente pues en particular para 7 8 se tiene que O :8 O :8" o
"
sea O :8 es perfecto.
"
Daro Snchez H
46
$ Si O es perfecto entonces se sigue de las partes " y # que O : O

"
por lo tanto en ese caso O T O ".
"
Supongamos que O no es perfecto, en ese caso se tiene la siguiente

"
"
"
cadena ascendente O O : O :# y su reunin es O T , adems
"
"
O :8 O :8" :, a8 por lo tanto
O : O O : O O :# O : O :$ O :# : : : :
"
"
"
"
"
"
8p
lim :8
:"
31.Sea O
un cuerpo, H una cerradura algebraica. Sea : la caracterstica de

O : puede ser ! . Sea 0 B B8 +" B8" +8 OB
0 w B 8B8" 8 " +" B8# +8"
" Mostrar que las condiciones siguientes son equivalentes:
3 0w B !
33 0 B es del tipo 0 B B<: ," B <" : ,3 B <3 : ,<
# Ya fue demostrada la equivalencia de las siguientes condiciones
333 0 B tiene una raz mltiple en H
3@ 0 B y 0 w B tienen una raz en comn en H
+ Mostrar que si 0 B es irreductible, entonces las condiciones 3 y 333
son tambin equivalentes.
, Dar un ejemplo para mostrar que si 0 B no es irreductible 3 y 333 no
sern equivalentes.
SOLUCIN: " Si : ! se tiene 0 B +8 +8" B! +3 B! 3" B<!
entonces 0 w B !
Recprocamente, si 0 w B ! entonces 0 B -98=>.
Si : ! entonces 0 B B<: ," B <" : ,3 B <3 : ,< , derivando se
tiene 0 w B :B< :" : < " ," B <" :" : < 3 ,3 B <3 :" :,<"
puesto que ,3 O y : caracterstica de O entonces :,3 ! a3, luego
0 w B !.
Recprocamente 0 B B8 +" B8" +8 derivando se tiene
0 w B 8B8" 8 " +" B8# #+8# B +8"
puesto que 0 w B ! se sigue de la definicin de igualdad de polinomios
que
8B8" !B8" 8 " +" B8# !B8# #+8# ! +8" ! pero esto
significa que
8 7: 8 " +" 7 " : #+8# 7 < : salvo en
aquellos coeficientes donde +3 ! , as
0 B B7: +" B 7" : +3 B 73 : +7
lo cual deseabamos mostrar.
Daro Snchez H
47
# + 3 333 Sea B + una raz de 0 B entonces 0 B B + 1 B en H,

derivando se tiene 0 w B B + 1w B 1 B ahora 0 + ! por ser + raz y
0 w + ! por la hiptesis 3 . Luego 0 B y 0 w B tienen una raz en comn
puesto que 3@ 333 se sigue que 0 B tiene una raz mltiple en H.
333 3 Si 0 B es irreductible, eso significa que los nicos divisores de
0 B son " y 0 B . Si 0 B tiene una raz mltiple entonces 0 B y 0 w B tienen
un factor comn no trivial en OB; luego 0 B 0 w B ", como 0 B es
irreductible entonces 0 B 0 w B 0 B en particular
0 B l0 w B
0w B !
1<+.0 w B 1<+.0 B
, Tomando & & el cuerpo de los enteros mdulo 5
0 B $ & % & B& $ & B"! % & B"& & B
este polinomio no es irreductible ya que
0 B $ & % & B& " & " & B"!
aqu se tiene
0 w B & % & B% "! $ & B* "& % & B"%
y no se tiene claramente que 0 B tenga races mltiples
1<+. 0 B "& 0 B tiene 15 races en & y como & slo tiene 5
elementos, entonces estas races tiene que ser mltiples.
Un segundo ejemplo es el siguiente: Sea O un cuerpo de caracterstica
: #. Sea 0 B B " # , 0 B OB no es irreductible. Ahora
0 w B # B " !. Adems 0 B tiene una raz mltiple .
31.Muestre
que si O es perfecta y 0 B irreductible entonces 0 w B ! y

luego 0 B no tiene races mltiples.
" del
SOLUCIN: Supongamos que 0 w B !, entonces segn la parte
problema 30 0 B es del tipo se considera : !
0 B B<: ," B <" : ,3 B <3 : ,<
ahora puesto que 0 B OB todos los coeficientes ,3 O : O O :
(donde : O O: ) por lo tanto para cada ,3 existe un +3 de tal forma que
B B
:
,3 +3 a3 " <, as
0 B B<: ," B <" : ,<
B<:
+": B <" :
+#: B <# :
+3: B <3 :
+<:
<
+ 4 B4
4!
lo cual es una contradiccin con el hecho de que 0 B era un polinomio

irreductible. Por lo tanto 0 w B ! y se sigue que 0 B no tiene races
mltiples en H esto segn la parte 333 del problema 30. Si : ! entonces
sea + H y considrese : B TlO B . Entonces :w B ! y :w B tiene grado
menor que el de : B . Puesto que : B no devide a :w B se sigue que
:w + !, as + es separable sobre O y se concluye que HlO es separable.
Daro Snchez H
48
32.
Sea P3 3M una familia de extensiones normales de O todas

contenidas en la misma cerradura algebraica H de O Mostrar que
" P3 es normal sobre O
# O
3M
3M
P3 es normal sobre O
SOLUCIN: " Sea : M=9O
3M
por lo tanto
P3
3M
tal que :lP3 M=9O P3 H as
P3 H
3
: P3
3M
3M
: P3
P3 P3 es normal sobre O
P3
P3 es normal.
Tambin se puede hacer, tomando 0 B OB un polinomio irreductible

teniendo una raz en P3 , esto significa que 0 B OB es irreductible y
3M
tiene una raz en P3 para todo 3 M , puesto que P3 es normal sobre O se

sigue que 0 B tiene todas sus races en P3 , para todo 3 M , as siguiendo la
definicin de interseccin 0 B OB es irreductible y tiene todas sus
races P3 de donde P3 es normal sobre O .
# Sea : M=9O O
3M
P3 H es decir,
3M
3M
isomorfismo. Sea 0 O
3M
P3entonces 0
: O
"3" 35 8
3M
P3
es un O -
3
+3" 3# 38 "" 838
4
"4" 4# 48 8
,4" 45 "" 55
de esto, puesto que : es un O -isomorfismo, tenemos

: 0
"3" 35 8
+3" 3# 38 : "
"4" 4# 48 8
3"
:
,4" 45 : "
4"
:
38
45
Ahora, puesto que los P3 son normales, entonces : 3
35
: 3
45
P3 .
Luego : 0 O P3 , as :O P3
O P3 O P3 es
3M
3M
normal sobre O .
33.Sea ' # considrese ' #.

'
" Calcular el polinomio minimal de
# sobre .
'
# Mostrar que #no es normal sobre .
3M
3M
3M
'
$ Sea P el menor cuerpo tal que P

# y adems que P sea normal
sobre . Calcular P .
SOLUCIN: " T B B' # es el polinomio irreductible, segn el criterio de
'
Eisenstein, ya que #l " #l# y % l # . As
# 1<+. T
'
#l B '
'
#
#no es normal sobre , ya que
Daro Snchez H
49
'
'
'
'
'
'
B' # B
#B
#B#
#B
%B#
#B
%
'
'
los dos ltimos polinomios no tienen races reales ya que f=
% %
% !.
'
Por lo tanto
#no tiene todas las races de B' #, por lo tanto
'
#no es normal.
'
'
$ P
# $3es el menor cuerpo tal que P
# de manera que P
es normal sobre , ya que si Q es otra extensin normal de que
'
contiene las races de B' # entonces va a contener en particular a
# y
$3 ya que cualquier raz de B' # es una combinacin lineal sobre de
'
# y $3. Ahora
'
P
# $3 $3 $3
1<+. T$3l B B' # B# $
1<+. T
B
'
#l$3
' # "#
34.Hallar
un ejemplo de un cuerpo O y de una extensin algebraica P tal

que OP: P pero PO no sea separable (Nota; por un resultado bsico una
tal extensin deber ser infinita)
SOLUCIN: Sea O un cuerpo de caracterstica : no perfecto (un tal cuerpo
"
existe, por ejemplo : B ). Tomando P O T se tiene que
:
"
"
"
OP: O O : OO : O T P
"
puesto que O no es perfecto entonces existe 8 tal que O :8 O :8" por
"
"
8"
lo tanto existe O : y
/ O : lo cual es equivalente a
8
:8 "
,
O : O
8"
entonces , O O : entonces B: , es irreductible sobre O adems
adems es una raz de este polinomio entonces
8"
B: , TlO B
su derivada,
8"
w
Tl5
B :8" B: " !
por lo tanto PO no es separable.
"
35.Sea
O un cuerpo, O : su cerradura perfecta. Sea P una extensin

"
:
algebraica de O Mostrar que P es perfecto P
O . En particular una
extensin algebraica de un cuerpo perfecto es perfecto.
"
SOLUCIN: Supogamos
que P
entonces existe 8 tal que :
8"
es perfecto, entonces sea O :

"
: O
P entonces
8
Daro Snchez H

: :
8
8" :
P perfecto
8# :
8"
P perfecto
50
prosiguiendo este proceso se llega finalmente que P, as O :

P
:
"
"
"
Obsrvese que O : es perfecto, entonces O : O : . Toda
"
extensin algebraica de un cuerpo perfecto es perfecta, demostremos que

"
si
PO : es
algebraico
entonces
P
es
perfecto,
es
decir,
:/
a, P b- P - , / " : -+<+->P
"
O :
Sea P y T B T :" B
" # 8" es una base de
lO
l
"
O :
sobre O : . Sea , O :
"
"
O T
"
potencia : se tiene
/
,:
8"
4!
,4 4 , tomando la
/ 4
,4: : como ,4: O : O : Entonces
8"
4!
entonces ,
,: -
/ 4
-4 :
8"
4!
"
:/
"
"
-4 O : /
/
/
/
puesto que " : 8" : son base de O : O :/ : se sigue que
"
:/
"
- O : por lo tanto - P.
"
36.Sea
O un cuerpo de caracterstica : P una extensin puramente
inseparable de grado finito. Mostrar que P O es igual a una potencia de :

SOLUCIN: Puesto que P es de grado finito la podemos considerar, sin perder
generalidad, como simple, digamos que P O . Sea / ! el ms
/
/
pequeo entero tal que : O , y sea : +.
Entonces + no es una
/
:-sima potencia de algn elemento de O , y por lo tanto B: + es
irreductible en O (puesto que + O O : . Se sigue que es una raz del
/
polinomio B: +, este es el polinomio minimal de por lo tanto
/
P O O O 1<+. B: :/ .
37.Sea O un cuerpo de caracterstica :. H una cerradura algebraica. Sea

H y TlO B su polinomio minimal sobre O . Sea 8! el grado de
separabilidad de T lO B , :/ su grado de inseparabilidad.
/
" Mostrar que " : es separable sobre O
# Naturalmente, tenemos las inclusiones O
O"
O. Mostrar que
O es puramente inseparable sobre O"
$ Mostrar que O" 0 O0 es separable sobre O
% Concluir que O O=/: 8!
O O38=/: :/
Daro Snchez H
51
SOLUCIN: " Sea :/ T:/ lO B si : no es separable entonces :/w B ! por lo

/
tanto :/ B O B: as existira un :/" B: :/" B con :/" B OB y

:/" B ::/" lO B , as :/ no sera el grado de inseparabilidad de :lO B ,
/
/
por lo tanto: :/ B M<<O : :/ B OB: entonces " =:
es
separable.
/
/
# Puesto que " O " y " : entonces existe / ! tal que : O" o
sea O es puramente inseparable sobre O" .
$ Puesto que O es una extensin de O" slo debemos ver que
O " 0 O0 es separable y puramente inseparable sobre O " .
En efecto, sea " 8" una base de O donde 8 es el grado de
:lO B , y sea 0 O entonces 0
tiene
8"
3"
-3 3 ; elevando a la potencia :/ se
/ 3
-3: :
.3 " 3 O "
3"
3"
3"
/
-3: .3
/
As para 0 O existe :/ tal que 0: O" o sea que 0 es puramente
inseparable en O" .
Puesto que 0 es separable sobre O entonces es separable sobre O" de
aqu se sigue que
O " 0 O0 es separable sobre O
/
% Por la parte " sabemos que : es separable y que el grado de
/
separabilidad de :lO B es 8! . Entonces
O : O 8 !
y
0
:/
8"
-3
:/
8"
8"
O O : :/ .
/
/
Tambin por la parte " se sigue que O : O es separable
/
O :
O=/: .
/
Sea , O=/: , es separable sobre O y tambin separable sobre O:
/
Por la # , es puramente inseparable sobre O : . Entonces segn un
/
:/
resultado bsico , O: . As tenemos O O =/: de donde se
sigue que O O=/: 8! . Como
O O O O=/: O O38=/: 8! O O38=/:
y
O O 1<+. :lO B 8! :/
Entonces O O38=/: :/
38.Sea
PO una extensin finita y 7 P O=/: . Mostrar que
" 7 lE?> PO l
# 7 lE?> PO l si y solamente si PO es normal.
SOLUCIN: " Sea R P 5 P 5 M=9O P H la menor extensin
normal de P, la cual siempre existe, H una cerradura algebraica de O
Daro Snchez H
52
suficientemente grande. La construccin de R es hecha de manera que

R O sea normal, es evidente que E?> PO
M=9O P O por lo tanto
lE?> PO l lM=9O P O l P Ol=/: 7
# 7 lE?> PO l lM=9O P O l
entonces
a5 E?> PO se tiene 5 P P esto significa que PO es normal.
) Si PO es normal, esto equivale a decir que a5 E?> R O
5 P
P a7 M=9O R P 7 P
P o sea que en particular
|E?> PO l lM=9O P R l P O=/: 7
39.Sea : un automorfismo de d
" Mostrar que : deja a fijo
Mostrar que : manda todo elemento positivo sobre un elemento

positivo.
$ Concluir que : tiene que ser la identidad.
SOLUCIN: " Puesto que : es un automorfismo entonces : " " Ahora
: # : "" : " : " ""#
o sea que en general
: 8 : 8 " " : 8 " : " 8 " " 8
o sea
: 8 8 a8 .
Ahora
8
8
: 7
: 87" : 8 : 7" 8 : 7 " 8 7" 7
o sea que : < < a<
Esto implica que queda fijo por :.
# Sea + !, entonces b- d tal que + -# ! ahora
: + : - # : - - : - : - : - # !.
En particular : es estricamente creciente ya que si -" -# -# -" !,
aplicando : se tiene
: -# -" ! : - # : - " ! : - " : - #
lo cual afirma que : es creciente.
$ Sabemos que : deja a fijo o sea que: aB :B B; o sea que
:l M. , veamos pues que : es la identidad en d . Tomemos + d y
veamos que : + +, en efecto supongamos que : + , y que , +.
Puesto que d es un conjunto totalmente ordenado entonces podemos
suponer que + ,.
Puesto que es un conjunto denso en d se tiene que existe - tal que
+ - ,. Ahora aplicando :, la cual ya sabemos que es creciente, se tiene
, :+ :- :,
#
Daro Snchez H
53
pero : deja fijo a , por lo tanto :- -, as

,: + -: ,
De aqu se recibe que , - , po esto es totalmente contradictorio en
d , por lo tanto : + +.
Otra forma de probar esta afirmacin es la siguiente:
Sea - d entonces existe una sucesin <8 <8 8 tal que
<8 p- cuando 8p Puesto que :l
es la identidad entonces es
continua y se tiene
: - : lim <8 lim : <8
-.
8
8
: <8 < 8
40.Sea PO una extensin algebraica, H una cerradura algebraica de P.

H
|
P Mostrar que si PO es separable infinita, entonces M=9O P H es infinito,
|
O
de manera que si PO es normal, separable, infinita entonces, E?> PO es
infinito.
SOLUCIN: Sea 8 un nmero entero arbitrario, puesto que PO es
infinito existen " # 8 elementos de P tales que " # 8 es un

conjunto linealmente independiente sobre O , como PO es una extensin
algebraica, entonces se puede considerar el cuerpo O " # 8 Q
entonces tenemos, Q O 8
entonces lM=9O Q H l Q O
Ahora para todo 5 M=9O Q H sabemos existe una extensin 3 P H tal
que 3 es un O -isomorfismo y que 3|Q 5, entonces tenemos que
|M=9O P H l lM=9O Q H l 8
Ahora si se toma PO normal y como Q O es una extensin finita
separable se sigue que
|E?> Q O l lM=9O Q H l 8.
As cada automorfismo de Q que deja fijo O puede ser extendido a un
automorfismo de P que deja fijo a O as que
lE?> PO l lE?> Q O l 8
entonces para cada 8
|E?> PO l 8 E?> PO es infinito.
41.En
las hiptesis del problema 40 anterior, mostrar que si PO es una

extensin separable, infinita entonces E?> PO puede ser finito. Para eso,
Daro Snchez H
54
mustrese que tomando O E la cerradura algebraica de y

P E d se tiene
+ PO separable infinita
, lE?> PO l "
- Dando un ejemplo, mostrar que es posible tener PO algebraica infinita
tal que lM=9O P H l "
SOLUCIN: + Puesto que O y tiene caracterstca !, se sigue
inmediatamente que PO es separable. Veamos que PO es infinita. Sea
8
8 un nmero entero arbitrario, ahora
# P E d puesto que
8
8
0 B B # B y se tiene que 0 # !, adems 0 B B8 # es un
polinomio irreductible, esto segn el criterio de Eisenstein, entonces
8
8
8
T
8
8
#l B B # Ahora # T
#l 8, adems # P
entonces
8
P
# 8 ,
es decir que a8 , b P E d tal que

P P 8
o sea que la extensin PO es infinita.
, Sea : E?> PO , entonces : deja fijo a O , en efecto, : " " y
repitiendo el problema 39 se tiene
: 8 : 8 " " : 8 " : " 8 " " 8
por otra parte,
8
8
: 7
: 87" : 8 : 7" 8 : 7 " 8 7" 7
es claro que se debe tener 7 !.
: es creciente ya que, si + <# !, entonces : <# : < # ! por lo
tanto, si + , , + ! en esta forma : , + ! : , : + !
: + : , .
: deja fijo a P E d , en efecto, sea - P E d , - es algebraico sobre
y - entonces como : E?> PO de donde se recibe que
y - d . Si :-
b, P E d tal que : - ,. Como es denso y - , d ( y - , E)
entonces existe - tal que , - -, aplicando : que es creciente se
sigue que
:, :- :-
pero : - - y : - ,, as que , - , po lo cual es contradictorio. Por
lo tanto : M.P .
"
- Sea O un cuerpo de caracterstica : no perfecto. Tomando O : la
cerradura perfecta de O , se sigue que PO es una extensin infinita y
"
puramente inseparable P O T se sigue de un resultado bsico que
Daro Snchez H
55
PH es normal
M=9O P H M.
42.Sea
PO una
extensin algebraica normal. Sea H una cerradura

"
algebraica de P O T la cerradura perfecta de O
" Ver que O38= O : P y por lo tanto es un cuerpo
"
+ O38= O es puramente inseparable, normal
, P/O38= es normal
sobre O
SOLUCIN: "
: O38= 8 P y es puramente inseparable
"
:
8
:
entonces P b8 O P b8 tal que O esto es lo
"
"
"
mismo que P O :8 P O : P O :
8
"
"
"
: C P C O : O :8 C P b8
O
tal que
8
"
8
C O :8 entonces C P b8 tal que C: O o sea que C P C es
puramente inseparable sobre O de donde C O38= .
# + O38= O es puramente inseparable por construccin de O38= . Ahora
sabemos que PO es normal. Sea 0 B OB un polinomio irreductible tal
que " es una raz de 0 B y " O38= , esto significa que
3 0 B OB es irreductible, 0 " !.
33 " es puramente inseparable sobre O .
Esto significa que " es la nica raz de 0 B o sea que si 0 ! entonces
" . Por lo tanto todas las races de 0 B estan en O38= luego O38= O es
una extensin normal.
, PO38= es normal.
Sabemos que PO es normal y O38= es un cuerpo. Sea 5 E?> HO se tiene
que 5 P
P. Ahora 5" E?>HO38= 5" E?>HO puesto que PO es
normal se sigue que 5" P
P, en esta forma PO38= es separable.
"
Sea P y Q O : sea TlQ B es el polinomio minimal de en Q , por lo

tanto TlQ B es irreductible, como Q es perfecto, se sigue de un resultado
bsico cul? que TlQ B es separable por lo tanto es separable sobre
Q O : , nos resta ver que TlO38= B TlQ B .

Sea P, TlO38= B O38= B, sea 7 el ms grande 2 tal que
2
7
TlO38= B O38= B: se puede escribir
TlO38= B 1B: donde
7
1 O38= B 1 O38= B: entonces 1B: es irreductible, como 1 O38= B:
7
1 tiene todas sus races simples, as : que es una raz de 1 es separable
"
Daro Snchez H
56
sobre O38= adems 1 es el polinomio minimal (es claro que 1 es

"
7
irreductible) de : por lo tanto 1 B O : B y se tiene que
:7
T :" B 1B TlO38= B
lO
43.Con las mismas hiptesis del problema 42

" Muestre que O=/: O es normal.
# Mostrar que E?> PO=/: E?> PO y que E?> PlO38=

E?> O=/: lO es
:
:lO=/:
un isomorfismo de grupos.
SOLUCIN: " En efecto, sea 5 E?>O=/: lO entonces 5 O=/: es separable
sobre O ya que si " 5O=/: b O=/: tal que 5 " . Sea TlO B el
polinomio minimal de sobre O y por lo tanto es separable o sea que
es una raz simple. Ahora
5TlO
5 ! !
TlO " TlO 5
5lO M.O
TlO !
por lo tanto y " tienen el mismo polinomio minimal por lo tanto, como
TlO B es separable, " es separable luego 5 O=/: es separable. Como
5 O=/: esta contenido en O=/: y O=/: es la cerradura separable de O se
sigue que 5 O=/: O=/: , por lo tanto O=/: O es normal.
# + Primero se tiene que O38= O=/: ", en efecto, sea O38= y TlO B
su polinomio minimal, puesto que es puramente inseparable TlO B
8
debe dividir a algn polinomio de la forma B: + el cual tiene una nica
raz. Por lo tanto cualquier isomorfismo de O38= sobre O dejando O fijo es
la identidad en cada , por lo tanto es la identidad en O38= y como
conclusin O38= O=/: ". Segn el teorema de Galois
E?> PO
E?> O38= O
E?> PO38=
Ahora como O38= O es normal, se sigue que
|E?> O38= O l lM=9O O38= O l O38= O=/: "
por lo tanto E?> O38= O 3., as
E?> PO
M. E?> PO38= E?> PO
E?> OO38=
, Sea G E?> PlO38= E?> O=/: lO dado por G : :l=/:

Se puede mostrar que si : E?> PlO38= entonces G : :lO=/: E?> O=/: lO
lo cual nos indica que G est bien definida.
G es un homomorfismo
G : ) : ) lO=/: E?>O=/: lO : ) l=/: :lO=/: )lO=/: ,
as G : ) G : G ) .
G es inyectiva
Para probar esta afirmacin basta con demostrar que kerG M.P
Daro Snchez H
57
En efecto, sea : kerG entonces G : :lO=/: M.O=/: por lo tanto, : deja

fijo a O=/: . Ahora : E?>PlO38= entonces se tiene que : deja fijo a
O38= entonces se tiene que : deja fijo O38= O38= . Se demostrar en el
problema que sigue que P O=/: O38= de donde se tiene que : deja fijo a
P o sea que : M.P .
G es sobreyectiva.
Sea 5 E?>O=/: lO, entonces puesto que PO es una extensin algebraica
3
P
P entonces sea 3 P P una extensin tal que 3 E?>PlO tal que
l
l
3|O=/: 5
5
O=/: O=/:
se sabe por + que E?> PO E?> PO38= , por lo tanto
|
|
3 E?>PlO38= y se tiene que
O M. O
<3 3l O=/: 5.
45.En las hiptesis del problema 42 se tiene
" Si P O es finito, entonces P O38= O=/: O y O38= O P O=/:
# Si P O es finito, entonces existe una biyeccin entre el conjunto
cuerpos entre P y O38= y el conjunto cuerpos entre O=/: y O

$ Muestre que O38= O=/: P y que O38= O=/: O .
SOLUCIN: " Como PO es finito entonces se tiene que
P O P O38= O38= O
Tambin
P O P O=/: O=/: O
Por otra parte se conoce el siguiente resultado:
P O P O=/: P O38= P O=/: P O38= .
De estos tres resultados se tiene lo siguiente
P O38= O38= O P O=/: P O38=
"
P O=/: P O38= P O=/: O=/: O
#
Puesto que P O38= ! y P O=/: ! se sigue de " y # respectivamente
que
O38= O P O=/: y P O38= O=/: O
# Segn el teorema de Galois
G"
subgrupos de E?> PO38=
p Cuerpos entre P y O38=
tambin
G#
subgrupos de E?> O=/: 5
p Cuerpos entre O=/: y O
por la parte # del problema 43 se sabe que
<
E?> O O .
E?> PO38=
=/:
Daro Snchez H
58
Luego existe G# G G"

que es una biyeccin, ya que es compuesta de
"
biyecciones, entre Cuerpos entre P y O38= y Cuerpos entre O=/: y O.
$ + Sea P 5" 5# ,5< un subconjunto maximal de elementos de
E?> PO tales que 5" 5# 5< son distintos. Entonces algn 53 es la
identidad y es raz del polinomio 0 B # B 53 .
<
Para todo 7 E?>PlO se tiene

7 0 B 7 # B 53
<
3"
3"
# B 7 53
<
3"
# B 53
<
0 B
3"
esto es debido al hecho de que 7 permuta las races.

Notemos que 0 es separable y que sus coeficientes estan en el cuerpo fijo
O38= . Sabemos por un resultado bsico (cul?) que P es puramente
inseparable sobre O=/: por lo tanto puramente inseparable sobre O=/: O38=
Por otra parte P es separable sobre O38= esto segn la parte # del
problema 42 por lo tato P es separable sobre O38= O=/: . Puesto que PO
es una extensin algebraica, se sigue que P O38= O=/: .
, Por un resultado bsico (cul?) y dado que PO es algebraica
O P es separable sobre O y es puramente inseparable sobre O
P es separable/O P es puramente inseparableO
O=/: O38=.
45.Sea 0
B B# " B# #
" Hallar el cuerpo de factorizacin R de 0 B sobre y determinar el
grado de R .
# Hallar el grupo de Galois de 0 B .
$ Determinar la correspondencia de Galois entre el conjunto de los
cuerpos intermediarios y de los subgrupos de E?> R l .
% Probar que todos los cuerpos intermediarios son (o no son) normales
sobre .
SOLUCIN: " 0 B B# " B# # B 3 B 3 B #B #
El cuerpo de factorizacin de 0 B esta dado por
R # # 3 3 # 3
R R # # T3l# B
B# " B# # # # %
T3l# B B# "8381?8+ <+D ./ B# " /=>+ /= #
T#l B
Daro Snchez H
T#l B B# "( es irreductible por el criterio de Eisenstein)
# 3
59
Puesto que # 3 # # entonces
lE?># 3#l #. Digamos que

E?># 3# M. 7
donde
3 3
7
# #
as 7 # 3 7 3 3 3
ya que # 3 # T3l# B
Ahora
B# " #
# 3 3 T#l 3 1<+. B# # # as
E?> R l 3
tiene dos elementos digamos pues que E?># 3l 3 M. 5 donde
5 # #
. Por lo tanto E?># 3l M. 7 5 57
3 3
donde 57 3 5 3 3 7 3 75 3
57 # 5# # 5# 75#
Adems
57 # 5757 M. , ya que
5757 3 575 3 57 3 5 3 3
5757 # 575# 57 # 5 # #
Luego E?># 3l Z% el grupo de Klein.
$ Para establecer los cuerpos intermediarios entre R y tenemos en

cuenta que una base para el espacio vectorial # sobre es dada por
" # Ahora una base para # 3sobre # esta dada por " 3.
As una base del espacio vectorial # 3 sobre ser dada por:
" # 3 #3
y los cuerpos intermediarios sern # 3 #3.
Para calcular los subgrupos de

M.
5
# # #
3
3
3
As tenemos
E?> R l establecemos el siguiente cuadro

7
57
# #
3 3
Daro Snchez H
60
En el diagrama de arriba indicamos la correspondencia entre los cuerpos

intermediarios y los subgrupos as a corresponde K, a #3
corresponde 3 57 ya que
57 #3 5 #3 35# 3 # 3#
A 3
corresponde M. 5, a # corresponde M. 7 y finalmente
# 3 corresponde M..
% Sabemos que toda extensin de grado dos es normal. Puesto que todas
las extensiones intermediarias son de grado dos, se sigue que los cuerpos
intermediarios son normales sobre . Entonces segn el teorema de Galois
todos los subgrupos de orden dos del grupo de Klein son normales.
46.
Sea E una cerradura algebraica de . Sean P

E y Q
E tales que
P $ y Q & Mostrar que
E
" PQ "&

SOLUCIN:
# PQ es normal si y slo si P y Q son normales

$ En el caso de que PQ sea normal, P y Q son los
nicos cuerpos entre y PQ .
" Como P $ entonces P es una extensin algebraica

finita de dimensin $ entonces existen " # $ P tales que " # $ es
base de P sobre y se tiene P " # $ .
Afirmacin " P " # $ donde es igual a uno de los
" # $ o sea la extensin es simple. Sabemos que
P " # $ " # " # " " $
Sea
" # $ " # 7 " # " 8 " > as
tenemos que $ 7 8 >, puesto que $ es un nmero primo se sigue que se
tienen las siguientes posibilidades
3 7 $ 8 " > " en ese caso " # " " , esto
implica entonces que " # , as tenemos que P " # $ $ y
P es simple.
Daro Snchez H
61
33 7 " 8 $ > " en ese caso " # $ " # "

entonces " y se tiene " # $ " # # y una vez ms
P es simple.
333 7 " 8 " > $ en ese caso
" # $ " # ,
" # " entonces " # $ " y se tiene que P es
simple con P " .
Ahora Q & entonces Q es una extensin algebraica finita
de dimensin & entonces existen "" "# "$ "% "& elementos de Q de tal
manera que "" "# "$ "% "& es una base de Q sobre entonces
Q "" "# "$ "% "&
Afirmacin # Q "" "# "$ "% "& " donde " es igual a uno de
los elementos "" "# "$ "% "& Sabemos que
Q Q "" "# "$ "% "" "# "$ "% "" "# "$
"" "# "$ "" "# "" "# "" "" &
Sea Q "" "# "$ "% 7 "" "# "$ "% "" "# "$ 8
"" "# "$ "" "# :
"" "# "" ;
"" <
as
& 7 8 : ; <,
puesto que & es nmero primo se tiene las
siguientes posibilidades
7 & 8 : ; < "
8 & 7 : ; < "
: & 7 8 ; < "
; & 7 8 : < "
< & 7 8 : ; "
Anlogamente al caso anterior se tiene que Q " o sea Q es simple.
As PQ " " .
Afirmacin
$ " " $ , basta ver que
Tl " Tl B . Se sabe que 1<+. Tl B $, adems por un problema
anterior se tiene que Tl " B Tl B . Sea $ 1<+. Tl " entonces $
puede ser ", o, # o, $. Pero $ " dado que " .

Si $ # entonces existe 1 B
factor lineal tal que 1 B " B
1 B Tl" B :l B . Como " B es un dominio euclidiano entonces
Tl B tiene una raz # " y #
/ esto dado que Tl B es irreductible,
por definicin de polinomio mnimo sobre B entonces Tl B T#l B
Daro Snchez H
62
y se considera la extensin intermediaria # /, as

& " " # # , como # $, entonces aqu
se sigue que $l& lo cual es po contradictorio as $ #, luego $ $,
entonces Tl" B Tl B , de donde se tiene " " $ $. As
PQ " " " " $ & "&
# Sabemos que PQ "
PQ es normal, ya que es un cuerpo de caracterstica !, adems
PQ es normal y separable, entonces por el teorema de Galois, el grupo
de Galois es tal que lKl "&, donde K E?> PQ , entonces por el
teorema de Lagrange K admite subgrupos de rdenes " $ & y "&
respectivamente. Segn el primer teorema de Sylow K posee por lo menos
un $-grupo de Sylow y un &-grupos de Sylow, $" y &" son las mximas
potencias de $ y & que dividen al orden K por el primer teorema de
Sylow, existen L" L# 3-grupos y 5-grupo de Sylow de rdenes 3 y 5
respectivamente. As L" $ y L# &. Como $ y & son nmeros
primos, entonces L" y L# son grupos cclicos por lo tanto L" +
L# , . Por el teorema de Galois
cuerpos intermediarios
subgrupos de
biyeccin
entre PQ y
E?> PQ
As
cuerpos intermediarios
ePQ " f
entre PQ y
Como
c d $ K:L#
" & K L"
Entonces cuerpo fijo de L# P
cuerpo fijo de L" " Q
Por el segundo teorema de Sylow, los :-grupos de Sylow de K son
conjugados dos a dos. Luego L"
K L#
K entonces por el teorema de
Galois P es normal y Q / es normal.
Sea P normal y Q " normal, como P $
entonces por el teorema de Galois lKP l lE?> P l $, entonces KP es
cclico y se tiene
KP " 5 5# E?> P
Como Q & entonces por el teorema de Galois lKQ l lE?> Q l &
entonces KQ " 7 7 # 7 $ 7 % 7 & 7
+# ,# +8 ,8
3 -3 P
PQ -+"".,"" ,+3.
# .# -7 .7
3 Q
Sea : M=9 PQ E entonces veamos que : B PQ para todo B PQ ,

en efecto
Daro Snchez H
+3 -3 P
,3 .3 Q
+" ," +# ,# +8 ,8
-" ." -# .# -7 .7
Ahora
+# ,# +8 ,8
: B : -+"".,""
# .# -7 .7
63
: +" ," +# ,# +8 ,8
: -" ." -# .# -7 .7
: +" : ," : +# : ,# : +8 : ,8
: -" : ." : -# : .# : -7 : .7
Pero :|P M=9 P E

y :lQ M=9 Q como P y
normales se sigue que :lP P
P y : lQ Q
Q luego
+w" ,"w +w# ,#w +w8 ,8w
+w3 -3w P
: B - w .w - w .w - w .w
, w . w Q
" "
# #
7 7
Q son
o sea que : B PQ .
$ Segn # se tiene que K E?> PQ tiene a L" L# $-subgrupos y
&-subgrupos de Sylow respectivamente. Sea
V ?? es un $-subgrupo de Sylow de K
D ?? es un &-subgrupo de Sylow de K
El tercer teorema de Sylow nos dice que
#V
" 79.$
#D
" 79.&
pero " es el nico elemento de clase de " mdulo $ y & respectivamente que
divide a K "& de esto se sigue que
#V " #D
Esto implica que L" y L# son nicos subgrupos de K. Por el teorema de
Galois existe una biyeccin entre los subgrupos de K y los cuerpos
intermediarios, esto implica por consiguiente que entre PQ y existen
solamente O" y O# subcuerpos intermediarios correspondientes justamente
a L" y L# que son subgrupos cclicos normales.
47.Sea 0
B B$ "!
" Muestre que 0 B es irreductible sobre #.
# Hallar el grupo de Galois y los cuerpos intermediarios entre #y el
cuerpo de factorizacin de 0 B
SOLUCIN:
" Si
B$ "!
no es irreductible sobre
# entonces
0 B B B# " B # , donde B # y B# " B # #

ahora se sabe que B$ "! puede ser factorizado en d en la forma
$
$
$
B$ "! B
"!B#
"!B
"!!
Ahora
$
$
B
"! # ya que
"! #.
$
$
$
$
Tambin B#
"!B
"!! # dado que ni
"! , ni
"!! pertencen
a #. Como la factorizacin de B$ "! es nica en d se sigue que

$
$
$
BB
"! y B# " B # B#
"!B
"!!
esto es contradictorio ya que se tendra B # y B #
Daro Snchez H
64
Luego B$ "! es irreductible sobre #.
# Las races de B$ "! son
$
$
$
"
"! #
"! "# $3 $
"! "# $3 .
Luego el cuerpo de factorizacin de 0 B B$ "! estar dado por
$
$
$
$
P
"!
"! " $3
"! " $3
"! $3
sobre # se sigue que el cuerpo de
Ahora considerando 0 B
$
$
factorizacin ser P# #
"! $3 #
"! $3
$
#
"! $3 P#
$
#
"!
Todas extensines son normales separables
por lo tanto podemos afirmar que
#$3 E?>P# l P#
$
$
P# #
"! #
"! #
',
ya que
$
B
$
P# #"! T$3l#
"!
$
y #
"! # T
B
$
"!l#
K E?> Pl
tiene
por
subgrupos
E?>P# #$3 .
B# $ #
B$ "! $
$
E?>P# #
"!
$
P# #
"!
Como
y
y
P# #$3 son extensiones normales separables y finitas, se

tiene
$
"!
E?>P# l#
$
P# #"! #
$
entonces E?>P# #
"! tiene dos elementos 3. 7 donde
7 :
7 # $3 7 $3 $3 7 # 3.
$
$
"!
"!
$3$3
Ahora
B
$
P# #$3 T
"!l#$3
entonces
E?>P# l#$3 tiene $ elementos por lo tanto debe ser un

grupo cclico, sea 5 E?>P# #$3 , 5 se define sobre las
races de B$ "! as
$
$
5
"!
"! "#
$3
y as tenemos
Daro Snchez H
$
$
$
5#
"! 55
"! 5
"! "#
$3
"! "#
$3
"$3
"! "#
5l#$3 3.
$3
$
$
$
5$
"! 55#
"! 5
"! "#
"! "$3 "$3

#
#
$
"!
$
" # $3
Luego E?>P# l#$3
$3
65
$
5
"! "#
$
"!
5
$
$
"! %%
"!.
$3
"$3
3. 5 5# 5
Por lo tanto K 3. 7 5 5# 75 57 , obtenemos el siguiente cuadro

3.
5
5#
7
75
57
$3 $3 $3
$3
$3 $3 $3
$
$
$
$
$
$
$
"! "! "! A "!A
"!
"!A
"!A
donde A "# $3 , de aqu se concluye que 75 57 , entonces K no es

abeliano, as K es isomorfo a W$ . Ahora se tiene el siguiente cuadro para
los subgrupos
Los cuerpos intermediarios se presentan en el siguiente cuadro:
As los cuerpos intermediarios son:

$
$
$
#3$ #
"! #
"!A #
"!A
que son los cuerpos fijos de cada uno de los subgrupos de K, esto segn
el teorema de Galois.
48.Sea
O un cuerpo de caracterstica : !, y B C dos indeterminadas.
Sean P O B C y O B: C:
" Mostrar que B no es separable sobre , de manera que P no es
separable.
Daro Snchez H
66
# Mostrar que P :#
$ Mostrar que a- , 1<+. TB-Cl B :
% Mostrar que P no es una extensin simple de

& Mostrar que a0 P,1<+. T0l B :
SOLUCIN: " Es claro que B O B: C:
cuando : "
Afirmacin: TBl D D B D O B: C: D
Para la verificacin mostremos que D : B: es irreductible sobre D.
Supongamos que D : B: no es irreductible sobre D entonces existen
0 D 1 D D tales que
D : B: D B : 0 D 1 D
:
esto implica que 1 D DB :8 para 8 :.

Desarrollando, por el binomio de Newton se tiene
0 D D 8 G8" BD 8" G8# B# D 8# " 8 B8 D
puesto que B B# B8 5 B: C: . En forma anloga se tiene que
1 D D, esta contradiccin nos afirma que D : B: es irreductible sobre
D, luego TBl D D : B: .
Ahora TBlw :D :" ! entonces B no es separable sobre , esto muestra
que P no es separable.
# Mostremos que P :# . Considrese la siguiente torre de
extensiones
P O B C O B: C B Q B
l
Q O B: C O B: C: C C
l
O B: C:
l
O
3 Como PQ es una extensin simple se tiene
P Q Q B Q 1<+. TBlQ D :
pues TBlQ D D : B: Q D en efecto, si D : B: es irreductible sobre Q D
entonces D : B: 0 D 1 D D B : 1 D 0 D Q D, entonces
0 D DB
0 D DB
1 D DB
pero
pues
1 D DB
:8
8 : ,
Q D O B: C D,
1 D D 8 G8" BD 8" " 8 B8 Q D O B: C D

ya que B B# B8 Q O B: C
po
33 Q es extensin simple
Q O C O 1<+. TClO D :
Daro Snchez H
67
pues T8lO D D : C: D en donde es irreductible, como ya fue

mostrado en la parte " . Luego
P P Q Q : : : #
$ Mostremos que 1<+. TB-Cl D :,
Afirmacin: TB-Cl D D : B: - : C:
En efecto, D : B: +- : C: es irreductible ya que en caso de no serlo existirn
0 D 1 D D tales que D : B: - : C: D B -C : 0 D 1 D esto
significa que 0 D D B -C 8 D 8 " 8 B -C 8 . Como 8 : se
sigue que B -C 8 O B: C: , entonces 0 D D 0 D D po .
Por lo tanto TB-Cl D D : B: - : C: , luego 1<+. TB-Cl D :.
% Por # tenemos que P es una extensin finita, ahora O B: C: O es
una extensin infinita; luego en particular O B: C: es un cuerpo con
un nmero infinito de elementos. Luego el conjunto
O B: C: B -C - O B: C: B -C - es infinito
Por $ B -C :
a- P B -C : a- . Luego
P B -C a- B -C
a-
Por consiguiente, existe un nmero infinito de cuerpos intermediarios
entre y P adems, como P es una extensin finta, por un resultado
bsico (cal?), esto equivale a decir que P no es una extensin simple.
& Ya vimos en la parte # que P :# . Para todo cuerpo intermediario
Q Q P entonces P Q Q : Sea 0 P entonces
3 0 P
33 0 P
333 0
3 No es verdad ya que por % P no es una extensin simple.
33 1<+. T0l B 0 : ya que se trata de una extensin
intermediaria
333 0 entonces T0l B B 0 esto implica que 1<+. T0l B ".
Entonces 1<+. :0l B :
49.Mostrar que un cuerpo finito no puede ser algebraicamente cerrado.
SOLUCIN: Sea J un cuerpo finito de caracterstica : ! : primo . Tenemos
8
que J:
J . Si J J: 8 entonces lJ l : ; . El grupo multiplicativo
J J ! de J tiene orden :8 " ; " entonces para todo
J ;" " entonces para todo J ; , o sea que J J
es raz de la ecuacin B; B as
todas las races de B; B
J.
Para ver que J no es algebraicamente cerrado, basta tomar el polinomio
8
0 B B: B " J B, tenindose que 0 B no admite races en J lo cual
implica que J no es algebraicamente cerrado.
Daro Snchez H
50.Sea
68
V un anillo, Q A una familia de V -mdulos, a A
R
Q un V -submdulo.
Mostrar que
sea
: : Q
RQ
A
A
es un V -homomorfismo cuyo ncleo es R , luego como consecuencia,

A
tenemos que R es un V -submdulo de Q .
A
A
Q
Q
SOLUCIN: 3 Veamos primero que R es un V -mdulo. La adicin en R se
define as:
Q
Q
Q
R R
R
7" R 7# R 7" R 7# R 7" 7# R
La adicin esta bien definida, en efecto
7" R 7# R 7w" R 7w# R
7" R 7w" R 7# R 7w# R
w
w
w
w
7"
7" R 7#
7# R 7 " 7 #
7" 7# R
7" 7# R 7w" 7w# R
Es ahora inmediato verificar que Q R es un grupo abeliano.
La
ley
de
composicin
externa
o multiplicacin escalar
es
tradicionalmente definida como sigue
d Q R
Q R
< 7 R < 7 R <7 R
Para ver que la funcin est bien definida tenemos
< 7 R <" 7" R < <" 7 R 7" R < <" 7
7" R
<7
<" 7" R <7 R <" 7" R .
Es inmediato ahora verificar las propiedades 3 33 333 3@ de V -mdulo.
33 Se considera ahora Q
R A la familia de V -mdulos cocientes. Se toma
Q
Q
ahora # Q
R 0 A
R 0 R .
A
Se considera
Q
R
0 # Q
R 0 ! SPUNFI
(aqu SPUNFI significa

salvo para un nmero finito de ndices ) es un
V-mdulo con las operaciones
0 1 0 1 <0 < 0
<V
Q
333 Sea : Q
el homomorfismo cannico
R
7 7 R
7 8 7
8 R 7 R 8 R : 7 : 8
Afirmacin " : es un V -homomorfismo
En efecto; 3 : 7 8 7 8 R
7 R 8 R
Q
R es un V -mdulo
# : <7 <7 R
: 7 : 8
< 7 R < : 7
Q
R es un V -mdulo
Daro Snchez H
69
3@ : Q
QR
A
A
7 A : 7 ./0
: 7 A
Afirmacin # : est bien definida
Ya que si B A 7 A , segn la definicin de 8-upla, esto equivale a
decir que B 7 para cada A, puesto que B 7 Q y : est bien
definida, se sigue que : B : 7
a A o sea que
: B A : 7 A
de donde finalmente
: B A : 7 A
Afirmacin $ : es un V -homomorfismo de mdulos
: 7 A 8 A
: 7 8 A : 7 8 A
Q es un V -mdulo
A
: 7 : 8 A : 7
:< 7 A : <7 A : <7
<:c 7 A d.
Afirmacin % ker: R
A
: 8 A :c 7 A d :c 8
A < : 7
A < : 7 A
A d
! A Q
R
A
7 A Q : 7 A ! A Q
R
A
A
Q
7 A : 7 ! R a A e 7 A : 7 R a Af
ker: 7
e 7
Q : 7
A
R a Af R
A
Ahora como : es un V -homomorfismo, ker.: es un V -submdulo de
A 7
Q se sigue as que R es un V-submdulo de Q , del

A
A
A
teorema fundamental de isomorfismos y del hecho que : es sobreyectiva
se sigue que
Q
Q
A
A
M7: Q
R
ker:
R .
A
A
51.Sea
V un dominio principal. Sea Q un V -mdulo de torsin. Sea
representantes
de los primos de V. Para cada

Q: 7 Q el anulador de 7 es una potencia del ideal : .
" Mostrar que Q: es un V -submdulo de Q
# Mostrar que Q Q:
:
SOLUCIN: " Q: 8 Q E88 7 :> V para algn >
Q: es un subgrupo de Q .
sea
Daro Snchez H
70
Sean 7" 7# Q: esto equivale a decir que existen >" y ># tales que
E88 7" :>" V y E88 7# :># V , ahora
7" 7# :>" ># 7" :>" :># 7# :># :>" !
esto significa que existe > >" ># tal que E88 7" 7# :> V, o sea que
7" 7# Q: .
VQ:
Q:
Sea 7 Q: y < V , esto es equivalente a decir que, existe > tal que
E88 7 :> < y < V , ahora <7 :> < 7:> !, o sea que b> > tal que
E88 <7 :> V de la ltima proposicin se tiene que <7 Q: por lo tanto
VQ:
Q: y se tiene que Q: es un V -submdulo de Q
# Para probar esta parte veamos primero que
+ Q Q:
:
Afirmacin: 7 Q y E88 7 :35"" :35## :35<< (o sea que cada elemento
de Q es anulado por un producto de potencias de ideales
:34 4 " # <
diferentes
los 53 son enteros positivos ). Entonces
existen elementos B4 4 " < tales que
7 B" B# B<
con B4 Q:34
Para mostrar esta afirmacin procedemos por induccin sobre <.

Si < " entonces E 88 7 : 53"" esto significa que 7 B" donde
B" Q:3" o sea que 7 es anulado por una potencia de :3" por lo tanto basta
tomar 7 B" con B" Q:3" .
Supongamos la afirmacin verdadera para los elementos de Q cuyo
anulador es un producto de potencias, menores de < de ideales primos
distintos.
5" 5# 5<
<"
Sea 8< :3" :3# :3< :35"" :35<"

y sea ; :35<< esto implica que
; 8< 7-. ; 8< " (eso segn la construccin de ; y 8< adems los
:354 son elementos irreductibles para cada 34 ) por lo tanto existen = > tales
4
que " =; >8< as multiplicando por 7 se tiene 7 =;7 >8< 7.

Puesto que el anulador de 7=; es un subideal de 8< , entonces es un
producto de potencias de los < " ideales primos
:3" :3# :3<"
por lo tanto existen por la hiptesis de induccin
B" B# B<" Q:34
4 " < "
tales que
7=; B" B# B<"
B4 Q:34
4 " # < "
Ahora como E88 7>8< es un subideal de ; entonces es una potencia del

ideal :3< o sea conseguimos que;
7>8< B<
con B< Q:3<
As obtenemos que
7 7=; 7>8< B" B# B<" B< con B4 Q:34 4 " <
Daro Snchez H
71
, Q:4 Q:3 !
34
Supongamos que 74 Q:4 Q:3 . Entonces

34
74 B" B# B<
donde
B2 Q:32
y los 32 son ndices distintos de 4 Sea
> :35" :35## :35<< donde E88 B3 :353
"
el producto de los representantes de los anuladores de los B" B# B<

Puesto que Q es un V -mdulo y los anuladores son ideales bilteros
74 > B" B# B< > B" > B# > B< >
B" :35"" :35## :35<< :35"" B# :35## :35<< :35"" :35## :35<" B< :35<< !
<"
as, 74 > !
Puesto que el representante del anulador de 74 y el entero > son primos
relativos, se sigue que 74 !. Teniendo probado que Q Q: .
:
Definicin: Si V es un dominio de ideales principales, : un primo de V y
\ es un V -mdulo tal que cada elemento de \ es anulado por una
potencia de : entonces \ es llamado un V -mdulo :-primario.
Supongamos ahora que existe otra sucesin L: : de sub-mdulos de
Q tal que L: es un V -mdulo :-primario para cada : . Por la definicin
de Q: , L: Q: para cada : . Si B3 Q:3 B3 ! entonces existen enteros
positivos 3" 3# 3< y elementos 2" 2# 2< tales que
B3 2" 2# 2<
24 L:34 4 " # <
Por lo tanto el anulador de B3 es una potencia positiva de :3 y tambin un

producto de las potencias :3" :3# :3> :3 para algn > > " # < y
:34 " para 4 >.
Pero entonces L:3> Q:3 y B3 L:3 se sigue que L:3 Q:3 y por lo tanto
L:3 Q:3 . As la descomposicin es nica.
52.Sea
V un dominio principal. Sea Q VC un V -mdulo cclico, de
torsin. Sea M E anulador de C

Como V es principal, M - con - V.
Como Q es de torsin, M !, luego - !.
Sea - :"<" :#<# :8<8 una descomposicin de - como producto de elementos
irreductibles (eso es posible, pues siendo un dominio factorial V es
factorial).
" Sea : un elemento irreductible de V tal que existe un elemento 7 ! de
Q tal que :> 7 ! para alguna potencia > Mostrar que : :" :# :8 .
Concluir que Q Q:" Q:# Q:8 .
Daro Snchez H
72
# Mostrar que el anulador de Q:3 es :3<3

SOLUCIN: " :> 7 ! con 7 Q VC entonces 7 <C as
:> <C :> < C ! < V
entonces, :> < E88 C - , eso quiere decir que
:> < -7 :"<" :#<# :8<8 7
adems < - es decir - l < o sea que existe 3 tal que :3<3 l <. Por la unicidad
de la factorizacin se sigue que :3 divide a :> o sea :> :3 7 entonces
:> :3 el cual es un ideal primo, as : :3 de donde tenemos la
siguiente implicacin : :3 8 : :3 , de donde se tiene
: :3 : :" :# :8
Ahora
para
cada
3 " # 8
sea
;3 :"<" :#<# :3<3 :8<8
como
7-. ;" ;# ;8 " existen -" -# -8 V tales que 7 Q entonces
-" ;" -# ;# -8 ;8 ", de donde 7 -" ;" 7 -# ;# 7 -8 ;8 7
Para cada 3 " 8 tenemos :38 -3 ;3 7 -3 -7 !; concluimos que
-3 ;3 7 Q:3 y por lo tanto tenemos que Q Q:" Q:# Q:8 .
Resta mostrar que la suma es directa.
Sea 7 Q3 Q" Q3 Q8 . Podemos escribir

7 7" 73" 73" 78 con 74 Q:4 .
=
Sea =3 ! tal que :3=3 7 ! y para cada 4 3, sea =4 ! tal que :4 4 7 !. Si
=3" =3"
; :"=" :3"
:3" :8=8
entonces ;7 !. Como
7-. :3=3 ; " existen
-,. V tales que -:3=3 .; " entonces 7 -:3=3 7 .;7 !
# Sea 7" 7# 7> un conjunto de generadores de Q:3 . Para cada
<
4 " # > sea <4 ! tal que :3 4 74 !. Tomemos <3 max<" <> . Es
claro que :3<3 es el representante de :3<3 que anula a los elementos de
Q:3 (ya que cada elemento de Q:3 puede ser obtenido como una
<3
combinacin de los generadores) por lo tanto
E88 Q:3
:3 . Por otro
lado (para cada 4 " # >)
<3 < <
:3<3 74 :3 4 :3 4 74 !
se sigue que (para cada 7 Q:3
:3<3 74 !
y por lo tanto :3<3 E88 Q:3 o sea :3<3
E88 Q:3 esto completa la
demostracin.
53.Enunciar el teorema de Galois para extensiones finitas.
SOLUCIN: Sea PO una extensin finita, normal, separable, entonces
" Existe una correspondencia biunvoca uno a uno y sobre entre los
cuerpos intermediarios entre P y O y los subgrupos de E?> PO .
#
Si Q O O Q P
es una extensin normal entonces
E?> PQ
E?> PO y se tiene que
Daro Snchez H
E?> Q O
73
E?> PO
E?> PQ
$ lE?> PQ l P Q
54.Responder solamente si o no a las siguientes preguntas
" Sea O un cuerpo primo; sea 0 B OB y P el cuerpo de factorizacin
de 0 B sobre O
Entonces + P es una extensin separable sobre O ?
, P tiene un elemento primitivo? (es decir, P es una extensin
simple de O ?)
# Sea PO una extensin finita. Entonces existe solamente un nmero
finito de cuerpos intermediarios?
$ Sea O un cuerpo finito, K un grupo abeliano finito. Entonces existe una
extensin P tal que E?> PO K?
% Sea O un cuerpo finito, P una extensin finita. Entonces PO es una
extensin normal, separable y finita?
& Sea el cuerpo de los nmeros complejos, ! 7
+ contiene un subgrupo de orden 7?
, contiene un subgrupo cclico de orden 7?
- En nmero de subgrupos de orden 7 es igual a # mdulo 7?
, Si
SOLUCIN: " + Si
# No
$ No
% Si
& + Si
, Si
- No.
Un buen ejercicio es justificar las afirmaciones anteriores.
55. Sea O un cuerpo de caracterstica ! tal que + O no admite extensin

de grado & , a0 B OB cuyo grado no es un mltiplo de &, es
reducible o de grado uno .
Mostrar que O no admite extensin algebraica propia (es decir; O es
algebraicamente cerrado).
SOLUCIN: Si O no admite extensin finita propia entonces O no admite
extensiones propias, en efecto; 3 si H es una extensin algebraica propia
de O , entonces existe
H O tal que
O es una extensin
algebraica finita propia de O .
33 Sea PO una extensin finita propia tal que P O 8 y 8 no es
mltiplo de &.
Ahora G+<+-> O ! O es un cuerpo perfecto, por lo tanto PO es
separable. Se tiene que P O y PO separable entonces existe
Daro Snchez H
74
P tal que P O . Sea TlO B 0 B OB, entonces 0 B es un

polinomio irreductible y su grado no es mltiplo de 5, lo cual es
contradictorio po .
Se concluye que O no admite extensin finita propia cuyo grado no es
mltiplo de &.
333 Resta probar que O no admite extensiones finitas propias cuyo grado
sea un mltiplo de &. Supongamos que PO es una extensin finita propia
tal que P O &= 7 & 7 ". Podemos suponer que PO es normal,
pues si no tomamos P" P tal que P" O sea normal, adems
P O mltiplo de 5. Entonces P" O mltiplo de 5, en esta forma
PO es finita, normal y separable por el teorema de Galois
|E?> PO l &= 8. Por los teoremas de Sylow, existe K
E?> PO tal
=
que lKl & .
Ahora
Sea Q el cuerpo fijo de K; entonces

E?> PQ K lE?> PQ l &= P Q
P O P Q Q O Q O 7
7 no es mltiplo de 5, entonces por 33 tenemos Q O 7 "
Entonces lE?> PQ l P O &=
Se sigue que E?> PO tiene un subgrupo L orden &=" . Sea R el

cuerpo fijo de L es decir, E?> PO L . Ahora
&= P O P R R O &=" R O
entonces R O & lo cual es contradictorio po , pues por hiptesis +
O no admite extensiones de grado &
56.Sea O un cuerpo, P una extensin de O

# Defina lo que es PO extensin finita.
" Defina grado P O
$ Definicin de PO es finitamente generada.
% Cal es la relacin entre los dos ltimos conceptos?

SOLUCIN: " Considerando P como espacio vectorial sobre O entonces
P O es la dimensin de este O -espacio vectorial.
# Si la dimensin del espacio vectorial P sobre O es finita, entonces se
dice que PO es una extensin finita.
Daro Snchez H
$ PO W
O Q
75
OQ y O Q O es una extensin finita, siendo
Q
W0 383>9
Q
R O
% PO es una extensin finita entonces PO se puede considerar como

una extensin finitamente generada.
57.Sea
el cuerpo de los nmeros racionales. Cuando cada una de las
siguientes extensiones exista, dar un ejemplo.

" Una extensin algebraica P/
# Una extensin algebraica P que sea finita, pero no finitamente
generada.
$ Una extensin algebraica P que sea finitamente generada , pero no
finita.
% Una extensin algebraica P que no sea finita ni finitamente generada.
& Una extensin algebraica P que sea finita y finitamente generada.
' Una extensin P que sea finita pero no sea algebraica.
SOLUCIN: " Sea E de los nmeros lgebraicos entonces E es una
extensin algebraica.
# No existe
$ Puesto que O y tiene caracterstica !, se sigue inmediatamente
que PO es separable. Veamos que PO es infinita. Sea 8 un nmero
8
entero arbitrario, ahora
# P E d puesto que 0 B B8 # B y
8
se tiene que 0
# !, adems 0 B B8 # es un polinomio irreductible,
8
esto segn el criterio de Eisenstein, entonces T
8
#l B B # Ahora
8
8
# T
8
#l 8, adems # P entonces
8
P
# 8
es decir que a8 , b P E d tal que

P P 8
o sea que la extensin PO es infinita.
% P E entonces P no es finita ni finitamente generada.
& P # es finita y finitamente generada.
' No existe.
58. +
Sea una raz cualquiera del polinomio B% # entonces hallar

.
, Sea " una raz cualquiera del polinomio B% %; entonces deteminar
" .
Daro Snchez H
76
SOLUCIN: + Tl B T
%
%
# B T3
# B %
, " T"l B T# B T3# B #
59.Dar la definicin de
" O es un cuerpo algebraicamente cerrado
# H es una cerradura algebraica de un cuerpo O

" Cuando O cumple una de las siguiente afirmaciones
SOLUCIN:
equivalentes:
+ O no admite extensin estrictamente mayor
, a0 B OB de grado " tiene una raz en O
- a0 B OB, polinomio irreductible tiene grado uno 0 B "
. a0 B OB, existen +" +# +8 O tales que
0 B B +" B +# B +8 .
# Si H es tal que:
+ H es algebraicamente cerrado
, HO es una extensin algebraica.
60. Cuando existan dar un ejemplo
" O un cuerpo que no es algebraicamente cerrado
# O un cuerpo que admite una cerradura algebraica.

SOLUCIN: " El cuerpo de los nmeros racionales.
# El mismo cuerpo admite al cuerpo de los nmeros algebraico E como
cerradura algebraica.
61.Sea PO una extensin algebraica. Dar dos cractersticas para que P sea
una extensin normal sobre O .
SOLUCIN: Sea H una extensin de P PO es normal si satisface una de las
afirmaciones siguientes:
+ a: M=9O P H entonces : P
P
, Si todo polinomio 0 B OB es irreductible y tiene una raz en P,
entonces las tiene todas en P.
62.Dar un ejemplo de: + Una extensin P que sea normal

, Una extensin P/ que no sea normal.
SOLUCIN: + P # entonces P es normal ya que P #
,
%
P
#entonces
no
es
normal
B # T
%
#l B no tiene todas sus races en P.
%
ya
que
el
polinomio
Daro Snchez H
77
63.Sea PO una extensin finita; H una cerradura algebraica de P.

+ Defina P O=/: ( o sea grado de separablidad).
, Defina P O38= ( o sea grado de inseparablidad).
- Es siempre verdad que P O=/: lM=9O P H l ? En caso de ser falso dar
una condicin necesaria y suficiente sobre P

. Es siempre verdadero que P O=/: lE?> PO l? En caso de ser falso
dar una condicin necesaria y suficiente sobre P
/ Es siempre verdadero que P O lE?> PO l? En caso de ser falso dar
una condicin necesaria y suficiente sobre P
SOLUCIN: + Sea O=/: P es separable sobre O entonces
P O=/: O=/: O.
, P O38=/: P O=/: :/
- Falso. Una condicin necesaria y suficiente para tener la igualdad es
que PO sea una extensin normal.
. Falso. Pero una condicin necesaria y suficiente para tener la igualdad
es que PO sea una extensin normal.
/ Falso. Necesaria y suficiente para tener la iguadad es que PO sea una
extensin normal y separable.
64.Sea PO una extensin + si PO es algebraica no normal bR

P
tal que PO es normal?. Si es verdad, dar un ejemplo. Si es falso, por qu?
, PO es algebraica no separable bR
P tal que R O es separable?.
Si es verdad, dar un ejemplo. Si es falso, por qu?
SOLUCIN: + Es verdad. Veamos un ejemplo:
'
entonces existe
# $3 tal que
, Falso, porque
65.Sea V un dominio pricipal, y Q
un V -mdulo finitamente generado. Sea

R
Q un submdulo. Probar que R es finitamente generado.
SOLUCIN: Como Q es un V -mdulo finitamente generado entonces existe
P un V -mdulo libre de rango finito tal que
Daro Snchez H
:
P
Q
=9,</
R Q :" R
78
es un submdulo del mdulo
:" R
R :" : R
libre P de rango finito entonces :" R tiene que ser libre y de rango
finito, menor o igual que el rango de P, entonces R : :" R .
66.Sea
PO una extensin finita. Entonces existe solamente un nmero
finito de cuerpos intermediarios?

SOLUCIN:Falso. tome O un cuerpo de caracterstica : Sea P O B C
donde B C son indeterminadas, ahora sea R OB: C: entonces PR tiene
grado :# y una infinidad de cuerpos intermediarios
67.Sea
0 B B# " B# ( . + Hallar el cuerpo de factorizacin
0 B sobre . ,
P de
Hallar el grupo de Galois de 0 B . Mostrar que l es

abeliano pero no cclico. - Hallar todos los subgrupos del grupo de
Galois y los cuerpos fijos correspondientes. . Determinar adems los
cuerpos intermediarios que son normales sobre
SOLUCIN:Las races de 0 B son 3 3,( (
+ El grupo de factorizacin P de 0 B sobre es
P 3 3 ( ( 3 (
Observamos que
P ( 3 ( (
T3l( B
T(l B B# " B# ( # # %.
, El grupo de Galois de 0 B deber ser un grupo con cuatro elementos.

Sabemos que los nicos subgrupos con cuatro elementos son % % y el
grupo de Klein. Como P es una extensin normal y separable, podemos
usar el teorema de Galois. Se recibe entonces que % P lE?> P l.
Sabemos tambin que los automorfismos que dejan a fijo, deben llevar
las races en races y son
Daro Snchez H
79
( (
( (
( (
( (
33
33
3 3
3 3
5"
5#
5$
5%
(3 (3
(3 (3
(3 (3
(3 (3
los automorfismos de P que preservan a y son nicos pues
% lE?> P l, entonces E?> P 5" 5# 5$ 5% . Observemos por otro
lado que
5## ( 5# 5# ( 5# ( (
5## 3 5# 5# 3 5# 3 3
5$# ( 5$ 5$ ( 5$ ( (
5$# 3 5$ 5$ 3 5$ 3 3
Por lo tanto 5## 5"
5$# 5"
Observamos que verificando solamente para estos tres elementos de
E?> P , se concluye que E?> P % , pues en % no existen dos
elementos diferentes de la unidad que elevados al cuadrado den la unidad.
Por lo tanto, E?> P grupo de Klein. Entonces como el grupo de Klein
es abeliano todo grupo de orden 4 es abeliano concluimos que el grupo
de Galois de P es un grupo abeliano no cclico.
- Como |E?> P l %, sabemos que los nicos subgrupos de E?> P
sern aquellos que tienen orden % # " pues si L es un subgrupo de
K E?> P debemos tener que L K E?> P .
Los subgrupos de orden # son 5" 5# 5" 5$ y 5" 5% . Sabemos que los
subgrupos de orden dos son normales, por lo tanto los subgrupos
anteriores son normales. Tenemos as que los subgrupos son:
K" 5" K# 5" 5# K$ 5" 5$ K% 5" 5% y K
y son todos los subgrupos de K.
Ahora los cuerpos fijos sern
J K" P5 a5 K" P ( 3
J K# P5 a5 K# 3
J K$ P5 a5 K$ (
J K% P5 a5 K% (3
J K P5 a5 K
. Los cuerpos intermediarios entre P y
son
3 ( (3,
como estos cuerpos corresponden a los subgrupos normales de K

que son todos de orden dos , sabemos que todos ellos son normales
sobre esto segn el teorema de Galois.
Subcuerpos propios de d isomorfos a d

Los nmeros reales d , como conjunto ordenado, posee subconjuntos
propios isomorfos a d, basta recordar que los intervalos abiertos son
isomorfos a d segn el orden. Sin embargo, no existen subcuerpos propios
Daro Snchez H
80
isomorfos a d a causa de la completez. En cambio, el teorema de

isomorfismos de cuerpos real cerrados, garantiza la existencia de varios
tipos de subcuerpos propios de d isomorfos a d , enunciemos este
teorema estudiado en 1955 por Erds-Gillman.
TEOREMA: Todo cuerpo real cerrado y superdenso con cardinal es isomorfo
a d .
Estudiemos algunos de estos subcuerpos de d . Donde d es el conjunto
de los nmeros reales no estandar
68. El
cuerpo ! .
Sea ! la cerradura (o clausura) real del cuerpo ordenado de los nmeros
racionales, esto es
! B dB es algebraico sobre
! es un cuerpo Sea la cerradura algebraica de sobre , entonces
se sabe que es un conjunto numerable ver.S.Lang. pgina 173
! porque si + ! entonces + d y + es lgebraico sobre como
d , entonces + y + es algebraico sobre as + . Luego ! es
numerable, podemos escribir
U! +" +# +8 +8 d y +8 es algebraico sobre .
Sea +" ! , entonces +" es un anillo, como es un cuerpo entonces
+" es un anillo principal, factorial y euclidiano. Considrese
T" B T+" l B el polinomio irreductible de +" sobre , entonces
" T" B el ideal generado por T" B , es un ideal primo. Como +" es
un anillo factorial se sigue que " es un ideal maximal. Tomando
P" +" " , entonces P" es un cuerpo extensin de .
Sea ahora +# ! entonces P" +# es un anillo factorial como P"
entonces B P" B podemos as tomar T+# lP" B el polinomio irreductible
de +# sobre P" y considerar el ideal primo # T+# lP" B el cual resulta
maximal. Tomando P# P" +# # se obtiene que P# es un cuerpo
extensin de P" .
Procediendo en forma inductiva supongamos construida la extensin P8"
y tomemos +8 ! , se considera el anillo factorial P8" +8 y se toma el
polinomio irreductible T+8 lP8" B de +8 sobre P8" , entonces el ideal
8 T+8 lP8" B es maximal y P8 P8" +8 8 es un cuerpo extensin de
P8" , obteniendo as la siguiente torre sobre
qP" qP# qqP8 q
Resulta entonces en este caso que
P8
8!
es un cuerpo extensin de que
contiene a todos los elementos de ! y como

con esta condicin se sigue que
!
P8
8!
En esta forma ! es un cuerpo.
P!
P8
8!
es el menor cuerpo
Daro Snchez H
81
Tmese ! la extensin elemental de ! dentro de d , esto es

! <8 8 <8 ! , entonces ! es un subcuerpo real cerrado y
superdenso de d cuyo cardinal es (bajo la hiptesis del continuo)
Vemoslo:
3 ! es un subcuerpo de d
Sea " ! , esto es <8 8 " =8 8 , entonces " <8 =8 8
con <8 =8 ! para todo 8 . Se sigue que <8 =8 ! para todo 8
luego " ! .
Ahora si " ! tenemos que " " c <8 ="
8 8 d , como <8 =8 ! y =8 ! para
"
todo 8 entonces <8 =8 ! para todo 8 , por lo tanto
"
c <8 ="
! .
8 8 d="
33 ! es real cerrado.
" Como ! d y d es ordenado, entonces ! es ordenado con el orden
inducido. Sea <8 8 ! ! entonces la ecuacin B# ! tiene
solucin, basta tomar B <8 8 dado que si <8 ! y <8 ! entonces
la ecuacin B# <8 ! tiene solucin en ! dado ! es la clausura real
de . As
B# <8 8 # <8 8 !.
# Sea T B un polinomio de grado impar en ! , esto es T B 1/8 T8 B
donde T8 B es un polinomio de grado impar con coeficientes en ! . Como
! es la cerradura real de , se sigue que para cada 8 , T8 B tiene por
lo menos una raz <8 en d tal que T8 <8 ! tomando B <8 8 B ! y
T B 1/8 T8 <8 !.
333 ! es denso en d
Sean +8 " ,8 elementos de d tales que " , entonces +8 ,8

para casi todo 8 Ahora como es denso en d, entonces existe un :8
tal que +8 :8 ,8 para casi todo 8 tomando < :8 se tiene que < !
pues :8 ! dado que ! es una extensin de y se tiene que < " .
3@ ! es superdenso
En efecto, sean E
F entonces E F d , puesto
! F
! tales que E
que d es superdenso existe un # d tal que E # F ahora

considerando # F como subconjuntos de d por la misma superdensidad
de d existe un - d tal que # - F . Ahora como - # d por ser !
denso en d existe ! tal que # - por lo tanto hemos encontrado
! tal que E F de donde ! es superdenso.
@ ! tiene cardinal
Se sabe que no es nmerable y d as i9 # #d , pero se
sabe que bajo la hiptesis del continuo entre i9 y no hay cardinales luego
# Ahora entonces por lo tanto #
Daro Snchez H
82
De la misma manera ! entonces ! por lo tanto #! # .

Por el teorema de isomorfismos de cuerpos real-cerrados se sigue que !
es isomorfo a d ! d
Adems ! d ya que 1 d y 1 ! Sean E 7 ! 7 1

F 7 ! 7 1 entonces E F es una cortadura regular del cuerpo
ordenado ! adems E y F son subconjuntos superdensos. Sea 3/ !
"
con 1 /" 3/ 1 / "
para cada / entonces la hipersucesin
3/ / es creciente y es una sucesin de Cauchy que converge a 1 d
por lo tanto no converge en ! .
As se deduce que d posee un subcuerpo propio isomorfo a d y por 333
denso en d .
69.El
cuerpo de las sucesiones de d

Sea d la coleccin de todas las sucesiones de elementos de d , se
establece una relacin en d as: Sea un ultrafiltro regular sobre , y
decimos 35 5 " 5 5 si y slo si 5 35 " 5 . Se sigue
que es una relacin de equivalencia, porque
3 5 55 55 5 5 5 5 .
33
Como
5 5 " 5 5 55 " 5=5 " 5 55
y esto implica que " 5 5 5 .
333 Si 55 " 5 y " 5 # 5 entonces tenemos que
5 55 " 5 5 " 5 # 5
de las propiedades de ultrafiltro se sigue que
5 55 " 5 " 5 # 5 5 55 #5
por lo tanto 55 # 5 .
Se denotar 5 5 a la clase de equivalencia de la sucesin 5 5 y
denotaremos con d al conjunto cociente.
es un cuerpo: Para definir las operaciones en veamos la siguiente

propiedad, sea 5 " 5 y # 5 d entonces
5 5 " 5 y 5 # 5 # 5
as 5 5 " 5 y # 5 # 5 entonces se tiene
3 5 5 # 5 " 5 # 5 5 # 5 " 5 #5
33 5 5# 5 " 5# 5 5# 5 " 5#5
Por lo tanto podemos definir la adicin y el producto en as: Sean
5 " 5 entonces
5 " 5 5 " 5
5 " 5 5 " 5
Las unidades estan dadas por
! ! 5 " " 5
Daro Snchez H
83
Los inversos de 5 son - 5 5 y si 5 ! entonces

5 " c " 5 d
es ordenado : Sean 5 " 5 entonces 5 " 5 si y
slo si 5 5 " 5
OK" 5 5 5 5 5
OK# 5 " 5 y " 5 5 esto equivale a
5 5 " 5 y 5 " 5 5 ,
como es un ultrafiltro
5 5 " 5 y " 5 5 o sea
5 5 " 5 5 " 5
o se sigue que 5 " 5 .
OK$ Supngase que 5 " 5 y " 5 #5 esto equivale a
que
5 5 " 5 y 5 " 5 # 5
por lo tanto
5 5 " 5 y " 5 # 5
esto equivale a que
5 5 # 5 5 # 5
es real cerrado: VG" Sea B# ! donde 5 ! tomando
B B 5 tenemos c B# 5 d 5 ! o sea c B# 5 5 d !
por
lo
tanto
deducimos
que
B# 5 5 !
de
donde
#
5 B 5 5 ! y como ! entonces 5 ! as
5 B# B B ! y 5 ! , como B# 5 5 ! es una
ecuacin en d se sigue que
5 B5 5
por lo tanto B 5 y B 5 .
VG# Sea T B un polinomio de grado impar en esto es T B T B 5
donde T B 5 es un polinomio de grado impar en d para casi todo 5
como d es real cerrado, se sigue que T B 5 tiene por lo menos una
raz, en trminos del ultrafiltro sera as:
5 T B 5 es un polinomio de grado impar en d
por ser d real cerrado tenemos
5 T B 5 tiene por lo menos una raz # d
5 T # 5 ! para algn # 5 d
por lo tanto # 5 y T # 5 !.
es superdenso: Sean E F
suponer que
4 tales que E F , podemos
3
3
E + 3 " # , F , 4 " # entonces + , 4 para todo
3 4 . Podemos suponer que los + 3 son crecientes y los , 4 son
decrecientes, notacionalmente tenemos
+ 3 3 5 y , 4 " 4 5
donde
" 5 # 5 3 5 y
" " 5 " # 5 " 4 5
Daro Snchez H
84
Se puede entonces escoger representantes adecuados que los notaremos

con las mismas letras, de manera que se tenga
" 5 # $ 5
para todo 5
"
#
$
" 5 " 5 " 5 para todo 5
Tomando ahora la sucesin diagonal se sigue que
3 5 5 5 "5 5 "4 5
para todo 3 4 5
5
En estas condiciones existe - 5 tal que
3 5 5 5 -5 5 "5 5 "4 5
para todo 3 4 5
5
tomando - - 5 5 , se tiene E - F .
tiene cardinalidad : Primero notemos que d basta identificar

5 d con la clase de la sucesin constante 5 5 5
o sea
5=: 5 5 5 . Por lo tanto
#d # # d ## ##
entonces # .
Se sigue por el teorema de isomorfismos de cuerpos real cerrados que
d
existe un isomorfismo entre y d
d no es acotado en En efecto, sea 5 , por la

superdensidad de d existe " d tal que 5 " para todo 5 , luego
5 " " "
"
d no es denso en : Sean "# "$ 8"
" " #" $" 8"
"
elementos de , entonces " , ya que 8"
8" para todo 8 si
existiera un 5=: 5 5 5 d tal que 5 " entonces se tiene
"
"
8" 5 8 , para casi todo 5 , esto es imposible ya que los intervalos no
"
estndar 8"
8" 8 " # son disyuntos dos a dos.
De esto se desprende inmediatamente que d es un subcuerpo ordenado
propio del cuerpo . Como es isomorfo a d , podemos decir que d
posee un subcuerpo no acotado y no denso en d pero isomorfo a d .
0
d
"
d
0 d
Como 0 es un isomorfismo entonces 0 " d es un subcuerpo de d , en
efecto; 3 0 " d d , porque d , entonces 0 " d 0 " como 0
"
es un isomorfismo entre d y entonces 0 "

d luego 0 d d
"
33 Sea 5 7 0 d as 0 5 0 7 d y 0 5 7 0 5 0 7 de donde
5 7 0 " d .
Ahora 5,7 0 " d y 7 ! si y slo si 0 5 0 7 d y 0 7 !
as 0 5 0 7 " d pero 0 7 " 0 7 "
Daro Snchez H
85
0 5 0 7 " 0 57 " d si y slo si 57 " 0 " d . As 0 " d es un

subcuerpo de d todas las otras propiedades de son deducidas para
0 " d mediante el isomorfismo 0 .
70. El
cuerpo de las hipersucesiones

Una hipersucesin es una funcin 5 d ( la denotaremos 5 @ @ )
5@ @ es generada si existe una doble sucesin de elementos reales
=8 5 85 tal que 5@ =8 5 8 d para todo @ 5 .
=8 5 8 5 es una generadora de la hipersucesin y se denota

5@ 1/8 =8 5 .
Sea un ultrafiltro regular en , consideremos la extensin elemental de
, esto es eW 1/8 =8 =8 f para casi todo 8.
es una coleccin de subconjuntos de , pero esto no es un ultrafiltro de
.
Por ejemplo EA @ @ A pertenece a para cada A , pero el
conjunto por ser un subconjunto no generado de , a pesar
de que EA cuando A es un hipernatural infinito . satisface las
siguientes propiedades:
3 , porque si se tendra que 1/8 =8 donde =8 as ,
lo cual es imposible por que es un ultrafiltro
33 Si E F entonces E F . En efecto, E 1/8 =8 F 1/8 >8
donde =8 y >8 entonces E F 1/8 =8 >8 , como =8 >8 se
sigue que E F
333 Si E y F es un subconjunto generado de con F
E entonces
F . En efecto, E 1/8 =8 =8 y F 58 , entonces tenemos
que 58
casi todo 8, de donde F 58 y 58
1/8 =8 as 58
=8 para
esto es equivalente a que F .

3@ Si
E es un subconjunto generado de entonces E o
E- E . Para ver esto sea E 1/8 E8
con E8 sea
O8 8E8 y X8 8E8 entonces como es un ultrafiltro, se
sigue que O8 y X8 .
Consideremos ahora
E si E8
F8 8
entonces E 1/8 F8 y F8 luego E
si E8
Ahora sea
E- si E8-
F8- 8
entonces F8- y E- 1/8 F8- con F8 de donde
si E8
se obtiene que E- .
@ EA @ @ A para cualquier A
Para esto sea A entonces A 58 8 y 58 p+. Consideremos la
siguiente sucesin de conjuntos de
=" 5" 5# =# 5# 5$ =$ 5$ 5%
Daro Snchez H
86
En estas condiciones EA 1/8 =8 @ @ A donde 58 B8 para cada

8 A 58 B8 @, luego EA
Consideremos la coleccin P de todas las hipersucesiones generadas y

considrese la relacin
: como sigue:
Dadas dos hipersucesiones generadas @ @ " @ @ se dice que
@ @
: " @ @ si y slo si @ @ " @
La relacin
: es una relacin de equivalencia en E.
En efecto: 3 @ =8 58 8 1/8 =8 58 y =8 @ 58 por la
propiedad 3@ del ultrafiltro se sigue que @ @ @
entonces @ @
: @ @
33 Si @ @
: " @ @ esto equivale a que @ @ " @ pero
@ @ " @ @ " @ @, as " @ @
: @ @
333 Supongamos que @ @
: " @ @ y " @ @
: 5@ @ y esto
equivale a que @ @ " @ E y F @ " @ 5@

por la propiedad 33 de se sigue que E F pero
E F @ @ " @ @ " @ 5@
@ @ " @ " @ 5@ @ @ 5@
lo cual equivale a que @ @
: 5@ @ .
Denotemos con L E
: al conjunto cociente y definamos las dos
operaciones adicin y multiplicacin.
Primero tenemos que si @ @
: " @ @ y 5@ @ E entonces de
la definicin tenemos que @ @ " @ y 5@ @ E.
Como la relacin
: es reflexiva se tiene que
@ @ " @ y @ 5@=5@
de la propiedad 33 de se sigue que
@ @ " @ y 5@=5@
De las propiedades de la igualdad de d se sigue que
@ @ 5@ " @ 5@
y tambin
@ @5@ " @5@
Luego de la definicin de la relacin
: se sigue que
@ 5@ @
"
@
5
@
@5@ @
:
: " @5@ @
@ y
As definimos la adicin y la multiplicacin en L siguindose que si
@ L " @ L entonces
@ " @ @ " @ L
@ " @ @" @ L
L con esta adicin y multiplicacin es un cuerpo. Pues las unidades son
! y " , ahora si @ @ L entonces
@ @ @ @ L
y si @ @ ! @ @ entonces
Daro Snchez H
87
@ @ " " @ @ L
los axiomas de cuerpo se deducen fcilmente.
L es un conjunto ordenado
Sean @ " @ L entonces se define
@ " @ si y slo si @ @ " @
esta relacin es de orden, porque
3 < @ L , entonces
@ @ @ @ @
33 @ " @ y " @ @ , esto equivale a que
@ @ " @
y
@ " @ @ .
Por las propiedades de se recibe que
@ @ " @ " @ @ @ @ " @
esto es lo mismo que
@ @
: " @ @ de donde @ " @ .
333 Si @ " @ y < " @ 5@ esto equivale a
que @ @ " @ y @ " @ 5@ , por la definicin de
se sigue que
@ @ " @ " @ 5@
de donde
@ @ 5@ @ 5@ .
3@ La relacin
: es compatible con el orden, pues si @ @
: 5@ y
@ " @ esto equivale a que
@ @ 5@ y @ @ " @
por las propiedades de se sigue que
@ @ 5@ y @ " @
del orden en d se tiene entonces que
@ 5@ " @ 5@ " @ .
Dado que d un nmero no-estandar, la clase representada por la

hipersucesin constante se denota por esto es
< L .
En este sentido, L contiene a d como un subcuerpo ordenado.
Tenemos adems
=#d #L #d #d
o sea que la cardinalidad del cuerpo L es igual a .
L es superdenso
Sean +
@ , " @ L
podemos encontrar hipersucesiones generadas

@ 1/8 +8 5
" @ 1/8 ,8 5
tales que + , entonces
Daro Snchez H
tales que
88
@
: @@ " @
: " @ y +8 5 ,8 5 para todo 5
y todo 8 .
Repitiendo este proceso se concluye que: si una familia contable de
elementos de L satisfacen una relacin de orden entre ellos , entonces
podemos escoger adecuadamente los generadores de estos puntos para
que se mantenga la misma relacin de orden (para todo 5 , para todo
8 ) entre los generadores de los puntos dados (aplique la induccin
comn).
Sea, + 3 3 " # $ , 4 4 " # $ los elementos de L tales que
+ 3 , 4 para todo 3 4 . Para mayor sencillez supongamos que los + 3
son crecientes y los , 4 son decrecientes. Supongamos que
3
4
+ 3 1/8+8 5 , 4 1/8,8 3 4
de donde
"
#
+8 5 + 8
"
#
,8 5 ,8
3
+8 5
Sea
3
-8 5
5 +8 5
$
5 ,8 5
4
,8 5
"# +8 5 ,8 5
3
para todo 8 5
para todo 8 5
para todo 3 4 para todo 8 5
8 5
entonces tomando G 1/8-8 5 L y como

3
+8 5 - 8 5 ,8 5
entonces
+ 3 - , 4 , as
- L es un punto intermedio entre
3
+ 3 y los , 4 4 .
De esta forma, se demuestra que L es superdenso.
L es real cerrado
" Sea 7 # + ! donde + L y + !, entonces 7 7 @
+ 5 @ !, as, < 7 @ @ # 5 @ @ ! @ de
donde
7 # @ 5 @ @ ! y + !
por lo tanto tenemos que
7 # @ 5 @ @
: ! y 5 @ !
De donde se tiene que
@ 7 # @ 5 @ ! y @ 5B !
por la propiedad 33 de se sigue que
@ 7 # @ 5 @ ! y 5 @ !
Pero como 5 @ d y d es real cerrado, se sigue que
@ 7 @ 5 @
Esto significa que 7 @ @
: 5 @ @
Luego
7 @ @ 5@@ L
Daro Snchez H
89
7 @ @ 5@@ L
son las soluciones de la ecuacin 7 # + ! en L .
#
Sea T 7
un polinomio de grado impar en L , entonces
T 7 1/8 T8 78 5 donde T8 78 5 es un polinomio de grado impar
en d para todo 8 5 . Como d es real cerrado, entonces existe por lo
menos una raz <8 5 en d de T8 78 5
para cada 8 5 . Tomando
< 1/8 <8 5
tenemos < L y
T < 1/8 T8 <8 5 1/8 ! !
Por el teorema de isomorfismos de cuerpos real cerrados se sigue que L
es isomorfo a d . Tenemos adems L d

<
M d es acotada en L .
En efecto, como lim @ en d , entonces para cualquier d se tiene
" # @ L .
MM d no es denso en L .
Supongamos que d es denso en L entonces se tiene en particular que
para todo + L existe < d tal que + < esto significa que d no es
acotado en L lo cual es imposible como se vio en M .
De lo anterior, podemos decir que d posee un subgrupo R " d ordenado

RL
acotado en d , pero isomorfo a d no denso d
d
R " d
3. PROBLEMAS PROPUESTOS.
Invito al amable cibernauta para que trate de hacer los siguientes
problemas, los cuales le darn una pauta de como marcha su aprendizaje,
creo que aqu se hallan las tcticas que le permiten una solucin de ellos.
71.
Sea 0 B B# " B# "$ " Halle el cuerpo de factorizacin R de

0 B sobre , y determinar el grado R .
# Hallar el grupo de Galois de 0 B . Verificar que l es abeliano, pero no
cclico.
$ Hallar todos los subgrupos del grupo de Galois de 0 B y los cuerpos
fijos correspondientes.
% Determinar cuales de esos cuerpos intermediarios son normales sobre
& R es una extensin simple?. Si lo es, de un elemento primitivo
( comprubelo). Si no lo es, prubelo.
Daro Snchez H
90
72.Sea
O un cuerpo primo (es decir, O o a : ). Sea H una cerradura

algebraica.
" Mostrar que para todo P cuerpo tal que O
P
H, P es perfecto.
# Sea 8 un entero "; mostrar que existe siempre un polinomio de OB
irreductible de grado 8.
73.Sea
O un cuerpo, 0 B OB un polinomio irreductible. Sean

" # 8 las races de 0 B , y P el cuerpo de factorizacin.
" Mostrar que si E?> PO es abeliano entonces O 3 O 4 , a3 4, de
manera que P O " O # O 8 .
# Mostrar que la recproca es falsa, es decir, que es posible encontrar un
cuerpo O y un polinomio irreductible separable 0 B OB teniendo races
" # 8 tales que O 3 O 4 a3 4 con E?> PO no abeliano.
74.Sea 0
"
#
$
%
&
B B( ".
Cul es el cuerpo de factorizacin P de 0 B sobre ?
Mostrar que P es una extensin simple
Cul es el grado de la extensin P ?
Cules son los -isomorfismos de P en ?
Cules son los -automorfismos de P?
75.Sea O un cuerpo, H una cerradura algebraica de O . Sean P L cuerpos

H
tales que O
P
Q
H y adems PO es normal y Q P es normal.
Sea f M=9O Q H . Sobre f se define una relacin de

Q
equivalencia, de la siguiente manera:
| 89<7+6 :" :# f :" :# b3 E?> Q P tal que :" :# 3

P
Sea f el conjunto cociente f / .
l 89<7+6
Mostrar que existe una biyeccin entre f y E?> PO
O
76. Sea O un cuerpo,
H una cerradura algebraica de O . Sea P un cuerpo

H
tal que O
P
H y PO normal. Sea 0 B OB un polinomio
|
mnico irreductible en OB.
P
Sean 1 B 2 B PB dos factores irreductibles de 0 B en PB
l89<7+6
Mostrar que existe 5 E?> HO tal que 51B 2 B (luego
O
en particular 1 B y 2 B tienen el mismo grado).
Para eso, sea E " # < las races distintas de 1 B y sea
F "" "# "= las races distintas de 2 B .
" Mostrar que b5 E?> HO tal que 5 " ""
# Mostrar que 5 E
F. Para esto, puede suponer que PO normal
E?> HP es un subgrupo de E?> HO .
$ Mostrar que < = y 5 E F.
% Denotando con > al ndice de multiplicidad de los 3 y por ? el ndice de
multiplicidad de los "3 mostrar que > ?.
& Concluir que 5 1 B 2 B
Daro Snchez H
91
77.Sea 0
B B& %B$ # B, y sea P el cuerpo de factorizacin de 0 B

sobre . Entonces P admite elemento primitivo por que?
78.Sea
V un dominio principal. Sea Q un V-mdulo libre. Sea R un

submdulo de Q . Entonces " R es libre? # Q R es libre?
Justifique las respuestas.
79. "
H
|
P
l
O
l
:
80. "
Sea : el cuerpo con : elementos : es un nmero primo

Sea H la cerradura algebraica de : .
Sea O un cuerpo intermediario tal vez sea finito
Sea 0 B OB un polinomio irreductible de grado 8
Sea P el cuerpo de factorizacin de 0 B
Mostrar que PO es una extensin cclica de grado 8
# Mostrar que existe un cuerpo O tal que
: O H y lOl
Sea O P Q cuerpos. Mostrar que Q O es una extensin radical

si y slo si Q P y PO son extensiones radicales.
# Sea PO una extensin finita de grado de separabilidad 8 y de
inseparabilidad <. Mostrar que P puede ser generado por <+" elementos
sobre O .
81.Sea H un cuerpo algebraicamente cerrado y O H un subcuerpo tal que
H O 8. Esta es una hiptesis general.

Sea H un cuerpo algebraico de caracterstica : !. Se desea mostrar que no
puede existir un cuerpo P tal que H P :. Para este fin, suponga que P
sea un cuerpo tal que H P :, por el teorema de Galois se sabe que H/P
es una extensin cclica. Sea 5 un generador de E?> HP .
" Mostrar que existe # H tal que X <HlP # !
# Mostrar que existe " H tal que X <HlP " "
$ Mostrar que X <HlP " : " ! y que existe H tal que 5 " : "
% Mostrar que B: B no tiene raz en H, lo que espo absurdo pues H es
algebraicamente cerrado.
82. Teniendo en cuenta la hiptesis general del problema 81. Para este
problema recordemos los siguientes resultado, que el cibernauta puede
consultar previamente.
Resultado " + Sea : un primo # entonces :< es cclico para
todo < " (donde :< denota el grupo multiplicativo de los elementos
invertibles del anillo :< ).
, :< es cclico si y slo si < " o, < #.
Resultado # sea : una funcin de Euler (es decir, : 8 nmero de
enteros entre " y 8 que son relativamente primos con 8), entonces
: 8 8
.
Daro Snchez H
Sea H un cuerpo algebraicamente cerrado

Sea O un cuerpo tal que H O 8 "
Sea : la caracterstica de H ( : puede ser ! )
Sea ; un nmero primo tal que ; divide a 8
Ya se sabe que existe un cuerpo P tal que O
H, y
P
92
HP cclico de
orden ; . Por el problema 81, se tiene que : ;

" Mostrar que existe 0 H tal que H P 0 con T0lP B; + donde
+ P P; .
# Se trata de mostrar que H P ( con ( una raz primitiva ; # -sima de la
unidad. Para eso; sea @ H una raz primitiva ; # -sima de " (porqu existe
#
este tal @?); sea . H una raz del polinomio B; +. Considrese el
polinomio 1 B # B @3 . .
;#
3"
+ Mostrar que 1 B B; +
, Mostrar que @3 . P a3 " ; y concluir que todos los factores
#
irreductibles de B; + son de grado ; .
- Ver que el trmino constante de un tal factor irreductible es del tipo
(.; . Mostrar que H P( y que ( es una raz primitiva ; # -sima de "
$ Sea F! el cuerpo primo de H.
HP (
Mostrar que existe < # tal que F! ( es una raz primitiva
l
; < sima de la unidad de " , pero no contiene una raz
P
F! (
primitiva ; <" -sima de "
l
F!
Sea @<" H una raz primitiva ; <" -sima de la unidad.
Naturalmente, tenemos F! ( F! @<" y la inclusin es estricta, por la
parte $ . Tenemos la configuracin siguiente
#
El prximo objetivo es mostrar que F! @<" F! no es

una extensin cclica. Con este fin:
% Mostrar quec F! @<" > d ; . Para eso, muestre que el polinomio
T@<" lP B tiene grado ; y tiene sus coeficientes en > P F! @<"
& Mostrar que F! @<" F! ( ;
' Mostrar que > F! ( y que F! @<" F! no es cclica.
( Concluir que F! , ; # y H P 3
) Concluir que H O 3 luego que H O #.
Daro Snchez H
93
83.Sea 0
B B& # B
" Hallar las races de 0 B en .
# Hallar el cuerpo de factorizacin P de 0 B sobre .
$ Calcular el grado P
84.Sea O un cuerpo, H la cerradura algebraica de O , y H tal que

H
|
O ?
l
O
O O es un nmero impar.
" Mostrar que O ? O #
5
# Por induccin, mostrar que O ? O ?# a5
$ Aplicacin: Mostrar que a8,5 a: nmero primo, el

5
polinomio B#8" :# es irreductible.
85.Sea O un cuerpo de caracterstica :
( : puede ser cero), C un elemento

H
trascendente sobre O P O C y H la cerradura algebraica de
|
P.
Sea 7 y 0 B B7 C O C B PB.
PO C
" Mostrar que 0 B es un polinomio irreductible en PB
# Mostrar que HP es infinito.
$ Si 7 no es mltiplo de :, mostrar que las races de 0 B en H son todas
distintas.
% Mostrar que existe un nmero infinito de P-automorfismos de H.
86.Analice la verdad o falsedad de las siguientes afirmaciones
" Sean V V w dos anillos conmutativos con unidad, 0 V V w un

homomorfismo sobreyectivo, M w un ideal de V w . Entonces M w es un ideal
maximal de V w si y solamente si 0 " M w es un ideal maximal en V.
# Sea O un cuerpo. Todo ideal no nulo del anillo de polinomios OB ( en
una indeterminada B) es maximal.
$ Sea O un cuerpo de caracterstica : y B un elemento del grupo
multiplicativo O de O . Entonces : no divide al orden de B.
% Sea PO una extensin de cuerpos finitos. Existe una extensin finita
normal R O tal que P
R.
& Sea R O una extensin galoisiana de grado :7 ; donde ; es un nmero
primo. Existe un cuerpo P entre O y R tal que P O ; .
87.Sea
OB" B# B8 el anillo de los polinomios en 8 indeterminadas

B" B# B8 sobre un cuerpo infinito O . Probar que, para cualquier
polinomio J OB" B# B8 no nulo, existen +" +# +8 O tales que
J +" + # + 8 ! .
88.Sean
O y P extensiones finitas de contenidas en tales que

O P . Probar que siempre O P O P o proponga un
contra-ejemplo.
89.Analice la verdad o falsedad de cada una de las siguientes afirmaciones
" Sea OB un anillo de polinomios sobre un cuerpo O y un ideal no nulo

de OB. El anillo cociente OB ser un cuerpo si y slo si es un dominio.
Daro Snchez H
94
# Sea E un anillo conmutativo. Si E tuviera un divisor de cero D !

entonces E tendr caraterstica !.
$ Sea O un cuerpo primo. Para todo nmero entero 8 " existe un
polinomio irreductible T8 OB de grado 8.
% Sea PO una extensin de cuerpos de grado finito. El conjunto de los
cuerpos entre O y P es finito.
& Sea OB un anillo de polinomios sobre un cuerpo O , y sea J OB
irreductible y separable. Sean B" B# B8 las races de J en un cuerpo P
de races de J sobre O Toda permutacin de B" B# B8 se extiende a
un O -automorfismo de P.
90.Sea
OB un anillo de polinomios sobre un cuerpo O , J OB un

polinomio no constante, y E el anillo cociente OBJ OB.
+ Cules elementos de E son divisores de cero?
, Cules elementos de E son invertibles?
- Cul es la relacin entre la caracterstica de O y la de E?
91.Sea R 3 # (donde 3# ")
+ Probar que R es galoisiano sobre

, Determinar el grupo de Galois E?> R O
- Determinar la correspondencia de Galois entre el conjunto de los
subcuerpos de R y el conjunto de los subgrupos de E?> R
. Indique un elemento primitivo de la extencin R .
" Sea 0 B B( %B& "#B% #B# # entonces 0 B es reducible sobre el

cuerpo de los nmeros racionales.
# El anillo #! tiene solamente un ideal maximal.
$ Cualquiera que sea el entero 8 ! existe una extensin P de tal que
P 8
% Sea O una extensin de R de grado &. Entonces existe un cuerpo P tal
que R
P
O.
" Sean : un nmero primo y : el cuerpo con : elementos. Existe un

entero 8 " tal que ningn polinomio de grado > 8 de : B es irreductible
sobre : .
# Existen cuerpos con 15 elementos.
$ Sea O un cuerpo de caracterstica : ! Sea OB en cuerpo de
fracciones de OB. Entonces OB es un cuerpo perfecto.
% Sea O un cuerpo finito. Entonces el grupo multiplicativo O de O es
cclico.
94.Sea 0
B B# " B# (
" Hallar el cuerpo de fracciones R de 0 B sobre . Calcular R U.
Daro Snchez H
95
# Hallar el grupo K de Galois de 0 B . Verificar que este grupo K es

abeliano, no cclico.
$ Hallar todos los subgrupos de K. Hallar todos los cuerpos entre y R
% Cuales de esos cuerpos de $ intermediarios son normales sobre .
& R es una extensin simple de ?. Si su respuesta es s, d un elemento
primitivo con su prueba . Si fuera no, d una prueba.
95. " Sea H un dominio, y O un cuerpo contenido en H tal que la identidad

de H coincida con la de O .
+ Mostrar que H tiene una estructura de espacio vectorial sobre O .
, Si la dimensin de H como O -espacio vectorial es finita, entonces
mostrar que H debe ser un cuerpo.
# Sea O un cuerpo finito y H la cerradura algebraica de O . Mostrar que la
dimensin de H como O -espacio vectorial es infinita.
96. "
Dar un ejemplo de un anillo conmutativo V y un ideal primo T

diferente de ! que no sea ideal maximal de V.
# Sea d el espacio de los nmeros reales; sea W el anillo d B$ " B# " .
Hallar todos los ideales primos de W .
97.Sea O
un cuerpo de caracterstica !; sea H una cerradura algebraica de

O . Sean P y Q dos cuerpos intermediarios tales que P O "$ y
Q O "(. Sea PQ el menor subcuerpo de H que contiene a P y Q
" Mostrar que PQ O "$ "(
# Mostrar que PQ O es normal si y solamente si PO y Q O son
normales.
$ En el caso de que PQ O sea normal, mostrar que P y Q son los nicos
cuerpos intermediarios.
" Sea V un anillo y T" T# dos ideales primos de V ; entonces T" T# es un

ideal primo
# Sea J B B y P el cuerpo de factorizacin de 0 B sobre . Entonces
P es una extensin simple de .
$ Sea PO una extensin finita normal,lE?> PO l P O
% Sea O un cuerpo finito. Para cualquier grupo abeliano finito K existe una
extensin galoisiana de O con grupo de Galois isomorfo a K
& Sea R O una extensin galoisiana de cuerpos y sea C R . Todo
O -automorfismo de R induce una permutacin de las races del polinomio
minimal de C sobre O .
99.Sea
R O una extensin de cuerpos galoisiana de grado "&. Determine

todos los cuerpos entre O y R .
100.Sea
V un anillo con unidad, P un V -mdulo libre y 0 un

homomorfismo de un V-mdulo I" sobre un V-mdulo I# . Sea L97 P I3
el grupo aditivo de los homomorfismos de P en I3 3 " # . Pruebe que la
Daro Snchez H
96
aplicacin ? 0 ? ? L97 P I" es un homomorfismo de L97 P I"

sobre L97 P I# .
101.Sea P $ # + Mostrar que P no es normal.
, Cules son los isomorfismos de P en ?

- Cules son los automorfismos de P?
. Cules es el cuerpo de factorizacin de B$ # sobre y cul es su
grado sobre ?
102.Sea
E un anillo conmutativo con unidad y sea EB el anillo de los

polinomios a una indeterminada. Sea + E y Q 0 EB0 + !.
Mostrar que + Q es un ideal de EB
, Q es primo E es un dominio
- Q es maximal E es un cuerpo.
Apndice
TEOREMA DE GALOIS
Presentamos el enunciado y apartes de la demostracin del teorema
fundamental de la teora de cuerpos, y que establece un mtodo mediante
el cual los cuerpos intermediarios de una extensin normal finita
separable, pueden caracterizarse mediante la teora de grupos. Las
extensiones con tal propiedad son frecuentemente llamadas extensiones
galoisianas.
Definicin: Sea O un cuerpo, P una extensin de O tal que PO es finita
y normal, entonces el conjunto de los automorfismos E?> PO es un
grupo, con la operacin composicin de funciones, llamado grupo de
Galois.
Tomemos la extensin PO normal finita y denotemos con

Q O
Q
P Q cuerpo al conjunto de los cuerpos intermediarios
entre O y P Por otro lado denotemos con
KK subgrupo de E?> PO
al conjunto de todos los subgrupos de E?> PO . Galois estableci una
correspondencia biunvoca entre y , planteando las siguientes
funciones:
K
Q 5 E?> PO 5 7 7 a7 Q
QK
K Q es frecuentemente llamado el grupo fijo de Q .
Recprocamente,
J
K
J K P5 a5 K
Daro Snchez H
97
por analoga J K es llamado el cuerpo fijo de K.

Teorema Galois :
Sea
P O una
extensin
finita
normal
separable.
Entonces
" J K M. y , K J M. entonces K es una biyeccin, adems K es un
auto-isomorfismo de retculo, esto quiere decir que
K Q" Q# KQ" K Q# K Q" Q# K Q" K Q#
# Sea Q un cuerpo intermediario de , Q O es normal si y solamente si
E?> Q O
E?> PO E?> PQ .
$ Denotemos con K Q al orden K Q entonces
K Q lE?> PQ l P Q
tenindose adems las siguientes torres
Demostracion: " Sea Q un cuerpo intermediario entre P y O , tmese

K Q E?> PQ el grupo fijo de Q , aplicando ahora J tenemos
J K Q J E?> PQ B Ppara todo 5 E?> PQ , 5 B B
B PB es puramente inseparable sobre Q Q
pues PQ es separable.
Para la recproca sea L un subgrupo de E?> PO , sea 8 lLl. Veamos que
K J L L . Es claro que K J L
L ya que si 5 L entonces
5 K J E?> PJ L pues L
E?> PJ L esto equivale a decir que
5 " " para todo " J L . As tenemos
|E?> PJ L l P J L l K J L l lLl 8
Para ver que K J L
L , basta mostrar que P J L 8.
Sean B" B# B8" , 8 " elementos de P vamos a mostrar que ellos son
linealmente dependientes sobre J L .
Si uno de ellos es cero, entonces se tiene lo deseado, luego, supongamos
que todos son diferentes de cero.
Tmese 7" 3. 7# 7$ 78 automorfismos de P sobre J L y apliqumoslo
sucesivamente sobre los 8 " elementos, obteniendo
B"
B#
B$
B8"
7# B"
7# B#
7# B$ 7# B8"
7$ B"
7$ B#
7$ B$ 7$ B8"
Daro Snchez H
98
78 B"
78 B#
78 B$ 78 B8"
Las columnas son elementos de P8 espacio vectorial sobre P tenemos as
8 " de ellos. Entonces existen -" -# -8" P no todos cero, tales que
B"
B#
B8"
7 B
7 B
7 B
-" # " -# # # -8" # 8" !

"
78 B"
78 B#
78 B8"
Escogemos un sistema -" -# -$ -8" que tenga un nmero mnimo de
elementos distintos de cero, esto es, sea
-" -# -$ -8" no todos los -3 son cero y los -3 cumplen "
Digamos que -" ! -# ! -< ! -<" ! -8" !. Demostremos que
el nmero de -3 ! es < #.
Considerando la primera fila de " -" B" -# B# -< B< !. Si suponemos
que < " como B" ! y -" B" ! entonces -" ! con lo cual 8 " elementos
de P8 seran linealmente independientes, lo cual es contradictoriopo.
Como consecuencia -" ! y se puede suponer sin perder generalidad que
-" " as
B"
B#
B<
7 B
7 B
7 B
" # " -# # # -< # < !
#
78 B"
78 B#
78 B<
Vamos a mostrar que " -2 -< J L .
Si eso es mostrado entonces la primera linea de # nos da una relacin de
dependencia entre los B3 con coeficientes en J L no todos nulos.
Para mostrar que -3 J L es equivalente a mostrar que 7 -3 -3 para
todo 7 L . Sea 7 L entonces 7 L L o sea que para todo 73 , existe un
nico 74 tal que 73 7 74 , # se escribe ahora as
"B" -# B# -< B< !
"7# B" -# 7# B# -< 7# B< !
"78 B" -# 78 B# -< 78 B< !

Aplicando ahora 7 nos queda
" 7 B" 7 -# 7 B# 7 -< 7 B< !
" 7 7# B" 7 -# 7 7# B# 7 -< 7 7# B< !
" 7 7$ B" 7 -# 7 7$ B# 7 -< 7 7$ B< !
7 #
" 7 78 B" 7 -# 7 78 B# 7 -< 7 78 B< !

Reescribiendo este sistema 7 # usando el hecho de que 7 L L tenemos
B" 7 -# B# 7 -< B< !
7# B" 7 -# 7# B# 7 -< 7# B< !
$
78 B" 7 -# 78 B# 7 -< 78 B< !
Daro Snchez H
o mejor
B"
B#
B<
7 B
7 B
7 B
" # " 7 -# # # 7 -< # <
78 B"
78 B#
78 B<
Ahora restando # de $ obtenemos
B"
B#
7# B"
7 B
!
7 -# - # # # 7 - <
78 B"
78 B#
99
B<
7 B
-< # <
78 B<
Hemos as obtenido un conjunto.

! 7 -# -# 7 -$ -$ 7 -< -< ! ! B3
7 B
dando una combinacin lineal de las columnas # 3 igual a cero, este
78 B3
sistema tiene un cero ms que el sistema " -# -< ! ! que fue
escogido con el nmero minimal de elementos distintos de cero. Esto
implica que todos los elementos del conjunto G son iguales a cero, por lo
tanto tenemos
7 -# - # 7 - $ - $ 7 - < - <
esto por consiguiente es vlido para todo 7 L .
Ntese que aqu L debe ser finito, en general para L infinito es falso.
Entonces en particular K es una biyeccin.
# Se trata de mostrar que Q O es una extensin normal esto equivale a
decir que E?> PQ K Q
E?> PO
subgrupo distinguido o normal)
y en ese caso
E?> Q O
E?> PO E?> PQ
+ Para mostrar la condicin suficiente, recordemos el siguiente resultado
de la teora de grupos: El ncleo R de un homomorfismo 2 que aplica un
grupo K sobre un grupo K 2 K es un subgrupo distinguido. As basta
construir un homomorfismo sobreyectivo de grupos para el cual E?> PQ
sea el ncleo. Se considera entonces
<
E?> PO
E?> Q O
:
: lQ
Claramente < esta bien definida puesto que Q O es una extensin normal
y por lo tanto :|Q E?>Q O.
< es sobre; por que dado un automorfismo de Q sobre O , por un
resultado bsico (cul? siempre existe una extensin a un automorfismo
de P sobre O Finalmente
ker< : E?> PO :lQ M. E?> PQ
Aplicando el teorema de homomorfismos de grupos se tiene
E?> Q O
E?> PO E?> PQ
Daro Snchez H
100
, Veamos ahora la condicin necesaria. Sea L un subgrupo distinguido de

E?> PO y 5 E?>PO se considera
J 5 L 5" P5 3 5" para todo 3 L
P3 5" 5" para todo 3 L
P5" J L
Demostremos que J 5 L 5" 5J L.
Como 5" J L entonces 5J L por lo tanto
J 5 L 5"
5J L
Ahora sea " 5<, con < J L calculando 5" tenemos
5" " 5" 5< < entonces " " P5" " < J L.
Ahora L
E?> PO esto es equivalente a 5L 5" L para todo
5 E?> PO como J es uno a uno se sigue por equivalencia que
J 5L 5" 5 J L J L para todo 5 E?>PO. De la definicin de
normalidad todo lo anterior nos lleva a concluir que J L O es una
extensin normal.
$ Veamos en primer lugar la siguiente afirmacin: Si P O es una
extensin finita, entonces P O es normal si y slo si lE?>l P O.
En efecto, veamos la condicin suficiente: Sea
7 lE?> PO l lM=9O P O l entonces para todo 5 E?>PO se tiene
5P P, esto significa que PO es normal.
Recprocamente veamos la condicin necesaria, si PO es normal se sigue
de la definicin que para todo 5 E?> R P se tiene 5 P
P, esto
equivale a decir que para todo 7 M=9O R P 7 P
P y en particular se
sigue que
lE?> PO l lM=9O P R l P O=/: 7
Aqu R es una cerradura algebraica de P y 7 P O. Coloqumonos
entonces en las hiptesis de este resultado P Q es normal y finita,
entonces lE?> PR l P Q por otra parte
K Q 5 E?> PO 5 7 7 a7 Q 5 E?>PO5lQ 3. E?
> PQ as K Q lE?> PQ l P Q .
Corolario.Sea P O una extensin finita, separable , entonces existe

slamente un nmero finito de cuerpos intermediarios entre O y P.
Demostracin: Como P O es una extensin finita existen " # 8
tales que
P O " # 8 .
Consideremos la siguiente torre de extensiones
Daro Snchez H
101
El conjunto " # 8 y todos los conjuntos conjugados de los 3 esta

constitudo por
elementos todos separables. Por lo tanto
|E?> Q O l R O que es finita.
Se sigue que E?> R O tiene slo un nmero finito de subgrupos y por el
teorema de Galois existen solamente un nmero finito de cuerpos
intermediarios entre O y R , se sigue que tambin el nmero de cuerpos
intermediarios entre O y P es finito.
Finalizamos enunciando dos teoremas que son equivalentes al teorema de

Galois y cuya verificacin corre por cuenta del lector, constituyndose en
tema para una monografa.
Teorema. ": Sean PO una extensin finita, normal, separable y R una
extensin cualquiera de O entonces
" R P R es normal, finita, separable
# E?> R PR
E?> PR P
$ E?> R P R P
E?> R PP E?> R PR
Teorema. # : Sea PO una extensin finita, normal

extensin cualquiera de O entonces
" R P R es normal separable
# E?> R PQ P
E?> R R P E?> PR P
: : lR : l P
es una biyeccin.
$ E?> R PR P E?> R PR E?> R PP
separable y R una
Definicin: Si PO es una extensin finita, normal y separable entonces PO

es llamada una extensin galoisiana.
Aplicaciones del teorema de Galois
Grupo de Galois de un polinomio
Sea O un cuerpo y 0 B OB, denotemos con P el cuerpo de factorizacin

de 0 B .
Daro Snchez H
102
Definicin: El grupo de Galois de 0 B es E?> PO

H
Sea " # 8 el conjunto de las races distintas de 0 B , as
l
P O " # 8 , con el objeto de estudiar E?> PO podemos
P
considerar:
<
|
E?> PO
Grupo de permutaciones de " # 8 W8
O
5 5l" # 8
Sobre la funcin < tenemos las siguientes afirmaciones:
" < es claramente un homomorfismo, pues
5# 5" 5# 5" l" # 8 5l" # 8 5" l" #8
# < es inyectiva, puesto que su ncleo es M.P .
$ < en general no es sobreyectiva.
Ejemplo ". Hallemos el grupo de Galois de 0 B B% # B

0 B B% # es irreductible por el criterio de Eisenstein, las races de 0 B
%
%
%
%
son:
#
# 3
# 3
#
%
%
%
%
%
P #
# 3
# 3
#
# 3
%
%
%
%
%
siendo P
# 3 un cuerpo y
#
# 3entonces
#
# 3
%
%
%
%
3
#
# 3 entonces 3
#
# 3
+ P es galoisiana pues P es normal (P es el cuerpo de las races de

B% # B y separable todas las races de B% # son simplesentonces
P E?> P .
%
%
%
P
# 3
#
# ) E?> P
Para determinar el grupo de Galois E?> P
%
automorfismos de P sobre
# e 3, as:
" 5P P
33
%
%
%
%
%
# 3
#
# 3
#
#
# 5# P P
33
%
%
%
#
#
#
basta
definir
los
Daro Snchez H
103
%
%
%
3
# 3
# 3
#
$ 5$ P P
33
%
%
%
%
%
# 3
#
# 3
#
#
#
$
Entonces 3. 5 5 5 es un grupo cclico.
%
% 3 P P que deja a
# fijo y 3 3 3.
Entonces E?> P 3. 5 5# 5$ 3 53 5 # 3 5 $ 3, caracterizado por el cuadro
de accin que sigue:
3.
5
5#
5$
3
53
5# 3
5$ 3
%
%
%
%
%
%
%
%
%
#
# 3
#
# 3
#
# 3
#
# 3
#
3
3
3
3
3
3 3
3
3
, Determinemos los subgrupos de E?> R dados a continuacin
" ?" 3. 5#
# ?# 3. 3
$ ?$ 3. 53
% ?% 3. 5# 3
& ?& 3. 5$ 3 ' ?' 3. 5 5# 5$ ( ?( 3. 5# 3 5 # 3
) ?) 3. 5# 53 5$ 3
* ?* E?> P
"! ?"! 3.
Tenindose el siguiente cuadro de distribucin por subgrupos
siendo P una extensin galoisiana, para cada subconjunto ?4 de

E?> P corresponde un subgrupo J ?4 de P y adems de eso
P ?4 ?4 .
Entonces para cada 4 " # & tenemos ?4 # P J ?4 y por lo
tanto J ?4 %. Ahora para 6 ' ( ) se tiene por analoga
?6 % P J ?4 de donde J ?4 #.
%
%
Adems se tiene que #
#
# 3. Ntese que
%
%
#
# pues
# #.
- El clculo de los cuerpos intermediarios esta sujeto al siguiente anlisis

previo:
%
3 J ?" B
# 3a7 ?" 7 B B 3 #, dado que
5# 3 # 5# 3 5# # 3 #
3 # % pues 3# es una raz del polinomio irreducible
B% #B$ * .
Daro Snchez H
104
%
%
%
%
33 J ?# B
# 3a7 ?# 7B B
# pues 3
#
# y se
%
tiene adems
# %
333
%
J ?$ B
# 3a7 ?$ 7B B 3# ,
puesto
que
%
sabemos que 3 " 3 # entonces 3#
# 3 " # , as se
tiene 53 3#
%
%
53
#53 " 3 # 3
# " 3 #
%
%
3
# " 3 # 3
# 3 3 # .
Adems 3#
%, pues 3# es raz del polinomio B% #
%
%
3@ J ?% B
# 3a7 ?% 7B B 3
#, dado que
%
%
%
%
5 # 3 3
# 5 # 3 3 5 # 3
# 3
# 3
#
%
y tambin 3
# %
%
@ J ?& B
# 3a7 ?& 7B B 3# , pues
%
3 " 3 # entonces 3#
# " 3 #
5 $ 3 3 #
%
5$ 3
# " 3 #
%
%
%
3
# " 3 # 3
# " 3 # 3
# 3 3 #
y 3# %, dado que 3# es raz del polinomio irreductible
B% #
%
@3 J ?' B
# 3a7 ?' 7B B 3 , dado que 5 5# y 5 $ dejan
a 3 fijo.
%
@33 J ?( B
# 3a7 ?( 7B B #, la justificacin de
esta igualdad es dada as:
%
%
%
%
%
%
5# # 5#
#
# 5 #
#5#
#
#
# #
%
%
%
%
%
%
3# 3
#
# 3
#3
#
#
# #
%
%
%
%
5# 3# 5# 3
#5# 3
#
#
# #
%
@333 J ?) B
# 3a7 ?) 7B B 3# pues
5 # 3 # 5 # 3 5 # # 3 #
%
%
%
%
533# 53 3 53# 353
#53
# 33
#3
# 3 #
Daro Snchez H
105
%
%
%
%
#5 $ 3
# 3 3
# 3
#
5$ 33# 5$ 3 3 5$ 3# 35 $ 3
3 #
y
3 #
# # 3# #
El diagrama de extensiones esta dado por
Ejemplo2: Sea 0 B B$ B " sobre B.

0 B es irreductible sobre , para lo cual basta como 0 B es mnico y es
un anillo factorial ver que 0 B es irreductible sobre B, lo cual se sigue
del hecho de que 0 B no tiene raz en pues 0 B tiene grado $ y " no es
raz.
Se toma la derivada 0 w B $B# " es la nica raz real ya que 0 B es

creciente. Sea la nica raz real, sean " y " las races complejas
P " " y "
as E?> P P '.
<
Sabemos que existe E?> P T /<7 " "
< es un homomorfismo inyectivo.

|E?> P l ' lW$ l '. Entonces < es un isomorfismo. W$ tiene tres
subgrupos de orden # y un grupo de orden $.
Consideremos el polinomio separable siguiente
0 B B$ B# " B # OB
Este polinomio puede ser transformado en otro de la forma ] $ +] ,,
siempre que se considere O como un cuerpo de caracterstica distinta
de $. Entonces
Daro Snchez H
$
B$ B# " B # B $ "
$
$$
$ "
Se toma ] B
#
$
#
$ B
$
$$
y se tiene 1 ] ] $ +] ,,
106
$
B $ "
#
$ B
G+<O $
Sea una raz de 1 ] , si O O es una extensin normal

entonces O es el cuerpo de factorizacin de 1 ] en ese caso
lE?> PO l $, as el grupo de Galois resulta ser cclico.
Si O no es normal, entonces O no es el cuerpo de factorizacin de
1 ] en este caso 1 ] ] 2 ] .
El grupo de Galois tiene seis elementos, adems no puede ser abeliano
pues P contiene un subgrupo que no es normal, que es E?> PO
entonces E?> PO W$ .
Se desea hallar una caracterizacin para establecer cuando el grupo de
Galois es cclico o cuando el grupo de Galois es el grupo de permutaciones.
Sean " # $ las tres races distintas de 1 ] (ya que el polinomio es
separable)
E?> PO
Permutaciones de " # $
5
5l" # $
"#$
"#$ "#$ "#$
W$ 3. "$# "#$
$#" #"$ #$" $"#
Definicin: Una permutacin de grado par es el producto de dos
transposiciones.
Se tiene entonces que lE?> PO l ' si y slo si existe 5 E?> PO tal que
5|" # $ es una transformacin si y slo si $ " # " $ # $
5 $ $.
Si la caracterstica de O # entonces se puede afirmar que $ $ en ese
caso 5$ $ , entonces $ J E?> PO O . Se tiene J E?> 6O O ya
que P O es una extensin normal, separable, naturalmente se tiene que
$ O . Entre tanto ? $ # O pues cualquiera que sea 7 E?> PO se
tiene que 7 $ # 7 $ # $ # $ # , as, |E?> PO l ' si y slo si ? $ #
no tiene raz cuadrada en O (esto es, B# ? no tiene raz en O ).
Naturalmente tenemos que 1 ] ] $ +] , ] " ] # ] $
eso quiere decir que
! " # $ + " # " $ # $ , " # $
As como ? $ # " # # " $ # # $ # tenemos
" # # " $ # # $ # " # " $ # $ #
Aqu hacemos uso del determinante de Vandermonde que nos afirma que
"
"
"
" # " $ # $ " # $

#
" ## #$
Daro Snchez H
107
"
"
"
" "
"
" "
"
" " " #"
"
"
$ # " # $ " # $ " # $ " # $ " # ##

#
" ## #$
#" ## #$ #" ## #$ #" ## #$ " $ #$
$
" # $ #" ## #$
"
" " " #"
"
" # $
" # ## " # $ #" ## #$ "$ #$ $$
#

" ## #$ " $ #$ #" ## #$ $" $# $$ "% #% $%

pero se tiene que
" # $ !
#" ## #$ " # $ # # " # " $ # $ #+
$" $# $$ $" +" , $# +# , $$ +$ , + " # $ $,
1 " 1 # 1 $ + " # $ $, $,
%
%
%
" # $ " 1 " # 1 # $ 1 $ + #" ## #$ , " # $
+ #" ## #$ + #+ #+#
Sustituyendo estos valores se tiene que
!
#+
$
#+ $, $ %+$ *+# #+ %+# %+$ #(, #

$# !
#+ $, #+#
As
tenemos que ? %+$ #(, # y podemos afirmar entonces que
lE?> PO l ' si y slo si %+$ #(, # no es un cuadrado en O .
CONEXIN DE GALOIS
Trabajando con anillos el teorema de Galois pierde todo significado; pero
puede hacerse algunas deducciones interesantes en extensiones de
dominios de integridad y el conjunto de sus ideales, siendo este el espritu
de esta nota.
Sean V y W dos dominios de integridad tales que V
W , esto es: sea W una
extensin de dominios de V . Consideremos los siguientes conjuntos
M W es un ideal V
N W es un ideal W
colecciones de ideales de V y W respectivamente. Se debe notar que se ha
tomado una extensin de dominios para no tener problemas con la
coleccin de ideales.
Supngase que en M y en N se han definido relaciones de orden parcial.
Definicin: Una pareja 3 4 es denominada una conexin de Galois si
3N
M
4M N
son funciones debidamente definidas y tales que se cumplan los siguientes
axiomas:
GK" Para todo M , 34
GK# Para todo N , 43
GK$ Si w , entonces 4 4 w
GK% Si w , entonces 3 3w .
Daro Snchez H
108
Segn esta definicin son muchas las conexiones de Galois que se pueden
obtener dependiendo claramente del orden parcial que se tenga en M y en
N , y de la forma como se definan las funciones 3 y 4. Una forma particular
de establecer una relacin de orden parcial en M y en N se presenta a
continuacin:
Sean w M entonces escribimos w si y slo si
w.
w
Sean w N entonces w si y slo si
.
Es claro de la teora de conjuntos que estas relaciones hacen de M y N
conjuntos parcialmente ordenados.
Proposicin ": Con M y N ordenados parcialmente, como anotamos
anteriormente, y definiendo las funciones 3 y 4 como sigue
3N M
4M N
4 W
3 V
entonces se obtiene que 3 4 es una conexin de Galois entre los
conjuntos parcialmente ordenados de M y N .
Demostracin: Debemos mostrar cada uno de los axiomas GK5 que
definen a una conexin de Galois.
GK" Por definicin dada de las funciones 3 y 4 se tiene que
3 4 + 3 +W +W V
Como
W y
V entonces
W V 34 ,
usando la definicin de orden parcial en M se sigue que 34 .
GK# Por aplicacin sucesiva de 3 y 4 a N se tiene
43 4 V VW .
Ahora W
y es un ideal de W (as para todo B BW
). Entonces
VW
de donde se sigue que

43
y teniendo en cuenta la definicin del orden parcial en N se recibe

4 3 .
w
GK$ Suponiendo que w , o sea tenemos que
y aplicando
4 obtenemos
w
w
w
4 W
W 4 as 4
4
Una vez ms por la definicin del orden parcial en N obtenemos
4 4 w .
GK% Supngase que w o sea que
w , aplicando 3 tenemos
3 w w V
V 3
usando la definicin del orden parcial en M se obtiene que
3w 3.
Luego concluimos que 3 4 es una conexin de Galois entre los
subconjuntos M y N parcialmente ordenados por dadas por definicin.
Daro Snchez H
109
Ahora trataremos un resultado que puede ser considerado como el

teorema de Galois para las extensiones de dominios de integridad o como
un teorema de Galois debilitado.
Proposicin #. Si se supone que W es el anillo de fractorizacin de V y siendo
3 4 la conexin de Galois obtenida en la proposicin ", entre los conjutos
parcialmente ordenados M y N , entonces 4 resulta sobreyectiva e 3 resulta
inyectiva.
Demostracin. Cuando W es el cuerpo de factorizacin de V , W toma la
siguiente forma:
W BC" B V C Q
siendo Q un subconjunto multiplicativamente cerrado tal que
Q y !Q
Basta mostrar que para todo N se tiene que
4 3 .
Como 3 4 es una conexin de Galois por el axioma GK# se tiene
43
y por la definicin de orden de N se tiene que
4 3
.
Para obtener la inclusin inversa sea D
W entonces
D BC"
con
B V,
C Q,
de donde
BC"
CQ
V
W
y como es un ideal de W tenemos
BC" C
entonces B . De donde se tiene que
B V.
Ahora como C Q tenemos que
C " "C" W .
Luego
D BC" VW
siguindose que
V W ,
as
V W .
Esta ltima igualdad puede tambin escribirse usando 3 4 como
4 3 ,
y de la teora de conjuntos concluimos que 3 es inyectiva y 4 sobreyectiva lo
cual deseabamos demostrar.
La proposicin # se puede comparar y fu inspirada en el siguiente

resultado, bien conocido en este trabajo, de la teora de cuerpos: Sea R un
cuerpo y O! su cuerpo primo. Dentese con el conjunto de los cuerpos
Daro Snchez H
110
intermediarios entre R y O! y con el conjunto de los subgrupos del

1
es una
grupo de automorfismos de R que dejan fijo a O! . Si
5
correspondencia de Galois entonces 1 es sobreyectivo y 5 es inyectiva.
DLL
BIBLIOGRAFIA
- Artin E., Galois Theory, Pars, 1953.
- Birkhoff & MacLane, Algebra Moderna, Edit. Teide, 1960.
- Bourbaki, N., Thorie des ensembles, Fascicule de Rsultats, Herman, Pars,1958

- Castro, Ch. I., Temas de Teora de Cuerpos, Monografa No.7 U.N. Bogot, 1980.
- Halmos, P.R., Teora Intuitiva de Conjuntos, Cecsa, Mxico D.F., 1965.
- Herstein, I.N., Topics in Algebra, Blaisdell International, 1964.
- Jacobson, N., Lectures in Abstract Algebra, Vol.III, The Univ. Series in Higher
Mathematics, D. van Nostrand Company, Inc., London, 1964.
- Kaplansky, I., Introduccin a la Teora de Galois, Chicago, 1954.
- Lang, S., Algebra, Addison-Wesley Publ. Co., 2a. Ed., 1967.
- Merklen, H.A., Estructuras Algebraicas V., (Teora de Cuerpos), Monografa

No.22, OEA, 1979.
- Muoz, J.M., Introduccin a la Teora de Conjuntos, 4a. Ed., U.N., 2002.
- Surez, M.F., Introduccin a la Teora de Galois, X Col.de Mat. Colombia, 1980.

- Suppes, P., Teora Axiomtica de Conjuntos, Editorial Norma, Cali, Col. 1968.
- Zariski, O. & Samuel P. (with de Cooperation of Cohen,I.S.), Conmutative Algebra,

Vol. I, U. Univ. Series in Higher Mathematics, 1958.
.
Daro Snchez H
111
Espero que el lector haya obtenido

algn
provecho de este trabajo en el
aprendizaje de la teora de cuerpos y de Galois.
En esta forma se completa la parte del lgebra propuesta en este proyecto
de aprendizaje en matemtica avanzada..
Exitos y bienvenidos a la investigacin por internet.
Cualquier comenterio favor hacerlo llegar a:
danojuanos@hotmail.com,
danojuanos@tutopia.com
Copyright Daro Snchez Hernndez

Sanchez Dario - Teoria de Cuerpos PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sanchez Dario - Teoria de Cuerpos PDF

Cargado por

Copyright:

Formatos disponibles

Daro Snchez H

Teora de Cuerpos y de Galois

El objeto de estas notas es brindar al lector un modelo de aprendizaje. A continuacin

2. Un dominio V es principal si todo ideal de V es principal.

J" a+ V (no inversible), puede ser escrito como producto finito de

4. B " B YE , donde YE forma una clase de elementos asociados y es

llamada una clase minimal (E es un anillo conmutativo . Consideramos

Teora de Cuerpos y de Galois

3 V un anillo, ; es primo ; es un nmero primo ; es irreductible

Toda sucesin estrictamente

es llamado un anillo Noetheriano cuando todo ideal de V es

Toda sucesin estrictamente

Toda familia de ideales

V es principal V es factorial y todo ideal primo es maximal

0 B un elemento de EB, 0 B es llamado un polinomio en B con

coeficientes en E. K<0 B es el grado de 0 B y es el mayor 8 tal que

Si E es un dominio de integridad entonces

K< 0 B 1 B K<0 B K<1 B

7.Sea O un cuerpo. Entonces OB es un anillo euclidiano.

0 B EB donde E es un anillo. Si E es tal que 0 !,

entonces existe 2B EB tal que 0 B B 2 B .

Teora de Cuerpos y de Galois

B EB es de grado 8, entonces 0 B tiene a lo

un dominio, 0 B 1 B EB de grado menor o igual que 8, tales

que 0 B 1 B son iguales para 8 " valores distintos entonces 0 B 1 B

E un dominio infinito 0 B" B# B8 EB" B# B8 entonces

existen " # 8 E tales que 0 " # 8 !.

8.Sea V un anillo factorial entonces VB es un anillo factorial.

un anillo factorial, 0 B VB, 0 B +! +" B +# B# +8 B8 se

define contenido de 0 B como el mximo comn divisor de sus

se dice primitivo si su contenido es uno o sea

" 1 B se dice primitivo.

V un dominio factorial, O su cuerpo de fracciones, sea 1 B OB

9. Sea V un anillo factorial y sea 0 B VB entonces 0 B es irreductible

Teora de Cuerpos y de Galois

G" O es un grupo abeliano

O definida por : 8 8"O , :

Sea O un cuerpo. O es un cuerpo primo si no existe subcuerpo

Sea O un cuerpo. Entonces

U y los : con : primo son los nicos cuerpos primos.

P puede ser considerado

entre O y P que contiene a W , es

Teora de Cuerpos y de Galois

llamado el subcuerpo de P generado por W

6! 6 " > 6 7 > 7 !

" B# 1>" ># !

tal que P O W entonces decimos que P es generado por W

se dice una extensin finita si y solamente si P es un O -espacio

es una extensin finita equivale a

Teora de Cuerpos y de Galois

Sea O y P cuerpos < OB

18.Las siguientes afirmaciones son equivalentes

Q es un monomorfismos, un elemento algebraico sobre O ,

entonces existe un homomorfismo :w O

O " que es una extensin

extensin algebraica, si todo P es algebraico sobre O .

Teora de Cuerpos y de Galois

" # 8 son algebraicos

una extensin de O , P! P es algebraico sobre O.

el cuerpo de los nmeros algebraicos y

cuerpo O es algebraicamente cerrado si satisface una de las

Sea O un cuerpo, P O una extensin de O , P es una cerradura

Teora de Cuerpos y de Galois