13.

2 Extensiones Algebraicas
Sea F un campo y sea K una extensin de F
Definicin. Elemento
se dice que es algebraico sobre F si es una raz de
algn polinomio no cero
. Si no es algebraico sobre F (es decir, no es raz
de algn polinomio no cero con coeficientes en F) entonces se dice que es
trascendental sobre F. La extensin F/F se dice que es algebraica si todo elemento
de K es algebraico sobre F.

Note que si es algebraica sobre un campo F entonces es algebraico sobre

cualquier campo de extensin L de F (si f(x) que tiene a como una raz tiene
coeficientes en F entonces tambin tiene coeficientes en L)
Proposicin 9. Sea algebraica sobre F. Entonces existe un nico polinomio
mnico irreducible
tiene a como raz si y solo si

que tiene a como raz. Un polinomio

divide a f(x) en F[x]

Prueba: Sea
un polinomio de grado mnimo que tiene a como una raz.
Multiplicando g(x) por una constante, podramos asumir que g(x) es mnico.
Suponga que g(x) fuese reducible en F[x], digamos
ambos de grado menor que el grado de g(x). Entonces
y dado
que K es un campo, a()=0 o b()=0, contradiciendo el hecho que el grado de g(x)
es mnimo. Se sigue que g(x) es un polinomio mnico irreducible que tiene a
como una raz. Suponga ahora que
es cualquier polinomio irreducible
que tiene a como una raz. Por el algoritmo euclideano en F[x] existen polinomios
tales que:
con grad r(x) < grad g(x)
Entonces
y dado que es una raz tanto de f(x) como de
g(x), obtenemos r()=0, lo cual contradice la minimalidad de g(x) a menos que
r(x)=0. Por tanto g(x) divide cualquier polinomio f(x) en F[x] que tenga a como
una raz y, en particular, dividira cualquier otro polinomio mnico irreducible en
F[x] que tenga a como una raz. Esto prueba que
completa la prueba de esta proposicin.

es nico y

Corolario 10. Si L/F es una extensin de campos y es algebraico tanto sobre F

como sobre L, entonces
divide a
en L[x]
Prueba: Esta es inmediata a partir de la segunda afirmacin en la proposicin 9
aplicada a L, dado que
es un polinomio en L[x] que tiene a como una raz.
Definicin. El polinomio

(o solo

si se sobreentiende el campo F) en la

proposicin 9 es llamado el polinomio mnimo para sobre F. El grado de

llamado el grado de .

es

Note que por la proposicin, un polinomio mnico sobre F con como una raz es
el polinomio mnimo para sobre F si y solo si es irreducible sobre F. El ejercicio
20 da un mtodo de calcular el polinomio mnimo para sobre F, y la teora de
bases de Grbner puede ser usado para calcular el polinomio mnimo para otros
elementos den F() (vea proposicin 10 y ejercicio 48 en la seccin 15.1)
Proposicin 11. Sea algebraico sobre el campo F y sea F() el campo generado
por sobre F. Entonces

As que en particular
grado

= grado

Es decir, el grado de sobre F es el grado de la extensin que este genera sobre

F.
Prueba: Esto se sigue inmediatamente a partir del teorema 6
Ejemplos
(1)

El polinomio mnimo para

sobre

de grado 2 sobre

(2)

El polinomio mnimo para

sobre

de grado 3 sobre

(3)

Similarmente, para cualquier n>1, el polinomio

sobre

es irreducible

dado que es Eisenstein. Denotando una raz de este polinomio

como
(donde como es usual reservamos este smbolo para denotar la nsima raz positiva de 2 si quremos ver esta raz como un elemento de , y
donde el smbolo denotar cualquiera de las indistinguibles soluciones
algebraicas abstractas en general), tenemos
(4)
El polinomio mnimo y el grado de un elemento dependen del
campo base. Por ejemplo, sobre , el elemento
es de grado uno, con el
polinomio mnimo
(5)
Considere el polinomio

sobre

, el cual es irreducible

sobre
dado que es una cbica con ninguna raz racional (ver preposicin
11 del captulo 9). Por tanto
para cualquier raz de p(x). Para
futuras referencias notamos que un rpido bosquejo del grfico de esta
funcin sobre los nmeros reales muestran que el grfico cruza el eje x
precisamente una sola vez en el intervalo [0,2], es decir, existe
precisamente un nico nmero real , 0< <2 que satisface

Proposicin 12. El elemento es algebraico sobre F si y solo si la extensin

simple F()/F es finita. Ms precisamente, si es un elemento de una extensin de

grado n sobre F entonces satisface un polinomio de grado como mximo n sobre

F y si satisface un polinomio de grado n sobre F entonces el grado de F() sobre
F es como mximo n.
Prueba: Si es algebraica sobre F, entonces el grado de la extensin F()/F es el
grado del mnimo polinomio para sobre F. Por tanto la extensin es finita, de
grado n si satisface un polinomio de grado n. Recprocamente, suponga que
es un elemento de una extensin de grado n sobre F (por ejemplo, si [F():F]=n).
Entonces los n+1 elementos

de F() son linealmente dependientes sobre F, digamos

Con
no todos 0. Por tanto es la raz de un polinomio no cero
con coeficientes F (de grado n), lo cual prueba que es algebraico sobre F y
tambin prueba la segunda afirmacin de la proposicin
Corolario 13. Si la extensin K/F es finita, entonces es algebraica
Prueba: Si K, entonces el subcampo F() es en particular un subespacio del
espacio vectorial de K sobre F. Por tanto
sobre F por la proposicin

y as es algebraico

Observacin: probaremos abajo una especie de recproco a este resultado

(teorema 17), pero note que existen extensiones algebraicas infinitas (tendremos
un ejemplo ms adelante), as que el recproco literal de este corolario no es
verdad.
Ejemplo: (Extensiones cuadrticas sobre Campos de caracterstica 2)
Sea F un campo de caracterstica 2 (por ejemplo, cualquier campo de
caracterstica 0, tal como ) y sea K una extensin de F de grado 2, [K:F]=2. Sea
cualquier elemento de K no contenido en F. Por la proposicin de arriba,
satisface una ecuacin de grado como mximo 2 sobre F. Esta ecuacin no puede
ser de grado 1, dado que no es un elemento de F por suposicin. Se sigue que el
polinomio mnimo de es una cuadrtica mnica

Dado que
tenemos K=F()

ya es un espacio vectorial sobre F de dimensin 2,

Las races de esta ecuacin cuadrtica pueden ser determinadas por la frmula
cuadrtica, la cual es vlida sobre cualquier campo de caracterstica 2 (la
frmula es obtenida como en el lgebra elemental al completar cuadrados):

(la razn para requerir que la caracterstica de F no sea 2 es que debemos dividir
por 2). Aqu
no es un cuadrado en F dado que no es un elemento de F y el
smbolo
denota la raz de la ecuacin
(mire el final del
siguiente prrafo). Note que aqu no hay eleccin natural de una de la races
anlogo a la eleccin de la raz positiva de 2 en
algebraicamente indistinguibles
Ahora

como sigue: por la frmula de arriba, es un elemento del

campo en la derecha, por tanto

muestra que

- las races son

. Recprocamente,

es un elemento de F(), lo cual da la inclusin inversa

F() (e incidentemente muestra que la ecuacin

una solucin en K).

tiene

Se sigue que cualquier extensin K de F de grado 2 es de la forma

donde D
es un elemento de F que no es un cuadrado en F, y recprocamente, cada una de
tales extensiones es una extensin de grado 2 de F. Por esta razn, las extensiones
de grado 2 de un campo F son llamadas extensiones cuadrticas de F.
Suponga que F es un subcampo de un campo K el cual es a su vez un subcampo
de un campo L. entonces existen tres grados de extensin asociadas la
dimensin de K y L como espacios vectoriales sobre F, y la dimensin de L como
un espacio vectorial sobre K.
Teorema 14. Sean los campos

. Entonces

Es decir los grados de la extensin son multiplicativos, donde si uno de los lados
de la ecuacin es infinito, el otro lado es tambin infinito. Pictricamente,

Prueba: Suponga primero que

son finitos. Sea
una base para L sobre K y sea
una base para K sobre F.
Entonces todo elemento de L puede ser escrito como una combinacin lineal

Donde

son elementos de K, entonces son F-combinaciones lineales de

Donde los bij son elementos de F. Substituyendo estas expresiones en los

coeficientes ai de arriba, vemos que todo elemento de L puede ser escrito como
una combinacin lineal

de los mn elementos
con coeficientes en F. Entonces todos estos elementos
generan a L como un espacio vectorial sobre F.
Suponga ahora que tuvisemos una relacin lineal en L

Con coeficientes bij en F. Entonces definiendo los elementos

(3) de arriba, esta relacin lineal podra ser escrita

por la ecuacin

Dado que los i son una base para L sobre K, se sigue que todos los coeficientes
ai, i=1,2,,m deben ser 0, es decir, que

En K. Dado que ahora los

forman una base para K sobre F, esto

implica
para todo i e j. Por tanto los elementos
independientes sobre F, as que forman una base
como se afirm.

son linealmente
para L sobre F y

Si [K:F] es infinito, entonces existen infinitamente muchos elementos de K, y por

tanto de L, los cuales son linealmente independientes sobre F, as que [L:F] es
tambin infinito. Similarmente, si [L:K] es infinito, existen infinitamente muchos
elementos de L linealmente independientes sobre K, y por tanto ciertamente
linealmente independientes sobre F, as que nuevamente [L:F] es infinito.
Finalmente, si [L:K] y [K:F] son ambos finitos, entonces la prueba de arriba
muestra que [L:F] es finito, as que [L:F] infinito implica que al menos uno de [L:K]
o [K:F] es infinito, completando la prueba
Observacin: note la similitud de este resultado con el resultado en los rdenes de
grupos provistos en la parte I. Como con los diagramas que involucran grupos
frecuentemente indicaremos los grados relativos de las extensiones de diagramas
de campos.
La multiplicatividad de grados de extensiones es extremadamente til en los
clculos. Una aplicacin particular es la siguiente:
Corolario 15. Suponga que L/F es una extensin finita y sea K cualquier
subcampo de L que contiene a F,
Entonces [K:F] divide a [L:F]

Prueba: Esto es inmediato

Ejemplos
(1)
El elemento
no est contenido en el campo
donde es la raz
real de
entre 0 y 2, dado que hemos ya determinado que
y
directamente que

(2)

Denote

y 2 no dividen a 3. Note que no es fcil probar

no puder ser escrito como una combinacin lineal de

como usualmente la raz sexta positiva de 2. Entonces

Dado que

tenemos

multiplicatividad de los grados de extensiones,

el diagrama de campos

u por la
. Esto nos da

En particular, esto muestra que el polinomio mnimo para

sobre
es
de grado 3. Es por tanto el polinomio
Note que mostrar directamente
que este polinomio es irreducible sobre
no es completamente trivial.
Por el teorema 14 una extensin finita de una extensin finita es finita. Los
siguientes resultados usan esto para mostrar que una extensin generada por un
nmero finito de elementos algebraicos es finito (extendiendo la proposicin 12).
Definicin. Una extensin K/F es finitamente generada si existen elementos
en K tal que
Recuerde que un campo generado sobre F por una coleccin de elementos en un
campo K es el subcampo ms pequeo de K que contiene estos elementos y a F. El
siguiente lema mostrar que para extensiones finitamente generadas este campo
puede ser obtenido recursivamente por una serie de extensiones simples.
Lema 16.
es decir, el campo generado sobre F por y es el
campo generado por sobre el campo F() generado por
Prueba: Esto se sigue por la minimalidad de los campos en cuestin. El campo
contiene a F y , por tanto contiene al campo F(), y dado que tambin
contiene a , tenemos la inclusin
por la minimalidad del campo
. Dado que el campo
contiene a F, y , por la minimalidad de F(,)
tenemos la inclusin inversa
lo cual prueba el lema.
Por el lema tenemos

Y as al iterar, vemos que K es obtenido al tomar el campo F 1 generado sobre F por

1, entonces el campo F2 generado sobre F1 (esto es importante) por 2, y as
sucesivamente, con Fk=K. Esto nos da la sucesin de campos:

Donde:

Suponga ahora que los elementos

son algebraicos sobre F de grados
(as que a priori son algebraicos sobre cualquier extensin de F).
Entonces las extensiones en esta sucesin son extensiones simples del tipo
considerado en la Proposicin 11. El grado de la extensin relativa
es igual
al grado del polinomio mnimo de
sobre Fi, el cual es como mximo n i+1 (y es
igual a ni+1 si y solo si el polinomio mnimo de
sobre F permanece irreducible
sobre Fi). Por la multiplicatividad de los grados de extensiones, vemos que

Es tambin finito, y
Esto tambin da una descripcin de los elementos de

Por

simplicidad, considere el caso del campo

donde
sobre F. Entonces los elementos de este campo son de la forma

son algebraicos

Donde
es el grado de sobre F() (el cual podra ser
estrictamente menor que el grado de sobre F), y donde los coeficientes
son elementos de F(). Los coeficientes

son

de la forma

Donde n=

es el grado de sobre F y los aij son elementos de F. Entonces

los elementos de

Dado que
hecho una F base para

sonde la forma

los elementos

son de

En la prctica el campo F() generado por el algebraico es obtenido al adjuntar

el elemento a F y luego cerrando el conjunto resultante con respecto a la
adicin y multiplicacin, lo cual equivale a adjuntar las potencias
de y
tomando las combinaciones lineales (con coeficientes de F) de estos elementos. El
proceso termina cuando una potencia de es una combinacin lineal de potencias
menores de lo que viene a ser lo mismo a conocer el polinomio mnimo para .
La discusin previa muestra que un proceso similar da el campo
generado
por los dos elementos, y por recursin, el campo generado por cualquier nmero
finito de elementos algebraicos. Esto muestra en particular que cerrar con
respecto a la adicin y multiplicacin tambin cierra con respeto a la divisin para
elementos algebraicos (ver ejemplo 5 que sigue al corolario 5 de arriba). Si los
elementos no son algebraicos, uno debe tambin cerrar con respecto a los
inversos. La dificultad en este procedimiento es determinar los grados de las
extensiones relativas por ejemplo el grado d para
sobre F() arriba, para
el cual tenemos solo una cota superior a priori (el grado de sobre F).
Esto es anlogo a cerrar el conjunto de elementos en un grupo G para
determinar el subgrupo que generan.
Ejemplos
(1)
que

La extensin

es simplemente la extensin

dado

es ya un elemento de este campo. Ponindolo de otro manera, el

grado d de

sobre

es 1, el cual es estrictamente menor que el

grado de
sobre
Tendremos ms adelante ejemplos menos obvios
donde esto ocurre.
(2)
Considere el campo
generado sobre
por
. Dado
que
es de grado 2 sobre
el grado de la extensin
es
como mximo 2 y es precisamente 2 si y solo si
sobre
.
Dado que el polinomio es de grado 2, es reducible solo si tiene una raz, es
decir, si y solo si
cuadrado obtenemos

Suponga

Elevando esto al
Si ab0, entonces podemos resolver

esta ecuacin para

en trminos de a y b lo cual implica que
es
racional, lo cual es falso. Si b=0, entonces tendramos que
es racional,
una contradiccin. Finalmente, si a=0, tenemos
ambos lados por
vemos que
contradiccin. Esto muestra que

y multiplicando

sera racional, de nuevo una

, probando

Elementos en este campo (al cerrar

) incluyen
clculos de arriba, estos forman una base para este campo:

y por los

Ahora podemos caracterizar las extensiones finitas de un campo F:

Teorema 17. La extensin K/F es finita si y solo si K es generado por un nmero
finito de elementos algebraicos sobre F. ms precisamente, un campo generado
sobre F por un nmero finito de elementos algebraicos de grados
es
algebraico de grado
Prueba: Si K/F es finito de grado n, sea

una base para K como un

espacio vectorial sobre F. Por el corolario 15,

divide a [K:F]=n para i=1,2,
,n, as que la proposicin 12 implica que i es algebraico sobre F. Dado que K es
obviamente generado sobre F por
vemos que K es generado por un
nmero finito de elementos algebraicos sobre F. El recproco fue probado arriba. La
segunda afirmacin del teorema es inmediata a partir del corolario 13 y los
clculos de arriba.
El primer ejemplo muestra que la desigualdad para el grado de la extensin dada
en el teorema podra ser estricta. Observamos que informacin til en determinar
el grado puede ser frecuentemente obtenido al determinar subcampos y luego
aplicando el corolario 15.
Corolario 18. Suponga que y son algebraicos sobre F. Entonces
(para 0), (en particular para 0) son todos algebraicos.
Prueba: Todos estos elementos yacen en la extensin F(, ), el cual es finito
sobre F por el teorema, por tanto son algebraicos por el corolario 13.
Corolario 19. Sea L/F una extensin arbitraria. Entonces la coleccin de
elementos de L que son algebraicos sobre F forman un subcampo K de L
Prueba: Esto es inmediato a partir del corolario previo.
Ejemplos
(1)

Considere la extensin

elementos en

y denote

que son algebraicos sobre

(las races n-simas positivas de 2 en

que

el subcampo

de todos los

. En particular, los elementos

) son todos elementos de

para todos los enteros n>1. Por tanto

, as

es una extensin

algebraica infinita de
llamada el campo de los nmeros algebraicos.
(2)
Considere el campo
el subcampo de
que consiste de
elementos algebraicos sobre
. El campo
es contable. El nmero de
polinomios en
de cualquier grado dado n es por tanto tambin contable
(dado uno de tales polinomios es determinado al especificar n+1
coeficientes de ) Dado que estos polinomios tiene a lo ms n races en ,
el nmero de elementos algebraicos de
de grado n es contable.
Finalmente, la coleccin de todos los elementos algebraicos en
es la unin
contable (con ndice por n) de conjuntos contables, y por tanto es contable.
Dado que
es no contable, se sigue que existe (de hecho muchos)
elementos de
que no son algebraicos, es decir, son trascendentales,

sobre . En particular el subcampo

de elementos algebraicos de
es
un subcampo propio de , as que tambin es un subcampo propio de
Es extremadamente difcil en general probar que un nmero real dado no es
algebraico.
Por
ejemplo,
se
sabe
(estos
son
teoremas)
que
son elementos trascendentales de . Incluso las
pruebas que estos elementos no son racionales no son tan fciles.
Teorema 20. Si K es algebraico sobre F y L es algebraico sobre K, entonces L es
algebraico sobre F
Prueba: Sea cualquier elemento de L. Entonces es algebraico sobre K, as que
satisface alguna ecuacin polinomial

Donde los coeficientes

estn en K. Considere el campo
generado sobre F por y los coeficientes de este polinomio. Dado que K/F es
algebraico, los elementos
son algebraicos sobre F, as que la extensin
es finita por el teorema 17. Por la ecuacin de arriba, vemos que
genera una extensin de este campo de grado como mximo n, dado que su
polinomio mnimo sobre este campo es un divisor del polinomio de arriba. Por
tanto

Es tambin finito y
es una extensin algebraica. En particular el
elemento es algebraico sobre F, lo cual prueba que L es algebraico sobre F.
El subcampo
de

un

generado por un conjunto finito de elementos

campo K que contienen cada uno de los campos

Por las definiciones, es tambin el menor subcampo de K que

contiene a estos campos.
Definicin. Sean K1 y K2 dos subcampos de un campo K. Entonces el campo
compuesto de K1 y K2, denotado K1K2, es el menor subcampo de K que contiene
tanto a K1 como a K2. Similarmente, el compuesto de cualquier coleccin de
subcampos de K es el menor subcampo que contiene a todos los subcampos.
Note que el compuesto K 1K2 puede tambin ser descrito como la interseccin de
todos los subcampos K que contienen tanto a K 1 como a K2 y similarmente para el
compuesto de ms de dos campos, anlogo al subgrupo generado por un
subconjunto de un grupo (vase seccin 2.4)
Ejemplo
El compuesto de los dos campos

es el campo

que este campo contiene a ambos de estos subcampos

. Esto es debido a
y

recprocamente, cualquier campo que contiene tanto a

cociente, el cual es .

como a

contiene a su

Suponga ahora que K1 y K2 son extensiones finitas de F en K. Sea

una Fbase para K1 y sea
una F-base para K2 (as que
.
Entonces es claro que estos dan generadores para el compuesto K 1K2 sobre F:

Dado que
es una F-base para K1 cualquier potencia
de uno de los s
es una combinacin lineal con coeficientes en F de los s y una afirmacin similar
es verdadera para los s. Se sigue que la coleccin de combinaciones lineales

Con coeficientes en F es cerrado bajo la multiplicacin y la adicin dado que en un

producto de dos de tales elementos cualquier potencias mayores de los s y s
puede ser reemplazado por expresiones lineales. Por tanto, los elementos
para i=1,2,,n y j=1,2,m generan la extensin compuesta K 1K2 sobre F. En
particular,

Resumimos esto como:

Proposicin 21. Sean K1 y K2 dos extensiones finitas de un campo F contenido en

K. Entonces

Donde la igualdad se cumple si y solo si una F-base para uno de los campos
permanece
linealmente
independiente
sobre
el
otro
campo.
Si
son bases para K1 y K2 sobre F, respectivamente,
entonces los elementos

para i=1,2,,n y j=1,2,m generan a K1K2 sobre F.

Prueba: De
vemos como arriba
que
generan a K1K2 sobre K1. Por tanto
y la
igualdad se cumple si y solo si estos elementos son linealmente independientes
sobre K1. Dado que
esto prueba la proposicin.
Por la proposicin (y su prueba), tenemos el siguiente diagrama:

Tendremos pronto ejemplos donde la desigualdad en la proposicin es estricta.

Una situacin til donde uno puede tener certeza de la igualdad es la siguiente:

Corolario 22. Suponga que

en la proposicin 21, donde n y

m son primos entre s:

Prueba: En general el grado de la extensin
es divisible tanto por n como
por m dado que K1 y K2 son subcampos de K1K2, por tanto es divisible por su
mnimo comn mltiplo. En este caso, dado que (n,m)=1, esto significa que
es divisible por nm, lo cual junto con la desigualdad
de la
proposicin prueba el corolario.
Ejemplo
El compuesto de los dos campos
es de grado 6 sobre
determinamos antes al calcular realmente el compuesto

, el cual

EJERCICIOS
1.
Sea
un campo finito de caracterstica p. Pruebe que
para
algn entero positivo n.
2.
Sean
y
. Obtenga campos de 4, 8, 9 y 27
elementos
adjuntado
una
raz
de
f(x)
al
campo
F
donde
Escriba las tablas de multiplicacin para los
campos con 4 y 9 elementos y muestre que los elementos no cero forman
un grupo cclico.
3.
Determine el polinomio mnimo sobre
para ele elemento 1+i.
4.
Determine el grado sobre
de
y de
5.
Sea
. Pruebe que
son irreducibles sobre F
6.
Pruebe directamente a partir de la definicin que un campo
es el compuesto de los campos
7.
Pruebe que
[una inclusin es obvio, para la otra
considere

]. Concluya que

. Encuentre un polinomio

irreducible que es satisfecho por

8.
Sea F un campo de caracterstica 2. Sean D1 y D2 elementos de F,
ninguno de los cuales es un cuadrado en F. Pruebe que
es de
grado 4 sobre F si D1D2 no es un cuadrado en F y es de grado 2 sobre F de
otro modo. Cuando
es de grado 4 sobre F el campo es llamado
una extensin bicuadrtica de F.
9.
Sea F un campo de de caracterstica 2. Sean a,b los elementos del
campo F con b que no es un cuadrado en F. Pruebe que una condicin
necesaria y suficiente para
para algn m y n en F es que
sea un cuadrado en F. Use esto para determinar cuando el campo
10.

es bicuadrtico sobre
Determine el grado de la extensin

sobre

11. (a) Denote

la raz cuadrada del nmero complejo 3+4i que yace
en el primer cuadrante y denote
la raz cuadrada de 3-4i que yace en
el cuarto cuadrante. Pruebe que
(b) Determine el grado de la extensin
sobre
12. Suponga que el grado de la extensin K/F es un primo p. Muestre que
cualquier subcampo E de K que contiene a F es o K o F.
13. Suponga
donde
para i=1,2,,n. Pruebe que
.
14. Pruebe que si
es impar entonces
.
15. Se dice que un campo F es formalmente real si -1 no es expresable
como una suma de cuadrados en F. Sea F un campo formalmente real, sea
un polinomio irreducible de grado impar y sea una raz de f(x).
Pruebe que F() es tambin formalmente real [Tome como un
contraejemplo
de
grado
mnimo.
Muestre
que
para algn
donde g(x) tiene
grado impar < grado f. Muestre que alguna raz de g tiene grado impar
sobre F y F() es no formalmente real, violando la minimalidad de ]
16. Sea K/F una extensin algebraica y sea R un anillo contenido en K y
que contiene a F. Muestre que R es un subcampo de K que contiene a F
17. Sea f(x) un polinomio irreducible de grado n sobre un campo F. Sea
g(x) cualquier polinomio en F[x]. Pruebe que todo factor irreducible del
polinomio compuesto f(g(x)) tiene grado divisible por n.
18. Sea K un campo y sea k(x) un campo de funciones racionales en x con
coeficientes en k. Sea
la funcin racional
con polinomios primos
entre s
Entonces k(x) es una extensin de k(t) y
para calcular si grado es necesario calcular el polinomio mnimo con
coeficientes en k(t) que es satisfecho por x.
(a)
Muestre que el polinomio P(X)-tQ(X) en la variable X y los coeficientes
en k(t) es irreducible sobre k(t) y tiene a x como una raz [Por el Lema de
Gauss este polinomio es irreducible en (k(t))[X] si y solo si es irreducible en
(k(t))[X]. Entonces note que
(b)
Muestre que el grado de P(X)-tQ(X) considerado como un polinomio
en X con coeficientes en k(t) es el mximo de los grados de P(x) o Q(x)
(c)
Muestre que
max(grado P(x), grado Q(x))
19. Sea K una extensin de F de grado n
(a)
Para cualquier
pruebe que actuando al multiplicar a la izquierda
a K es una transformacin F-lineal de K
(b)
Pruebe que K es isomrfico al subcampo del anillo de matrices nxn
sobre F, as que el anillo de matrices nxn sobre F contiene una copia
isomrfica de toda extensin de F de grado n.
20. Muestre que si la matriz de la transformacin lineal multiplicacin
por considerada en el ejercicio previo es A entonces es una raz del
polinomio caracterstico de A. Esto da un procedimiento efectivo para
determinar una ecuacin de grado n que es satisfecho por un elemento en
una extensin de F de grado n. Use este procedimiento para obtener el
polinomio mnico de grado 3 que es satisfecho por
y por

21.

Sea

para algn entero D libre de cuadrados. Sea

un

elemento de K. Use la base

como un espacio vectorial sobre
y
muestre que la matriz de la transformacin lineal multiplicacin por en
K considerado en el ejercicio previo tiene la matriz
directamente que el mapeo

. Pruebe

es un isomorfismo del campo

K con un subcampo del anillo de matrices 2x2 con coeficientes en .

22. Sean K1 y K2 dos extensiones finitas de un campo F contenidas en el
campo K. Pruebe que el F-lgebra
es un campo si y solo si