Teoria Cuerpos Dario Sanchez 2004

Daro Snchez H Teora de Cuerpos y de Galois 1 ( )
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 es Euclidiano ( anillo conmutativo con elemento unidad) V V
si existe tal que . V !-
, I a+ , V ! . +, . +
"
( ) ( )
tal que con . I a+ , V ! b; < V + ,; < < ! . < . ,
#
( ) ( )
2. Un dominio es principal si todo ideal de es principal. V V
3. Un dominio es factorial si
(no inversible), puede ser escrito como producto finito de J a+ V
"
elementos irreductibles
Si es una coleccin de elementos irreductibles y J : ;
# 3 "38 4 "47
es otra coleccin de elementos irreductibles de tales que V
: : : ; ; ;
" # 8 " # 7
entonces y permutaciones de tales que 8 7 b " # 7 : ; 3
3 3 3
(es decir, esta asociado con ) : ;
3 3 3
4. , donde forma una clase de elementos asociados y es B " B Y Y
E E
llamada una clase minimal ( es un anillo conmutativo . Consideramos E
los elementos de E E Y !
( )
E
B B E B E aC E ClB C B

es irreducible es minimal en
B B E aC D E B C D BlC BlD
es irreductible ( )( )
5. dominios
dominios dominios dominios
Euclidianos principales factoriales

&

_ " "*
#
_
( ) ( ) 3 V ; ; ; un anillo, es primo es un nmero primo es irreductible
( ) ( ) 33 V ; ; factorial, es primo es irreductible
V principal
Toda sucesin estrictamente Toda familia de ideales
ascendente de ideales es finito tiene un elemento maximal
V V es llamado un anillo Noetheriano cuando todo ideal de es
finitamente generado.
( ) V anillo Noetheriano
Toda sucesin estrictamente
ascendente de ideales es finita

Toda familia de ideales
tiene un elemento maximal
V V es principal es factorial y todo ideal primo es maximal
6.Sea un anillo y consideremos / E EB + + B + B + E
! " 8 3
8
donde se define la adicin y la multiplicacin en la siguiente forma
+:
_ _
_ _ _
( )
3 3 3
3 3 3 3
3 3 3
+ B , B + , B
+ B , B + , B
_ _
_ _ _ _
_ _
3 3
3 3 4 54
3 3 5
5 4!
5
EB es un anillo.
es un dominio es un dominio EB E
Sea un elemento de , es llamado un polinomio en con 0 B EB 0 B B ( ) ( )
coeficientes en . es el grado de y es el mayor tal que E K<0 B 0 B 8 ( ) ( )
+ !
8
.
Si es un dominio de integridad entonces E
K< 0 B 1 B K<0 B K<1 B ( ) ( ) ( ) ( ) ( )
Si no es un dominio de integridad, esta igualdad no es verdadera, como E
contra-ejemplo tmese en 0 B #B $B " 1 B #B $ % ( ) ( )
# $

E\ ] E\ ] \] ] \ ( ) suponindose que
( ) ( ) E\ ] E] \
E\ \ \ E\ \ \ \
" # 8 " # 8" 8
( )
Si es un conjunto cualquiera W EW EW
W W
H/0
0383>9
7.Sea un cuerpo. Entonces es un anillo euclidiano. O OB
OB OB es un dominio principal, entonces es un anillo factorial
Sea donde es un anillo. Si es tal que , 0 B EB E E 0 ! ( ) ( )
entonces existe tal que . 2B EB 0 B B 2 B ( ) ( ) ( )
Si es un dominio y es de grado , entonces tiene a lo E 0 B EB 8 0 B ( ) ( )
mximo races en . 8 E
Sea un dominio, de grado menor o igual que , tales E 0 B 1 B EB 8 ( ) ( )
que son iguales para valores distintos entonces 0 B 1 B 8 " 0 B 1 B ( ) ( ) ( ) ( )
Sea un dominio infinito entonces E 0 B B B EB B B ( )
" # 8 " # 8
existen tales que .
" # 8 " # 8
E 0 ! ( )
8.Sea un anillo factorial entonces es un anillo factorial. V VB
Si es un anillo factorial entonces tambin es un anillo V VB B B
" # 8
factorial.
Sea un anillo factorial, , se V 0 B VB 0 B + + B + B + B ( ) ( )
! " # 8
# 8
define de como el mximo comn divisor de sus contenido 0 B ( )
coeficientes o sea . -98> 0 B 7.- + + + ( ) ( ) ( )
! " 8
As donde o igual . 0 B . 0 B -98> 0 B " ( ) ( ) ( ) ( )
" "
Un polinomio se dice si su contenido es uno o sea 1 B ( ) primitivo
-98> 1 B " 1 B ( ) ( ) ( ) se dice primitivo.
-98> 0 B 1 B -98> 0 B -98> 1 B ( ) ( ) ( ) ( ) ( ) ( ) ( )
Sea un dominio factorial, su cuerpo de fracciones, sea V O 1 B OB ( )
entonces
( ) ( ) ( ) ( ) " O 1 B VB 1 B 1 B Existe , existe primitivo tal que
" "
( ) ( ) # 1 B VB O Si es otro polinomio primitivo de y tal que
#
"
1 B 1 B V ( ) ( ) " %
#
, entonces existe elemento irreductible de tal que
1 B 1 B 1 1 VB
" # " #
( ) ( ) % . En particular y son polinomios asociados en
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) $ 1 B 2 B OB 1 B 2 B 1 B 2 B Si entonces
"
" "
( ) ( ) ( ) % 1 B OB 1 B VB es irreductible en si y slo si es irreductible en .
"
9. Sea un anillo factorial y sea entonces es irreductible V 0B VB 0 B ( )
en si y solamente si VB
( ) ( ) " 0B V V K<0 B " (irreductible sobre )
( ) ( ) # 0 B es primitivo
( ) ( ) $ 0 B OB es irreductible en .
En particular, si es mnico entonces es irreductible en 0B VB 0 B ( )
OB 0 B VB si y solamente si es irreductible en . ( )
0 B + + B + B + B Criterio de Eisenstein: Sea un ( )
! " # 8
# 8
polinomio con coeficientes en un anillo factorial , sea su cuerpo de V O
fracciones y un elemento irreductible tal que : V
entonces es irreductible en : l + :l+ a3 8 : l + 0 B OB
8 3 !
#
( )
10.( ) O es un cuerpo si
es un grupo abeliano G O
"
( )
es un grupo abeliano, donde G O O O !
#

( )
G - + , -+ -, a+ , - O
$
( )
P O P O # O
es un cuerpo y el cardinal de es mayor que es un

subcuerpo si es un cuerpo. ( ) O l l
O O
Esta definicin es equivalente a

WG + , O + , O
"
WG + , O , ! +, O
#
+
,
"
11.Sea un cuerpo, se considera definida por , O O 8 8" : : : - ( )
O
es un homomorfismo
: O

ker:
Como es un cuerpo, entonces es un dominio, luego es un O : : ( ) ker
ideal primo. Si entonces con primo. Si ker ker ker : : : ! : : !
entonces ker: ! ( )
Se llama de un cuerpo a la dimensin del ncleo de la caracterstica
aplicacin , la cual es si , o, (nmero primo) si . : : : ! ! : ! ker ker ( )
12. Sea un cuerpo. es un si no existe subcuerpo O O cuerpo primo
propio en , es decir, . O P O P O
=?,-?/<:9
O Sea un cuerpo. Entonces
( ) " P O Existe un nico cuerpo primo contenido en .
( ) ( ) # -+> O : P :
Si entonces .
Si entonces -+> O ! P
( )
U : y los con primo son los nicos cuerpos primos.
:
O O P Sea un cuerpo. Si es un subcuerpo de un cuerpo entonces
decimos tambin que es una del cuerpo Este hecho se P O extensin
simboliza como . O
l
P
13. Sea un cuerpo y una extensin . puede ser considerado O P P O
l
P
como un -espacio vectorial, el cual puede ser de dimensin finita o O
infinita.
P O Se llama grado de una extensin y lo notamos por a la dimensin
del -espacio vectorial sobre . O P
O P Q Sean cuerpos y consideremos la triple extensin o torre
O
l
P
l
Q
, entonces Q O Q PP O
14.Sea una extensin y ( un subconjunto), el menor cuerpo O
l
P
W P W
entre y que contiene a , es O P W

O W Q ( )
O Q P

W Q
Q -?/<:9
llamado el subcuerpo de generado por P W
O W 0 = = = 0 B B B OB Q . Si es el cuerpo de ( ) ( ) ( )
" # < " # < W
fracciones de tenemos entonces OW O W Q OW

( )
O W OW 1 = = = ! ( ) ( )
_
cuerpo de fracciones de
0 = = =
1 = = =
" # >
w w w
( )
( )
" # <
" #
w w w
>
Si en ese caso W > O > 5 6 O ( )
5 5 >5 >
6 6 >6 >
3 3
! " 8
8
! " 7
7
6 6 > 6 > !
! " 7
7
Si , W > > O > >
" # " #
0 > >
1 > >
0 B B OB B
1 B B OB B 1> > !
( )
( )
( )
( )
( )
" #
" #
" # " #
" # " # " #
15.Si tal que entonces decimos que es generado por W P P O W P W
( )
W P P O W P
Si existe (finito) tal que decimos que es finitamente ( )

generado sobre . O
O P O P Sea un cuerpo y una extensin de si puede ser obtenido O
l
P
por para algn , entonces decimos que es una extensin simple. O > > P ( )
O W P P O W
Sea una extensin de , si existe finito tal que , O

l
P
( )
entonces se dice que es una extensin finitamente generada de . P O
16.O
l
P
se dice una extensin finita si y solamente si es un -espacio P O
vectorial de dimensin finita, as es una extensin finita equivale a O
l
P

decir que existen elementos que tal que 6 6 6 P
" # <
P O6 O6 O6 6 6 6
" # < " # <
,o sea, que es una base del
O P -espacio vetorial
Si es una extensin finita, entonces es una extensin finitamente O O
l l
P P

generada.
La recproca de esta afirmacin es falsa.
P O " P O Sea una extensin entonces O
l
P

OB O B
l
O B ( )
[ ] es una extensin finitamete generada de pero no es una
extensin finita.
17. Sea un cuerpo, una extensin de y . es O O P O
l
P
algebraico
sobre si existe tal que . O 0 B OB ! 0 ! ( ) ( )
P O se dice un elemento sobre si y slo si no es trascendente
un elemento algebraico sobre . O
O P OB O P
5 B

5

Sea y cuerpos es un homomorfismo < <

_
-
_
3
3
3
3
,
de anillos. es algebraico si slo si < ker

!
OB T B El nico polinomio de tal que es llamado ker<

( )
lO
polinomio irreductible polonimio sobre o tambin es llamado O
minimal de sobre . O
18.Las siguientes afirmaciones son equivalentes
( ) + O es algebraico sobre
( ) ( ) , O O
( ) ( ) ( ) - O O K<T B es finito.
lO
19.Si es un monomorfismos, un elemento algebraico sobre , : O Q O -
" : : :
:
una raz arbitraria de donde

lO B
3 3
3 3

_ _
( ) ( )
( )
T OB O B
5 B 5 B
( )
entonces existe un homomorfismo que es una extensin : "
w
O O ( ) ( )
de o un levantamiento de . : : ( )
20. O O P
l
P
una extensin del cuerpo , , algebraico sobre
O P T B O , una raz el polinomio entonces existe un - "
lO
( )
isomorfismo de sobre , que manda sobre . Un - : " "
w
O O O ( ) ( )
isomorfismo es aquel que mantiene fijos a los elementos de , es decir, O
:
w
( ) 5 5 a5 O.
21. Una extensin se dice; O
l
P
, si todo es algebraico sobre . extensin algebraica P O
Extensin trascendente, si existe algn trascendente sobre . " P O
Extensin simple, si existe tal que . P P O( )
Extensin finita si el grado es finito. P O
22.Si es una extensin finita, entonces es una extensin algebraica. O O
l l
P P

23. Sea una extensin de , . Si es algebraico sobre O
l
P
O P O
entonces es una extensin finita y por lo tanto algebraica. O
l
O( )
24. Sea una extensin de , tales que O
l
P
O P
" # 8 =
P O ( )
" # 8 " # 8
, as es algebraica son algebraicos O
l
P

sobre O
25. es una extensin algebraica , es algebraico sobre . O
l
P O W ( )
a= W = O
26. . son algebraicos sobre son O
l
P
B C P B C O C ! B C BC
B
C
algebraicos sobre . O
27.Sea una extensin de , es algebraico sobre . O
l
P
O P P O
!

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

el cuerpo de los nmeros algebraicos y
29.Sean y extensiones es algebraico y es algebraico es P O P O O
l l l l l
Q P Q P Q
, .
algebraico.
P O Sean extensiones donde es la clausura algebraica de , P O
l l
P
P
!
!
,
!
entonces todo elemento que es algebraico sobre , pertenece a . P P P
! !
30. O Q
l
Q Q
l
P
:
Sea una extensin. es algebraico para todo cuerpo O O
l l
P P

intermediario entre y , y para todo -endomorfismo entonces P O ! O : :
es un -automorfismo de . O Q
31.Un cuerpo es algebraicamente cerrado si satisface una de las O
siguientes condiciones equivalentes:
( ) 3 O No existe extensin algebraica estricta de
( ) ( ) 33 a0B OB " 0 B O de grado , tiene una raz en
( ) 333 0B OB O " Si es irreductible sobre entonces l tiene grado
( ) ( ) ( ) ( ) 3@ a0B OB O 0 B B B , existen tal que
" # 8 " 8
32. Sea un cuerpo, una extensin de , es una cerradura O P O O P
algebraica de si O
( ) 3 es algebraico y O
l
P

( ) 33 P es algebraicamente cerrado.
33.Sea un cuerpo algebraicamente cerrado, sea un cuerpo tal que P O
P O O P O es una extensin, sea es algebraico sobre
!

entonces es una cerradura algebraica de . O O
!
34.Sea un cuerpo cualquiera. Entonces O
( ) 3 O Existe una cerradura algebraica de
( ) 33 P P O Si son cerraduras algebraicas de entonces ellos son
" #
O b P P O -isomorfos, es decir, isomorfismo que deja fijo. :
" #
-
35.Sea un cuerpo. Sea un polinomio irreductible de grado O 0B OB
mayor que o igual a uno, entonces existe una extensin en la cual P 0 B ( )
tiene una raz.
36.Sea un cuerpo, no necesariamente irreductible entonces O 0B OB
existe extensin de y tal que P O P
" # 8
. 0 B B B B ( ) ( )( ) ( )
" # 8
37. Si se tienen polinomios distintos entonces existe 8 0 0 0 OB
" # 8
una extensin tal que cada polinomio puede ser factorizado en factores P
lineales.
38. Sea un cuerpo entonces existe una extensin tal que para todo O P
polinomio no constante , existe tal que . 0B OB P 0 ! ( )
39. Sea una cerradura algebraica de un cuerpo , un H : O O O -
w
isomorfismo, una cerradura algebraica de . Si es una extensin H
w w
O O
P
l
algebraica entonces existe la cual es un monomorfismo y que es 3 H P-
w
una extensin de tal que | = : 3 :
O
40. Sea una clausura algebraica de . un -isomorfismo de sobre H : O O P
: : H < H < : ( ) ( ) ( ) P M=9 P E?> O o sea entonces existe tal que | .
O P
41.Sea , , entonces el conjunto O T B T B B B
l
H
H
lO lO " 8
( ) ( ) ( ) ( )

" # $ 8
ser llamado el conjunto de los conjugados de .
42. Sea entonces conjugados de H 5 5 H E?> O ( )
43.Sea un cuerpo, . Sea , es un cuerpo de fracciones de O 0B OB O P
P
l
0 B ( ) si
CF se factoriza en factores lineales en , es decir, existen
"
0 B PB ( )

" # $ 8 " # 8
P 0 B B B B tal que ( ) ( )( ) ( )
CF :
# " # $ 8
P O ( )
44.Sea un cuerpo, . Entonces O 0B OB
( ) ( ) 3 0 B Existe un cuerpo de factorizacin para
( ) ( ) 33 P P 0 B Si son dos cuerpos de factorizacin de entonces existe
" #
: : : P P O
" #
- ( ) sobre tal que es un -isomorfismo
45.Sea . es cuerpo de fracciones de si 0 B 0 B OB P
# #
( ) ( ) # A
( ) 3 0 PB Todos los se descompone en fractores lineales en
#

( ) ( ) ( ) 33 P O 0 B races de , para todos los
#
# A
46. Sea como en la definicin 45, entonces
( ) 3 P Existe cuerpo de factorizacin
( ) 33 O Es nico mdulo un -isomorfismo.
47. Una extensin es si las condiciones siguientes son O
P
l
normal
equivalentes:
( ) + P OB es el cuerpo de factorizacin de una familia de polinomios de .
0 B OB
+ + A
( )

( ) ( ) , P M=9 P P P
Sea una cerradura algebraica de . Para todo H : H :

O
( ) - 0B OB P Si es un polinomio irreductible teniendo una raz en ,
entonces l tiene todas las races en . P
48.Sea un cuerpo y una extensin de . es normal si y solamente O O O O
P P
l l
si todo . 5 H 5 E?> l P P ( ) ( )
O
49. tal que , entonces es normal. O P O # O
P P
l l
50.Sea un cuerpo, una cerradura algebraica de . Si es normal y O O O P
R
H
l
es algn cuerpo intermediario estonces es una extensin ( ) OPR P
R
l
normal.
51. Sea un cuerpo, una cerradura algebraica de cuerpo O O P H
intermediario. Sea
es irreductible, tiene una raz en 0B OB0 B 0 B P ( ) ( )
Sea el cuerpo de factorizacin de esa familia . Entonces R
( ) " R P O
R
es la menor extensin que contiene a tal que es normal
l
( ) # P O R O Si es finito entonces es finito.
52.Sea extensin normal una familia de extensiones normales,
_
O
P
l
+
+ A
entonces
( )

" O
P
l
+
+
es normal
( )

# O
O P
l
+
+
es normal.
53.Sea un cuerpo de caracterstica . es un isomorfismo O : O O
:

-
:
:( ) O C ObB O C B
:
( ) ( ) 3 O O O es perfecto si :
( ) ( ) 33 O O O
no es perfecto si :
O O Si es un cuerpo finito entonces es perfecto
O O Si es algebraicamente cerrado entonces es perfecto.
54.Si es algebraicamente cerrado y entonces existe un nico tal H H "
que . "
:
55.Sea un cuerpo de caracterstica , una cerradura de O : O H

. P O O
"
:
"
:
H
es perfecto si y slo si , tiene una raz en . O a+ O B + OB O
:
P
"
es un cuerpo
O O b8 O
8 !
" "
: :
8
8
H
:
O O
"
:
es un cuerpo perfecto, y el menor cuerpo de que contiene a H

O P O O P
P
l
extensin algebraica si es perfecto entonces es
perfecto.
56.0 B ( ) es un polinomio inseparable si l satisface una de las siguientes
condiciones equivalentes:
PIS : tiene una raz mltiple en
"
0 B ( ) H
PIS : y tienen races en comn.
#
w
0 B 0 B ( ) ( )
PIS
$
w
0 B ! ( )
PIS
% " 3 8
<: <" : <3 :
0 B + B + B + B + ( )
!
( ) ( )
+ B + B + B +
!
( ) ( ) ( )
: : :
< <" <3
" 3 8
( ) ( )
o sea que . 0B OB
:
57.Un polinomio irreductible es llamado no inseparable si y slo si es 0 B ( )
separable si y slo si no tiene races mltiples. 0 B ( )
O 0 B Si la caracterstica de es igual a cero y es irreductible entonces ( )
0 B ( ) es separable.
58. es separable si todos los factores irreductibles de son 0B OB 0 B ( )
separables.
59.Sea un cuerpo perfecto esto es equivalente a decir que para todo O
polinomio irreductible entonces es separable. 0B OB 0 B ( )
60.Sea un cuerpo no perfecto, sea la caracterstica de . Sea O : ! O
+ O O / ! B + OB
: :
. Entonces para todo , es irreductible.
/
61.Sea , , entonces 0B OB 0 B B + B + ( )
8 8
" 8
"
( ) ( ) " 0 B 7 El nmero de races distintas de es igual a (= grado del
!
polinomio separable grado de separabilidad de ) 0 C 0 B
!
( ) ( )
( ) # : La multiplicidad de cada raz es igual a (=grado de inseparabilidad
/
de ). 0 B ( )
62.Sea un cuerpo una cerradura algebraica de , es separable O O O
l
H
H
sobre si es un polinomio separable. O T B
lO
( )
T B T B
lO lO
( ) ( ) es separable no tiene races mltiples todos los
conjugados de son distintos.
63.Sea una torre de extensiones de es separable si y O P O O
P
H
l
slo si , es separable sobre . a P O
64. Sea una extensin de , se dice R R Q
Q
l
" puramente inseparable
sobre si existe tal que . R 8 R "
:
8
R En particular todos los elementos de son puramente inseparables.
65.Sea , en adelante una torre de extensiones sobre . Q R Q R
R
l
l
H
H
Si es puramente inseparable entonces R M=9 Q M.
Q
l
R
( ) H
66.Sea una extensin de y una extensin de entonces se tiene O O P P
P Q
l l
O P O
P Q Q
l l l
y son extensiones separables si y solamente si es una extensin
separable.
67. Sea una extensin algebraica. Entonces P O
es separable sobre y puramente inseparable sobre O P O O

68. ( ) " O P OP
P
Si es una extensin separable entonces se tiene
l
:
( ) # O P OP O
P P
Si es una extensin finita y entonces es separable.
l l
:
69. Sea un cuerpo de caracterstica una cerradura algebraica, O : H
H
O
O
O
( )
( )
H
:
l
l
l
Las siguientes afirmaciones son equivalentes
( ) 3 O es separable sobre .
( )
( )
33 O
O
es separable
l
( ) ( ) ( ) 333 O O
:
70. son elementos separables sobre si y solamente si
" # 8
O
es una extensin separable. O
O
l
( )
" # 8
71. Sea una familia de generadores es una extensin separable si y W O
O W
l
( )
solamente si para todo es separable sobre . B W O
72. Sean y cuerpos y O P O O P

=/:
( ) " O P O es separable sobre es un cuerpo
=/:

( ) # O
O
es una extensin separable
l
=/:
( ) $ O
P
es una extensin puramente inseparable
l
=/:
( ) % P O P O : Si es finita entonces es igual a una potencia de .
=/: =/:
73. Sea un cuerpo y una cerradura algebraica de . O O H
O O
!
H es separable sobre
es llamado la cerradura separable de . O
74. Sea un cuerpo y una extensin de . es una extensin O P O O
O
l
=/:
separable cuyo grado de de sobre se denota . separabilidad P O P O
=/:
es una extensin puramente inseparable cuyo grado es llamado O
P
l
=/:
grado de de sobre y se nota y se tiene inseparabilidad P O P O
38=/:
P O P O P O
=/: 38=/:
.
75. Sea un cuerpo de caracterstica . Sea y . Sea el O : T B 8 H
lO !
( )
grado de separabilidad de el grado de inseparabilidad de T B :
lO
/
( )
T B 8 O O : O O
lO ! =/: 38=/:
/
( ) ( ) ( ) . Entonces .
76.Sea un cuerpo (en adelante denotaremos ) una extensin O O RO
R
l
normal, un cuerpo intermediario tal que sea una extensin finita. P PO
Entonces #( ) ( ) M=9 P R P O
O =/: .
77.Sea cuerpos tal que es normal , son O P Q R RO PO QP
finitas entonces . Como consecuencia Q O Q P P O
=/: =/: =/:
tambin los grados de inseparabilidad
. Q O Q P P O
38=/: 38=/: 38=/:
78.)
3
3 3
M=9 Q R M=9 P R M=9 Q R
l
O O P
P
w
( ) ( ) ( ) -
( )

donde , es una biyeccin. 3 3 3
w
P
"
l
( )
79. . Sea tal que es P O lE?> Pl l O P R RO

=/: O
( )
normal y finita separable entonces . PO P O lM=9 P R l
O
( )
80.Sea una extensin finita normal, es llamado PO E?> PO ( ) grupo de
Galois de es un grupo con la operacin composicin de PO E?> PO ( )
funciones. Se puede establecer una correspondencia biunvoca entre los
subcuerpos intermediarios , de a , con los subgrupos de . Q P O E?> PO ( )
QO Q P Q E?> PO

cuerpo subgrupos de ( )
K J
Q
K Q

J P a

5 5
- -
( )
( )

J( ) es llamado el cuerpo fijo.
81.( ) Teorema de Galois Sea una extensin finita normal separable. PO
Entonces
( ) " J K M. K J M. K K , es una biyeccin, es un auto-
isomorfismo de retculos
( ) ( ) ( ) ( ) # QO E?> PQ K Q E?> PO normal
-
en ese caso E?> QO E?> PO E?> PQ
( ) ( ) ( )
( ) ( ) ( ) ( ) $ K Q lE?> PQ l P Q
82.TU B T B B a E?> TU normal. 5 5 ( )
puramente inseparable sobre B TB U
83.PO una extensin finita separable entonces existe solamente un
nmero finito de cuerpos intermediarios entre y . O P
84.Sea una extensin finita normal, separable, sea una extensin PO R
cualquiera de entonces O
( ) " RPR normal, finita separable

( ) ( ) ( ) # E?> RPR E?> PR P
( ) ( ) ( ) ( ) $ E?> RPR P E?> RPP E?> RPR
.
O 0B OB P 0 B Sea un cuerpo , cuerpo factorizacin de . El grupo ( )
de Galois de es 0 B E?> PO ( ) ( )
0 B P O Sean las races distintas de .
" # 8 " # 8
( ) ( )
85. B B B B B
$ #
$ $ $
$
" # " #

# $
$
B B

$ $ $ $ $ $
$
" # "
# $ #
$
se toma y se tiene . cuerpo de ] B 1 ] ] +] , P
$
$
( )
factorizacin de . no es cuadrado perfecto 1 lE?> PO l ' %+ #(, ( )
$ #
en . O
86.Si es un anillo de divisin finito, entonces es un cuerpo. O O
Todo cuerpo finito tiene un nmero de elementos igual a una potencia
de un nmero primo . : : G+<+->O ( )
87.Sea , una cerradura algebraica de . Sea un nmero entero H
: :
8
cualquiera entonces existe un nico cuerpo tal que y de O O

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

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

finito del grupo multiplicativo entonces es cclico. >
91.Sea un cuerpo finito. Entonces es cclico donde O E?> O 3 ( )
3 B B
:
el cual claramente es sobreyectivo, y conocido como
automorfismo de Frobenius.
92.Si son dos cuerpos finitos , entonces P O O P
: :
8 7
( ) " 8l7

: :
8 7
( ) | # E?> B B En ese caso es cclico e igual a donde 7 7
: :
:
7 8
8
cuyo orden es
7
8
93. POes abeliano resp. cclico si el grupo de Galois, es ( )
decir, es abeliano resp. cclico . As toda extencin finita de E?> PO ( ) ( )
cuerpos finitos es una extensin cclica.
94.( ) Elemento primitivo . Sea un cuerpo y una extensin separable O P
finita de . Entonces existe tal que . O P P O ( )
Toda extensin finita de los racionales es simple.
95.Sea una extensin finita de . Entonces existe tal que PO O P
P O( ) si y slo si existe solamente un nmero finito de cuerpos entre
O P y .
96.Sea una extensin separable. Si existe tal que PO 8 a P
1<+.T B 8 P O 8
lO
( ) entonces .
97.Sea un grupo finito. Entonces es subgrupo de un grupo de K K
permutaciones. Tmese permutaciones del conjunto
_ _
_ j
K K
1 Kp K
C 1C
:
1
98.( ) Teorema de Artin Supongamos que es un cuerpo, un P K E?>P
subgrupo finito. Sea . Entonces O P a K 5 5

( ) " POes normal separable
( ) ( ) # E?> PO K.
99.Sea un grupo finito entonces existe una extensin normal K PO
separable tal que . E?> PO K ( )
100.0 B B B 0 B B B B B B B B B B
" " # 8 # " $ " 8 # $ 8
" 8" #
0 B B B 0 0 0
8 " # 8 " # 8
. Los polinomios son llamados polinomios
simtricos elementales en letras y son tradicionalmente designados por 8
= = =
" # 8
, respectivamente.
101.Si entonces se dice una -sima raz de la unidad. B " B 8
8
8 " " Si -simas races de la unidad es tal que y para 0 > 0 0
8
8 <
todo , entonces decimos que es una -sima raz primitiva de la < 8 8 0
unidad. Adems es generado por una de las races primitivas. es un > >
8 8
grupo cclico.
102.Existe una -sima raz primitiva si y solamente si donde 8 8 : " : ( )
es la caracterstica de . H
103.Sea un cuerpo, sea una -sima raz primitiva de . Sea un H 0 8 " O
subgrupo de . Entonces H
( ) ( ) " O Oes normal separable. 0
( ) ( ) # O O 8 0 : es un divisor de
( ) ( ) ( ) $ E?> O lO es isomorfo a un subgrupo de 0
( ) ( ) 8 < ! " # 8 " < 8 "
que es un grupo multiplicativo que tiene elementos. :( ) 8

( ) ( ) ( ) ( ) % O E?> l 8
Si tenemos que y en ese caso 0

8 8
" 8 "
: : 8 "
0 : : ( ) ( ) ( )

( )
donde
, si
si
104.Sea una extensin de . Supongamos que contiene una PO O O
8-sima raz primitiva de la unidad. Entonces
( ) " PO 7 PO Si es una extensin cclica de grado (es decir, es normal,
separable y tal que es cclico) entonces tal que E?> PO b P P O ( )
y con . T B B + + O
lO
7
( )
( ) ( ) # P B , Si con raz de la ecuacin , entonces la extensin es " "
7
cclica y el grado de ella es un divisor de . P O 7 :( )
105( ) ( ) Artin Sea , , distintas. Entonces ellas son : : :
" # < O
M=9 P Q
linealmente independientes sobre . Q
MDULOS
106. Sea un anillo entonces es un -mdulo a izquierda si V Q V
RM : es un grupo abeliano
"
( ) Q
RM es tal que
#
V Q Q
< 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 un anillo, una familia de -mdulos V Q V
A

_
-
A

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

( )( ) ( ) ( )
( )( ) ( )
01 0 1
<0 <0 a<V

producto.
Q 0 Q 0 Si se considera con las operaciones
_ _
( )

SPUNFI
inducidas, es un -mdulo llamado externa V suma directa ( )
Con indicaremos . WTYRJM salvo para un nmero finito de ndices
108.Sea un anillo un -mdulo, , es submdulo de si V Q V R Q R Q
SM es un subgrupo de
"
R Q ( ) ( )
SM .
#
V R VR R
109.Sean , dos -mdulos y una aplicacin. es un Q Q V 0 Q Q 0

" # " #
-
V-homomorfismo de mdulos si
RHM
" " # " #
0 7 7 0 7 0 7 ( ) ( ) ( )
RHM , .
#
0 <7 <0 7 a< V ( ) ( )
110.Si es abeliano, sea dos -mdulos entonces consideremos V Q Q V
" #
es -homomorfismo L97 Q Q 0 Q Q 0 V
V " # " #
( ) -
L97 Q Q V
V " #
( ) es un -mdulo con las operaciones
( )( ) ( ) ( ) ( ) 0 1 7 0 7 1 7 0 1 L97 Q Q
V " #
( )( ) ( ) ( ) ( ) <0 7 <0 7 < V 0 L97 Q Q
V " #
111.Sea un -mdulo, siendo un -mdulo se puede considerar el Q V V V
conjunto de los -homomorfismos , es un -mdulo V Q L97 Q V V
V
( )
llamado el . Dual
Se puede an considerar
Q L97 L97 Q V V L97 Q V

V V V
( ) ( ) ( )
es tambin un -mdulo llamado V Bidual.
112.Sea un anillo fijo y un -mdulo fijo V Q V
( ) 3 Q V Q Q
Si es una familia de -submdulos de entonces es

A

A
un -mdulo de . V Q
( )
_
33 X Q X < > < V > X Sea un subgrupo de , es un
0383>+
3 3 3 3
submdulo de y es el menor que contiene a . Llamado submdulo Q X
generado por . X
( ) 333 R Q Un submdulo de es finitamente generado si
, | | finito tal que X Q X R X
( ) 3@ R X 7 es cclico, si existe tal que

R 7 <7< V V7
Si entonces X 7 7 7 X < 7 < 7 > 7 < V

" # > " " # # > > 3
V7 V7 V7
" # >
113.( ) 3 7 Q 7 < ! Sea es un elemento de torsin si existe que
pertenece a tal que V <7 !
( ) 33 Q V Sea un -mdulo sea
M < V<7 ! a7 Q < V<Q ! E Q
88
( )
M V Q es un ideal bilateral de llamado el de . anulador
114.Sea un anillo y un -mdulo, un submdulo de . Como V Q V R Q Q
es un grupo abeliano y es un subgrupo de podemos formar el grupo R Q
cociente de por . QR Q R
, donde , QR B RB Q B R B 88 R
Tomando , entonces es un -mdulo V QR QR QR V
< 7R

<7R ( )
-
llamado mdulo cociente.
115.Sea un -homomorfismo de mdulos, entonces e 0 Q R V 0 - ker
M710 V Q R son -mdulos de y respectivamete.
116.Sean -mdulos. Sea un -homomorfismo de Q Q V 0 Q Q V
" # " #
mdulos sobreyectivo entonces . Q Q

" 0 # ker
Q V Q Q Q Sea un -mdulo, y dos submdulos de . Entonces
" #
Q Q Q Q Q
" # " #
son submdulos de y se tiene

Q Q Q
Q Q Q
" " #
" # #
117. Sea un anillo, un -mdulo, una familia de V Q V R

A
V Q Q -submdulos de . es interna de sus submdulos suma directa ( )
R
si,
( ) " Q R

( ) # R R ! a
"
"

Se denota Q R
A

118.( ) 3 V Q V W Q W
Sea un anillo, un -mdulo y sea . es linealmente

independiente sobre si entonces V < = ! < ! a3
_
038>+
= W
3
3 3 3
( ) 33 Q V W Q
es un -mdulo si existe tal que libre

ML es linealmente independiente sobre
"
W V
ML
#
W Q
donde es finito W < = < V = W M
_
3M
3 3 3 3
119.Sea un anillo conmutativo y un -mdulo libre entonces todas V Q V
las bases de tienen el mismo cardinal llamado el de Q Q rango
120. Sea un dominio principal. Sea un -mdulo libre de rango V Q V
finito un submdulo de , entonces 7 R Q
( ) " R 8 7 es un mdulo libre, de rango
( ) # B B B B B - - - V Existe una base , y existen tal
" # 8 8" 7 " # 8
que es una base de con , es decir, - B - B - B R - l-
" " # # 8 8 3 3"
- >- - -
3" 3 3" 3
( ) .
121.Sea un dominio principal, un -mdulo finitamente generado V Q V
(eso quiere decir que puede encontrarse tal que para ] ] ] Q
" # 7
todo , ). Entonces existen B Q B < ] B B B B B Q
_
3"
7
3 3 " # 8 8" 7
tales que
( )
_________________________ ___________________
" Q VB VB VB VB VB
" # 8 8" 7
TEVXI HI XSVWMSR TEVXI PMFVI
( ) ( ) ( ) ( ) ( ) ( ) ( ) # E B - - V E B - - V E B - con con
88 " " " 88 # # # 88 8 8
con , son elementos sin torsin donde (es - V B B B - l-
8 8" 8# 7 3 3"
decir, ). Adems esta descomposicin es nica, es ( ) ( ) - - 78
3" 3
llamado el rango de . son los invariantes de torsin. Q - - -
" # 8
122.Todo -mdulo es imagen homomrfica de un -mdulo libre. Si V Q V
adems es finitamente generado entonces es imagen homomorfa Q Q
de un -mdulo libre de rango finito: V
< V Q
7 Q
V V
<
< 7
7
7 7Q
7
7
-
_

: V V V Q V] V]
7 @/-/=
< < <

< ] < ]
_______________
( )
-
-

" # 7
" 7
" " 7 7
123.Sea un -mdulo, es de torsin es un submdulo de Q V 7 Q7
Q Q que es llamado el submdulo de torsin de .
124.Sea un -mdulo de torsin, un elemento primo de R V : V
sea una potencia del ideal R B RE B :
: 88
( ) ( )
para algn B RE B : V >
88
>
( )
Sea representantes de los elementos irreductibles de P V
ideales principales primos
Para cada escogemos un generador as entonces M T T M
M M
P
R R
:
P
:
.
125.Sea un dominio principal. Sea un -mdulo finitamente V R V
generado. Si es un -submdulo entonces es finitamente R V
generado y tiene un nmero de generadores menores o iguales al
nmero de generadores de . R
126. Sea un -espacio vectorial de dimensin . Z O 8
( ) ( ) 3 L97 Z Z O tambin es un -espacio vectorial con las operaciones
O
( )( ) ( ) ( ) ( ) 0 0 @ 0 @ 0 @ "
" # " #
( )( ) ( ) ( ) 50 @ 50 @ #
( ) ( ) ( ) 33 L97 Z Z " es un anillo con las operaciones, adicin como en
O
y como composicin 0 0 0 0 ( )
" # " #
( ) ( ) ( ) ( ) ( ) 333 50 0 0 50 5 0 0 $
" # " # " #
Un conjunto que satisface y es llamado una -lgebra. ( ) ( ) ( ) " # $ O
127.Sea un cuerpo, un -espacio vectorial de dimensin . es en O Z O 8 Z
particular un grupo abeliano con respecto a la adicin. Si en esta Z
definida una multiplicacin tal que sea un anillo con identidad con Z
respecto de y adems
( ) ( ) ( ) + , + , + ,
para todo y todo decimos que es una -lgebra de O + , Z Z O
dimensin finita ( cuerpo finito). ( ) 8 O
128.Sean y dos -lgebras es llamado un morfismo de Z Z O 0 Z Z
" # " #
-
O O -lgebras 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 un -espacio vectorial sobre se puede definir una Z O Z
estructura de -mdulo mediante L97 Z Z
O
( )
L97 Z Z Z Z
0 @ 0 @
O
( )
( ) ( )
-
aplicacin sta que es llamada . evaluacin
130. Sea un -espacio vectorial de dimensin finita. Z O L97 Z Z 3
O
( )
Se define
< 3
3
: O
OB O L97 Z Z
1 B

1
( )
- ( )
( )
Se considera de manera natural una estructura de -mdulo sobre OB Z
de la manera siguiente
OB Z Z
1 B @ 1 @
( ) ( )( ) ( )
-
3
Se escribir queriendo decir que se considera con su escritura de Z Z
3
O-mdulo definida va el morfismo . <
3
131.Z OB OB
3
es un -mdulo finitamente generado, como es un
dominio principal, entonces
Z [ [ [ [ [
3 _____________________ _______________ " # 8 8" 7
TEVXI HI XSVWMSR TEVXI PMFVI
[ OB [ OBC C Z
3 3 3 3
es -mdulo cclico o sea .
3
Z OB
3
es un -mdulo de torsin.
Se debe mostrar que ( )( )( )( ) ( ) ( ) a@ Z b1B OB 1 B ! 1 B @ 1 @ !
3
3
Se considera , es una aplicacin lineal entre - < <
3
3 3 ,Z Z
OB Z O
0 B

0 @
( )
-
( )
espacios vectoriales. Como es de dimensin infinita y es de OB Z
dimensin finita no es inyectiva, esto prueba la afirmacin. <
3Z
132.As con Z [ [ [ E [ E C 1 B
3 " # 8 88 " 88 " "
( ) ( )
E [ E88C 1 B E [ E C 1 B 1 B l1 B
88 # # # 88 8 88 " " 3 3"
( ) ( ) ( ) ( ) ( ) ( ) con
1 B C Z
3 C 3
( ) ker<
3 3
3
, generador de
1 B Z
8
( ) es el polinomio minimal de
3
1 B 1 3 " # 8 "
8 3
( ) es un mltiplo de todos los
1 B 1 B 1 B El producto es llamado polinomio caracterstico
" # 8
( ) ( ) ( )
de . 3
133.Los dependen de adems es independiente de y 1 B 1<+.1 B
3 3
3
( ) ( )
_
3 3
es igual a la dimensin de , y podemos escribir Z
1 B B + B + T B T B
3 " >
> > "
3"
< <
3=
( ) ( ) ( )
3 3
3" 3=
Z [ [ OBC OBC
3 " 8 " 8
donde es llamado submdulo primario. [ [ OBC
"T " 3 T 3" 3=
134. Sea una -lgebra, sea un -espacio vectorial entonces un - P O Z O O
homomorfismo de lgebras es llamado una : P L97 Z Z - ( )
O
representacin de . P
135.Sea se considera es una Z P V P L97 P P
B
V P P
C CB
- ( )
O
B
representacin llamada representacin regular.
P Z Sea una representacin de entonces podemos definir sobre una :
estructura de -mdulo de la manera siguiente P
P Z Z
B @

B @ ( )
-
( )( ) :
o sea se define sobre lo que se conoce con el nombre de una accin de Z
P Z sobre .
Z O P Recprocamente si es un -espacio vectorial sobre el cual actua (es
decir, tiene una estructura de -mdulo) entonces podemos definir una Z P
representacin de de la manera siguiente P

:
:
P L97 Z Z
B
Z Z
@
B@
- ( )
-
O
B

2 RESULTADOS PROBADOS .
1.Mostrar que si es un dominio principal, es un ideal primo entonces V T ! T
es un ideal mximal.
SOLUCIN: Basta probar que si entonces . a+ V + T T + V ( )
Sea el ideal generado por y por . Como es principal, existe ( ) T + T + V
. V T + . : . b< : <. tal que entonces tal que . ( ) ( )
Sabemos que es primo, entonces es irreductible as pero
o,
T :
. "
. :
. : . : . : T no se tiene ya que si , entonces ( ) ( )

+ . : + T po . " entonces, esta contradiccin implica que ( )
as . T + " V
2.Para la otra direccin, es decir, supongamos factorial y todo ideal V

primo es maximal. !
( ) + Mostrar que todo ideal primo es principal
( ) , M V Si es un ideal cualquiera de , considere

ideales de tal que
principal
S
E V
E V E E M
_
( ) ," Mostrar que . S
( ) ,# Mostrar que existen elementos minimales en S.
( ) ,$ VC Considerar un tal elemento de , y considerar el conjunto S
. M VC B VBC M
Mostrar que es un ideal de y que . M VC V M M VC C ( )
( ) ,% M VC V M VC Mostrar que y que luego es principal.
SOLUCIN: Sea un ideal primo distinto de entonces sea ( ) ( ) + T ! ! + T
como es factorial existen elementos irreductibles tales que V : : :
" # <
+ : : :
" # <
entonces existe un tal que 3 " # < : T
( )
3
Si demostramos que es un ideal primo, entonces es maximal o sea ( ) :
3
que , tenindose la afirmacin. ( ) : T
3
Veamos entonces que es primo, sean y . Como ( ) : 7 7 : 7 :
3 " # 3 " 3
V 7 : " es un anillo factorial el mximo comn divisor de y es , as
" 3
existen tales que multiplicando por se tiene < = V " <7 =: 7
" 3 #
7 >7 7 =7 :
# " # # 3
aqu y , luego y por lo tanto es un 7 7 : =7 : : 7 : :
" # 3 # 3 3 # 3 3
( )
ideal primo.
( ) ," M V M V
Para existe un ideal maximal de tal que , adems ,

maximal, tiene elemento unidad, entonces es primo, este V
resultado es un corolario de los siguientes dos hechos:
( ) " V Sea un ideal diferente de . Entonces es un ideal primo si y
solamente si no tiene divisores de cero. V
( ) # V V Si tiene elemento unidad, es maximal si y solamente si es un
cuerpo. Luego de la parte es principal por ser primo , as y ( ) ( ) + S
S .
( ) ,# Consideremos una sucesin estrictamente decreciente de ideales
principales que contiene M
. + + VC M

" #
Siendo factorial entonces (factores irreductibles) V + : :
" " 5
tiene por lo menos elementos irreductibles + #
#

tiene por lo menos elementos irreductibles + 8
8
Como , irreductible . Ntese que + + + + = : : : ; ; ; a3
# # " " # 8 " = 3
"
la sucesin del tipo de arriba no puede ser infinita, pues en caso
contrario los elementos de quedaran descompuestos en un producto M
infinito de factores irreductibles. Por lo tanto habr un ideal menor
principal conteniendo a . VC M
( ) ( ) ,$ 3 : M VC ; M VC entonces esto significa que
( ) ( ) : V :C M ; V ;C M
ahora como es un dominio y como es un ideal V : ; V M
( ) ( ) : ; C :C ;C M : ; V : ; C M : ; M VC o sea que luego
( ) ( ) 33 V M VC M VC
Veamos que
Sea esto significa que existe tal que ; V M VC B V > M VC ( )
; B > > > C M VC > V ; B > C B> C B> V pero as, como

( ) ( )
se tiene que . ; B> C M VC ( )
Ahora ya que claramente Sea entonces M M VC C M VC C M
( ) ( )
D M M VC D BC B V
como , entonces con .

Ahora que entonces en esta forma BC D M B M VC ( )
D BC M VC C ( ) de donde se tiene la igualdad.
( ) ,% M VC V M VC V F
Supongamos esto significa que , as existe

ideal maximal tal que donde no es la unidad. M VC F VD D
Multiplicando por se tiene C
M M VC C VDC VC C
( ) ( )
( )
( ) ( ) C DC C ?DC esta contenencia es extricta ya que si entonces , como
estamos en un dominio y sera invertible o una unidad. Esto " ?D D
significa entonces que no es un elemento mnimo de lo cual VC po S
es contradictorio.
Luego , en esta forma M VC V
M M VC C VC C ( ) ( )
es principal.
3.Sea ; sea un cuerpo cualquiera. Mostrar que los anillos /8>/<9= O

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

claro que es un ideal, veamos que es primo; en efecto sea ( ) B
0 0 0 B 0 B 0 B B
! " # 8
" # 8
1 1 1 B 1 B 1 B B
! " # 7
" # 7
mostremos que
o, 01 ! B 0 ! B 1 ! B
( ) ( ) ( )
o equivalentemente que
01 ! B 1 ! B 0 ! B ( ) ( ) ( )
pero si entonces y como entonces o sea 01 ! B 0 1 ! 1 ! B 1 ! ( ) ( )
! ! !
0 1 ! 1 ! B
! ! !
. Puesto que no tiene divisores de cero se tiene que
0 ! 0 ! B B
!
o sea que de donde es primo. ( ) ( )
Ahora es claro que , donde es el ideal engendrado por ( ) ( ) ( ) B B # B #
los polinomios cuyo trmino constante es un mltiplo de dos, esto indica
que no es maximal ya que . ( ) ( ) B B # B
Ahora tomemos un cuerpo entonces es un anillo factorial, O OB C
veamos simplemente que existe un ideal primo que no es maximal.
En efecto, sea un elemento irreductible, como es un dominio factorial B O
entonces es un ideal primo, el cual esta estrictamente contenido en ( ) B
( ) B C B C , ideal engendrado por con trmino constante nulo, puesto que
( ) ( ) B B C OB C

Se sigue que no es maximal, de donde no es principal. ( ) B OB C

4.Sea un dominio, de grado . Mostrar que si ellos V 0 B 1 B VB 8 ( ) ( )
coinciden en valores distintos, entonces ellos son iguales 8 " .
SOLUCIN:Sean tal que , . Sea 0 B 1 B VB 1<+.0 B 8 1<+.1 B 8 ( ) ( ) ( ) ( )
2 B 0 B 1 B 0 B ( ) ( ) ( ) ( ) el polinomio formado haciendo la sustraccin de
con es claro que 1 B ( )
. 1<+. 0 B 1 B 1<+.0 1<+.1 8 ( ) ( ) ( ) ( ) max
Puesto que y coinciden en valores distintos entonces 0 B 1 B 8 " 2 B ( ) ( ) ( )
tendra races distintas, como entonces necesariamente 8 " 1<+.2 B 8 ( )
2 B ! aB ( )
Luego 0 B 1 B aB ( ) ( )
5.Sea un dominio, si , V 0 B + B + B + B + VB ( )
8 8" " !
8 8"
entonces se define la derivada de por 0 B
w
( )
0 B 8+ B + 3+ B
w 8" 3"
8 " 3
3"
8
( )
_
( ) ( ) ( ) ( ) ( ) ( ) " 0 B 1 B 0 B 1 B Muestre que y que
w
w w
( ) ( ) ( ) ( ) ( ) ( ) ( ) 0 B 1 B 0 B 1 B 0 B 1 B
w
w w
( ) ( ) ( ) ( ) # 0 B 0 B 0 B Mostrar que tiene una raz mltiple si y slo si y tienen
w
una raz en comn.
SOLUCIN: y entonces ( ) ( ) ( )
_
_ _
_ _
" 0 B + B 1 B , B
3! 4!
8 7
3 4
3 4
, as 0 B 1 B + , B ( ) ( ) ( )
_
3
3 3
3
( ) ( ) ( ) ( ) ( )
_ _
0 B 1 B 3 + , B 3+ 3, B
w
3" 3"
3 3 3 3
3" 3"
3+ B 3, B 0 B 1 B
_ _
( ) ( )
3" 3"
3 3
3" 3" w w
Ahora , con , as 0 B 1 B - B - + , 0 B 1 B 3- B ( ) ( ) ( )
_ _ _
( ) ( )
3! 4! 3"
3 3 4 34 3
3 3"
3
w
Se sigue que
0 B 1 B 3+ B , B 4+ , B
w 3" 3 3"
3" 3! 3" 4!
3 3 4 34
3
( ) ( )
_ __ _ _ _
_ _ _ _
0 B 1 B + B 3, B + 3 4 , B ( ) ( ) ( )
_ __ _ _ _
_ _ _ _
w 3 3" 3"
3! 3" 4!
3 3 4 34
3
3
As
0 B 1 B 0 B 1 B 4+ , B + 3 4 , B
w w 3" 3"
3" 4! 3" 4!
3 3
4 34 4 34
( ) ( ) ( ) ( ) ( )
_ _ _ _
_ _ _ _
4 3 4 + , B 3 + , B 0 B 1 B
_ _ _ _
_ _ _ _
( ) ( ) ( ) ( )
3" 4! 3" 4!
3 3
4 34 4 34
3" 3"
w
( ) ( ) ( ) ( ) # 0 B 0 B 0 ! Sea una raz comn a y . Como entonces
w
existe tal que . Derivando tenemos 2 B EB 0 B B 2 B ( ) ( ) ( ) ( )
0 B 2 B B 2 B
w w
( ) ( ) ( ) ( )
haciendo ; se tiene B
! 0 2 2 2
w w
( ) ( ) ( ) ( ) ( )
o sea que es una raz de por lo tanto existe tal que 2 B 2 B EB ( ) ( )
"
2 B B 2 B ( ) ( ) ( )
"
o sea que en esta forma tiene una raz mltiple en 0 B B 2 B 0 ( ) ( ) ( )
#
"
B .
0 B 2 B EB ) Sea ahora una raz mltiple de entonces existe ( ) ( )
tal que . Derivando se tiene 0 B B 2 B ( ) ( ) ( )
7
0 B 7 B 2 B B 2 B
w w
7" 7
( ) ( ) ( ) ( ) ( )
Tomando se obtiene B
0 7 2 2
w
7" 7
( ) ( ) ( ) ( ) ( )
entonces es una raz de , as y tienen una raz comn, 0 B 0 B 0 B
w w
( ) ( ) ( )
aqu debe ser mayor que o igual a . 7 #
Si entonces y no es raz de . 7 " 0 2 ! 0 B
w w
( ) ( ) ( )
6.Mostrar que no es un nmero racional

_
$
SOLUCIN: Consideremos el polinomio el cual es un T B B $ ( )
#
elemento de . Como es un cuerpo de fracciones, segn el criterio B
de Eisenstein
entonces es un polinomio irreductible en . Luego no existe T B B ( )
tal que ya que, si existe , entonces para T ! T B B 2 B ( ) ( ) ( ) ( )
algn y el grado de es uno. Como es irreductible 2 B B 2 B T B ( ) ( ) ( )
entonces es una unidad de , esto es una contracdiccin ya 2 B B po ( )
que las unidades en son las constantes y . B 1<+. 2 B " ( ) ( )
Ntese que = Anlogamente no es una unidad ya que
_
( ) $ B
1<+. B " $ ( )
_
Luego = .
7.Sea un dominio, sea , mostrar que es invertible en si y slo V + V + V

si, l es invertible en es decir , que los elementos invertibles de VB VB
son los de V
SOLUCIN:Si es invertible en , entonces tal que (claramente + V b, V +, "
+ ! , ! V VB y ). Como , entonces
, y , + + !B !B , , !B !B
8 7
entonces
( ) ( ) + !B !B , !B !B +, !B !B
8 7 78
" !B !B
87
que es el elemento unidad de , luego es VB + + !B !B
8
invertible en . VB
Recprocamente, supongamos que es invertible en esto es, existe + VB
: B , , B , B VB ( )
! " 7
7
tal que
( )( ) + !B !B , , B , B " !B !B
8 7 <
! " 7
o lo que es equivalente a
+, +, B +, B " !B !B
! " 7
7 <
segn la definicin de polinomio y la igualdad entre polinomios se sigue
que:
+, " +, ! 3 " 7 <
! 3
de aqu se recibe que
elemento de o sea que es invertible en . +, " , ! V + V
! !
8.Sea un dominio factorial, sea el cuerpo de fracciones de . Sean V O V

1 B 2 B OB OB ( ) ( ) dos polinomios mnicos de tales que el producto
1 B 2 B VB ( ) ( ) . Mostrar que de hecho 1 B 2 B VB ( ) ( )
SOLUCIN: Sea 1 B B B B B + , V ( )
+
, , , ,
+ + # 8" 8 +
3 3
!
! " # 8"
" # 8"
Sea entonces adems . + , , , V +1 B 1 B +1 B VB
! " 8"
"
+
( ) ( ) ( ) ( )
Ahora
1 B +1 B -98> +1 B 1 B ( ) ( ) ( ) ( ) ( ) ( )
" "
+ +
"
donde es un polinomio primitivo. Como es mnico 1 B VB 1 B
"
( ) ( )
entonces el -simo coeficiente de es igual a . Como 8 +1 B + -98> +1 B ( ) ( ) ( )
divide a cada uno de los coeficientes de entonces +1 B ( )
-98> +1 B l+ ( ) ( )
entonces con . Ahora sea + -98> +1 B V - - ( ) ( )
2 B B B B + , V ( )
+
, , ,
+ +
7" 7 w w
3 3
w
!
! " 7"
w w w
w
"
w
7"
Sea entonces , , , ,
w w w
! " 7"
2 B ,2 B -98> ,2 B 2 B ( ) ( ) ( ) ( ) ( ) ( )
" "
, ,
"
con es un polinomio primitivo, as tambin existe tal 2 B VB V
"
( ) "
que . En esta forma se tiene , -98> ,2 B " ( ) ( )
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 es mnico se tiene que entonces 1 B 2 B " ( ) ( )
"
"-

" " "
"-
b " . " - ". ". - ( ) ( )
Luego 1 B 1 B VB 2 B 2 B VB ( ) ( ) ( ) ( )
" "
9.Sea . Mostrar que es irreductible sobre . 0 B B B " 0 B ( ) ( )

% #
SOLUCIN:Sea 0 B B B " B ( )
% #

Afirmacin: es irreductible en . 0 B B ( )
0 B B K<.0 B " 0 B ( ) ( ) ( ) es primitivo en y , entonces basta verificar que
es irreductible en . B
Paso 1. no tiene factor de grado (en ) o sea de una manera 0 B " B ( )
equivalente no tiene raz en . Es claro ya que 0 B ( )
0 " " " " " ! ( )
0 " " " " " ! ( )
0 # "' % " "* ! ( )
0 $ )" * " )* ! ( )

0 8 8 8 " ! ( )
% #
o sea que no tiene factores de grado . 0 B " ( )
Paso 2. no tiene factores de grado , esto como una consecuencia 0 B $ ( )
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 contradiccin en . po
Luego es irreductible en y por lo tanto en . 0 B B B ( )
10.Sea un nmero primo impar. Mostrar que :

0 B B B B " ( )
:" :#
es un polinomio irreductible sobre .
SOLUCIN: ( ) ( ) " 0 B " Basta mostrar que es irreductible sobre .
Consideremos la aplicacin
: B B "
+ B + B "
_ _
-
( )
3! 3!
8 8
3 3
3
3
( )
_ _
3 + B , B esta bien definida, ya que si entonces por definicin :
3! 3!
8 7
3 3
3 3
de polinomio + , a3 8 7
3 3
as o sea esta bien definida.
_ _
( ) ( )
3! 4!
3 4
3 4
+ B " , B " :
( ) 33 es un homomofismo de anillos :
: :
_ _ _ _
_ _ _ _
( ) ( )( )
3! 4! 3! 3!
3 4 3 3 3 3
3 4 3
3
+ B , B + , B + , B "
+ B " , B " + B , B
_ _ _ _
( ) ( )
_ _ _ _
3! 3! 3! 3!
3 3 3 3
3 3
3 3
: :
: :

_ __ _ _ _ _ _
_ _ _ _ _ _
_ _
( )
3! 4! 3! 4! 3! 4!
3 4 4 34 4 34
3 4 3
3 3
3
+ B , B + , B + , B "
+ B " , B " + B , B
_ __ _ _ _ _ _
_ _ _ _
( ) ( )
3! 4! 3! 4!
3 4 3 4
3 4
3 4
: :
es uno a uno ( ) 333 :
: :
_ _ _ _
_ _ _ _
( ) ( )
3! 4! 3! 4!
8 7 8 7
3 4 3 4
3 4
3 4
+ B , B + B " , B "
segn la definicin de polinomio se tiene . 8 7 + , a3
3
3
Luego , en esta forma es un isomorfismo.
_ _
3! 4!
3 4 4
3
+ B , B :
( ) 3@ B B " As todo polinomio irreductible en es irreductible en , por
lo tanto es irreductible en si y solamente si es irreductible 0 B " 0 B ( ) ( )
en .
( ) ( ) @ 0 B " Ahora veamos que es irreductible en .
0 B B B B " ( )
B "
B"
:" :#
:
por lo tanto
0 B " B " " B :B : : " B : ( ) ( ) ( )
( )
( )
B" "
B" " B #
" "
:
:" :# :$
:
Como cada cociente de este polinomio con
"
5x
: : " : 5 " ( ) ( )
excepcin del primero, son mltiplos de y el trmino constante, , no es : :
mltiplo de , se sigue del criterio de Eisenstein que es un : 0 B "
#
( )
polinomio irreductible, de donde es irreductible. 0 B ( )
( )

# ! 3 : G : Mostremos que si , entonces es mltiplo de .
:
3 :
3
Claramente ya que
G
:
3 :
3 3x :3 x 3x 3 3" #"
:x : :" :3" : :" :3"

( ) ( )
( ) ( ) ( ) ( )

El numerador para , es un mltiplo de , mientras que el 3 : :
denominador no lo es, por otra parte , , G : 3 : :
:
3
:" :3"
3 3" #"
( ) ( )
( )

lo tanto es mltiplo de . G :
:
3
( ) ( ) $ 0 B " Usando el criterio de Eisenstein mostramos que es irreductible
en y desde luego tambin lo es B 0 B ( )
0 B " ( )
( )
( )

( )
B" "
B" " B
B B " B B"" :
: :" :" : : :
" 3 :"
3
B B " B
:" :# :3" : : :
" 3 :"
3

( )
Aqu tenemos las condiciones necesarias para aplicar el criterio de
Eisenstein, ya que
, :l " c :l" :l a3 " # : " : l ( ) ( )

: :
3 :"
#
Luego es un polinomio irreducible en como 0 B " B B B " ( ) - :
es un isomorfismo se tiene que es tambin irreductible en . 0 B B ( )
11.Sea y . :
: : :
3" 3"
8 8
3 3
3 3
B B
+ B + B

_ _
-( )
Tmese . Mostrar que es irreductible sobre . 0 B B B " 0 B ( ) ( )
:
( ) ( ) ( ) ( ) ( ) " 0 B 0 B B Mostrar que es irreductible en , para eso. :

:
( ) ( ) + 0 B Mostrar que no tiene raz en .
:
( ) ( ) , 0 B Mostrar que si es una raz de en un cuerpo mayor, entonces
" : " son todas las races.
( ) ( ) - 0 B Mostrar que es irreductible sobre .
: :
( ) ( ) # 0 B B Mostrar que es irreductible en .
( ) ( ) $ 0 B Concluir que es irreductible en . B
SOLUCIN: ( )( ) ( ) " + 0 B Supongamos que es una raz de , esto es,
:

: : :
" ! ! : ! " !
pero ya que as o sea ( ) mod

que . Lo cual es contradictorio por lo tanto no tiene raz " ! po 0 B ( )
en .
:
( ) , : Como es un cuerpo de caracterstica entonces se tiene que
:
, , . ( ) ( ) + , + , + , + ,
: :
: : : :
Tambin se tiene que . B B ! : aB
:
:
( ) mod
As tomemos con , donde es una raz de 3 ! 3 : "
0 B B B " ( )
:
:
en , entonces
0 3 3 3 " 3 3 " ( ) ( ) ( )
:
: :
. " 3 3 ! ( ) ( )
: :
( ) - Por la parte anterior

0 B B B " B 3 B : " B + ( ) ( )( ) ( ) ( ) ( ) ( ) ( ) ( )
_

3"
:"
3
donde . Supongamos que no es irreductible en + 3 0 B B
3 :
( )
entonces existen en con , tal 1 B 2 B B 1<+. 1 B " 1<+. 2 B " ( ) ( ) ( ) ( )
:
que entonces existen y tales que 0 B 1 B 2 B ( ) ( ) ( ) - .
1 B B 3 B 3 B 3 ( ) ( ) ( ) ( ) ( ) ( ) ( )
_

" 5
5"
-
-
y
2 B B 4 B 4 B 4 ( ) ( ) ( ) ( ) ( ) ( ) ( )
_

" 5
5"
.
.
o sea que
otros trminos 1 B B 3 B ( ) ( )
_ _
_
- -
4"
5
4
"
Como entonces , adems 1 B B 3 B ( ) ( )

_

: 4 :
4"
5
con
_ _
( )
4" 4"
5 5
4 4
3 5 3 3 5 : "
entonces o sea esto es una contradiccin por que 5 po 0 B
: :
( )
no tiene races en .
:
B
( ) ( )
_ _
- # B B : B
+ B + B
Veamos que = es un homorfismo :

3" 3"
8 8
3 3
3 3
:
: :
_ _
_ _ _ _ _
_
( ) ( )

3" 4" 3" 3" 3"
8 7 8 8 8
3 4 3 3 3 3 3 3
3 4 3 3 3
+ B , B + , B + , B + , B
+ B , B + B , B
_ _ _ _
_ _
3" 3" 3" 3"
8 7 8 7
3 3 3 3
3 3 3 3
: :
Ahora
: :
_ _
_ _
_ _ _ _ _ _
_ _ _ _
3" 4" 3" 4! 3"
8 7 87 3 78
3 4 4 34 4 34
3 4 3 4
4!
+ B , B + , B + , B
3
+ , B + B , B + B , B
_ _ _ _ _ _
_ _ _ _ _ _
_ _
3" 4! 3" 4" 3" 4"
78 3 8 7 8 7
4 34 3 4 3 4
3 3 4 3 4
: :
As que es un homomorfismo de anillos. :
Si no es irreductible en entonces, como es un 0 B B B " B ( )
:
:
homomorfismo, no es irreductible en lo cual es 0 B 0 B B po ( ) ( ) ( ) :
:
contradictorio ya que en la parte se mostr que era irreductible. ( ) ( ) - 0 B
( ) ( ) $ 0 B B B " es un polinomio mnico de grado mayor que uno,
:
irreductible en luego es irreductible en . B 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
( ) 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 es un elemento trascendente ( 1

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

dar un contraejemplo para ver que es una extensin simple P .
SOLUCIN: Se sabe de la hiptesis que es una extensin de caracterstica P
: O P P O primo, o sea que as existe tal que esto implica que
O O O O " y por lo tanto . 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 y por lo tanto , O O : P O " ( ) ( )
esto equivale a decir que . O P ( )
Lema: Sea una extensin de se tiene . P O P O " P O
En efecto, Es evidente, si entonces . P O P O "
P O " P O O P Ahora si y como es un espacio vectorial sobre y
por lo tanto se puede considerar como espacio vectorial sobre si O
mismo, as es un subconjunto vectorial de de dimensin uno, as O P 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 sobre es infinito E .
SOLUCIN: Sea un nmero entero arbitrario, ahora 5 " 8 # E
_
8
pues y se tiene que , as , 0 B B # B 0 # ! T B # ( )
_
8 8
#
8
8
_
|
pues es irreductible, por el criterio de Eisenstein, entonces B #

8
T 8 # E

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

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

dividimos ahora por , supngase + + !
! !
" !
+ +
+ + +
# 8 +
" #
! ! !
8

"
+ +
+ + +
# 8 +
" #
! ! !
8

+ +
+ + +
+ 8" " #
! ! !
8
ahora , y . Como es un anillo a3 O V V V
+
+
3
!

" V
+ +
+ + +
+ 8" " #
! ! !
8
As, con de donde es invertible, como es arbitrario se " V " "
sigue que cualquier elemento no cero es invertible por lo tanto es un V
cuerpo.
( ) # O
P
Recprocamente, supongamos que no es una extensin algebraica
l
sobre , esto es existe tal que se tiene O C P a0B OB 0 C ! ( )
consideremos entonces el anillo de los polinomios en , que es ahora OC C
un elemento trascendente sobre , claramente y como O O OC C P
entonces , as hemos obtenido un anillo entre y OC P V OC O P
(anillo intermediario) de la hiptesis se tiene entonces que es un OC
cuerpo, esto es claramente una contradiccin ya que sera un po
"
C
polinomio.
16.Sean cuerpos. Sea , el cual es algebraico sobre . O P Q Q O

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

3
( ) ( )
entonces es algebraico sobre . P
( ) ( ) , T B O T B Sea el polinomio minimal de sobre y el polinomio
lO lP
minimal de sobre . P
Afirmacin: T B T B
lO lP
|
Supongamos que esta relacin es falsa, o sea entonces T B T B
lO lP
|
existen polinomios de grado mayor que tales que ( ) ( ) B B "
T B B T B B "
lP lO
( ) ( )
Ahora como esa igualdad se cumple para , en particular para se tiene B
T T "
lP lO
( ) ( )
Como y se sigue que , lo cual es T ! T ! ! " po
lO lP

contradictorio. Esta relacin nos afirma por lo tanto que
1<+. T B 1<+. T B
lP lO
donde indica el grado del polinomio. 1<+.
( ) ( ) - Ahora se sabe de la teora general cal? , que
O O 1<+. T B 1<+. T B P P ( ) ( )
lO lP
de donde se tiene la demostracin de . ( ) -
17.Sea , donde es una raz de 0 B B " " 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 "
B B B B B B B "
' & % % $ #
es irreductible sobre , adems es una raz de ; por lo tanto 0 B ( )
T B B B B B B B B "
l
' & % % $ #
( ) ( ) , + De la parte se sabe que es algebraico sobre por lo tanto por un
teorema de la teora general cal? se tiene que ( )
1<+. T B ' ( )
l
18.Sea un cuerpo, la clausura algebraica (o la cerradura algebraica) O H

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

:" :#
Sea la cerradura algebraica de . Hallar las races de en E 0 B

" # :"
( )
E, y mostrar que . : " ( )
" # :"
SOLUCIN: Ntese que , luego cualquier 0 B B B B " ( )
:" :# B "
B"
:
raz de es raz de , o sea, se trata de las -simas races de la 0 B B " : ( )
:
unidad distintas de o ms exactamente "

5
/ 5 " # : "
# 35
:
1
Sea una raz -sima de la unidad, entonces cualquier otra raz es A " :
una potencia de , ya que las races de la unidad forman un grupo cclico. A
Sea las races de . Como
" # :"
:" :#
: " 0 B B B B " ( )
0 B : " ( ) ( ) es irreductible sobre se sigue que
3
Afirmacin: ( ) ( )
" # :" 3

En efecto, se tiene trivialmente que . Ahora ( ) ( )
3 " # :"

veamos el recproco; basta ver que cada una de las races ,

4
4 " # : " esta en . Se sabe que las races de la unidad distintas ( )
3
de forman un grupo cclico, as supongamos que una cualquiera " A
3
de las races de la unidad distitas de entonces "

" # :"
A A A
1 1
1

" #
:"
donde es una cualquiera de las permutaciones del conjunto 1
4

" # : ", por lo tanto

" 3 # 3 :" 3
U
ya que son justamente las potencias de , as como es el
3 " # :"
( )
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 . En el 0 B B # ( )

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

# 1<+. 0 B $
_
( )
$
Ahora puede ser factorizado en en la siguiente forma 0 B # B ( )
_
$
donde 0 B B # 2 B 2 B B #B # ( ) ( ) ( )
_ _ _
$ $ $
#
#
Ahora tenemos que
es un polinomio mnico ( ) ( ) " 2 B
es irreductible en , pueto que y . ( ) ( )
_ _
# 2 B dB #A d #A d
$ $
#
Entonces estas dos propiedades de , segn uno de los criterios que se 2 B ( )
conocen para irreductibilidad de polinomios, esto equivale a decir que
es irreductible sobre .
ww
ww
2 B # ( )
_
$
Luego , ahora
_ _ _
( )
$ $ $
# #A # 1<+.2 B #

_ _ _ _ _
$ $ $ $ $
# #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 un grupo y dos subgrupos normales de tales que K L L K K L

" # "
( )
y son finitos entonces, usando teoremas de homomorfismos, es ( ) K L
#
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
" # " # " " # # " #
SOLUCIN: Para probar que , basta probar que ( ) ( ) L L L L L L
" # " # " #
.
L L L
L L L
# # "
" # "
En efecto, si y entonces ya que y ( ( L L 2 L 2 2 L L K
" # " " "

"
2 2 L L 2 2 L L
" "
# # " #
( ( ( con . Por lo tanto de donde se sigue que
L L L L L B B L
" # # # " " # "

. Ahora es un subgrupo, ya que no es vaco y si
L B 2 8 B 2 8
# " " " # # #
, entonces ; as
B B 2 8 8 2 2 8 2 2 2 2 8 2 28
" " " $ " # $ %
# # # # # #
" " " " " "
"
donde
y 8 8 8 L 2 2 2 L 2 8 2 8 L
$ " " " # # $ % "
# # #
" " "
ya que por hiptesis . Por lo tanto y es un
-
L K B B L L L L
" " # " # "
#
"
subgrupo de . Sea definida por . Entonces es K L 2 L 2 F F F
# "
L L
L
- ( )
# "
"
claramente sobre, es decir, . F( ) ( ) L "
#
L L
L
# "
"
Por el teorema de homomorfismos F( ) ( ) L #
#
L
#
kerF
donde . kerF F BB L B " BBL L B L
# # " "
Si entonces y si , entonces . Por lo L B L " B B L B L L B L
" " " " " "
tanto se tiene kerF BB L B L L L $
# " " #
( )
De y se tiene ( ) ( ) ( ) " # $
L L L
L L L
" # #
" " #
Luego .
L L L
L L L
# " " # " #
( ) ( )
( ) ( )
" # #
" " #
L L L L L L % [ [ ( )
Ahora sea
todos los subgrupos de k :
L L " # " #
L L
L L
" #
" #
" #
L L L L ---- [
[ [
L L " #
" #
L L L L
Tomemos en particular , en efecto;

-
L L L L
" L L " " #
[
" #
B2B 2 2 22 2 2 2 2 L
" " " "

#
" # " "
# " "
B L L B 2 2
" # "
L K 2 K
" #
-
As como , se tiene una condicin necesaria y suficiente para que
-
L L L
" " #

-
L L L
L L L L
" " #
" # " #
En esta condiciones, siguiendo a el teorema de isomorfismos existe uno y

slo un isomorfismo
k :
L L
L L L L L
L L L L L
" #
" # " # "
" " # " #
-
tal que o sea la conmutatividad del siguiente k k K k
L L L L L L
" " # " # "

diagrama
L L
" #
L L
-
k
L L
" #
" #
L L
" #
]

]
k k
L L
" "

L L
L
" #
"
-
k
L L
" #

L L L
L L L L
" # "
" # " #
As o sea que
L L
L
" #
"

L L L
L L L L
" # "
" # " #

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 un cuerpo, dos subcuerpos P O O
" #
tales que es finito. Sea el menor O O O O O
# " # " #
subcuerpo de que contiene a y a P O O
" #
( ) " O O O Verificar que es algebraico sobre .
" # "
( ) # Sea una base de sobre entonces estos
" # 8 # " #
O O O
elementos son un sistema de generadores de sobre como espacio O O O
" # "
vectorial.
( ) $ O O O O O O Concluir que .
" # " # " #
( ) % Para ver que la desigualdad puede ser estricta se considera el polinomio
0 B B # B 0 B ( ) ( )
$
" # $
; sea una raz real de y las races
complejas; tome y mostrar que O O
" " # #

( ) + O O
" #

( ) , O O O # $ O O O
" # " # " #
SOLUCIN: Se sabe que es una extensin finita y que es ( ) " O O O O
# " # "
una extensin de por , que mostreramos seguidamente, existen O O #
" #
( )
elementos tales que
" # 8 #
O
. O O O
# " # " # 8
( )( )
Entonces y por lo tanto es finitamente O O O O O O
" # " " # 8 " # "
( )
generado por elementos algebraicos entonces es una extensin O O O
" # "
finita luego es algebraica as es algebraico sobre . O O O O O O
" # " " # "
( ) # O O O Sean una base de . Entonces ciertamente
" # 8 # " #
O O O O O O
# " # " # 8 # " # " # 8
( )( ) ( )( ) como es
finitamente generado y es una extensin de , ambas ( )
" " # " #

O O O O O
estan contenidos en , entonces P
O O O
" # " " # 8
( )
y as es finitamente generado sobre , esto significa que O O O
" # "
O O O
" # 8 " # "
es un sistema de generadores de sobre .
.
( )
# " #
Se dice que es finitamente generado sobre si existe una O O O
familia finita de elementos de tales que
" # 8 #
O
O O O
# " # " # 8
( )( )
.
( ) ( ) ( ) $ " # Como una conclusin obvia se sigue de las partes y que
O O O O O O
" # " # " #
( ) ( )
_ _ _
% + O # O # 3 #A Sea y .
" #
"
# #
$

$ $ $
_
Sabemos por el problema 20 que ya que es O 1<+. B # $ B #
"
$ $
( )
irreductible sobre . Ahora
O O O O O O $
" " " # " #

O O O " O O O " O O O
" " # " " # " " #
ya que si , entonces pero
esto es imposible ya que y . Luego necesariamente O O O O
" # " #
O O " O O
" # " #
, esto es equivalente a afirmar que . 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 # B #
" # "
$
, por otra parte es un polinomio irreductible sobre
por lo tanto . O O O 1<+. B # $
# " #
$
( )
Luego
. O O O O O O
" # " # " #
23.Sea el cuerpo de los nmeros algebraicos. Mostrar que tiene un E E

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

primo a8 b: 8 " b E?>El 5
3 "3:"
Esto indica que el nmeros de automorfismos de es infinito. E

24.Sea un cuerpo, una clausula algebraica de . Sea y el O O T B H H
lO
polinomio minimal de sobre . Mostrar que O
races de E?> lO T B 5 5 H ( )
lO
SOLUCIN: ( ) " E?> lO, supongamos que 5 5 5 H
T B + + B + B + B
lO ! " # 8
# 8
Ahora veamos que es T
lO
5 ( )
T + + + +
lO ! " # 8
# 8
5 5 5 5 ( ) ( ) ( )
+ + + + ! !

+ + E?> lO
3 3
! " # 8
# 8
5 5 H
5 5
( ) ( )
( ) ( )
Luego races de 5 ( ) T B
lO
( ) - # T B M. O O Sean races de y es homomorfismo idntico, "
lO
entonces segn la teora general existe un homomorfismo : "
w
O O ( ) ( )
que es una extensin de mediante la aplicacin M. O O
- - - - - - - -
! " # 8 ! " # 8
# 8 # 8
" " "
:
w
es inyectiva
: : : " " " " " " :
w w w # 8 # 8 w
! " # 8 ! " # 8
( ) ( ) ( ) ( ) > 6 > > > > > 6 6 6 6 6
por definicin de polinomio se recibe
, . > 6 > 6 > 6 > 6
! ! " " 3 " 8 8
As
> > > > > 6 6 6 6 6
! " # 8 ! " # 8
# 8 # 8

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

w
isomorfismo. Mostrar que es algebraicamente cerrado. H
w
SOLUCIN: ( ) ( )
_ _
( )
3 B B B
+ B + B
H H : H
:
:
3! 3!
8 8
3 3
3 3
w
es un isomorfismo
: es uno a uno

_ _
( ) ( ) ( ) ( )
3! 4!
8 8
3 4 3 3
3 4
: : : : + B , B + , a3 ! " 8
Como es un isomorfismo de sobre entonces , de : H H
w
3 3
+ , a3 ! " 8
donde se tiene que
_ _
3! 4!
8 8
3 4
3 4
+ B , B
: es sobreyectiva
Sea , puesto que entonces existe tal
_
3!
8
3 3 3
3
- : H - : H H B B a3 - a3
que . Tomando se tiene que - : H
3 3 3
3!
8
3
- a3 - B B ( )
_
: : -
_
_ _ _
( )
3! 3! 3!
8 8 8
3 3 3
3 3 3
- B - B B
:es un homomorfismo de anillos
: : : : :
_ _
_ _ _ _ _
_
( ) ( ) ( ) ( ) ( )
3! 4! 3! 3! 3!
8 8 8 8 8
3 4 3 3 3 3 3 4
3 4 3 3 3
+ B , B + , B + , B + , B
+ B , B + B , B
_ _ _ _
( ) ( )
_
_ _
3! 4! 3! 4!
8 8 8
3 4 3 4
3 4 3 4
: : : :
8
Ahora;
: : :

_ _ _
_ _ _ _ _ _
_ _
_
3! 4! 3! 3!
8 8 8 3 8 3
3 4 5 35 5 35
3 4 3 3
5! 5!
+ B , B + , B + , B

+ , B + B , B + B , B
_ _ _ _ _ _
_ _ _
( ) ( ) ( ) ( )
_ _ _ _
3! 3! 4! 3! 4!
8 3 8 8 8 8
5!
5 35 3 4 3 4
3 3 4 3 4
: : : : : :
( ) ( ) ( )
_
( ) 33 : B + B B : B Si es un polinomio irreductible en entonces es
3!
8
3
3
H :
tambin irreductible en . En efecto, supongamos que no es H :
w
B : B ( ) ( )
irreductible entonces esto significa que existe tal que 2 B B ( ) : H
2 B l : B B B ( ) ( ) ( ) : : H H Puesto que es un isomorfismo de sobre entonces
w
tomamos la aplicacin inversa :
"
: : : :
" " "
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 2 B l : B 2 B l: B
como es tambin un polinomio con coeficientes en entonces : H
"
( ) ( ) 2 B
resultara que no es irreductible. : B ( )
( ) ( ) ( ) ( ) 333 0 B B 0 B Sea una raz de entonces es una raz de , en H : :
efecto, supongamos que
y 0 B + + B + B 0 ! ( ) ( )
! " 8
8
Ahora,
: : : : : ( ) ( ) ( ) ( ) ( ) ( ) ( ) 0 B + + B + B + B J B
! " # 8
# 8
:
as
J + + + +
:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) : : : : : : : :
! " # 8
# 8
+ + + ! ! : : ( ) ( )
! " 8
8
( ) ( ) ( ) ( ) 3@ 1 B B 3 0 B B Sea un polinomio arbitrario por existe tal : H H
que . Ahora es algebraicamente cerrado entonces existen : H 0B 1B

" # 8 " # 8
0 B 0 B B B B races de tales que . ( ) ( ) ( )( ) ( )
Por se concluye que son races de ( ) ( ) ( ) ( ) ( ) ( ) ( ) 333 0 B 1 B : : : :
" # 8
por lo tanto , esto implica que 1 B B B B ( ) ( )( ) ( ) ( ) ( ) ( ) : : : H
" # 8
w
es algebraicamente cerrado.
26.Sea una cerradura algebraica de un isomorfismo. H : H H : H O - ( )

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

que es lgebraico sobre , es la nica cerradura algebraica H Y O
de contenido en O . Y
SOLUCIN: Es fcil mostrar que si es algebraicamenta cerrado, entonces Y
H Y O O Y es lgebraico sobre es la cerradura algebraica de en .
En efecto sea de grado , se tiene por otro lado que 0 B B " ( ) H
0 B B YB Y Y
( ) H , siendo algebraicamente cerrado existe tal que

0 ! ( ) H , en esta forma es algebraico sobre , pero ahora por la
transitividad de la algebrizacin se tiene que es algebraico sobre O
entonces . Se sigue entonces de la definicin que es algraicamente H H
cerrado y se concluye finalmente que es cerradura algebraica de H O
Sea otra cerradura algebraica de en H
"
O Y
H Y O y es algebraico sobre entonces
H H H
" " "
( ) es una extensin algebraica sobre , como es algebraicamente
cerrado se sigue que entonces en esta forma . H H H H H
" " " "
( )
De una manera totalmente semejante, se prueba que , luego . H H H H
" "

28.Sea un cuerpo, . Sea su cuerpo de factorizacin de O 0 B OB P 0 B ( ) ( )

sobre . Sea un cuerpo algebraicamente cerrado, y un O Y O Y : -
isomorfismo. Sea donde 0 B + + B + B + + +
" ! " 8 ! " 8
8
( ) ( ) ( ) ( ) : : :
son los coeficientes de (es decir, ). 0 B 0 B + + B + B ( ) ( )
! " 8
8
( ) " P Sea una extensin de hasta (la cual sabemos que existe, pues G :
PO P es algebraico). Mostrar que es un cuerpo de factorizacin de G( )
0 B O
"
( ) ( ) sobre . :
( ) ( ) ( ) # P P P Si y son dos extensiones de hasta , entonces . G G : G G
" # " #
SOLUCIN: ( ) ( ) ( ) ( ) " 0 B 0 B Sea una raz de entonces es una raz de . En G
"
efecto, ahora 0 + + + ! ( )
! " 8
8
0 + + +
" ! " 8
8
( ) ( ) ( ) ( ) ( )( ) ( ) ( ) G : : G : G
La construccin de es tal que | por lo tanto G G :
O

ya que : G ( ) ( ) + + a3 + O a3 ! " # 8
3 3 3
As
. 0 + + + ! !
" ! " 8
8
( ) ( ) ( ) ( ) G G G
Por hiptesis es el cuerpo de factorizacin de entonces existen P 0 B ( )

" # 8 " # 8 3
P P O 0 B tal que como cada es raz de ( ) ( )
entonces es tambin raz de , as G ( ) ( )
3 "
0 B
. 0 B B B B
" " # 8
( ) ( )( ) ( ) ( ) ( ) ( ) G G G
Ahora como es el cuerpo ms pequeo que : G G G ( )( ) ( ) ( ) ( ) O
" # 8
contiene a se sigue que G G G ( ) ( ) ( )
" # 8

. G : G G G ( ) ( )( ) ( ) ( ) ( ) P O
" # 8
Por lo tanto es el cuerpo de factorizacin de . G( ) ( ) P 0 B
"
( ) ( ) ( ) ( ) ( ) # " P P 0 B Segn la parte y son cuerpos de factorizacin de G G
" # "
Segn la parte y son cuerpos de factorizacin ( ) ( ) ( ) " P P G G
" #
de sobre o sea que 0 B O
"
( ) ( ) :
, G : G :
" " # 8 # " # 8
( ) ( )( ) ( ) ( )( ) P O P O
donde son las races de y como se encuentran dentro de
" # 8 "
0 B ( )
un cuerpo algebraicamente cerrado se sigue de la teora general que
G G
" #
( ) ( ) P P .
29.Sea . Hallar: Todos los -isomorfismos de en P # 3 P

_
( )
$
( ) 33 P Todos los isomorfismos de en
( ) 333 P Todos los -automorfismos de
( ) 3@ P Todos los automorfismos de
SOLUCIN: ( )
_ _
3 P # # Sea puesto que es lgebraico sobre
$ $
entonces los -isomorfismos de en son dados por P
" "
_
( ) ( )
$
$ # : B B # donde es cualquier raz de
_
#l
$

_
Por lo tanto los -isomorfismos son : M. #
"
$

_
$
#
donde : :
# $
#
# #A # #A
_ _ _ _

$ $ $ $
A
" $3
#
_

Puesto que una extensin de , entonces son
|
: : :

_
$
#
" # $
los nicos -isomorfismos porque si es un nuevo 3 #
_

$
-isomorfismo, entonces, l debe mandar una raz de en una raz B #
$
de
3 3 3 ( ) ( ) ( ) B # " B # B #
$ $ $
/= ?8 3=979<03=79 3
As que coincide con alguno de los -isomorfismos anteriores, 3 : : :
" # $

ya que segn el teorema fundamental del lgebra slo tiene races. B # $
$
( )
_ _
33 # P # Los isomorfismos de y como es una extensin
$ $
de ellos deben mantener a fijo por lo tanto son los -isomorfismos
: : :
" # $
3 determinados en la parte . ( )
( ) 333 Para calcular el nmero de -automorfismos aplicamos el problema 24
( )
_
5 5 E?> # l
$
nmeros de races de que hay en B # # #
_ _
$
$ $
Luego es la aplicacin que deja a fijo y manda en o sea es el 5 5
_ _
$ $
# #
automorfismo idntico.
( ) ( ) 3@ 33 P Anlogamente al caso los automorfismos de deben mantener a
fijo ya que es una extensin y es lgebraico sobre por lo tanto el
|
P
#
_
$
nico automorfismo es el idntico.
30.( ) " O O 8 " Sea un cuerpo, una cerradura algebraica de . Para sea H
O O
"
:
8
8
H
:
( ) " O O Mostrar que es perfecto es perfecto
"
:
( ) # O O a7 Mostrar que ms generalmente es perfecto es perfecto
" "
: :
8 7
( ) $ O O Llamando a la cerradura perfecta de en . Mostrar que
"
:
H
, o O O "
"
:
,
SOLUCIN: ( ) - " O O O
B B
) Si es perfecto y entonces eso quiere decir :
:
que . Ahora , o sea : : : : ( ) ( ) ( ) ( ) O O O O O O O O
" " "
: : : :
"
#
"
:
O O O :( )
"
:
de donde es perfecto. O
"
:
O O O O O ) Se sabe que por lo tanto

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

O O O
"
: : :
#
" "
"
:
:
:
de donde
. O O O O
" "
: : :
"
#

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

de donde es perfecto para todo . O 7
"
:
7
7 8 O O ) Es evidente pues en particular para se tiene que o
"
: :
8 8"
"
sea es perfecto. O
"
:
8
( ) ( ) ( ) $ O " # O O Si es perfecto entonces se sigue de las partes y que
"
:
por lo tanto en ese caso . O O "

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

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

O : ! 0 B B + B + OB puede ser . Sea ( ) ( )
8 8"
" 8
0 B 8B 8 " + B +
w 8" 8#
" 8"
( ) ( )
( ) " Mostrar que las condiciones siguientes son equivalentes:
( ) ( ) 3 0 B !
w
es del tipo ( ) ( ) ( ) 33 0 B 0 B B , B , B ,
<: <" : <3 :
" 3 <
( ) ( )
( ) # Ya fue demostrada la equivalencia de las siguientes condiciones
tiene una raz mltiple en ( ) ( ) 333 0 B H
y tienen una raz en comn en ( ) ( ) ( ) 3@ 0 B 0 B
w
H
( ) ( ) ( ) ( ) + 0 B 3 333 Mostrar que si es irreductible, entonces las condiciones y
son tambin equivalentes.
( ) ( ) ( ) ( ) , 0 B 3 333 Dar un ejemplo para mostrar que si no es irreductible y no
sern equivalentes.
SOLUCIN: ( ) ( ) " : ! 0 B + + B + B B Si se tiene
8 8" 3
! ! 3" <! ( )
entonces 0 B !
w
( )
Recprocamente, si entonces . 0 B ! 0 B -98=>
w
( ) ( )
Si entonces , derivando se : ! 0 B B , B , B , ( )
<: <" : <3 :
" 3 <
( ) ( )
tiene 0 B :B : < " , B : < 3 , B :,
w < :" <" :" <3 :"
" 3 <"
( ) ( ) ( )
( ) ( ) ( )
puesto que y caracterstica de entonces , luego , O : O :, ! a3
3 3
0 B !
w
( ) .
Recprocamente derivando se tiene 0 B B + B + ( )
8 8"
" 8
0 B 8B 8 " + B #+ B +
w 8" 8#
" 8# 8"
( ) ( )
puesto que se sigue de la definicin de igualdad de polinomios 0 B !
w
( )
que pero esto 8B !B 8 " + B !B #+ ! + !
8" 8" 8# 8#
" 8# 8"
( )
significa que salvo en 8 7: 8 " + 7" : #+ 7< : ( ) ( ) ( )
" 8#
aquellos coeficientes donde , as + !
3
0 B B + B + B + ( )
7: 7" : 73 :
" 3 7
( ) ( )
lo cual deseabamos mostrar.
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) # + 3 333 B + 0 B 0 B B + 1 B Sea una raz de entonces en , H
derivando se tiene ahora por ser raz y 0 B B + 1 B 1 B 0 + ! +
w w
( ) ( ) ( ) ( ) ( )
0 + ! 3 0 B 0 B
w w
( ) ( ) ( ) ( ) por la hiptesis . Luego y tienen una raz en comn
puesto que se sigue que tiene una raz mltiple en . ( ) ( ) ( ) 3@ 333 0 B H
( ) ( ) ( ) 333 3 0 B Si es irreductible, eso significa que los nicos divisores de
0 B " 0 B 0 B 0 B 0 B ( ) ( ) ( ) ( ) ( ) son y . Si tiene una raz mltiple entonces y tienen
w
un factor comn no trivial en ; luego , como es OB 0 B 0 B " 0 B ( ) ( ) ( ) ( )
w
irreductible entonces en particular ( ) ( ) ( ) ( ) 0 B 0 B 0 B
w
0 B l0 B 0 B !
1<+.0 B 1<+.0 B
( ) ( ) ( )
( ) ( )
w w
w
( ) , 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 B & % & B "! $ & B "& % & B
w % * "%
( ) ( ) ( ) ( )
y no se tiene claramente que tenga races mltiples 0 B ( )
tiene 15 races en y como slo tiene 5 1<+. 0 B "& 0 B ( ) ( ) ( )
& &
elementos, entonces estas races tiene que ser mltiples.
Un segundo ejemplo es el siguiente: Sea un cuerpo de caracterstica O
: # 0 B B " 0 B OB . Sea , no es irreductible. Ahora ( ) ( ) ( )
#
0 B # B " ! 0 B
w
( ) ( ) ( ) . Adems tiene una raz mltiple.
31.Muestre que si es perfecta y irreductible entonces y O 0 B 0 B ! ( ) ( )

w
luego no tiene races mltiples. 0 B ( )
SOLUCIN: Supongamos que , entonces segn la parte del 0 B ! "
w
( ) ( )
problema 30 es del tipo se considera 0 B : ! ( ) ( )
0 B B , B , B , ( )
<: <" : <3 :
" 3 <
( ) ( )
ahora puesto que todos los coeficientes 0 B OB , O O O ( ) ( )
3
:
:
(donde ) por lo tanto para cada existe un de tal forma que : O O , +
B B
-
:
3 3
, + a3 " <
3
3
:
, as
0 B B , B , ( )
<: <" :
" <
( )
B + B + B + B + + B
<: <" : <# : <3 : : 4
" #
: : :
3 <
4!
<
4
:
( ) ( ) ( )
_ _
_
lo cual es una contradiccin con el hecho de que era un polinomio 0 B ( )
irreductible. Por lo tanto y se sigue que no tiene races 0 B ! 0 B
w
( ) ( )
mltiples en esto segn la parte del problema 30. Si entonces H ( ) 333 : !
sea y considrese . Entonces y tiene grado + : B T B : B ! : B H ( ) ( ) ( ) ( )
lO
w w
menor que el de . Puesto que no devide a se sigue que : B : B : B ( ) ( ) ( )
w
: + ! + O lO
w
( ) , as es separable sobre y se concluye que es separable. H

32. Sea una familia de extensiones normales de todas P O
3 3M
contenidas en la misma cerradura algebraica de Mostrar que H O
( ) " P O es normal sobre
3 M
3
( ) # O P3 O es normal sobre
3 M
SOLUCIN:( ) ( )
_
" M=9 P3 l M=9 P
3
Sea tal que as : H : H
O P O 3
3
: : ( )
3 M 3 M 3 M
P P P O
P P P

3 3 3
:( ) ( )
3 3 3
es normal sobre
por lo tanto es normal.
3 M
P
3
Tambin se puede hacer, tomando un polinomio irreductible 0 B OB ( )
teniendo una raz en , esto significa que es irreductible y
3 M
P 0 B OB
3
( )
tiene una raz en para todo , puesto que es normal sobre se P 3 M P O
3 3
sigue que tiene todas sus races en , para todo , as siguiendo la 0 B P 3 M ( )
3
definicin de interseccin es irreductible y tiene todas sus 0 B OB ( )
races de donde es normal sobre .
3 M 3 M
P P O
3 3
( ) - # M=9 O P3 O P3 O Sea es decir, es un - : H : H
O

3 M 3 M
isomorfismo. Sea entonces 0 0 O P3
3 M
_
_
"3 3 8
" 5
3 3 3
" #
8 "
3
"
8
38
"4 4 4 8
" #
8
4 4
" 5 "
4
"
5
4
5
+
,

de esto, puesto que es un -isomorfismo, tenemos : O
: 0 ( )
_
( ) ( )
_
( ) ( )
"3 3 8
" 5
3 3 3
" #
8 "
3 3
"
8
8
"4 4 4 8
" #
8
4 4
" 5 "
4 4
"
5
5
+
,
: :
: :
Ahora, puesto que los son normales, entonces . P P
3 3 3 3
3 4
: : ( ) ( )
5 5
3 M
Luego , as es : 0 : ( ) O P O P O P O P

3 M 3 M 3 M 3 M
3 3 3 3
normal sobre . O
33.Sea considrese . # #
_ _

' '
( )
_
" # Calcular el polinomio minimal de sobre .
'
( )
_
# # Mostrar que no es normal sobre .
'
( )
_
$ P P # P
Sea el menor cuerpo tal que y adems que sea normal

'
sobre . Calcular . P
SOLUCIN:( ) ( ) " T B B # es el polinomio irreductible, segn el criterio de
'
Eisenstein, ya que y . As #l " #l# % l # # 1<+. T B '
_
( )
'
'
_
#l
( )
_
# # no es normal sobre , ya que
'
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 , por lo tanto
_
'
# B #
'

_
'
# no es normal.
( )
_ _ _
$ P # $3 P # P

' '
es el menor cuerpo tal que de manera que
es normal sobre , ya que si es otra extensin normal de que Q
contiene las races de entonces va a contener en particular a y B # #
'
_
'
_
$3 B # ya que cualquier raz de es una combinacin lineal sobre de
'
_ _
'
# $3 y . Ahora
P # $3 $3 $3
_ _ _ _
'
1<+. T B 1<+. T B B # B $
_
( ) ( ) ( )( )
_

_
_ '
#l $3
$3l
' #

' # "#
34.Hallar un ejemplo de un cuerpo y de una extensin algebraica tal O P

que pero no sea separable (Nota; por un resultado bsico una OP P PO
:
tal extensin deber ser infinita)
SOLUCIN: Sea un cuerpo de caracterstica no perfecto (un tal cuerpo O :
existe, por ejemplo ). Tomando se tiene que
:
( ) B P O
"
T
OP O O OO O P
:
:

" "
: :

"
T
puesto que no es perfecto entonces existe tal que por O 8 O O
"
: :
8 8"
"
lo tanto existe y lo cual es equivalente a / O O
"
: :
8"
"
, O O
: " :
8 8
entonces entonces es irreductible sobre adems , O O B , O
: :
8"
adems es una raz de este polinomio entonces
B , T B
:
lO
8"
( )
su derivada,
T B : B !
l5
w 8" : "
( )
8"
por lo tanto no es separable. PO
35.Sea un cuerpo, su cerradura perfecta. Sea una extensin O O P

"
:
algebraica de Mostrar que es perfecto . En particular una O P P O
"
:
extensin algebraica de un cuerpo perfecto es perfecto.

SOLUCIN: P O Supogamos que es perfecto, entonces sea
"
:
entonces existe tal que entonces 8 O P

: :
:
8" 8

_ _ _ _

: : : :
8 8" 8# 8"
: :
P P
P P

perfecto perfecto

prosiguiendo este proceso se llega finalmente que , as P O P
"
:
O O O Obsrvese que es perfecto, entonces . Toda

" " "
: : :

:
extensin algebraica de un cuerpo perfecto es perfecta, demostremos que
si es algebraico entonces es perfecto, es decir, PO P
"
:
( )( )

a, P b- P - , / " : -+<+->P
:
/
O P T B T B "
l
O
"
:
"
:
"
:
( ) ( ) ( ) Sea y es una base de

lO
# 8"
O O , O , ,
"
T
" "
: :

( ) ( )
_
sobre . Sea entonces , tomando la
4!
8"
4
4
potencia se tiene :
/
como Entonces , , , O O
: :
4!
8"
4 4
: :
4
:
/ /
/ / " "
: :

/
_

, - - - O
: :
4!
8"
4 4
4 / /
"
:
/
_
puesto que son base de se sigue que " O O

: 8" : :
:
/ / /
" "
: :
/
/
( )
( )

por lo tanto . - O - P
"
:
36.Sea un cuerpo de caracterstica una extensin puramente O : P

inseparable de grado finito. Mostrar que es igual a una potencia de P O :
SOLUCIN: Puesto que es de grado finito la podemos considerar, sin perder P
generalidad, como simple, digamos que . Sea el ms P O / ! ( )
pequeo entero tal que , y sea . Entonces no es una
: :
/ /
O + +
: O B + -sima potencia de algn elemento de , y por lo tanto es
:
/
irreductible en (puesto que . Se sigue que es una raz del O + O O
:
polinomio , este es el polinomio minimal de por lo tanto B +

:
/
. P O O O 1<+. B : ( )

: /
/
37.Sea un cuerpo de caracterstica . una cerradura algebraica. Sea O : H

H T B O 8 y su polinomio minimal sobre . Sea el grado de
lO !
( )
separabilidad de , su grado de inseparabilidad. T B :
lO
/
( )
( ) " O Mostrar que es separable sobre "
:
/
( ) # O O O

Naturalmente, tenemos las inclusiones . Mostrar que "
O O ( ) " es puramente inseparable sobre
( ) $ O O O Mostrar que es separable sobre " 0 0
( ) ( ) % O O 8 O O : Concluir que
=/: ! 38=/:
/
SOLUCIN:( ) ( ) ( ) " : T B : B ! Sea si no es separable entonces por lo
/ lO
: w
/
:
/
/

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

, as no sera el grado de inseparabilidad de ,
por lo tanto: entonces = es : B M<< O : B OB
/ /
: : :
( ) ( )

"
/ /
separable.
( ) ( ) # O / ! O Puesto que y entonces existe tal que o " " " "
: :
/ /
sea es puramente inseparable sobre . O O ( ) "
( ) $ O O Puesto que es una extensin de slo debemos ver que "
O O O ( ) ( ) " 0 0 " es separable y puramente inseparable sobre .
En efecto, sea una base de donde es el grado de " O 8
8"
: B O :
lO
3"
8"
3
3 /
( )
_
, y sea entonces ; elevando a la potencia se 0 0 -
tiene
0 - - . " "
- .
: 3 : 3
3" 3" 3"
8" 8" 8"
3 3
:
3
:
3
3
:
3
/ /
/
/
/
O
_
_ _ _
( )
As para existe tal que o sea que es puramente 0 0 " 0 O : O
/ :
/
inseparable en . O "
Puesto que es separable sobre entonces es separable sobre de 0 " O O
aqu se sigue que
es separable sobre O O O ( ) " 0 0
( ) ( ) % " Por la parte sabemos que es separable y que el grado de
:
/
separabilidad de es . Entonces y : B 8 O O 8
lO ! !
:

/
( ) O O :
: /
/
.
Tambin por la parte se sigue que es separable ( )

" O O
:
/
O O

:
=/:
/
.
Sea es separable sobre y tambin separable sobre , O , O O
=/:
:
/
Por la es puramente inseparable sobre . Entonces segn un ( ) # , O
:
/
resultado bsico . As tenemos de donde se , O O O
:
=/:
/ :
/
sigue que . Como O O 8
=/:
!
O O O O O O 8 O O
=/: 38=/: ! 38=/:
y
O O 1<+. : B 8 :

( )
lO !
/
Entonces O O :
38=/:
/
38.Sea una extensin finita y . Mostrar que PO 7 P O

=/:
( ) ( ) " 7 lE?> PO l
( ) ( ) # 7 lE?> PO l PO si y solamente si es normal.
SOLUCIN: Sea la menor extensin ( ) ( ) ( ) " R P P M=9 P 5 5 H
O
normal de , la cual siempre existe, una cerradura algebraica de P O H
suficientemente grande. La construccin de es hecha de manera que R
RO E?> PO M=9 P O
sea normal, es evidente que por lo tanto ( ) ( )

O
lE?> PO l lM=9 P O l P Ol 7 ( ) ( )
O =/:
( ) ( ) ( ) # 7 lE?> PO l lM=9 P O l
O
entonces
a E?> PO P P PO 5 5 ( ) ( ) se tiene esto significa que es normal.
PO a E?> RO ) Si es normal, esto equivale a decir que 5 ( )
5 7 7 ( ) ( ) ( ) P P a M=9 R P P P

O
o sea que en particular
|E?> PO l lM=9 P R l P O 7 ( ) ( )
O =/:
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 7
" " "
"
87 8 7 8 7 8 7
o sea que : ( ) < < a<
Esto implica que queda fijo por . :
( ) # + ! b d + ! Sea , entonces tal que ahora - -
#
. : : - : - - : - : - : - ( ) ( ) ( ) ( ) ( ) ( ) ( ) + !
#
#
En particular es estricamente creciente ya que si , : - - - -
" # # "
!
aplicando se tiene :
: - - : - : - : - : - ( ) ( ) ( ) ( ) ( )
# " # " " #
! !
lo cual afirma que es creciente. :
( ) $ aB B B Sabemos que deja a fijo o sea que: ; o sea que : :
: : l M. d + d

, veamos pues que es la identidad en . Tomemos y
veamos que , en efecto supongamos que y que . : : ( ) ( ) + + + , , +
Puesto que es un conjunto totalmente ordenado entonces podemos d
suponer que . + ,
Puesto que es un conjunto denso en se tiene que existe tal que d -
+ - ,. Ahora aplicando , la cual ya sabemos que es creciente, se tiene :
, + - , : : :
pero deja fijo a , por lo tanto , as : :- -
, + - , : : ( ) ( )
De aqu se recibe que esto es totalmente contradictorio en , - , po ( )
d + + , por lo tanto . :( )
Otra forma de probar esta afirmacin es la siguiente:
Sea entonces existe una sucesin tal que - d < <
8 8 8
< p 8p l
8
- : ( ) cuando Puesto que es la identidadentonces es
continua y se tiene
. : - : : -
:
( ) ( )
( )
< <
< <
lim lim
8 8
8 8
8 8
40.Sea una extensin algebraica, una cerradura algebraica de . PO P H

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

extensin separable, infinita entonces puede ser finito. Para eso, E?> PO ( )
mustrese que tomando la cerradura algebraica de y O E
P E d se tiene
( ) + POseparable infinita
( ) ( ) , lE?> PO l "
( ) - PO Dando un ejemplo, mostrar que es posible tener algebraica infinita
tal que lM=9 P l "
O
( ) H
SOLUCIN: Puesto que y tiene caracterstca , se sigue ( ) + O !
inmediatamente que es separable. Veamos que es infinita. Sea PO PO
8 # P E d un nmero entero arbitrario, ahora puesto que
_
8
0 B B # B 0 # ! 0 B B # ( ) ( )
_
8 8
y se tiene que , adems es un
8
polinomio irreductible, esto segn el criterio de Eisenstein, entonces
T B B # # T 8 # P
_ _
8 8
8 8
#l #l
8

( )
_ _
Ahora , adems
entonces
, P # 8
_
8
es decir que , tal que a8 b P E d
P P 8
o sea que la extensin es infinita. PO
( ) ( ) ( ) , E?> PO O " " Sea , entonces deja fijo a , en efecto, y : : :
repitiendo el problema 39 se tiene
: : : : ( ) ( ) ( ) ( ) ( ) 8 8 " " 8 " " 8 " " 8
por otra parte,
: : : : :

( ) ( ) ( ) ( ) ( )
8 8
7 7
" " "
"
87 8 7 8 7 8 7
es claro que se debe tener . 7 !
: : : ya que, si , entonces por lo es creciente + < ! < < !
# #
#
( ) ( ) ( )
tanto, si en esta forma + , , + ! , + ! , + ! : : : ( ) ( ) ( )
+ , : : ( ) ( ).
: - - deja fijo a P E d P E d , en efecto, sea , es algebraico sobre
- : - - : y . Si entonces como de donde se recibe que d E?> PO y ( )
b, P E d , , d , E tal que . Como es denso y ( y ) : - - - ( )
entonces existe tal que , aplicando que es creciente se - , - - :
sigue que
: : : - , -
pero y , as que lo cual es contradictorio. Por : : - ( ) ( ) ( ) - - , , - , po
lo tanto . : M.
P
( ) - O : O Sea un cuerpo de caracterstica no perfecto. Tomando la
"
:
cerradura perfecta de , se sigue que es una extensin infinita y O PO

puramente inseparable se sigue de un resultado bsico que P O
"
T

( ) ( ) PH es normal
M=9 P M.
O
( ) H
42.Sea una extensin algebraica normal. Sea una cerradura PO H

algebraica de la cerradura perfecta de P O O
"
T
( ) " O O P Ver que y por lo tanto es un cuerpo

38=
"
:
( ) ( ) # + O O es puramente inseparable, normal

38=
( ) , P O / es normal
38=
SOLUCIN: : y es puramente inseparable sobre ( ) " O P O

38=
entonces tal que esto es lo P b8 O P b8 O
:
8
"
:
8
mismo que P O P O P O
8
" " "

: : :
8
tal que C P O C P C O O C P b8
8
" " "
: : :
8

C O C P b8 C O C P C
"
:
8
8
entonces tal que o sea que es
:
puramente inseparable sobre de donde . O C O
38=
( ) ( ) # + O O O es puramente inseparable por construccin de . Ahora
38= 38=
sabemos que es normal. Sea un polinomio irreductible tal PO 0B OB
que es una raz de y , esto significa que " " 0 B O ( )
38=
( ) 3 0B OB 0 ! es irreductible, . "
( ) 33 O es puramente inseparable sobre . "
Esto significa que es la nica raz de o sea que si entonces " 0 B 0 ! ( ) ( )
" 0 B O O O . Por lo tanto todas las races de estan en luego es ( )
38= 38=
una extensin normal.
( ) , PO es normal.
38=
Sabemos que es normal y es un cuerpo. Sea se tiene PO O E?> O
38=
5 H ( )
que . Ahora puesto que es 5 5 H 5 H ( ) P P E?> O E?> O PO
" 38= "

normal se sigue que , en esta forma es separable. 5
" 38=
P P PO
Sea y sea es el polinomio minimal de en , por lo P Q O T B Q

"
:
lQ
( )
tanto es irreductible, como es perfecto, se sigue de un resultado T B Q
lQ
( )
bsico cul? que es separable por lo tanto es separable sobre ( ) ( ) T B
lQ

Q O T B T B
"
:
38=
, nos resta ver que .
lO lQ
( ) ( )
Sea , , sea el ms grande tal que P T B O B 7 2
lO 38=
38=
( )
T B O B T B 1 B
lO lO 38=
: :
38= 38=
2 7
( ) ( )

se puede escribir donde
1 O B 1 O B 1 B 1 O B
38= 38= 38=
: : :
entonces es irreductible, como

7
1 1 tiene , as que es una raz de es separable todas sus races simples
:
7
sobre adems es el polinomio minimal (es claro que es O 1 1
38=
irreductible) de por lo tanto y se tiene que
:
7
"
:
1 B O B ( )
T B 1 B T B

lO
lO
"
:
:
7
38=
( ) ( )
43.Con las mismas hiptesis del problema 42

( ) " O O Muestre que es normal.
=/:
( ) ( ) ( ) ( ) ( ) # E?> PO E?> PO E?> PlO E?> O lO
l
Mostrar que y que es
=/: 38= =/:
O
: :
=/:
un isomorfismo de grupos.
SOLUCIN: En efecto, sea entonces es separable ( ) ( ) " E?>O lO O 5 5
=/: =/:
sobre ya que si tal que . Sea el O O b O T B " 5 5 "
=/: =/: lO
( )
polinomio minimal de sobre y por lo tanto es separable o sea que O
es una raz simple. Ahora
T T T ! !

l M. T !

lO lO lO
O O lO
( ) ( ) ( ) ( )

( )
" 5 5 5
5
por lo tanto y tienen el mismo polinomio minimal por lo tanto, como "
T B O
lO =/:
( ) ( ) es separable, es separable luego es separable. Como " 5
5( ) O O O O
=/: =/: =/:
esta contenido en y es la cerradura separable de se
sigue que , por lo tanto es normal. 5( ) O O O O
=/: =/: =/:
( ) ( ) ( ) # + O O " O T B Primero se tiene que , en efecto, sea y
38= =/: 38= lO

su polinomio minimal, puesto que es puramente inseparable T B
lO
( )
debe dividir a algn polinomio de la forma el cual tiene una nica B +
:
8
raz. Por lo tanto cualquier isomorfismo de sobre dejando fijo es O O O
38=
la identidad en cada , por lo tanto es la identidad en y como O
38=
conclusin . Segn el teorema de Galois O O "
38= =/:
E?> O O
( )
38=
E?> PO
E?> PO
( )
( )
38=
Ahora como es normal, se sigue que O O
38=
|E?> O O l lM=9 O O l O O " ( ) ( )
38= O 38= 38= =/:
por lo tanto , as E?> O O 3. ( )
38=

E?> PO
E?> OO
38=
( )
( )
38=
M. E?> PO E?> PO
( ) ( )
( ) ( ) ( ) ( ) , E?> PlO E?> O lO l Sea dado por G G : :
38= =/: =/:
Se puede mostrar que si entonces : G : : E?> PlO l E?> O lO ( ) ( ) ( )
38= =/:
O=/:
lo cual nos indica que est bien definida. G
G es un homomorfismo
, G : ) : ) : ) : ) ( ) ( ) ( ) l E?>O lO l l l
O =/: =/: O O
=/: =/: =/:
as . G : ) G : G ) ( ) ( ) ( )
G es inyectiva
Para probar esta afirmacin basta con demostrar que kerG M.
P
En efecto, sea entonces por lo tanto, deja : G G : : : l M. ker ( )
O O
=/: =/:
fijo a . Ahora entonces se tiene que deja fijo a O E?>PlO
=/: 38=
: :
O O O
38= 38= 38=
entonces se tiene que deja fijo . Se demostrar en el :
problema que sigue que de donde se tiene que deja fijo a P O O
=/: 38=
:
P M. o sea que . :
P
Ges sobreyectiva.
Sea , entonces puesto que es una extensin algebraica 5 E?>O lO PO
=/:
P P P P E?>PlO
3
3 3 entonces sea una extensin tal que tal que
l l | 3 5
O
=/:
O O + E?> PO E?> PO
=/: =/: 38=
( ) ( ) ( )
5
se sabe por que , por lo tanto
| | y se tiene que 3 E?>PlO
38=
O O l
M.
- . < 3 3 5
O
=/:
45.En las hiptesis del problema 42 se tiene

( ) " P O P O O O O O P O Si es finito, entonces y
38= =/: 38= =/:
( ) # P O Si es finito, entonces existe una biyeccin entre el conjunto
P O O O cuerpos entre y y el conjunto cuerpos entre y
38= =/:
( ) $ O O P Muestre que y que
38= =/:
. O O O
38= =/:
SOLUCIN: Como es finito entonces se tiene que ( ) " PO
P O P O O O
38= 38=
Tambin P O P O O O
=/: =/:
Por otra parte se conoce el siguiente resultado:
. P O P O P O P O P O
=/: 38= =/: 38=
De estos tres resultados se tiene lo siguiente
P O O O P O P O "
38= 38= =/: 38=
( )
P O P O P O O O #
=/: 38= =/: =/:
( )
Puesto que y se sigue de y respectivamente P O ! P O ! " #
38= =/:
( ) ( )
que y O O P O P O O O
38= =/: 38= =/:
( ) # Segn el teorema de Galois
subgrupos de Cuerpos entre y E?> PO P O
p
( )
38= 38=
"
G
tambin
subgrupos de Cuerpos entre y E?> O 5 O O
p
( )
=/: =/:
#
G
por la parte del problema 43 se sabe que ( ) #
. E?> PO E?> O O
( ) ( )
38= =/:
<
Luego existe que es una biyeccin, ya que es compuesta de G G G
#
"
"

biyecciones, entre Cuerpos entre y y Cuerpos entre y . P O O O
38= =/:
( ) ( ) $ + P Sea , un subconjunto maximal de elementos de 5 5 5
" # <
E?> PO ( ) tales que son distintos. Entonces algn es la 5 5 5 5
" # < 3
identidad y es raz del polinomio . 5 0 B B ( ) ( )
_
( )
3"
<
3
Para todo se tiene 7 E?>PlO
7 7 5 7 5 5 0 B B B B 0 B ( ) ( ) ( ) ( ) ( )
_
_ _ _
( ) ( ) ( ) ( )
3" 3" 3"
< < <
3 3 3
esto es debido al hecho de que permuta las races. 7
Notemos que es separable y que sus coeficientes estan en el cuerpo fijo 0
O P
38=
. Sabemos por un resultado bsico (cul?) que es puramente
inseparable sobre por lo tanto puramente inseparable sobre O O O
=/: =/: 38=
Por otra parte es separable sobre esto segn la parte del P O #
38=
( )
problema 42 por lo tato es separable sobre . Puesto que P O O=/: PO
38=
es una extensin algebraica, se sigue que . P O O
38= =/:
( ) , PO Por un resultado bsico (cul?) y dado que es algebraica
O P O O es separable sobre y es puramente inseparable sobre
P O P O es separable/ es puramente inseparable
O O
=/: 38=.
45.Sea 0 B B " B # ( ) ( )( )
# #
( ) ( ) " R 0 B Hallar el cuerpo de factorizacin de sobre y determinar el
grado de . R
( ) ( ) # 0 B Hallar el grupo de Galois de .
( ) $ Determinar la correspondencia de Galois entre el conjunto de los
cuerpos intermediarios y de los subgrupos de . E?> Rl ( )
( ) % 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 esta dado por 0 B ( )
R # # 3 3 # 3
_ _ _
R R # # T B T B
_ _
_
( ) ( )
3l #
#l

_
_
B " B # # # %
( )
( ) ( )
( )
# #
( ) T B B " 8381?8+ <+ D ./ B " /=>+ /= #

3l #
# #

_
( )
_

( ) T B B "
_
#l
#
( ) ( es irreductible por el criterio de Eisenstein)
( )
_ _ _

( )
# # 3 # 3 # #
Puesto que entonces

_ _
. Digamos que lE?> # 3 # l #
7
_ _ _
( ) # 3 E?> # 3 # M.
donde

as 7 7 7 3 3 3 3
3 3
# #
_
_ _
( ) ( ) ( )
#
.
( ) ( ) ( )
_ _
_
# 3 # T B B " # ya que
3l #
#

_
.
Ahora as
_
( ) ( ) ( ) ( ) # 3 3 T 1<+. B # # E?> Rl 3
_
( ) #l 3
#
tiene dos elementos digamos pues que donde E?> # 3 l 3 M.

_
( ) 5
. Por lo tanto 5 7 5 57 E?> # 3 l M.
# #
3 3
_
_ _

_
donde 57 5 7 75 ( ) ( ) ( ) ( ) 3 3 3 3 3
57 5 5 75
_ _ _ _ _
# # # # #
Adems , ya que ( ) 57 5757
#
M.
5757 575 57 5 ( ) ( ) ( ) ( ) 3 3 3 3 3
5757 575 57 5
_ _ _ _ _
# # # # #
Luego el grupo de Klein. E?> # 3 l Z
_

%
( ) $ R Para establecer los cuerpos intermediarios entre y tenemos en
cuenta que una base para el espacio vectorial sobre es dada por
_
#
" # # 3 # " 3
_ _ _
Ahora una base para sobre esta dada por .
As una base del espacio vectorial sobre ser dada por:
_
# 3
" # 3 #3
_ _
y los cuerpos intermediarios sern .
_ _
( ) # 3 #3
Para calcular los subgrupos de establecemos el siguiente cuadro E?> Rl ( )
M.
# # # # #
3 3 3 3 3
5 7 57
_ _ _ _ _
As tenemos

En el diagrama de arriba indicamos la correspondencia entre los cuerpos
intermediarios y los subgrupos as a corresponde , a K #3
_
corresponde ya que 3 57
57 5 5
_ _ _ _ _
#3 #3 3 # 3 # 3 #
A corresponde , a corresponde y finalmente 5 7 ( )
_
3 M. # M.

_
# 3 M. corresponde .
( ) % 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 una cerradura algebraica de . Sean y tales que E P E Q E

P $ Q & y Mostrar que

E " PQ "& ( )
( ) # PQ P Q es normal si y slo si y son normales
P Q $ PQ P Q En el caso deque sea normal, y son los ( )
nicos cuerpos entre y PQ.

SOLUCIN: Como entonces es una extensin algebraica ( ) " P $ P
finita de dimensin entonces existen tales que es $ P
" # $ " # $
base de sobre y se tiene . P P ( )
" # $
Afirmacin( ) ( ) ( ) " P
" # $
donde es igual a uno de los

" # $
o sea la extensin es simple. Sabemos que
P $ ( ) ( ) ( ) ( ) ( )
" # $ " # " # " "
Sea as 7 8 > ( ) ( ) ( ) ( ) ( )
" # $ " # " # " "
tenemos que , puesto que es un nmero primo se sigue que se $ 7 8 > $
tienen las siguientes posibilidades
en ese caso , esto ( ) ( ) ( ) ( ) 3 7 $ 8 " > "
" # " "
implica entonces que , as tenemos que y
" # " # $ $
P ( ) ( )
Pes simple.
en ese caso ( ) ( ) ( ) ( ) 33 7 " 8 $ > "
" # $ " # "
entonces y se tiene y una vez ms
" " # $ " # #
( ) ( ) ( )
P es simple.
en ese caso , ( ) ( ) ( ) 333 7 " 8 " > $
" # $ " #
entonces y se tiene que es ( ) ( ) ( ) ( )
" # " " # $ "
P
simple con . P ( )
"
Ahora entonces es una extensin algebraica finita Q & Q
de dimensin entonces existen elementos de de tal & Q " " " " "
" # $ % &
manera que es una base de sobre entonces Q " " " " "
" # $ % &
Q " " " " " ( )
" # $ % &
Afirmacin ( ) ( ) ( ) # Q donde es igual a uno de " " " " " " "
" # $ % &
los elementos Sabemos que " " " " "
" # $ % &

Q Q " " " " " " " " " " " ( ) ( ) ( )
" # $ % " # $ % " # $
& " " " " " " " " " ( ) ( ) ( ) ( ) ( )
" # $ " # " # " "
Sea Q 7 8 " " " " " " " " " " " ( ) ( ) ( )
" # $ % " # $ % " # $
: ; < " " " " " " " " " ( ) ( ) ( ) ( ) ( )
" # $ " # " # " "
as , puesto que es nmero primo se tiene las & 7 8 : ; < &
siguientes posibilidades
7 & 8 : ; < "
8 & 7 : ; < "
: & 7 8 ; < "
; & 7 8 : < "
< & 7 8 : ; "
Anlogamente al caso anterior se tiene que o sea es simple. Q Q " ( )
As . PQ ( ) ( ) ( ) ( ) " "
Afirmacin ( ) ( ) ( ) $ $ " " , basta ver que
T T B 1<+. T B $
" l l l ( )
( ) ( )

. Se sabe que , adems por un problema
anterior se tiene que . Sea entonces T B T B 1<+. T
" " l l l ( ) ( )
( ) ( ) |

$ $
puede ser , o, o, . Pero dado que . " # $ " $ "
Si entonces existe factor lineal tal que $ " # 1 B 1 B B ( ) ( )
1 B T B : B B ( ) ( ) ( )
" l l
. Como es un dominio euclidiano entonces "
T B T B
l l
( ) ( ) tiene una raz y esto dado que es irreductible, / # " #
por definicin de polinomio mnimo sobre entonces B T B T B
# l l
( ) ( )
y se considera la extensin intermediaria / , as #
& $ " " # # # , como , entonces aqu
se sigue que lo cual es contradictorio as , luego , $l& po # $ ( ) $ $
entonces , de donde se tiene . As T B T B $
" l l
( ) ( ) " " $
PQ $ & "& " " " "
( ) # PQ Sabemos que "
PQ ! es normal, ya que es un cuerpo de caracterstica , adems
PQes normal y separable, entonces por el teorema de Galois, el grupo
de Galois es tal que , donde , entonces por el lKl "& K E?> PQ ( )
teorema de Lagrange admite subgrupos de rdenes y K " $ & "&
respectivamente. Segn el primer teorema de Sylow posee por lo menos K
un -grupo de Sylow y un -grupos de Sylow, y son las mximas $ & $ &
" "
potencias de y que dividen al orden por el primer teorema de $ & K ( )
Sylow, existen 3-grupos y 5-grupo de Sylow de rdenes 3 y 5 L L
" #
respectivamente. As y . Como y son nmeros L $ L & $ & ( ) ( )
" #
primos, entonces y son grupos cclicos por lo tanto L L L +
" #
"
( )
L ,
#
( ). Por el teorema de Galois

cuerpos intermediarios subgrupos de
entre y

_ _
----------
-
( ) PQ E?> PQ
biyeccin
As

cuerpos intermediarios
entre y
_

PQ
PQ
"
Como
: [ [ $ 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 son : K
conjugados dos a dos. Luego entonces por el teorema de L K L K

" #
Galois es normal y / es normal. P Q
P Q P $ Sea normal y normal, como "
entonces por el teorema de Galois , entonces es lK l lE?> P l $ K
P P
( )
cclico y se tiene
K " E?> P
P
#
5 5 ( )
Como entonces por el teorema de Galois Q & lK l lE?> Q l &
Q
( )
entonces K "
Q
# $ % &
7 7 7 7 7 7
PQ
+ , + , + ,
- . - . - . , . Q
+ - P
" " # # 8 8
" " # # 7 7 3 3
3 3
Sea entonces veamos que para todo , : : M=9 PQ E B PQ B PQ
( )
en efecto
B
+ , + , + ,
- . - . - . , . Q
+ - P
" " # # 8 8
" " # # 7 7 3 3
3 3
Ahora
: : ( ) B
+ , + , + ,
- . - . - . - . - . - . - .
+ , + , + , + , + , + ,
" " # # 8 8
" " # # 7 7 " " # # 7 7 " "
" " # # 8 8 " " # # 8 8
: : : : : : :
: : : :
( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) - . - .
# # 7 7
: : : ( ) ( ) ( )
Pero | y como y son : :
P Q
M=9 P E l M=9 Q P Q

( )
normales se sigue que y luego : : l P P l Q Q

P Q
( ) ( )
:( ) B
+ , + , + ,
- . - . - . , . Q
+ - P
w w w w w w
" " # # 8 8
w w w w w w
" " # # 3 3
w w
7 7
w w
3 3
o sea que . :( ) B PQ
( ) ( ) ( ) $ # K E?> PQ L L $ Segn se tiene que tiene a -subgrupos y
" #
&-subgrupos de Sylow respectivamente. Sea
es un -subgrupo de Sylow de V ? ? $ K
es un -subgrupo de Sylow de D & 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 de esto se sigue que K "& ( )
# # V D "
Esto implica que y son nicos subgrupos de . Por el teorema de L L K
" #
Galois existe una biyeccin entre los subgrupos de y los cuerpos K
intermediarios, esto implica por consiguiente que entre y existen PQ
solamente y subcuerpos intermediarios correspondientes justamente O O
" #
a y que son subgrupos cclicos normales. L L
" #
47.Sea 0 B B "! ( )
$
( ) ( )
_
" 0 B # Muestre que es irreductible sobre .
( )
_
# # Hallar el grupo de Galois y los cuerpos intermediarios entre y el
cuerpo de factorizacin de 0 B ( )
SOLUCIN: Si no es irreductible sobre entonces ( )
_
" B "! #
$
0 B B B B B # B B # ( ) ( )( )
_ _
" # " #
# #
, donde y
ahora se sabe que puede ser factorizado en en la forma B "! d
$
B "! B "! B "!B "!!
$ #

_ _ _
( )
$ $ $
Ahora ya que . B "! # "! #
_ _

_ _
$ $

Tambin dado que ni , ni pertencen B "!B "!! # "! "!!
#
_ _ _ _

_
$ $ $ $
a . Como la factorizacin de es nica en se sigue que

_
# B "! d
$
y B B "! B B B "!B "!! " #
_ _ _
$ $ $ # #
esto es contradictorio ya que se tendra y B # B #
_ _
Luego es irreductible sobre . B "! #
$

_
( ) # B "! Las races de son
$
.
" # $
" $3 " $3
# #
"! "! "!
_ _ _

$ $ $
_ _
Luego el cuerpo de factorizacin de estar dado por 0 B B "! ( )
$
P "! "! "! "! $3

_ _ _ _ _

$ $ $ $ " $3 " $3
# #
_ _
Ahora considerando sobre se sigue que el cuerpo de 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
_

_ _
( ) ( ) P # "! T B B $ #

_ _ _ _
# $3l # "!
#
$
$
y
_ _ _
_
( ) ( ) # "! # T B B "! $
$
$
_

_
"!l #
$
K E?> Pl E?> P # "! ( )

_
|
_ _
tiene por subgrupos a y

_
#
$
E?> P # $3 P # "!
_
|
_ _ _ _

_ _
# #
. Como y
$
P # $3

_
#

_ _
son extensiones normales separables y finitas, se
tiene | |
_
_ _ _ _
E?> P l # "! P # "! #

_ _
# #

$ $
entonces tiene dos elementos donde E?> P # "! 3.
_

_ _

_
#
7
$
7 7 7 7 :
_ _ _
_ _
_ _
$3 $3
"! "!
# #
$ $
$3 $3 $3 3.
Ahora entonces
_

_ _
( ) P # $3 T B $

_ _ _ _
# "!l # $3
$
E?> P l # $3 $
_

_ _

_
#
tiene elementos por lo tanto debe ser un
grupo cclico, sea , se define sobre las 5 5 E?> P # $3
_
|
_ _

_
#
races de as y as tenemos B "! "! "!
$
" $3
#
5
_ _

$ $
_
5 5 5 5 5
#
" $3 " $3
# #

_ _ _ _

$ $ $ $
"! "! "! "!
_ _
l 3. 5

_ _
# $3
"! "!
_ _

$ $ " $3 " $3 " $3
# # #
_ _ _
5 5 5 5 5
$ #
" $3 " $3
# #

_ _ _ _

$ $ $ $
"! "! "! "!
_ _
"! "! "! "!
_ _ _ _

$ $ $ $
#
#
" $3 " $3
# # % %
" $3
%
_ _
( )
_
.
Luego E?> P l # $3 3.
_

_ _

_
#
#
5 5 5
Por lo tanto , obtenemos el siguiente cuadro K 3. 7 5 5 75 57
#
3.
$3 $3 $3 $3 $3 $3 $3
"! "! "! A "!A "! "!A "!A
5 5 7 75 57
#
_ _ _ _ _ _ _
_ _ _ _ _ _ _
$ $ $ $ $ $ $
donde , de aqu se concluye que , entonces no es A K
" $3
#
_
75 57
abeliano, as es isomorfo a . Ahora se tiene el siguiente cuadro para K W
$
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 , esto segn K
el teorema de Galois.
48.Sea un cuerpo de caracterstica , y dos indeterminadas. O : ! B C

Sean y P O B C O B C ( ) ( )
: :
( ) " B P Mostrar que no es separable sobre , de manera que no es
separable.
( ) # P : Mostrar que
#
( ) ( )

$ a- 1<+. T B : Mostrar que ,
B-Cl
( ) % P Mostrar que no es una extensin simple de

( ) ( )

& a P 1<+. T B : Mostrar que , 0
0 l
SOLUCIN: Es claro que cuando ( ) ( ) " B O B C : "
: :
Afirmacin: T D D B D O B C D
Bl
: : : :
( ) ( )
Para la verificacin mostremos que es irreductible sobre . D B D
: :
Supongamos que no es irreductible sobre entonces existen D B D

: :
0 D 1 D D ( ) ( ) tales que
D B D B 0 D 1 D
: :
:
( ) ( ) ( )
esto implica que para .
0 D DB
1 D DB
( ) ( )
( ) ( )
8
:8 8 :
Desarrollando, por el binomio de Newton se tiene
0 D D G BD G B D " B D ( ) ( )
8 " 8" # # 8# 8
8 8
8
puesto que . En forma anloga se tiene que B B B 5 B C

# 8 : :
( )
1 D D D B ( ) , esta contradiccin nos afirma que es irreductible sobre
: :
D T D D B , luego .
Bl
: :
( )
Ahora entonces no es separable sobre , esto muestra T :D ! B
Bl
w :"
que no es separable. P
( ) # P : Mostremos que . 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 PQ Como es una extensin simple se tiene
P Q Q B Q 1<+. T D : ( ) ( )

BlQ
pues en efecto, si es irreductible sobre T D D B QD D B Q D
BlQ
: : : :
( ) ( )
entonces , entonces D B 0 D 1 D D B 1 D 0 D QD
: :
:
( ) ( ) ( ) ( ) ( )
,
1 D DB
0 D DB
( ) ( )
( ) ( )
8
:8 8 :
pero
, 1 D D B QD O B C D ( ) ( ) ( )
8
:
pues
1 D D G BD " B QD O B C D ( ) ( ) ( )
8 " 8" 8 :
8
8
ya que B B B Q O B C po
# 8 :
( ) ( )
( ) 33 Q es extensin simple
Q O C O 1<+. T D : ( ) ( )

ClO
pues en donde es irreductible, como ya fue T D D C D
8lO
: :
( )
mostrado en la parte . Luego ( ) "
P P QQ : : :
#
( ) ( )

$ 1<+. T D : Mostremos que ,
B-Cl
Afirmacin: T D D B - C
B-Cl
: : : :
( ) ( )
En efecto, + es irreductible ya que en caso de no serlo existirn D B - C
: : : :
( )
0 D 1 D D D B - C D B -C 0 D 1 D ( ) ( ) ( ) ( ) ( ) ( ) ( ) tales que esto
: : : :
:
significa que . Como se 0 D D B -C D " B -C 8 : ( ) ( ) ( ) ( )
8 8
8 8
sigue que , entonces . ( ) ( ) ( ) ( ) B -C O B C 0 D D 0D D po
8
: :

Por lo tanto , luego . T D D B - C 1<+. T D :
B-Cl B-Cl
: : : :

( ) ( ) ( )

( ) ( ) ( ) % # P O B C O Por tenemos que es una extensin finita, ahora es
: :
una extensin infinita; luego en particular es un cuerpo con O B C ( )
: :
un nmero infinito de elementos. Luego el conjunto
es infinito O B C B -C - O B C B -C - ( ) ( ) ( )
: : : :

Por . Luego ( ) ( ) ( ) $ B -C : a- P B -C : a-
P B -C a- B -C a- ( ) ( )
Por consiguiente, existe un nmero infinito de cuerpos intermediarios
entre y adems, como es una extensin finta, por un resultado P P
bsico (cal?), esto equivale a decir que no es una extensin simple. P
( ) ( ) & # P : Ya vimos en la parte que . Para todo cuerpo intermediario
#
Q Q P P Q Q : P

0 entonces Sea entonces
( ) ( ) 3 P 0
( ) 33 P

0
( ) 333 0
( ) ( ) 3 % P No es verdad ya que por no es una extensin simple.
( ) ( )

33 1<+. T B :
0 l
0 ya que se trata de una extensin
intermediaria
( ) ( ) ( )

333 T B B 1<+. T B " entonces esto implica que . 0 0
0 0 l l
Entonces 1<+. : B :

( )
0 l
49.Mostrar que un cuerpo finito no puede ser algebraicamente cerrado.

SOLUCIN: Sea un cuerpo finito de caracterstica primo . Tenemos J : ! : ( )
que . Si entonces . El grupo multiplicativo J J J J 8 lJl : ;
: :
8
J J ! J : " ; "
8
de tiene orden entonces para todo
J " J J J
;" ;
entonces para todo , o sea que
es raz de la ecuacin as B B
;
todas las races de . B B J
;
Para ver que no es algebraicamente cerrado, basta tomar el polinomio J
0 B B B " JB 0 B J ( ) ( )
:
8
, tenindose que no admite races en lo cual
implica que no es algebraicamente cerrado. J

50.Sea un anillo, una familia de -mdulos, sea V Q V a
A
A
R Q V Q

un -submdulo. Mostrar que : :
A A
-
Q
R
es un -homomorfismo cuyo ncleo es , luego como consecuencia, V R
A

tenemos que es un -submdulo de .
A A
R V Q

SOLUCIN: Veamos primero que es un -mdulo. La adicin en se ( ) 3 V
Q Q
R R

define as:

7 R 7 R 7 R 7 R 7 7 R
Q Q Q
R R R
" # " # " #

( ) ( ) ( ) ( )
-

La adicin esta bien definida, en efecto
( ) ( ) 7 R 7 R 7 R 7 R
" #
" #
w w

7 R 7 R 7 R 7 R
" #
" #
w w

7 7 R 7 7 R 7 7 7 7 R
" # " #
" # " #
w w w w
( ) ( ) ( )

( ) ( ) 7 7 R 7 7 R
" #
" #
w w

Es ahora inmediato verificar que es un grupo abeliano. ( ) Q R

La ley de composicin externa o multiplicacin escalar es ( )
tradicionalmente definida como sigue
d Q R Q R
< 7R < 7R <7R

( ) ( )
-
Para ver que la funcin est bien definida tenemos

( ) ( ) ( ) < 7R < 7 R < < 7R 7 R < < 7 7 R
" " " " " "
<7 < 7 R <7R < 7 R
" " " "
( )

.
Es inmediato ahora verificar las propiedades de -mdulo. ( ) ( ) ( ) ( ) 3 33 333 3@ V
( ) 33 V Se considera ahora la familia de -mdulos cocientes. Se toma
Q
R

A
ahora .
_
- ( )
A
Q Q Q
R R R

0 0 A
Se considera SPUNFI

Q Q
R R

0 0 !
_
_
( )
(aqu SPUNFI significa ) es un salvo para un nmero finito de ndices

V-mdulo con las operaciones
( )( ) ( ) ( ) ( )( ) ( ) 0 1 0 1 <0 < 0 < V
( ) - 333 Q
7

7 R
Sea el homomorfismo cannico :

Q
R
7 8 7 8 R 7 R 8 R 7 8

( ) ( ) ( ) : :
Afirmacin es un -homomorfismo ( ) " V :
En efecto; ( ) ( ) ( ) ( ) 3 7 8 7 8 R 7 R 8 R
:

Q
R
es un -mdulo V
7 8 : :

( ) ( )
( ) ( ) ( ) ( ) ( ) # <7 <7 R < 7 R < 7
: :

Q
R
es un -mdulo V
( )
( )
-
( ) ( ) ( )
3@ Q
7

7 7
./0
:
A A
: :
A

A
Q
R
Afirmacin ( ) # est bien definida :

Ya que si , segn la definicin de -upla, esto equivale a ( ) ( ) B 7 8

A A
decir que para cada , puesto que y est bien B 7 B 7 Q

A :

definida, se sigue que o sea que : : A
( ) ( ) B 7 a

( ) ( ) ( ) ( ) : : A

A
B 7
de donde finalmente
: : ( ) ( ) B 7

A A
Afirmacin es un -homomorfismo de mdulos ( ) $ V :
: : : 7 8 7 8 7 8
( ) ( ) ( ) ( ) ( )

A A A A
A
Q V
es un -mdulo
7 8 7 8 7 8
( ) ( ) ( ) [ [ [ [ ( ) ( ) ( ) ( ) ( ) ( ) : : : : : :

A A A A A
: : : : : < 7 <7 <7 < 7 < 7 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

A A A A A
. < 7 :[ [ ( )
A
Afirmacin ( ) % R
ker :
A

ker 7 Q 7 !

: :
A A
_
( ) ( )

A A
A

Q
R

7 Q 7 !

_
( ) ( ) ( )

A A
A

Q
R

A A
:

7 7 ! a 7 7 R a ( ) ( ) ( ) ( )

A A
Q
R
: A : A
7 7 R a R
( )

A
A
A
Ahora como es un -homomorfismo, . es un -submdulo de : : V V ker

A A A
Q R V Q

se sigue as que es un -submdulo de , del
teorema fundamental de isomorfismos y del hecho que es sobreyectiva :
se sigue que
. M7
:
A
Q
R

Q Q
A A
:
A
ker
51.Sea un dominio principal. Sea un -mdulo de torsin. Sea V Q V

V : representantes de los primos de . Para cada sea
Q 7 Q 7 :
:
el anulador de es una potencia del ideal . ( )
( ) " Q V Q Mostrar que es un -submdulo de
:
( ) # Q Mostrar que Q
:
:
SOLUCIN: para algn ( ) ( ) " Q 8 QE 7 : V >
: 88
>
Q Q
:
. es un subgrupo de
Sean esto equivale a decir que existen y tales que 7 7 Q > >
" # : " #
E 7 : V E 7 : V
88 " 88 #
> >
( ) ( )
" #
y , ahora
( ) ( ) ( ) 7 7 : 7 : : 7 : : !
" # " #
> > > > > >
" # " # # "
esto significa que existe tal que , o sea que > > > E 7 7 : V
" # 88 " #
>
( )
7 7 Q
" # :
.
VQ Q
: :
Sea y , esto es equivalente a decir que, existe tal que 7 Q < V >
:
E 7 : < < V <7 : < 7: ! b> >
88
> > >
( ) ( ) ( ) y , ahora , o sea que tal que
E <7 : V <7 Q
88 :
>
( ) de la ltima proposicin se tiene que por lo tanto
VQ Q Q V Q
: : :
y se tiene que es un -submdulo de
( ) # Para probar esta parte veamos primero que
( ) + Q Q
:
:
Afirmacin: y (o sea que cada elemento 7 Q E 7 : : :
88
3 3 3
5 5 5
( )

" # <
" # <
de es anulado por un producto de potencias de ideales Q

( ) ( ) : 4 " # < 5
3 3
4
diferentes los son enteros positivos ). Entonces
existen elementos tales que B 4 " <
4
( )
con 7 B B B B Q
" # < 4 :
3
4
Para mostrar esta afirmacin procedemos por induccin sobre . <
Si entonces esto significa que donde < " E 88 7 : 7 B ( )( )

3
5
"
"
"
B Q 7 :
" : 3
3 "
"
o sea que es anulado por una potencia de por lo tanto basta ( )
tomar con . 7 B B Q
" " :
3
"
Supongamos la afirmacin verdadera para los elementos de cuyo Q
anulador es un producto de potencias, menores de de ideales primos <
distintos.
Sea y sea esto implica que ( ) ( )

8 : : : : : ; :
<
3 3 3 3 3 3
5 5 5 5 5 5
" # < " <" <
" # " < <" <
( ) ( ) ( ) ( ) ; 8 7-. ; 8 " ; 8
< < <
(eso segn la construccin de y adems los
: 3 = >
3
4
4
5
4
son elementos irreductibles para cada ) por lo tanto existen tales
que as multiplicando por se tiene . " =; >8 7 7 =;7>8 7
< <
Puesto que el anulador de es un subideal de , entonces es un 7=; 8 ( )
<
producto de potencias de los ideales primos < "
( ) ( ) ( ) : : :
3 3 3
" # <"
por lo tanto existen por la hiptesis de induccin
B B B Q 4 " < "
" # <" :
3
4
tales que
7=; B B B B Q 4 " # < "
" # <" 4 :
3
4
Ahora como es un subideal de entonces es una potencia del E 7>8 ;
88 <
( ) ( )
ideal o sea conseguimos que; con ( ) : 7>8 B B Q
3 < < < :
< 3<
As obtenemos que
con 7 7=; 7>8 B B B B B Q 4 " <
< " # <" < 4 :
3
4
( )

, Q Q !
3 4
: :
4 3
Supongamos que . Entonces 7 Q Q

3 4
4 : :
4 3

donde 7 B B B B Q
4 " # < 2 :
3
2
y los son ndices distintos de Sea 3 4
2
donde > : : : E B :
3 3 3
5 5
5
88 3
5
"
" #
# 3<
<
3
( )

el producto de los representantes de los anuladores de los B B B
" # <
Puesto que es un -mdulo y los anuladores son ideales bilteros Q V
( ) ( ) 7 > B B B > B > B > B >
4 " # < " # <
B : : : : B : : : : : B : !
" # <
3 3 3 3 3 3 3
5 5 5 5 5 5
5 5 5
5
" # " # " # <
" # " # " #
3 3 3 < <
< < <"
<"
<

as, ( ) 7 > !
4
Puesto que el representante del anulador de y el entero son primos 7 >
4
relativos, se sigue que . Teniendo probado que . 7 ! Q Q
:
4 :
Definicin: Si es un dominio de ideales principales, un primo de y V : V

\ V \ es un -mdulo tal que cada elemento de es anulado por una
potencia de entonces es llamado un -mdulo -primario. : \ V :
Supongamos ahora que existe otra sucesin de sub-mdulos de L
: :
Q L V : : tal que es un -mdulo -primario para cada . Por la definicin
:

de , para cada . Si entonces existen enteros Q L Q : B Q B !
: : : 3 : 3
3
positivos y elementos tales que 3 3 3 2 2 2
" # < " # <
B 2 2 2 2 L 4 " # <
3 " # < 4 :
3
4
Por lo tanto el anulador de es una potencia positiva de y tambin un B :
3 3
producto de las potencias para algn y : : : : > > " # <
3 3 3 3
" # >
( )
: " 4 >
3
4
para .
Pero entonces y se sigue que y por lo tanto L Q B L L Q
: : 3 : : :
3 3 3 3 3
>
L Q
: :
3 3
. As la descomposicin es nica.
52.Sea un dominio principal. Sea un -mdulo cclico, de V Q VC V

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

( ) :
3
<
3
SOLUCIN: con entonces as ( ) " : 7 ! 7 Q VC 7 <C
>
: <C : < C ! < V
> >
( ) ( )
entonces, , esoquieredecir que : < E C -
>
88
( ) ( )
: < -7 : : : 7
> <
" #
< <
8
" #
8
adems es decir o sea que existe tal que . Por la unicidad < - - l < 3 : l <
3
<
3
de la factorizacin se sigue que divide a o sea entonces : : : : 7

3 3
> >
: : : :
>
3
( ) el cual es un ideal primo, as de donde tenemos la
3
siguiente implicacin , de donde se tiene : : 8 : :
3 3
( ) ( )
: : : : : :
3 " # 8
Ahora para cada sea como 3 " # 8 ; : : : :
3
" #
< <
3
<
8
< " # 3
8
7-. ; ; ; " V 7 Q ( )
" # 8 " # 8
existen tales que entonces - - -
- - - - - -
" " # # 8 8 " " # # 8 8
; ; ; " 7 ; 7 ; 7 ; 7 , de donde
Para cada tenemos ; concluimos que 3 " 8 : ; 7 -7 !
3
8
3 3 3
( ) - -
-
3 3 : : : :
; 7 Q Q Q Q Q
3 " # 8
y por lo tanto tenemos que .
Resta mostrar que la suma es directa.
Sea . Podemos escribir 7 Q Q Q Q
3 " 3 8 _
con . 7 7 7 7 7 7 Q
" 3" 3" 8 4 :
4
Sea tal que y para cada , sea tal que . Si = ! : 7 ! 4 3 = ! : 7 !
3 4
3 4
=
=
3
4
; : : : : ;7 ! 7-. : ; "
" 3" 3"
= = = =
8
=
3
" 3" 3 3"
8
entonces . Como existen ( )
- . - . - . , tales que entonces V : ; " 7 : 7 ;7 !
3 3
= =
3 3
( ) # 7 7 7 Q Sea un conjunto de generadores de . Para cada
" # > :
3
4 " # > < ! : 7 ! < < < sea tal que . Tomemos . Es
4 " >

3
<
4 3
4
max
claro que es el representante de que anula a los elementos de : :
3 3
< <
3 3
( )
Q Q
: :
3 3
(ya que cada elemento de puede ser obtenido como una
combinacin de los generadores) por lo tanto . Por otro E Q :
88 :
3
<
( )
3
3
lado (para cada ) 4 " # >
: 7 : : 7 !
3 3 3
<
4 4
< < <
3
3 4 4

se sigue que (para cada 7 Q
:
3
: 7 !
3
<
4
3
y por lo tanto o sea esto completa la : E Q : E Q
3 3
< <
88 : 88 :
3 3
3 3
( ) ( ) ( )
demostracin.
53.Enunciar el teorema de Galois para extensiones finitas.

SOLUCIN: Sea una extensin finita, normal, separable, entonces PO
( ) ( ) " Existe una correspondencia biunvoca uno a uno y sobre entre los
cuerpos intermediarios entre y y los subgrupos de . ( ) ( ) P O E?> PO
( ) ( ) # QO O Q P Si es una extensin normal entonces
E?> PQ E?> PO
( ) ( ) y se tiene que
E?> QO ( )
E?> PO
E?> PQ
( )
( )
( ) ( ) $ lE?> PQ l P Q
54.Responder solamente si o no a las siguientes preguntas

( ) ( ) " O 0 B OB P Sea un cuerpo primo; sea y el cuerpo de factorizacin
de sobre 0 B O ( )
Entonces es una extensin separable sobre ? ( ) + P O
tiene un elemento primitivo? (es decir, es una extensin ( ) , P P
simple de ?) O
( ) # PO Sea una extensin finita. Entonces existe solamente un nmero
finito de cuerpos intermediarios?
( ) $ O K Sea un cuerpo finito, un grupo abeliano finito. Entonces existe una
extensin tal que ? P E?> PO K ( )
( ) % O P PO Sea un cuerpo finito, una extensin finita. Entonces es una
extensin normal, separable y finita?
( ) & ! 7 Sea el cuerpo de los nmeros complejos,
contiene un subgrupo de orden ? ( ) + 7
contiene un subgrupo cclico de orden ? ( ) , 7
En nmero de subgrupos de orden es igual a mdulo ? ( ) - 7 # 7

SOLUCIN: Si Si ( ) ( ) ( ) " + ,
( ) ( ) ( ) # $ % No No Si
( ) ( ) ( ) ( ) & + , - Si Si No.
Un buen ejercicio es justificar las afirmaciones anteriores.
55. Sea un cuerpo de caracterstica tal que no admite extensin O ! + O ( )

de grado cuyo grado no es un mltiplo de , es & , a0 B OB & ( ) ( )
reducible o de grado uno.
Mostrar que no admite extensin algebraica propia (es decir; es O O
algebraicamente cerrado).
SOLUCIN: Si no admite extensin finita propia entonces no admite O O
extensiones propias, en efecto; si es una extensin algebraica propia ( ) 3 H
de , entonces existe tal que es una extensin O O O H ( )
algebraica finita propia de . O
( ) 33 PO P O 8 8 Sea una extensin finita propia tal que y no es
mltiplo de . &
Ahora es un cuerpo perfecto, por lo tanto es G+<+-> O ! O PO ( )
separable. Se tiene que y separable entonces existe P O PO
P P O T B 0B OB 0 B tal que . Sea , entonces es un ( ) ( )
lO
polinomio irreductible y su grado no es mltiplo de 5, lo cual es
contradictorio . ( ) po
Se concluye que no admite extensin finita propia cuyo grado no es O
mltiplo de . &
( ) 333 O Resta probar que no admite extensiones finitas propias cuyo grado
sea un mltiplo de . Supongamos que es una extensin finita propia & PO
tal que . Podemos suponer que es normal, P O & 7 & 7 " PO
=
( )
pues si no tomamos tal que sea normal, adems P P P O
" "
P O P O mltiplo de 5. Entonces mltiplo de 5, en esta forma
"
PO es finita, normal y separable por el teorema de Galois
| . Por los teoremas de Sylow, existe tal E?> PO l & 8 K E?> PO
( ) ( )
=
que . lKl &
=
Sea el cuerpo fijo de ; entonces Q K
E?> PQ K lE?> PQ l & P Q ( ) ( )
=
Ahora
P O P Q Q O Q O 7
7 33 Q O 7 " no es mltiplo de 5, entonces por tenemos ( )
Entonces lE?> PQ l P O & ( )
=
Se sigue que tiene un subgrupo orden . Sea el E?> PO L & R ( )
="
cuerpo fijo de es decir, . Ahora L E?> PO L ( )
& P O P RR O & R O
= ="
entonces lo cual es contradictorio , pues por hiptesis R O & po + ( ) ( )
O & no admite extensiones de grado
56.Sea un cuerpo, una extensin de Defina grado O P O " P O ( )

( ) # PO Defina lo que es extensin finita.
( ) $ PO Definicin de es finitamente generada.
( ) % Cal es la relacin entre los dos ltimos conceptos?
SOLUCIN: Considerando como espacio vectorial sobre entonces ( ) " P O
P O O es la dimensin de este -espacio vectorial.
( ) # P O Si la dimensin del espacio vectorial sobre es finita, entonces se
dice que es una extensin finita. PO
( ) ( ) ( ) $ P O W OQ O Q O y es una extensin finita, siendo
Q W0383>9
O Q R ( )
Q R O
( ) % PO PO es una extensin finita entonces 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.
( ) " P Una extensin algebraica /
( ) # P Una extensin algebraica que sea finita, pero no finitamente
generada.
( ) $ P Una extensin algebraica que sea finitamente generada , pero no
finita.
( ) % P Una extensin algebraica que no sea finita ni finitamente generada.
( ) & P Una extensin algebraica que sea finita y finitamente generada.
( ) ' P Una extensin que sea finita pero no sea algebraica.
SOLUCIN: Sea de los nmeros lgebraicos entonces es una ( ) " E E
extensin algebraica.
( ) # No existe
( ) $ O ! Puesto que y tiene caracterstica , se sigue inmediatamente
que es separable. Veamos que es infinita. Sea un nmero PO PO 8
entero arbitrario, ahora puesto que y
_
( )
8
# P E d 0 B B # B
8
se tiene que , adems es un polinomio irreductible, 0 # ! 0 B B #

_
( )
8 8
esto segn el criterio de Eisenstein, entonces Ahora T B B #
_
8
#l
8
( )

_ _

8 8
8 # T 8 # P
_
#l
, adems entonces
P # 8
_
8
es decir que , tal que a8 b P E d
P P 8
o sea que la extensin es infinita. PO
( ) % P E P entonces no es finita ni finitamente generada.
( )
_
& P # es finita y finitamente generada.
( ) ' No existe.
58.( ) + B # Sea una raz cualquiera del polinomio entonces hallar

%
( ) .
( ) , B % Sea una raz cualquiera del polinomio ; entonces deteminar "
%
" ( ) .
SOLUCIN: ( ) ( ) ( ) ( ) ( )

+ T B T B T B %
l
# 3 #
_ _
% %
( ) ( ) ( ) ( ) ( )

, T B T B T B # "
" l
# 3 #
_ _
59.Dar la definicin de es un cuerpo algebraicamente cerrado " O ( )

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

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

( ) , P Una extensin / que no sea normal.
SOLUCIN: entonces es normal ya que ( )
_
+ P # P P #
( )
_
, P # P entonces no es normal ya que el polinomio
%
B # T B P
%
#l
_
%
( ) no tiene todas sus races en .

63.Sea una extensin finita; una cerradura algebraica de . PO P H
( ) + P O Defina ( o sea grado de separablidad).
=/:
( ) , P O Defina ( o sea grado de inseparablidad).
38=
( ) ( ) - P O lM=9 P l Es siempre verdad que ? En caso de ser falso dar
=/: O
H
una condicin necesaria y suficiente sobre P
( ) ( ) . P O lE?> PO l Es siempre verdadero que ? En caso de ser falso
=/:
dar una condicin necesaria y suficiente sobre P
( ) ( ) / P O lE?> PO l Es siempre verdadero que ? En caso de ser falso dar
una condicin necesaria y suficiente sobre P
SOLUCIN: Sea es separable sobre entonces ( ) + O P O
=/:

P O O O
=/: =/:
.
( ) , P O P O :
38=/: =/:
/
( ) - . Una condicin necesaria y suficiente para tener la igualdad es Falso
que sea una extensin normal. PO
( ) . . Pero una condicin necesaria y suficiente para tener la igualdad Falso
es que sea una extensin normal. PO
( ) / PO Falso. Necesaria y suficiente para tener la iguadad es que sea una
extensin normal y separable.
64.Sea una extensin si es algebraica no normal PO + PO bR P
( )
tal que es normal?. Si es verdad, dar un ejemplo. Si es falso, por qu? PO
( ) , PO bR P RO
es algebraica no separable tal que es separable?.

Si es verdad, dar un ejemplo. Si es falso, por qu?
SOLUCIN: Es verdad. Veamos un ejemplo: ( ) +
entonces existe tal que
_ _
'
# $3
( ) , Falso, porque

65.Sea un dominio pricipal, y un -mdulo finitamente generado. Sea V Q V
R Q R
un submdulo. Probar que es finitamente generado.

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

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

# #
0 B , 0 B ( ) ( ) ( ) sobre . Hallar el grupo de Galois de . 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 son , 0 B 3 3 ( ( ( )
_ _
( ) ( ) + P 0 B El grupo de factorizacin de sobre es
P 3 3 ( ( 3 (
_ _ _
Observamos que
P ( 3 ( (
_ _ _
. T B T B B " B ( # # %
_
( ) ( ) ( ) ( )
3l (
(l
# #

_
_
( ) ( ) , 0 B El grupo de Galois de deber ser un grupo con cuatro elementos.
Sabemos que los nicos subgrupos con cuatro elementos son y el
% %

grupo de Klein. Como es una extensin normal y separable, podemos P
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
5 5 5 5
" # $ %

( ( ( ( ( ( ( (
3 3 3 3 3 3 3 3
(3 (3 (3 (3 (3 (3 (3 (3
_ _ _ _ _ _ _ _
_ _ _ _ _ _ _ _
los automorfismos de que preservan a y son nicos pues P
% lE?> P l E?> P ( ) ( ) 5 5 5 5 , entonces . Observemos por otro
" # $ %
lado que
5 5 5 5
#
#
# # #

_ _ _ _
( ( ( (
5 5 5 5
#
#
# # #
( ) ( ) ( ) ( ) 3 3 3 3
5 5 5 5
$
#
$ $ $

_ _ _ _
( ( ( (
5 5 5 5
$
#
$ $ $
( ) ( ) ( ) ( ) 3 3 3 3
Por lo tanto 5 5 5 5
# $
# #
" "

Observamos que verificando solamente para estos tres elementos de
E?> P E?> P ( ) ( ) , se concluye que , pues en no existen dos
% %
elementos diferentes de la unidad que elevados al cuadrado den la unidad.
Por lo tanto, grupo de Klein. Entonces como el grupo de Klein E?> P ( )
es abeliano todo grupo de orden 4 es abeliano concluimos que el grupo ( )
de Galois de es un grupo abeliano no cclico. P
( ) ( ) ( ) - E?> P l % E?> P Como | , sabemos que los nicos subgrupos de
sern aquellos que tienen orden pues si es un subgrupo de % # " L
K E?> P L K E?> P ( ) ( ) ( ) ( )
( ) debemos tener que .

Los subgrupos de orden son y . Sabemos que los # 5 5 5 5 5 5
" # " $ " %
subgrupos de orden dos son normales, por lo tanto los subgrupos
anteriores son normales. Tenemos as que los subgrupos son:
y K K K K K
" " # " # $ " $ % " %
5 5 5 5 5 5 5
y son todos los subgrupos de . K
Ahora los cuerpos fijos sern
J K P a K P ( 3 ( )
_
" "
5 5
J K P a K 3 ( ) ( )
# #
5 5
J K P a K ( ( )
_
$ $
5 5
J K P a K (3 ( )
_
% %
5 5
J K P a K ( ) 5 5
( ) ( )
_ _
. P 3 ( (3 Los cuerpos intermediarios entre y son ,
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 isomorfos a d d

Los nmeros reales , como conjunto ordenado, posee subconjuntos d
propios isomorfos a , basta recordar que los intervalos abiertos son d
isomorfos a segn el orden. Sin embargo, no existen subcuerpos propios d
isomorfos a a causa de la completez. En cambio, el teorema de d
isomorfismos de cuerpos real cerrados, garantiza la existencia de varios
tipos de subcuerpos propios de isomorfos a , enunciemos este d d

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 . Donde es el conjunto d d

de los nmeros reales no estandar
68. . El cuerpo
!
Sea la cerradura (o clausura) real del cuerpo ordenado de los nmeros

!
racionales, esto es
es algebraico sobre
!
B dB

!
Sea la cerradura algebraica de sobre , entonces es un cuerpo
se sabe que es un conjunto numerable ver.S.Lang. pgina 173 ( )

! !
+ + d + porque si entonces y es lgebraico sobre como
d + + + , entonces y es algebraico sobre as . Luego es
!
numerable, podemos escribir
y es algebraico sobre . U + + + + d +
! " # 8 8 8

Sea , entonces es un anillo, como es un cuerpo entonces + +
" ! "

+
"
es un anillo principal, factorial y euclidiano. Considrese
T B T B +
" " + l
( ) ( )
"

el polinomio irreductible de sobre , entonces

" " " "
T B T B + ( ) ( ) ( ) el ideal generado por , es un ideal primo. Como es
un anillo factorial se sigue que es un ideal maximal. Tomando
"
P + P
" " " "
, entonces es un cuerpo extensin de .
Sea ahora entonces es un anillo factorial como + P + P
# ! " # "

entonces podemos as tomar el polinomio irreductible B P B T B
" + lP
# "
( )
de sobre y considerar el ideal primo el cual resulta + P T B
# " # + lP

( )
# "
maximal. Tomando se obtiene que es un cuerpo P P + P
# " # # #
extensin de . P
"
Procediendo en forma inductiva supongamos construida la extensin P
8"
y tomemos , se considera el anillo factorial y se toma el + P +
8 ! 8" 8
polinomio irreductible de sobre , entonces el ideal T B + P

+ lP 8 8"
8 8"
( )

8 8 8" 8 8 + lP
T B P P +

( )
8 8"
es maximal y es un cuerpo extensin de
P
8"
, obteniendo as la siguiente torre sobre
qP qP qqP q
" # 8
Resulta entonces en este caso que es un cuerpo extensin de que
8 !
P
8

contiene a todos los elementos de y como es el menor cuerpo
! 8
8 !
P
con esta condicin se sigue que

! 8 !
P P
8 !
( )
En esta forma es un cuerpo.
!
Tmese la extensin elemental de dentro de , esto es

!

!
d

! !

8 8 !
8
< < ( )

, entonces es un subcuerpo real cerrado y
superdenso de cuyo cardinal es (bajo la hiptesis del continuo) d
Vemoslo:
( ) 3 d
!

es un subcuerpo de
Sea , esto es , entonces " " " < = < =
!
8 8 8 8
8 8 8
( ) ( ) ( )
con para todo . Se sigue que para todo < = 8 < = 8
8 8 ! 8 8 !

luego . "
!
Ahora si tenemos que , como y para " " ! < = < = = !

" "
8 8 8 ! 8
8 8
[ [ ( )
todo entonces para todo , por lo tanto 8 < = 8
8 !
8
"
[ [ ( ) < =
8
8 !
" "
8
= . "
( ) 33 .
!
es real cerrado
( ) " d d Como y es ordenado, entonces es ordenado con el orden
! !

inducido. Sea entonces la ecuacin tiene < ! B ! ( )
8
8 !
#
solucin, basta tomar dado que si y entonces B < < < !
_
8 8 ! 8
8

la ecuacin tiene solucin en dado es la clausura real B < !
#
8 ! !

de . As . B < < !
# #
8 8
8
8
_ ( )
( ) # Sea un polinomio de grado impar en , esto es T B T B 1/8 T B ( ) ( ) ( ) ( )
!
8
donde es un polinomio de grado impar con coeficientes en . Como T B
8 !
( )

! 8
es la cerradura real de , se sigue que para cada , tiene por 8 T B ( )
lo menos una raz en tal que tomando y < d T < ! B < B
8 8 8 8 !
8
( ) ( )
T B 1/8T < ! ( ) ( )
8 8
.
( ) 333 d
!

es denso en
Sean elementos de tales que , entonces " " + , d + , ( ) ( )
8 8 8 8

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

! !

que es superdenso existe un tal que ahora d d E F

# #
considerando como subconjuntos de por la misma superdensidad F d #

de existe un tal que . Ahora como por ser d d F d

!
- # - - #

denso en existe tal que por lo tanto hemos encontrado d

!
# -
E F
! !

tal que de donde es superdenso.
( ) @
!
tiene cardinal
Se sabe que no es nmerable y as # # , pero se

9
d i d
sabe que bajo la hiptesis del continuo entre y no hay cardinales luego i
9

# Ahora entonces por lo tanto #

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 ya que y Sean 1 1 7 7 1

! ! !

d d E
F E F 7 7 1
!
entonces es una cortadura regular del cuerpo ( )

ordenado adems y son subconjuntos superdensos. Sea 3 /
! !

E F
con para cada entonces la hipersucesin 1 3 / 1 /
" "
"

/ /
( )
( ) 3 / 1 d
/

es creciente y es una sucesin de Cauchy que converge a

por lo tanto no converge en .
!
As se deduce que posee un subcuerpo propio isomorfo a y por d d 333

( )
denso en . d
69. El cuerpo de las sucesiones de d
Sea la coleccin de todas las sucesiones de elementos de , se ( ) d d

establece una relacin en as: Sea un ultrafiltro regular sobre , y ( ) d

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

propiedad, sea y entonces ( ) ( ) ( ) ( ) " # 5 5 5 d

y 5 5 5 5 5 5 " # #
as y entonces se tiene 5 5 5 5 5 " # #
( ) ( ) ( ) ( ) ( ) 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 ( ) ( ) ( ) ( )
Los inversos de son - y si entonces 5 5 5 5 ( ) ( ) ( ) ( ) !
5 5 ( ) [ [ ( )
" "
" " es ordenado : Sean entonces si y 5 5 5 5 ( ) ( ) ( ) ( )
slo si 5 5 5 "
OK
"
5 5 5 5 5 ( ) ( )
OK y esto equivale a
#
5 5 5 5 ( ) ( ) ( ) ( ) " "
y , 5 5 5 5 5 5 " "
como es un ultrafiltro
y o sea 5 5 5 5 5 " "
5 5 5 5 5 " " ( ) ( )
o se sigue que . 5 5 ( ) ( ) "
OK Supngase que y esto equivale a
$
5 5 5 5 ( ) ( ) ( ) ( ) " " #
que
y 5 5 5 5 5 5 " " #
por lo tanto
y 5 5 5 5 5 " " #
esto equivale a que
5 5 5 5 5 # # ( ) ( )
: Sea donde tomando es real cerrado VG B ! 5 !
"
#
( )
B B 5 B 5 5 B 5 5 ! ( ) [ [ ( ) [ [ ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) tenemos o sea
# #
!
por lo tanto deducimos que de donde ( ) ( ) B 5 5 !
#
5 B 5 5 ! ! 5 !
#
( ) y como entonces as
5 B B B ! 5 ! B 5 5 !
# #
y , como es una ( ) ( )
ecuacin en se sigue que d
5 B5 5
_
por lo tanto y . B 5 B 5
_ _

VG T B T B T B 5
#
Sea un polinomio de grado impar en esto es ( ) ( ) ( ) ( ) ( )
donde es un polinomio de grado impar en para casi todo T B 5 d 5 ( ) ( )

como es real cerrado, se sigue que tiene por lo menos una d T B 5
( ) ( ) ( )
raz, en trminos del ultrafiltro sera as:
es un polinomio de grado impar en 5 T B 5 d ( ) ( )

por ser real cerrado tenemos d
tiene por lo menos una raz 5 T B 5 d # ( ) ( )

para algn 5 T 5 ! 5 d # # ( ) ( ) ( )

por lo tanto y . 5 T 5 ! ( ) ( ) ( ) # #
: Sean tales que , podemos suponer que es superdenso E F E F
E + 3 " # F , 4 " # + ,
( ) ( ) ( ) ( ) 3 4 3 4
, entonces para todo
3 4 + , . Podemos suponer que los son crecientes y los son
( ) ( ) 3 4
decrecientes, notacionalmente tenemos
y + 5 , 5
( ) ( ) ( ) ( ) 3 3 4 4

"
donde
y

( ) ( ) ( ) ( )
( ) ( ) ( ) " # 3
5 5 5

( ) ( ) ( ) ( ) " " "
( ) ( ) ( ) " # 4
5 5 5
Se puede entonces escoger representantes adecuados que los notaremos
con las mismas letras, de manera que se tenga
para todo
( ) ( ) ( ) " # $
( ) ( ) 5 5 5
para todo " " "
( ) ( ) ( ) " # $
( ) ( ) ( ) 5 5 5 5
Tomando ahora la sucesin diagonal se sigue que
para todo " "
( ) ( ) ( ) ( ) 3 5 5 4
( ) ( ) ( ) ( ) 5 5 5 5 3 4 5
En estas condiciones existe tal que - 5
( ) 5
( )
para todo " "
( ) ( ) ( ) ( ) ( ) 3 5 5 5 4
( ) ( ) ( ) ( ) ( ) 5 5 - 5 5 5 3 4 5
tomando , se tiene . - - 5 E - F

( )
( ) 5
5

: Primero notemos que basta identificar tiene cardinalidad d
5 5 5 5 d
con la clase de la sucesin constante o sea ( )

5 5 5 5 =: . Por lo tanto ( )
# # # # # d d # #

( )

entonces # .
Se sigue por el teorema de isomorfismos de cuerpos real cerrados que
existe un isomorfismo entre y

d d
d
d 5
no es acotado en En efecto, sea , por la ( ) ( )

superdensidad de existe tal que para todo , luego d d 5 5

" " ( )
5 ( ) ( ) " " "
d "
" " " " " "
# $ 8" # $ 8
no es denso en : Sean "

elementos de , entonces , ya que para todo si " 8
" "
8" 8
existiera un =: tal que entonces se tiene 5 5 5 5 5 " d ( )

" "
8" 8
5 5 , para casi todo , esto es imposible ya que los intervalos no
estndar son disyuntos dos a dos.

( )
" "
8" 8

8 " #
De esto se desprende inmediatamente que es un subcuerpo ordenado d
propio del cuerpo . Como es isomorfo a , podemos decir que d d

posee un subcuerpo no acotado y no denso en pero isomorfo a . d d

d
0 d
0
"

( )
-----
-

Como es un isomorfismo entonces es un subcuerpo de , en 0 0 d d
"
( )
efecto; , porque , entonces como ( ) ( ) ( ) ( ) 3 0 d d d 0 d 0 0
" " "

es un isomorfismo entre y entonces luego d 0 d 0 d d
" "
( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) 33 0 d 0 0 d 0 0 0 Sea as y de donde 5 7 5 7 5 7 5 7
"
5 7 0 d
"
( ).
Ahora , y si y slo si y 5 7 7 5 7 7 0 d ! 0 0 d 0 !
"
( ) ( ) ( )
as pero 0 0 d 0 0 ( ) ( ) ( ) ( ) 5 7 7 7
" " "
0 0 0 d 0 d 0 d ( ) ( ) ( ) ( ) ( ) 5 7 57 57
" " " " "
si y slo si . As es un
subcuerpo de todas las otras propiedades de son deducidas para d
0 d 0
"
( ) mediante el isomorfismo .
70. El cuerpo de las hipersucesiones

Una hipersucesin es una funcin ( la denotaremos ) 5 5 d @

@
- ( ) ( )

( ) 5@
@
es si existe una doble sucesin de elementos reales generada

( ) ( ) ( ) ( ) ( ) = 5 @ = 5 d @ 5
8 8
85 8

tal que para todo . 5

( ) ( ) = 5
8
8 5
es una de la hipersucesin y se denota generadora
( ) ( ) ( ) 5@ 1/8 = 5
8
.
Sea un ultrafiltro regular en , consideremos la extensin elemental de
, esto es para casi todo .
8 8
W 1/8 = = 8 ( )

es una coleccin de subconjuntos de , pero esto no es un ultrafiltro de
.
Por ejemplo pertenece a para cada , pero el E @ @ A A
A

conjunto por ser un subconjunto no generado de , a pesar

de que cuando es un hipernatural infinito . satisface las

A
E A ( )
siguientes propiedades:
( ) ( ) 3 1/8 = = , porque si se tendra que donde as ,

8 8
lo cual es imposible por que es un ultrafiltro
( ) ( ) ( ) 33 E F E F E 1/8 = F 1/8 > Si entonces . En efecto,
8 8
donde y entonces , como se = > E F 1/8 = > = >
8 8 8 8 8 8
( )
sigue que E F
( ) 333 E F F E
Si y es un subconjunto generado de con entonces

F E 1/8 = = F 5

8 8 8
. En efecto, y , entonces tenemos ( ) ( )
que as para casi todo , de donde y 5 1/8 = 5 = 8 F 5 5

( ) ( ) ( )
8 8 8 8 8 8
esto es equivalente a que . F
( ) 3@ E E Si es un subconjunto de entonces o generado

E E E 1/8 E E
-
8 8
. Para ver esto sea con sea ( )
O 8E X 8E
8 8 8
8
-
y entonces como es un ultrafiltro, se
sigue que y . O X
8 8

Consideremos ahora
entonces y luego
si
si
F E 1/8 F F E
E E
E
8 8 8
8 8
8
( )

Ahora sea
F F E 1/8 F F
E E
E
8 8 8 8
- 8 8 - - -
- -
8
-
( )
si
si
entonces y con de donde

-
se obtiene que . E
-
( ) @ E @ @ A A para cualquier
A

Para esto sea entonces y + . Consideremos la A A 5 5 p
8 8
8
( )
siguiente sucesin de conjuntos de
= 5 5 = 5 5 = 5 5
" " # # # $ $ $ %

En estas condiciones donde para cada E 1/8 = @ @ A 5 B
A 8 8 8
( )
8 A 5 B @ E
8 8 A

( ) , luego
Consideremos la coleccin de todas las hipersucesiones generadas y P

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: y por la ( ) ( ) ( ) ( ) ( ) ( ) ( ) 3 @ = 5 1/8 = 5 = @ 5
8 8 8 8 8 8
8

propiedad del ultrafiltro se sigue que ( ) 3@ @ @ @

entonces : ( ) ( ) @ @
@ @

( ) ( ) ( ) 33 @ @ @ @ @ Si esto equivale a que pero : " "
@ @

@ @ @ @ @ @ @ @ " " "

@ @
, as : ( ) ( )

( ) ( ) ( ) ( ) ( ) 333 @ @ @ @ Supongamos que y y esto : : " " 5
@ @ @ @

equivale a que y @ @ @ E F @ @ @ " " 5

por la propiedad de se sigue que pero ( ) 33 E F

E F @ @ @ @ @ @ " " 5

@ @ @ @ @ @ @ @ " " 5 5

lo cual equivale a que . : ( ) ( ) 5 @ @
@ @

Denotemos con al conjunto cociente y definamos las dos : L E

operaciones adicin y multiplicacin.
Primero tenemos que si y entonces de : ( ) ( ) ( ) " 5 E @ @ @
@ @ @

la definicin tenemos que y . @ @ @ @ " 5 E

@
( )

Como la relacin es reflexiva se tiene que :

y = @ @ @ @ @ @ " 5 5

de la propiedad de se sigue que ( ) 33

y = @ @ @ @ @ " 5 5

De las propiedades de la igualdad de se sigue que d
@ @ @ @ @ 5 " 5

y tambin
@ @ @ @ @ 5 " 5

Luego de la definicin de la relacin se sigue que :
y : : ( ) ( ) ( ) ( ) 5 " 5 5 " 5 @ @ @ @ @ @ @ @
@ @ @ @

As definimos la adicin y la multiplicacin en siguindose que si L
@ L @ L ( ) ( ) " entonces
@ @ @ @ L ( ) ( ) ( ) " "
@ @ @ @ L ( ) ( ) ( ) " "
L con esta adicin y multiplicacin es un cuerpo. Pues las unidades son
! " @ L ( ) ( ) ( ) y , ahora si entonces
@
@ @ L ( ) ( )
@ @

y si entonces @ ! @ ( ) ( ) ( )
@ @

@ @ L ( ) ( )
@ @
" "

los axiomas de cuerpo se deducen fcilmente.
L es un conjunto ordenado
Sean entonces se define @ @ L ( ) ( ) "
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 < esto equivale a " " 5
que y , por la definicin de @ @ @ @ @ @ " " 5

se sigue que
@ @ @ @ @ " " 5

de donde
. @ @ @ @ @ 5 5

( ) ( )
( ) ( ) ( ) 3@ @ @ La relacin es compatible con el orden, pues si y : : 5
@
@ @ ( ) ( ) " esto equivale a que

y @ @ @ @ @ @ 5 "

por las propiedades de se sigue que
y @ @ @ @ @ 5 "

del orden en se tiene entonces que d
. @ @ @ @ @ 5 " 5 "

( ) ( )
Dado que un nmerono-estandar, la clase representada por la d
hipersucesin constante se denota por esto es ( )

< . L ( )
En este sentido, contiene a como un subcuerpo ordenado. L d
Tenemos adems
=# # # # d L d d

o sea que la cardinalidad del cuerpo es igual a . L
L es superdenso
Sean tales que entonces + @ , @ L + ,

( ) ( ) "
podemos encontrar hipersucesiones generadas
( ) ( ) ( ) ( ) ( ) ( ) ( ) " @ 1/8 + 5 @ 1/8 , 5
8 8
tales que y para todo : : ( ) ( ) ( ) ( ) ( ) " "
@ @@ @ @ + 5 , 5 5
8 8
y todo . 8
Repitiendo este proceso se concluye que: si una familia de contable
elementos de satisfacen una relacin de orden entre ellos , entonces L
podemos escoger adecuadamente los generadores de estos puntos para
que se mantenga la misma relacin de orden (para todo , para todo 5
8 ) entre los generadores de los puntos dados (aplique la induccin
comn).
Sea, los elementos de tales que + 3 " # $ , 4 " # $ L
( ) ( ) 3 4
( ) ( )
+ , 3 4 +
( ) ( ) ( ) 3 4 3
para todo . Para mayor sencillez supongamos que los
son crecientes y los son decrecientes. Supongamos que ,
( ) 4
+ 1/8 + 5 , 1/8 , 3 4
( ) ( )
( ) ( )
3 4
3 4
8 8
( ) ( )
de donde
para todo + 5 + 5 + 5 8 5
8 8 8
" # $ ( ) ( ) ( )
( ) ( ) ( ) ( )
para todo , 5 , 5 , 5 8 5
8 8 8
" # $ ( ) ( ) ( )
( ) ( ) ( ) ( )
para todo para todo + 5 , 5 3 4 8 5
8 8
3 4 ( ) ( )
( ) ( ) ( )
Sea
- 5 + 5 , 5 8 5
8 8 8
3 3 3
"
#
( ) ( ) ( )
( ) ( ) ( ) ( )
entonces tomando y como G 1/8 - 5 L ( )
8
3 ( )
+ 5 - 5 , 5
8 8 8
3 3 3 ( ) ( ) ( )
( ) ( ) ( )
entonces , as es un punto intermedio entre + - , - L
( ) ( ) 3 4
+ 3 , 4
( ) ( ) 3 4
( ) ( ) y los .
De esta forma, se demuestra que es superdenso. L
L es real cerrado
( ) ( ) ( ) " + ! + L + ! @ Sea donde y , entonces 7 7 7
#
+ @ ! @ @ ! @ ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 5 7 5 , as, < de
@ @
#

donde
y @ @ ! + ! ( ) ( ) ( ) 7 5
#
@
por lo tanto tenemos que

y : ( ) ( ) ( ) ( ) ( ) ( ) 7 5 5
#
@
@ @ ! @ !
De donde se tiene que

y @ @ @ ! @ B ! 7 5 5
#
( ) ( )
por la propiedad de se sigue que ( ) 33
y @ @ @ ! @ ! 7 5 5
#
( ) ( ) ( )
Perocomo y es real cerrado, se sigue que 5( ) @ d d

@ @ @ 7 5

( ) ( )
_
Esto significa que : ( ) ( ) ( )
_
7 5 @ @
@
@

Luego
@ @ L ( )
_
7 5
@
@

o
@ @ L ( )
_
7 5
@
@

son las soluciones de la ecuacin en . 7
#
+ ! L
( ) ( ) # T L Sea un polinomio de grado impar en , entonces 7
T 1/8 T 5 T 5 ( ) ( ) ( ) ( ) ( ) ( ) 7 7 7
8 8 8 8
donde es un polinomio de grado impar
en para todo . Como es real cerrado, entonces existe por lo d 8 5 d

menos una raz en de para cada . Tomando < 5 d T 5 8 5

8 8 8
( ) ( ) ( ) 7
< 1/8 < 5 < L ( ) ( ) ( )
8
tenemos y
T < 1/8 T < 5 1/8 ! ( ) ( ) ( ) ( ) ( )
8 8
!
Por el teorema de isomorfismos de cuerpos real cerrados se sigue que L
es isomorfo a . Tenemos adems d L d
<

( ) M d L es acotada en .
En efecto, como en , entonces para cualquier se tiene lim

@

@ d d
" # @ L ( ) .
( ) MM d L no es denso en .
Supongamos que es denso en entonces se tiene en particular que d L
para todo existe tal que esto significa que no es + L < d + < d

acotado en lo cual es imposible como se vio en . L M ( )
De lo anterior, podemos decir que posee un subgrupo ordenado d d

"
R ( )
acotado en , pero isomorfo a no denso

d d d L
d

d

"

R
R
( )
-
-
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 Halle el cuerpo de factorizacin de 0 B B " B "$ " R ( ) ( )( ) ( )
# #
0 B R ( ) sobre , y determinar el grado .
( ) ( ) # 0 B Hallar el grupo de Galois de . Verificar que l es abeliano, pero no
cclico.
( ) ( ) $ 0 B Hallar todos los subgrupos del grupo de Galois de 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.
72.Sea un cuerpo primo (es decir, o a ). Sea una cerradura O O H
:
algebraica.
( ) " P O P P

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

" # 8
0 B P las races de , y el cuerpo de factorizacin. ( )
( ) ( ) ( ) ( ) " E?> PO O O a3 4 Mostrar que si es abeliano entonces , , de
3 4
manera que . P O O O ( ) ( ) ( )
" # 8
( ) # Mostrar que la recproca es falsa, es decir, que es posible encontrar un
cuerpo y un polinomio irreductible separable teniendo races O 0 B OB ( )

" # 8 3 4
O O a3 4 E?> PO tales que con no abeliano. ( ) ( ) ( )
74.Sea . 0 B B " ( )
(
( ) ( ) " P 0 B Cul es el cuerpo de factorizacin de sobre ?
( ) # P Mostrar que es una extensin simple
( ) $ P Cul es el grado de la extensin ?
( ) % P Cules son los -isomorfismos de en ?
( ) & P Cules son los -automorfismos de ?
75.Sea un cuerpo, una cerradura algebraica de . Sean cuerpos O O P L H
H H tales que y adems es normal y es normal. O P Q PO QP

Sea . Sobre se define una relacin de
|
( ) f H f M=9 Q
O
Q equivalencia, de la siguiente manera:
| tal que
( ) 89<7+6 b E?> QP : : f : : 3 : : 3
" # " # " #
P Sea el conjunto cociente / . f f
l 89<7+6 E?> PO
( ) Mostrar que existe una biyeccin entre y f

O
76. Sea un cuerpo, una cerradura algebraica de . Sea un cuerpo O O P H
H H tal que y normal. Sea un polinomio O P PO 0 B OB

( )
| mnico irreductible en . OB
P 1 B 2 B PB 0 B PB Sean dos factores irreductibles de en ( ) ( ) ( )
l 89<7+6 E?> O 1B 2 B
( ) ( ) Mostrar que existe tal que (luego 5 H 5

O 1 B 2 B en particular y tienen el mismo grado). ( ) ( )
Para eso, sea las races distintas de y sea E 1 B
" # <
( )
F 2 B " " "
" # =
las races distintas de . ( )
( ) ( ) ( ) " b E?> O Mostrar que tal que 5 H 5 "
" "
( ) ( ) # E F PO
Mostrar que . Para esto, puede suponer que normal 5

E?> P E?> O ( ) ( ) H H es un subgrupo de .
( ) ( ) $ < = E F Mostrar que y . 5
( ) % > ? Denotando con al ndice de multiplicidad de los y por el ndice de
3
multiplicidad de los mostrar que . "
3
> ?
( ) ( ) ( ) ( ) & 1 B 2 B Concluir que 5
77.Sea , y sea el cuerpo de factorizacin de 0 B B %B # B P 0 B ( ) ( )
& $
sobre . Entonces admite elemento primitivo por que? P

78.Sea un dominio principal. Sea un -mdulo libre. Sea un V Q V R
submdulo de . Entonces es libre? es libre? Q " R # QR ( ) ( )
Justifique las respuestas.
79. Sea el cuerpo con elementos es un nmero primo ( ) ( ) " : :
:
H H Sea la cerradura algebraica de .
:
| Sea un cuerpo intermediario tal vez sea finito O ( )
P 0 B OB 8 Sea un polinomio irreductible de grado ( )
l P 0 B Sea el cuerpo de factorizacin de ( )
O PO 8 Mostrar que es una extensin cclica de grado
l # O Mostrar que existe un cuerpo tal que ( )
H
: :
y O lOl
80.( ) " O P Q QO Sea cuerpos. Mostrar que es una extensin radical

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

Sea un cuerpo algebraico de caracterstica . Se desea mostrar que no H : !
puede existir un cuerpo tal que . Para este fin, suponga que P P : P H
sea un cuerpo tal que , por el teorema de Galois se sabe que / P : P H H
es una extensin cclica. Sea un generador de . 5 H E?> P ( )
( ) ( ) " X< ! Mostrar que existe tal que # H #
HlP
( ) ( ) # X< " Mostrar que existe tal que " H "
HlP
( ) ( ) ( ) $ X< ! Mostrar que y que existe tal que
HlP
: :
" " H 5 " "
( ) % B B po Mostrar que no tiene raz en , lo que es absurdo pues es
:
H H
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 ( ) ( ) # 8 sea una funcin de Euler (es decir, nmero de : :
enteros entre y que son relativamente primos con ), entonces " 8 8
. :( ) 8
8
Sea un cuerpo algebraicamente cerrado H
Sea un cuerpo tal que O O 8 " H
Sea la caracterstica de ( puede ser ) : : ! H
Sea un nmero primo tal que divide a ; ; 8
Ya se sabe que existe un cuerpo tal que , y cclico de P O P P

H H
orden . Por el problema 81, se tiene que ; : ;
( ) ( ) " P T B + Mostrar que existe tal que con donde 0 H H 0
0lP
;
+ P P
;
.
( ) ( ) # P ; Se trata de mostrar que con una raz primitiva -sima de la H ( (
#
unidad. Para eso; sea una raz primitiva -sima de (porqu existe @ ; " H
#
este tal ?); sea una raz del polinomio . Considrese el @ B + . H
;
#
polinomio . 1 B B @ ( ) ( )
_
3"
;
3
#
.
( ) ( ) + 1 B B + Mostrar que
;
#
( ) , @ P a3 " ; Mostrar que y concluir que todos los factores
3
.
irreductibles de son de grado . B + ;
;
#
( ) - Ver que el trmino constante de un tal factor irreductible es del tipo
(. H ( (
; #
. Mostrar que y que es una raz primitiva -sima de P ; "
( ) $ Sea el cuerpo primo de . F H
!
H ( F ( P < # ( ) ( ) Mostrar que existe tal que es una raz primitiva
!
l ; "
( ) sima de la unidad de , pero no contiene una raz

<
P ; " F (
!
<"
( ) primitiva -sima de
l
Sea una raz primitiva -sima de la unidad. F H
! <"
<"
@ ;
Naturalmente, tenemos y la inclusin es estricta, por la F ( F
! ! <"
( ) ( ) @
parte . Tenemos la configuracin siguiente ( ) $
El prximo objetivo es mostrar que no es F F
! <" !
( ) @
una extensin cclica. Con este fin:
( ) [ [ ( ) % @ ; Mostrar que . Para eso, muestre que el polinomio F >
! <"
T B ; P @
@ lP ! <"
<"
( ) ( ) tiene grado y tiene sus coeficientes en > F
( ) ( ) ( ) & @ ; Mostrar que F F (
! <" !
( ) ' @ Mostrar que y que no es cclica. > F ( F F
! ! <" !
( ) ( ) ( ; # P 3 Concluir que , y F H
!
( ) ( ) ) O 3 O # Concluir que luego que . H H
83.Sea 0 B B # B ( )
&
( ) ( ) " 0 B Hallar las races de en .

( ) ( ) # P 0 B Hallar el cuerpo de factorizacin de sobre .
( ) $ P Calcular el grado
84.Sea un cuerpo, la cerradura algebraica de , y tal que O O H H
H es un nmero impar. O O ( )
| Mostrar que ( ) ( ) ( ) " O ? O
#
O ? # O ? O ? a5 ( ) ( ) ( ) Por induccin, mostrar que
#
5
l $ a8 5 a: Aplicacin: Mostrar que , nmero primo, el ( )

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

H H trascendente sobre y la cerradura algebraica de O P O C ( )
| . Sea y . P 7 0 B B C O C B PB ( ) ( ) ( )
7
P O C " 0 B PB ( ) ( ) ( ) Mostrar que es un polinomio irreductible en
( ) # P Mostrar que es infinito. H
( ) ( ) $ 7 : 0 B Si no es mltiplo de , mostrar que las races de en son todas H
distintas.
( ) % P Mostrar que existe un nmero infinito de -automorfismos de . H
86.Analice la verdad o falsedad de las siguientes afirmaciones
( ) " V V 0 V V Sean dos anillos conmutativos con unidad, un
w w
homomorfismo sobreyectivo, un ideal de . Entonces es un ideal M V M
w w w
maximal de si y solamente si es un ideal maximal en . V 0 M V
w " w
( ) # O OB Sea un cuerpo. Todo ideal no nulo del anillo de polinomios ( en
una indeterminada ) es maximal. B
( ) $ O : B Sea un cuerpo de caracterstica y un elemento del grupo
multiplicativo de . Entonces no divide al orden de . O O : B
( ) % PO Sea una extensin de cuerpos finitos. Existe una extensin finita

normal tal que . RO P R
( ) & RO : ; ; Sea una extensin galoisiana de grado donde es un nmero

7
primo. Existe un cuerpo entre y tal que . P O R P O ;
87.Sea el anillo de los polinomios en indeterminadas OB B B 8
" # 8
B B B O
" # 8
sobre un cuerpo infinito . Probar que, para cualquier
polinomio no nulo, existen tales que J OB B B + + + O
" # 8 " # 8
J + + + ! ( )
" # 8
.
88.Sean y extensiones finitas de contenidas en tales que O P
O P O P O P . Probar que siempre o proponga un
contra-ejemplo.
89.Analice la verdad o falsedad de cada una de las siguientes afirmaciones
( ) " OB O Sea un anillo de polinomios sobre un cuerpo y un ideal no nulo
de . El anillo cociente ser un cuerpo si y slo si es un dominio. OB OB
( ) # E E D ! Sea un anillo conmutativo. Si tuviera un divisor de cero
entonces tendr caraterstica . E !
( ) $ O 8 " Sea un cuerpo primo. Para todo nmero entero existe un
polinomio irreductible de grado . T OB 8
8
( ) % PO Sea una extensin de cuerpos de grado finito. El conjunto de los
cuerpos entre y es finito. O P
( ) & OB O J OB Sea un anillo de polinomios sobre un cuerpo , y sea
irreductible y separable. Sean las races de en un cuerpo B B B J P
" # 8
de races de sobre Toda permutacin de se extiende a J O B B B
" # 8
un -automorfismo de . O P
90.Sea un anillo de polinomios sobre un cuerpo , un OB O J OB
polinomio no constante, y el anillo cociente . E OBJ OB
( ) + E Cules elementos de son divisores de cero?
( ) , E Cules elementos de son invertibles?
( ) - O E Cul es la relacin entre la caracterstica de y la de ?
91.Sea (donde ) R 3 # 3 "
_
#
( ) + R Probar que es galoisiano sobre
( ) ( ) , E?> RO Determinar el grupo de Galois
( ) - Determinar la correspondencia de Galois entre el conjunto de los
subcuerpos de y el conjunto de los subgrupos de R E?> R ( )
( ) . R Indique un elemento primitivo de la extencin .
( ) ( ) ( ) " 0 B B %B "#B #B # 0 B Sea entonces es reducible sobre el
( & % #
cuerpo de los nmeros racionales.
( ) # #! El anillo tiene solamente un ideal maximal.
( ) $ 8 ! P Cualquiera que sea el entero existe una extensin de tal que
P 8
( ) % O R & P Sea una extensin de de grado . Entonces existe un cuerpo tal
que . R P O

( ) " : : Sean un nmero primo y el cuerpo con elementos. Existe un
:
entero tal que ningn polinomio de grado > de es irreductible 8 " 8 B
:
sobre .
:
( ) # Existen cuerpos con 15 elementos.
( ) $ O : ! OB Sea un cuerpo de caracterstica Sea en cuerpo de
fracciones de . Entonces es un cuerpo perfecto. OB OB
( ) % O O O Sea un cuerpo finito. Entonces el grupo multiplicativo de es
cclico.
94.Sea 0 B B " B ( ( ) ( )( )
# #
( ) ( ) " R 0 B R U Hallar el cuerpo de fracciones de sobre . Calcular .
( ) ( ) # K 0 B K Hallar el grupo de Galois de . Verificar que este grupo es
abeliano, no cclico.
( ) $ K R Hallar todos los subgrupos de . Hallar todos los cuerpos entre y
( ) ( ) % $ 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.( ) " H O H Sea un dominio, y un cuerpo contenido en tal que la identidad
de coincida con la de . H O
( ) + H O Mostrar que tiene una estructura de espacio vectorial sobre .
( ) , H O Si la dimensin de como -espacio vectorial es finita, entonces
mostrar que debe ser un cuerpo. H
( ) # O O Sea un cuerpo finito y la cerradura algebraica de . Mostrar que la H
dimensin de como -espacio vectorial es infinita. H O
96.( ) " V T Dar un ejemplo de un anillo conmutativo y un ideal primo
diferente de que no sea ideal maximal de . ( ) ! V
( ) ( )( ) # d W d B " B " Sea el espacio de los nmeros reales; sea el anillo .
$ #
Hallar todos los ideales primos de . W
97.Sea un cuerpo de caracterstica ; sea una cerradura algebraica de O ! H
O P Q P O "$ . Sean y dos cuerpos intermediarios tales que y
Q O "( PQ P Q . Sea el menor subcuerpo de que contiene a y H
( ) " PQ O "$ "( Mostrar que
( ) # PQO PO QO Mostrar que es normal si y solamente si y son
normales.
( ) $ PQO P Q En el caso de que sea normal, mostrar que y son los nicos
cuerpos intermediarios.
( ) " V T T V T T Sea un anillo y dos ideales primos de ; entonces es un
" # " #
ideal primo
( ) ( ) ( ) # J B B P 0 B Sea y el cuerpo de factorizacin de sobre . Entonces
P es una extensin simple de .
( ) ( ) $ PO lE?> PO l P O Sea una extensin finita normal,
( ) % O K Sea un cuerpo finito. Para cualquier grupo abeliano finito existe una
extensin galoisiana de con grupo de Galois isomorfo a O K
( ) & RO C R Sea una extensin galoisiana de cuerpos y sea . Todo
O R -automorfismo de induce una permutacin de las races del polinomio
minimal de sobre . C O
99.Sea una extensin de cuerpos galoisiana de grado . Determine RO "&
todos los cuerpos entre y . O R
100.Sea un anillo con unidad, un -mdulo libre y un V P V 0
homomorfismo de un -mdulo sobre un -mdulo . Sea V I V I L97 P I
" # 3
( )
el grupo aditivo de los homomorfismos de en . Pruebe que la P I 3 " #
3
( )
aplicacin es un homomorfismo de ? 0 ? ? L97 P I L97 P I ( ) ( ) ( )
" "
sobre . L97 P I ( )
#
101.Sea Mostrar que no es normal. P # + P
_
( )
$
( ) , P Cules son los isomorfismos de en ?
( ) - P Cules son los automorfismos de ?
( ) . B # Cules es el cuerpo de factorizacin de sobre y cul es su
$
grado sobre ?
102.Sea un anillo conmutativo con unidad y sea el anillo de los E EB
polinomios a una indeterminada. Sea y . + E Q 0 EB0+ !
Mostrar que es un ideal de ( ) + Q EB
( ) , Q E es primo es un dominio
( ) - Q E es maximal 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 un cuerpo, una extensin de tal que es finita O P O PO
y normal, entonces el conjunto de los automorfismos es un E?> PO ( )
grupo, con la operacin composicin de funciones, llamado grupo de
Galois.
Tomemos la extensin normal finita y denotemos con PO
QO Q P Q

cuerpo al conjunto de los cuerpos intermediarios
entre y Por otro lado denotemos con O P
subgrupo de KK E?> PO ( )
al conjunto de todos los subgrupos de . Galois estableci una E?> PO ( )
correspondencia biunvoca entre y , planteando las siguientes
funciones:
K
Q
K Q E?> PO 7 7 a7 Q

5 5
-
( ) ( ) ( )
K Q ( ) es frecuentemente llamado el grupo fijo de . Q
Recprocamente,
J
K

J K P a K

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

Demostracion:( ) " Q P O Sea un cuerpo intermediario entre y , tmese
K Q E?> PQ Q J ( ) ( ) el grupo fijo de , aplicando ahora tenemos
( )( ) ( ) ( ) ( ) ( ) J K Q J E?> PQ B P E?> PQ B B para todo , 5 5
es puramente inseparable sobre B PB Q Q
pues es separable. PQ
Para la recproca sea un subgrupo de , sea . Veamos que L E?> PO 8 lLl ( )
( )( ) ( )( ) K J L L K J L L L
. Es claro que ya que si entonces 5

5 K J E?> PJ L L E?> PJ L
( ) ( ) ( ) ( ) pues esto equivale a decir que

5 " " " ( ) ( ) J L para todo . As tenemos
|E?> PJ L l P J L l K J L l lLl 8 ( ) ( ) ( )( ) ( )
Para ver que , basta mostrar que . ( )( ) ( ) K J L L P J L 8
Sean , elementos de vamos a mostrar que ellos son B B B 8 " P

" # 8"
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 automorfismos de sobre y apliqumoslo 7 7 7 7
" # $ 8
3. P J L ( )
sucesivamente sobre los elementos, obteniendo 8 "
B B B B
" # $ 8"
7 7 7 7
# " # # # $ # 8"
( ) ( ) ( ) ( ) B B B B
7 7 7 7
$ " $ # $ $ $ 8"
( ) ( ) ( ) ( ) B B B B

7 7 7 7
8 " 8 # 8 $ 8 8"
( ) ( ) ( ) ( ) B B B B
Las columnas son elementos de espacio vectorial sobre tenemos as P P
8
( )
8 " - - - P de ellos. Entonces existen no todos cero, tales que
" # 8"
- - - ! "
B B B
B B B

B B B
" # 8"
" # 8"
# " # # # 8"
8 " 8 # 8 8"
_ _ _

_ _ _ _ _ _
( ) ( ) ( )
( ) ( ) ( )
( )
7 7 7
7 7 7
Escogemos un sistema que tenga un nmero mnimo de - - - -
" # $ 8"
elementos distintos de cero, esto es, sea
no todos los son cero y los cumplen - - - - - - " ( ) ( )
" # $ 8" 3 3
Digamos que . Demostremos que - ! - ! - ! - ! - !
" # < <" 8"
el nmero de es . - ! < #
3
Considerando la primera fila de . Si suponemos ( ) " - B - B - B !
" " # # < <
que como y entonces con lo cual elementos < " B ! - B ! - ! 8 "
" " " "
de seran linealmente independientes, lo cual es contradictorio . P po
8
Como consecuencia y se puede suponer sin perder generalidad que - !
"
- "
"
as
" - - ! #
B B B
B B B

B B B
_ _ _

_ _ _ _ _ _
( ) ( ) ( )
( ) ( ) ( )
( )
" # <
# " # # # <
8 " 8 # 8 <
# <
7 7 7
7 7 7
Vamos a mostrar que . " - - J L
2 <
( )
Si eso es mostrado entonces la primera linea de nos da una relacin de ( ) #
dependencia entre los con coeficientes en no todos nulos. B J L
3
( )
Para mostrar que es equivalente a mostrar que para - JL - -
3 3 3
7( )
todo . Sea entonces o sea que para todo , existe un 7 7 7 7 L L L L
3
nico tal que , se escribe ahora as 7 7 7 7
4 3 4
# ( )
"B - B - B !
" # # < <
" B - B - B ! 7 7 7
# " # # # < # <
( ) ( ) ( )

" B - B - B ! 7 7 7
8 " # 8 # < 8 <
( ) ( ) ( )
Aplicando ahora nos queda 7
" B - B - B ! 7 7 7 7 7 ( ) ( ) ( ) ( ) ( )
" # # < <
" B - B - B ! 7 7 7 7 7 7 7 7 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
# " # # # < # <
" B - B - B ! # 7 7 7 7 7 7 7 7 7 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
$ " # $ # < $ <

" B - B - B ! 7 7 7 7 7 7 7 7 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
8 " # 8 # < 8 <
Reescribiendo este sistema usando el hecho de que tenemos 7 7 # L L
B - B - B !
" # # < <
7 7 ( ) ( )
7 7 7 7 7
# " # # # < # <
( ) ( ) ( ) ( ) ( ) ( ) B - B - B ! $

7 7 7 7 7
8 " # 8 # < 8 <
( ) ( ) ( ) ( ) ( ) B - B - B !
o mejor
" - - !
B B B
B B B

B B B
_ _ _

_ _ _ _ _ _
( ) ( ) ( )
( ) ( ) ( )
( ) ( )
" # <
# " # # # <
8 " 8 # 8 <
# <
7 7 7
7 7 7
7 7
Ahora restando de obtenemos ( ) ( ) # $
! - - - - !
B B B
B B B

B B B
_ _ _

_ _ _ _ _ _
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
" # <
# " # # # <
8 " 8 # 8 <
# # < <
7 7 7
7 7 7
7 7
Hemos as obtenido un conjunto.
! - - - - - - ! ! - 7 7 7 ( ) ( ) ( )
# # $ $ < <
dando una combinacin lineal de las columnas igual a cero, este
_

_ _
( )
( )
B
B
B
3
# 3
8 3
7
7
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 son iguales a cero, por lo G
tanto tenemos
7 7 7 ( ) ( ) ( ) - - - - - -
# # $ $ < <
esto por consiguiente es vlido para todo . 7 L
Ntese que aqu debe ser finito, en general para infinito es falso. L L
Entonces en particular es una biyeccin. K
( ) # QO Se trata de mostrar que es una extensin normal esto equivale a
decir que subgrupo distinguido o normal) E?> PQ K Q E?> PO

( ) ( ) ( )
y en ese caso
( ) ( ) ( )
( ) + Para mostrar la condicin suficiente, recordemos el siguiente resultado
de la teora de grupos: El ncleo de un homomorfismo que aplica un R 2
grupo sobre un grupo es un subgrupo distinguido. As basta K K 2 K ( )
construir un homomorfismo sobreyectivo de grupos para el cual E?> PQ ( )
sea el ncleo. Se considera entonces
E?> PO E?> QO
l
( ) ( ) -
:
<
:
Q
Claramente esta bien definida puesto que es una extensin normal < QO
y por lo tanto | . :
Q
E?>QO
< ; por que dado un automorfismo de sobre , por un es sobre Q O
resultado bsico (cul? siempre existe una extensin a un automorfismo
de sobre Finalmente P O
ker E?> PO l M. E?> PQ < : : ( ) ( )
Q
Aplicando el teorema de homomorfismos de grupos se tiene
( ) ( ) ( ) ( )
( ) , L Veamos ahora la condicin necesaria. Sea un subgrupo distinguido de
E?> PO E?>PO ( ) y se considera 5
para todo J L P L ( ) 5 5 5 3 5 3
" "
para todo P L 3 5 5 3
" "
( )
P JL 5
"
Demostremos que . J L JL ( ) 5 5 5
"
Como entonces por lo tanto 5 5
"
JL JL
J L JL
( ) 5 5 5
"
Ahora sea , con calculando tenemos " 5 5 < < J L ( )
"
entonces . 5 " 5 5 " " 5 "
" " "
< < P < JL
Ahora esto es equivalente a para todo L E?> PO L L
( ) 5 5
"
5 E?> PO J ( ) como es uno a uno se sigue por equivalencia que
J L J L J L E?>PO ( ) ( ) ( ) ( ) 5 5 5 5
"
para todo . De la definicin de
normalidad todo lo anterior nos lleva a concluir que es una J L O ( )
extensin normal.
( ) $ P O Veamos en primer lugar la siguiente afirmacin: Si es una
extensin finita, entonces es normal si y slo si . P O lE?>l P O
En efecto, veamos la condicin suficiente: Sea
entonces para todo se tiene 7 lE?> PO l lM=9 P O l E?>PO ( ) ( )
O
5
5P P PO , esto significa que es normal.
Recprocamente veamos la condicin necesaria, si es normal se sigue PO
de la definicin que para todo se tiene , esto 5 5 E?> RP P P
( ) ( )
equivale a decir que para todo y en particular se 7 7 M=9 R P P P
O
( ) ( )
sigue que
lE?> PO l lM=9 P R l P O 7 ( ) ( )
O =/:
Aqu es una cerradura algebraica de y . Coloqumonos R P 7 P O
entonces en las hiptesis de este resultado es normal y finita, P Q
entonces por otra parte lE?> PR l P Q ( )
K Q E?> PO 7 7 a7 Q E?>PO l 3. E? ( ) ( ) ( ) 5 5 5 5
Q
> PQ K Q lE?> PQ l P Q ( ) ( ) ( ) ( ) as .
Corolario.Sea una extensin finita, separable , entonces existe P O

slamente un nmero finito de cuerpos intermediarios entre y . O P
Demostracin: Como es una extensin finita existen P O
" # 8
tales que
. P O ( )
" # 8
Consideremos la siguiente torre de extensiones

El conjunto y todos los conjuntos conjugados de los esta
" # 8 3
constitudo por elementos todos separables. Por lo tanto
| que es finita. E?> QO l R O ( )
Se sigue que tiene slo un nmero finito de subgrupos y por el E?> RO ( )
teorema de Galois existen solamente un nmero finito de cuerpos
intermediarios entre y , se sigue que tambin el nmero de cuerpos O R
intermediarios entre y es finito. O P
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. " PO R : Sean una extensin finita, normal, separable y una
extensin cualquiera de entonces O
es normal, finita, separable ( ) " RP R
( ) ( ) ( ) # E?> RPR E?> PR P

( ) ( ) ( ) ( ) $ E?> RP R P E?> RPP E?> RPR

Teorema. # PO R : Sea una extensin finita, normal separable y una
extensin cualquiera de entonces O
( ) " RP R es normal separable
( ) ( ) ( ) ( ) -- # E?> RPQ P E?> RR P E?> PR P
: : : l l ( )
R P
es una biyeccin.
( ) ( ) ( ) ( ) $ E?> RPR P E?> RPR E?> RPP
Definicin: Si es una extensin finita, normal y separable entonces PO PO
es llamada una extensin galoisiana.
Aplicaciones del teorema de Galois
Grupo de Galois de un polinomio
Sea un cuerpo y , denotemos con el cuerpo de factorizacin O 0 B OB P ( )
de . 0 B ( )
Definicin: El grupo de Galois de es 0 B E?> PO ( ) ( )
H Sea el conjunto de las races distintas de , as 0 B
" # 8
( )
l P O E?> PO ( ) ( )
" # 8
, con el objeto de estudiar podemos
considerar: P
| Grupo de permutaciones de E?> PO W ( ) ( ) -
<

" # 8 8
O l 5 5

" # 8
Sobre la funcin tenemos las siguientes afirmaciones: <
( ) " es claramente un homomorfismo, pues <
5 5 5 5 5 5
# " # " "
l l l

" # 8 " # 8 " # 8
( ) # M. es inyectiva, puesto que su ncleo es . <
P
( ) $ en general no es sobreyectiva. <
Ejemplo " 0 B B # B . Hallemos el grupo de Galois de ( )

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

% % % %
entonces
( ) + P P P es galoisiana pues es normal ( es el cuerpo de las races de
B # B B #
% %
y separable todas las races de son simples entonces

P E?> P ( ) ( ) .
P # 3 # # ) E?> P
_ _ _
( )
% % %
Para determinar el grupo de Galois basta definir los E?> P ( )
P # 3 automorfismos de sobre e , as:
_
%

( ) " P P 5
3 3

_ _ _ _ _
% % % % %
# 3 # # 3 # #
( ) # P P 5
#
3 3

_ _ _
% % %
# # #
3 # 3 # 3 #
_ _ _
% % %
( ) $ P P 5
$
3 3

_ _ _ _ _
% % % % %
# 3 # # 3 # #
Entonces es un grupo cclico. 3. 5 5 5
# $
( ) ( )
_
% P P # 3 3 que deja a fijo y . 3 3
%
Entonces , caracterizado por el cuadro E?> P 3. ( ) 5 5 5 3 53 5 3 5 3
# $ # $
de accin que sigue:
3.
# # 3 # # 3 # # 3 # # 3 #
3 3 3 3 3 3 3 3 3
5 5 5 3 53 5 3 5 3
# $ # $
_ _ _ _ _ _ _ _ _
% % % % % % % % %
( ) ( ) , E?> R Determinemos los subgrupos de dados a continuacin
( ) ( ) ( ) ( ) " 3. # 3. $ 3. % 3. ? 5 ? 3 ? 53 ? 5 3
" # $ %
# #

( ) ( ) ( ) & 3. ' 3. ( 3. ? 5 3 ? 5 5 5 ? 5 3 5 3
& ' (
$ # $ # #

( ) ( ) ( ) ( ) ) 3. * E?> P "! 3. ? 5 53 5 3 ? ?
) * "!
# $

Tenindose el siguiente cuadro de distribucin por subgrupos

siendo una extensin galoisiana, para cada subconjunto de P ?
4
E?> P J P ( ) ? corresponde un subgrupo de y adems de eso
4
P ? ?
4 4
( ).
Entonces para cada tenemos y por lo 4 " # & # P J ( ) ( ) ? ?
4 4
tanto . Ahora para se tiene por analoga J % 6 ' ( ) ( ) ?
4
% P J J # ( ) ( ) ( ) ? ? ?
6 4 4
de donde .
Adems se tiene que . Ntese que # # # 3
_ _ _
% %
_ _ _ _
# # # #
% %
pues .
#
( ) - El clculo de los cuerpos intermediarios esta sujeto al siguiente anlisis
previo:
( )
_ _
3 J B # 3 a B B 3 # , dado que ? 7 ? 7
" "
%
5 5 5
# # #

_ _ _
( ) 3 # 3 # 3 #

_ _
3 # % 3 # pues es una raz del polinomio irreducible
B #B *
% $
.
( ) ( )
_ _ _ _
33 J B # 3 a B # # # pues y se ? 7 ? 7 3
# # B
% % % %
tiene adems
_

%
# %
( ) ( )
_ _
_
_
333 J B # 3 a B 3 # , puesto que ? 7 ? 7
$ $ B
%
sabemos que entonces , as se
_
( ) ( )
_ _ _ _
_
3 " 3 # 3 # # 3 " #
%
tiene 53 53 53
_
_
_ _ _ _ _
( ) ( ) 3 # # " 3 # 3 # " 3 #
% %
. 3 # " 3 # 3 # 3 3 #
_ _ _ _
( )
_
_
% %
Adems , pues es raz del polinomio
_
_ _
_ _
3 # % 3 # B #
%
( ) ( )
_ _
3@ J B # 3 a B 3 # , dado que ? 7 ? 7
% % B
% %
5 3 5 3 5 3
# # #

_ _ _ _
( ) 3 # 3 # 3 # 3 #
% % % %
y tambin
_
3 # %
%
( ) ( )
_ _
_
_
@ J B # 3 a B 3 # , pues ? 7 ? 7
& & B
%
entonces
_
( ) ( )
_ _ _ _
_
3 " 3 # 3 # # " 3 #
%
5 3 5 3
$ $
_
_
_ _ _
( ) 3 # # " 3 #
%
3 # " 3 # 3 # " 3 # 3 # 3 3 #
_ _ _ _ _ _
( ) ( )
_
_
% % %
y , dado que es raz del polinomio irreductible
_
_ _
_ _
3 # % 3 #
B #
%
( ) ( ) ( )
_
@3 J B # 3 a B 3 , dado que y dejan ? 7 ? 7 5 5 5
' ' B
# $ %
a fijo. 3
( ) ( )
_ _
@33 J B # 3 a B # , la justificacin de ? 7 ? 7
( ( B
%
esta igualdad es dada as:
5 5 5 5
# # # #

_ _ _ _ _ _ _ _
# # # # # # # #
% % % % % %
3 3 3 3
_ _ _ _ _ _ _ _
# # # # # # # #
% % % % % %
5 3 5 3 5 3
# # #

_ _ _ _ _ _
# # # # # #
% % % %
( ) ( )
_ _
@333 J B # 3 a B 3 # pues ? 7 ? 7
) ) B
%
5 5 5
# # #

_ _ _
( ) 3 # 3 # 3 #

53 53 53 53 53
_ _ _ _ _ _ _
( ) 3 # 3 # 3 # # 3 3 # 3 # 3 #
% % % %
5 3 5 3 5 3 5 3 5 3
$ $ $ $ $

_ _ _ _ _ _
( ) 3 # 3 # 3 # # 3 3 # 3 #
% % % %
y 3 #
_
3 # # # 3 # # ( )
_ _
El diagrama de extensiones esta dado por

Ejemplo2: Sea sobre . 0 B B B " B ( )

$
0 B 0 B ( ) ( ) es irreductible sobre , para lo cual basta como es mnico y es

un anillo factorial ver que es irreductible sobre , lo cual se sigue 0 B B ( )
del hecho de que no tiene raz en pues tiene grado y no es 0 B 0 B $ " ( ) ( )
raz.

Se toma la derivada es la nica raz real ya que es 0 B $B " 0 B
w #
( ) ( )
creciente. Sea la nica raz real, sean y las races complejas " "
y P " " "

as . E?> P P ' ( )
Sabemos que existe E?> P T/<7 ( ) " "
<
es un homomorfismo inyectivo. <
| . Entonces es un isomorfismo. tiene tres E?> P l ' lW l ' W ( ) <
$ $
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 como un cuerpo de caracterstica distinta O
de . Entonces $
B B B B B B B
$ #
$ $ $ $ $ $
$ $
" # " # "

# $ #
$
# "

$ #
$
$ $ $
Se toma y se tiene , ] B 1 ] ] +] , G+<O $
$
$
( )
Sea una raz de , si es una extensin normal 1 ] O O ( ) ( )
entonces es el cuerpo de factorizacin de en ese caso O 1 ] ( ) ( )
lE?> PO l $ ( ) , as el grupo de Galois resulta ser cclico.
Si , entonces no es el cuerpo de factorizacin de O O ( ) ( ) no es normal
1 ] 1 ] ] 2 ] ( ) ( ) ( ) ( ) en este caso .
El grupo de Galois tiene seis elementos, adems no puede ser abeliano
pues contiene un subgrupo que no es normal, que es P 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 (ya que el polinomio es
" # $
1 ] ( )
separable)
Permutaciones de E?> PO
l
( )-
5

5
" # $

" # $
W 3.
$
"#$ "#$ "#$ "#$ "#$
"$# $#" #"$ #$" $"#

Definicin: Una permutacin de grado par es el producto de dos
transposiciones.
Se tiene entonces que si y slo si existe tal que lE?> PO l ' E?> PO ( ) ( ) 5
5 $ | es una transformacin si y slo si
" # " $ # $
" # $
( )( )( )
5 $ $ ( ) .
Si la caracterstica de entonces se puede afirmar que en ese O # $ $
caso , entonces . Se tiene ya 5 $ $ $ J E?> PO O J E?> 6O O ( ) ( ) ( ) ( )
que es una extensin normal, separable, naturalmente se tiene que P O
O O E?> PO $ ? $ 7 . Entre tanto pues cualquiera que sea se
#
( )
tiene que , as, | si y slo si 7 $ 7 $ $ $ ? $ E?> PO l '
# # # # #
( )
no tiene raz cuadrada en (esto es, no tiene raz en ). O B O
#
?
Naturalmente tenemos que 1 ] ] +] , ] ] ] ( ) ( )( )( )
$
" # $

eso quiere decir que
! + , ( )
" # $ " # " $ # $ " # $
As como tenemos ? $
#
" # " $ # $
# # #
( ) ( ) ( )
( ) ( ) ( ) ( )( )( )
" # " $ # $ " # " $ # $
# # #
#

Aqu hacemos uso del determinante de Vandermonde que nos afirma que
( ) ( ) ( )

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

" " "

$

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

" " " " " " " " " " " "

"
"
"

"
"
#
#
#
#
$
$
#

" " " "
"
"
$

_ __ _
_ j_ j

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

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

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 ' %+ #(, O ( ) si y slo si no es un cuadrado en .
$ #
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 y dos dominios de integridad tales que , esto es: sea una V W V W W
extensin de dominios de . Consideremos los siguientes conjuntos V

es un ideal M W V
es un ideal N W W
colecciones de ideales de y respectivamente. Se debe notar que se ha V W
tomado una extensin de dominios para no tener problemas con la
coleccin de ideales.
Supngase que en y en se han definido relaciones de orden parcial. M N
Definicin: Una pareja es denominada si ( ) 3 4 una conexin de Galois
3 N M 4 M N -- -
son funciones debidamente definidas y tales que se cumplan los siguientes
axiomas:
GK" M 34 Para todo ,
GK# N 43 Para todo ,
GK$ 4 4 Si , entonces
w w
GK% 3 3 Si , entonces .
w w

Segn esta definicin son muchas las conexiones de Galois que se pueden
obtener dependiendo claramente del orden parcial que se tenga en y en M
N 3 4 , y de la forma como se definan las funciones y . Una forma particular
de establecer una relacin de orden parcial en y en se presenta a M N
continuacin:
Sean entonces escribimos si y slo si . M
w w w
Sean entonces si y slo si . N
w w w
Es claro de la teora de conjuntos que estas relaciones hacen de y M N
conjuntos parcialmente ordenados.
Proposicin " M N : Con y ordenados parcialmente, como anotamos
anteriormente, y definiendo las funciones y como sigue 3 4
3 N M 4 M N

3 V 4 W

- -
( )
entonces se obtiene que es una conexin de Galois entre los ( ) 3 4
conjuntos parcialmente ordenados de y . M N
Demostracin: Debemos mostrar cada uno de los axiomas que GK5
definen a una conexin de Galois.
GK" 3 4 Por definicin dada de las funciones y se tiene que
3 4 + 3 +W +W V ( ) ( ) ( )
Como y entonces , W V W V 34

usando la definicin de orden parcial en se sigue que . M 34
GK# 3 4 N Por aplicacin sucesiva de y a se tiene
. 43 4 V VW
Ahora y es un ideal de (as para todo ). Entonces W W B BW

VW

de donde se sigue que
4 3
( ) ( )
y teniendo en cuenta la definicin del orden parcial en se recibe N
. 4 3 ( ) ( )
GK$
Suponiendo que , o sea tenemos que y aplicando

w w
4 obtenemos
as 4 W W 4 4 4

w w w
Una vez ms por la definicin del orden parcial en obtenemos N
. 4 4
w
GK% 3
Supngase que o sea que , aplicando tenemos

w w
3 V V 3
( )
w w
usando la definicin del orden parcial en se obtiene que M
. 3 3
w
Luego concluimos que es una conexin de Galois entre los ( ) 3 4
subconjuntos y parcialmente ordenados por dadas por definicin. M N

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 # W V . Si se supone que es el anillo de fractorizacin de y siendo
( ) 3 4 " la conexin de Galois obtenida en la proposicin , entre los conjutos
parcialmente ordenados y , entonces resulta sobreyectiva e resulta M N 4 3
inyectiva.
Demostracin. Cuando es el cuerpo de factorizacin de , toma la W V W
siguiente forma:
W BC B V C Q
"
siendo un subconjunto multiplicativamente cerrado tal que Q
y Q ! Q
Basta mostrar que para todo se tiene que N
. ( ) 4 3
Como es una conexin de Galois por el axioma se tiene ( ) 3 4 GK#
43
y por la definicin de orden de se tiene que N
. 4 3

Para obtener la inclusin inversa sea entonces D W
con , , D BC B V C Q
"
de donde
BC C Q V W

"
y como es un ideal de tenemos W

( ) BC C
"
entonces . De donde se tiene que B

. B V
Ahora como tenemos que C Q
. C "C W
" "
Luego
D BC VW
"
siguindose que
, V W
as
. V W
Esta ltima igualdad puede tambin escribirse usando como 3 4
, 4 3
y de la teora de conjuntos concluimos que es inyectiva y sobreyectiva lo 3 4
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 un R
cuerpo y su cuerpo primo. Dentese con el conjunto de los cuerpos O
!

intermediarios entre y y con el conjunto de los subgrupos del R O
!

grupo de automorfismos de que dejan fijo a . Si es una R O
1
5
!
-
correspondencia de Galois entonces es sobreyectivo y es inyectiva. 1 5

DLL
BIBLIOGRAFIA
- Artin E., , Pars, 1953. Galois Theory
- Birkhoff & MacLane, , Edit. Teide, 1960. Algebra Moderna
- Bourbaki, N., , Fascicule de Rsultats, Herman, Pars,1958 Thorie des ensembles
- Castro, Ch. I., , Monografa No.7 U.N. Bogot, 1980. Temas de Teora de Cuerpos
- Halmos, P.R., , Cecsa, Mxico D.F., 1965. Teora Intuitiva de Conjuntos
- Herstein, I.N., , Blaisdell International, 1964. Topics in Algebra
- Jacobson, N., , Vol.III, The Univ. Series in Higher Lectures in Abstract Algebra
Mathematics, D. van Nostrand Company, Inc., London, 1964.
- Kaplansky, I., , Chicago, 1954. Introduccin a la Teora de Galois
- Lang, S., , Addison-Wesley Publ. Co., 2a. Ed., 1967. Algebra
- Merklen, H.A., , (Teora de Cuerpos), Monografa Estructuras Algebraicas V.
No.22, OEA, 1979.
- Muoz, J.M., , 4a. Ed., U.N., 2002. Introduccin a la Teora de Conjuntos
- Surez, M.F., , X Col.de Mat. Colombia, 1980. Introduccin a la Teora de Galois
- Suppes, P., , Editorial Norma, Cali, Col. 1968. Teora Axiomtica de Conjuntos
- Zariski, O. & Samuel P. (with de Cooperation of Cohen,I.S.), Conmutative Algebra,
Vol. I, U. Univ. Series in Higher Mathematics, 1958.
. .
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

Teoria Cuerpos Dario Sanchez 2004

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Teoria Cuerpos Dario Sanchez 2004

Enviado por

Direitos autorais:

Formatos disponíveis

Daro Snchez H Teora de Cuerpos y de Galois 1 ( )

es un cuerpo y el cardinal de es mayor que es un

Esta definicin es equivalente a

entre y que contiene a , es O P W

Si existe (finito) tal que decimos que es finitamente ( )

Sea una extensin de , si existe finito tal que , O

Sea una cerradura algebraica de . Para todo H : H :

55.Sea un cuerpo de caracterstica , una cerradura de O : O H

es un cuerpo perfecto, y el menor cuerpo de que contiene a H

es separable sobre y puramente inseparable sobre O P O O

( ) ( ) ( ) ( ) $ E?> RPR P E?> RPP E?> RPR

88. Sea un cuerpo finito, existe una nica extensin de tal 7 O O

90.Sea un cuerpo posiblemente infinito . Sea un subgrupo O O

subgrupo finito. Sea . Entonces O P a K 5 5

que es un grupo multiplicativo que tiene elementos. :( ) 8

Si tenemos que y en ese caso 0

es un -mdulo con las operaciones llamado mdulo V

109.Sean , dos -mdulos y una aplicacin. es un Q Q V 0 Q Q 0

Si es una familia de -submdulos de entonces es

( ) 3@ R X 7 es cclico, si existe tal que

Si entonces X 7 7 7 X < 7 < 7 > 7 < V

mdulos sobreyectivo entonces . Q Q

117. Sea un anillo, un -mdulo, una familia de V Q V R

Sea un anillo, un -mdulo y sea . es linealmente

es un -mdulo si existe tal que libre

. : . : . : T no se tiene ya que si , entonces ( ) ( )

2.Para la otra direccin, es decir, supongamos factorial y todo ideal V

Para existe un ideal maximal de tal que , adems ,

Ahora ya que claramente Sea entonces M M VC C M VC C M

como , entonces con .

Supongamos esto significa que , as existe

3.Sea ; sea un cuerpo cualquiera. Mostrar que los anillos /8>/<9= O

o sea el conjunto de los polinomios cuyo trmino constante es nulo, es

Daro Snchez H Teora de Cuerpos y de Galois 24 ( )

6.Mostrar que no es un nmero racional

7.Sea un dominio, sea , mostrar que es invertible en si y slo V + V + V

8.Sea un dominio factorial, sea el cuerpo de fracciones de . Sean V O V

9.Sea . Mostrar que es irreductible sobre . 0 B B B " 0 B ( ) ( )

Daro Snchez H Teora de Cuerpos y de Galois 27 ( )

10.Sea un nmero primo impar. Mostrar que :

( ) ( ) ( ) ( ) ( ) " 0 B 0 B B Mostrar que es irreductible en , para eso. :

pero ya que as o sea ( ) mod

Como entonces , adems 1 B B 3 B ( ) ( )

Veamos que = es un homorfismo :

12.Cuando ellos existan, de un ejemplo de :

y la multiplicacin mdulo . El nmero es un elemento trascendente ( 1

13.Sea un cuerpo, una extensin de de grado primo. Mostrar o O P O :

14.Sea los nmeros racionales, los nmeros complejos. Sea

pues es irreductible, por el criterio de Eisenstein, entonces B #

15. Sea un cuerpo, una extensin algebraica de . Mostrar que todo O P O

16.Sean cuerpos. Sea , el cual es algebraico sobre . O P Q Q O

Como y para cada , entonces y O P + O 3 T B PB T !

17.Sea , donde es una raz de 0 B B " " 0 B ( ) ( )

18.Sea un cuerpo, la clausura algebraica (o la cerradura algebraica) O H

19.Sea , donde es un nmero primo. 0 B B B B " B : ( )

Sea la cerradura algebraica de . Hallar las races de en E 0 B

veamos el recproco; basta ver que cada una de las races ,

20.Sea el cuerpo de los nmeros racionales y sea . En el 0 B B # ( )

sigue que es irreductible en as 0 B ( )

21.Sea un grupo y dos subgrupos normales de tales que K L L K K L

En efecto, si y entonces ya que y ( ( L L 2 L 2 2 L L K

" # " " "

" # # # " " # "

Tomemos en particular , en efecto;