Extensiones algebraicas

12) Generalizado el ejercicio 38.11 mustrese que si + 0, entonces (+)=

(, ), para todas las a y b en Q. [: Calclese ( + )2

13) Sea una extensin finita de un campo y sea () [x] irreducible sobre F y
de grado que no es divisor de [: ]. Mustrese que () no tiene ceros en .

14) Sea un campo de extensin de F. Sea algebraico de grado impar sobre

F. Mustrese que 2 es algebraico de grado impar sobre y que () = ( 2 )

15) Mustrese que si , y son campos con , entonces es algebraico

sobre si y slo si es algebraico sobre y es algebraico sobre . (No debe
suponerse que las extensiones son finitas.)

16) Sea un campo de extensin de un campo . Prubese que toda que no

est en la cerradura algebraica de en es trascendente sobre .

17) Sea un campo de extensin algebraicamente cerrado de un campo . Mustrese

que la cerradura algebraica de en es algebraicamente cerrada. (Si aplicamos
este ejercicio a y , vemos que el campo de todos los nmeros algebraicos es un
campo cerrado algebraicamente.)

18) Mustrese que si es una extensin algebraica de un campo y contiene todos

los ceros en de todo () [], entonces es un campo algebraicamente cerrado.

19) Mustrese que ningn campo finito de caracterstica impar es algebraicamente

cerrado. (En realidad ningn campo finito de caracterstica 2 est algebraicamente
cerrado). [: Mustrese, contando, que para dicho campo finito 1 algn
polinomio 2 , para alguna , no tiene ceros en . Vase el ejercicio 35.11]

20) Prubese que, como se asegur en el texto, la cerradura algebraica de en no

es una extensin finita de .

21) Dedzcase que todo campo de extensin finita de o es mismo o es isomorfo

a .

22) Use el lema de Zorn para mostrar que todo ideal propio de un anillo con unitario
est contenido en algn ideal maximal.

Desarrollo

12) Si = el resultado es claro, asumimos . Es obvio que (+)

(,). Tomamos = + (+). Ahora =-. As
1 1
(+) contiene 2
[ + (+)]= 2 (2)= y por lo tanto adems (+)-
=. As (,) ) (+).
13) Si un cero de () es irreducible sobre , tendramos [(): ] = deg(()), y
[(): ] podra ser un divisor de [: ] por el teorema 31.4. Por hiptesis este no es
el caso. Por lo tanto () no tiene ceros en .

14) Ya que () es una extensin finita de y 2 (), el teorema 31.3 muestra

que 2 es algebraico sobre .
Si ( 2 ) (), luego () debe ser una extensin de ( 2 ) de grado 2, porque
es un cero de 2 2 . Por el teorema 31.4, tendramos que 2= [(): ( 2 )] divide
[(): ], lo cual es imposible porque [(): ] es un numero impar. Por lo tanto ( 2 )=
(), As que deg(( 2 , )) = deg((, )) = [(): ] el cual es un numero impar.

15) Suponemos que es algebraico sobre . Luego cada elemento de es un cero

de un polinomio no constante en [], y por eso en []. Esto muestra que es
algebraico sobre . Claro que es algebraico sobre , porque cada elemento de
es adems un elemento de .

Al contrario, suponemos que es algebraico sobre y que es algebraico sobre .

Tomamos . Debemos demostrar que es algebraico sobre . Debido a que
es algebraico sobre , es un cero de algn polinomio 0 + 1 + 2 2 + +
en []. Debido a que es algebraico sobre , los son algebraicos sobre para
= 0,1,2, , . Por tanto (0 , 1 , 2 , , ) es una extensin de algn drago finito
m, por el teorema 31.11. Porque es algebraico sobre de grado . El teorema
31.4 muestra que (0 , 1 , 2 , , ) es una extensin finita de de grado . Por
el teorema 31.3 , es algebraico sobre .

16) Si es algebraico sobre , luego ( ) es algebraico sobre y por definicin,

es algebraico sobre . Por el ejercicio 15, luego ( ) es algebraico sobre , esto
en particular, es algebraico sobre . Pero luego contrario a la hiptesis. As
es trascendente sobre .

17) Sea () como un polinomio no constante en []. Debemos demostrar que ()

tiene un cero en . Ahora () [] y es algebraicamente cerrado por hiptesis,
por lo que () tiene un cero en . Por el ejercicio 16, si no esta en , luego es
trascendente sobre . Pero por construccin es un cero de () luego [], lo
que es imposible. Adems , lo cual muestra que es algebraicamente cerrado.

18) Sea y sea () = (, ) de grado . Ahora () factorizamos en (

1 ) ( 2 ) ( ) en []. Debido a la hiptesis todos los ceros de () en
estn adems en , vemos que esta misma factorizacin es vlida en [].
Por lo tanto:
()=( 1) ( 2 ) ( )=0,
As que = , para algunos . Esto muestra que . Debido a la definicin
contiene solo elementos que son algebraicos sobre y contiene todos de ellos,
vemos que = y es por lo tanto algebraicamente cerrado.
19) Si es un campo finito de caracterstica impar, luego 1-1 en . Debido a que
12 = (1)2 = 1, los cuadrados de los elementos de pueden ser a lo ms || 1
elementos de , por lo que hay algun que no es cuadrado. Luego el polinomio
2 no tiene ceros en , asi no es algebraicamente cerrado.

20) Para todo , 2, el polinomio 2 es irreducible en [] por el criterio de

Eisenstein con = 2. Esto muestra que tiene extensiones finitas contenidas en
de un grado arbitrariamente alto. Si , fuera una extensin finita de de grado r,
entonces no habra extensiones algebraicas de en de grado mayor que . As la
clausura algebraica de en no podra ser una extensin finita de .

21) Debido a [: ] = 2 y es una clausura algebraica de , debe ser que todo

polinomio irreducible () en [] de grado >1 es en realidad de grado 2. Debido a
que = donde es cualquier cero de cualquier polinomio, sabemos por la
construccin del teorema 29.3 que []/() para cualquier polinomio
irreducible () en [ de grado 2.
Ahora sea cualquier extensin finita de . Si , luego sea en pero no en .
Entonces () = (, ) tiene grado 2, porque hemos visto que no hay polinomios
irreducibles en [] de mayor grado. La construccin en el teorema 29.3 muestra que
() []/() y por lo tanto () . Debido a que es algebraicamente
cerrado. () es algebraicamente cerrado y admite extensiones algebraicas no
propias. Debido es una extensin algebraica de (), debemos tener que = (),
as que .

21) Si R no contiene ideales propios no triviales, entonces {0} es el nico ideal propio,
y es un ideal maximal, y por supuesto est contenido en s mismo, as que se ha
concluido.
Supongamos que contiene un ideal adecuado no trivial que por supuesto no
contiene la unidad 1 de .
El conjunto de ideales de que no contienen 1 es parcialmente ordenado por
inclusin. Sea = { | I} sea una cadena de . Nosotros afirmamos que = I
es un elemento de que es un lmite superior de . Sea , . Luego y
para algunos , I. Debido a que es una cadena, uno de estos ideales est
contenido en el otro, es decir .
Entonces , que es un ideal, por lo que para todo , vemos que
, 0, estn todo en y por lo tanto en .
Esto demuestra que es un ideal. Claramente para todo I, y 1 no esta en
porque 1 no est en para ningn I. As, y es lmite superior para , por
lo que las hiptesis del lema de Zorn estn satisfechas.

Veamos que es un ideal de , y no contiene 1, por tanto . Supongamos que

es un ideal de tal que . Si , entonces = porque es un
elemento mximo de bajo el conjunto inclusin. De lo contrario, 1 as = . Por
lo tanto es un ideal maximal de .