Extensin de cuerpos
En lgebra, las extensiones de cuerpo son el problema 2 Extensin simple
fundamental de la Teora de Cuerpos. Un cuerpo es un
conjunto en el que las operaciones suma y producto estn { }
denidas y funcionan bien. Cuando se construye una El conjunto K() := fg() ()
: f, g K[x], g() = 0
extensin de un cuerpo, se busca un conjunto ms grande . Este conjunto es un cuerpo, es extensin de K , es sub-
en el que las operaciones suma y producto sigan funcio- cuerpo de L , y de hecho es la menor extensin de K que
nando bien y adems se puedan resolver las ecuaciones contiene a . Se le denomina extensin generada por
polinmicas. sobre K .
1 Denicin. 3 Extensiones algebraicas y tras-
cendentes
Sea (K, +, ) un cuerpo. Un cuerpo L es una extensin
de K si K es un subcuerpo de L, es decir si (L,+,) es un
cuerpo y (K,+,) es un cuerpo con la restriccin a K de 3.1 Teorema de Kronecker.
las operaciones + y en L. Si L es extensin sobre K se
denota L:K o L/K. Sea K un cuerpo y p K[x] un polinomio irreducible,
entonces existe alguna extensin L : K de manera que p
tiene alguna raz en L .
1.1 Extensin sobre un cuerpo como espa-
cio vectorial sobre el cuerpo
3.2 Homomorsmo evaluacin
Si L es una extensin de K, entonces L es un espacio
vectorial sobre K. La funcin : K[x] K() que a cada polinomio
p(x) K[x] le hace corresponder su evaluacin en
En efecto, La adicin de K sirve tambin de adicin en , i.e., (p) = p() . Esta aplicacin es de hecho un
el espacio vectorial, y la multiplicacin de un elemento isomorsmo de anillos conmutativos y unitarios, y se de-
de K por uno de L dene el producto escalar del espacio nomina homomorsmo evaluacin.
vectorial:
Por denicin de cuerpo, (L, +) es grupo abeliano, y 3.3 Extensin algebraica
podemos considerar el producto por escalares : K
L L como una restriccin a K L del producto en Una extensin L : K se dice que es algebraica si todo
: L L L . De esta forma es inmediato que se elemento L es algebraico sobre K .
cumple que:
a ( + ) = (a ) + (a ) , 3.3.1 Elementos algebraicos
(a + b) = (a ) + (b ) , Supongamos que existe algn polinomio p K[x] que
tiene a por raz.
(a (b )) = (a b) , En esta situacin ( ker() = {0} , o equivalentemente,
existe algn p K[x] irreducible con K[x]
(p) = K() ) se
1=, dice que es algebraico sobre K .
Un elemento es entonces algebraico sobre un cuerpo si y
cualesquiera que sean a, b K y , L . Las dos slo si es raz de algn polinomio a coecientes en dicho
primeras propiedades son debidas a la distributividad del cuerpo.
producto respecto de la suma en L y a que K L , la
tercera se debe a que el producto es asociativo en L , y la
cuarta se debe a que K es subcuerpo de L , por lo que el Polinomio mnico irreducible Si es un elemento
elemento unidad de L es el elemento unidad de K . algebraico sobre el cuerpo K de manera que
/ K , el
1
2 6 ENLACES EXTERNOS
polinomio p que genera al ncleo de la aplicacin evalua- ya que 2 es el grado del polinomio mnico e irreducible
cin (i.e., ker = (p) ) es irreducible. Dividiendo p por que tiene a 2 como raz: x2 2 .
su coeciente principal (aquel escalar que multiplica a la En general:
mayor potencia de la variable x ) se obtiene un polinomio
mnico (es decir, de manera que su coeciente principal [K() : K] = n si n es el grado del polinomio mnico e
es la unidad), que se denota por mK y se denomina po-
irreducible en K[x] que tiene a como raz, donde K es
linomio mnico irreducible de respecto de K . un cuerpo y K[x] son los polinomios con coecientes en
K.
Claramente, K()
=
K[x]
(mK
.
)
3.4 Extensin trascendente 5 Vase tambin
Una extensin L : K se dice que es trascendente si existe Teora de cuerpos
algn elemento L que sea trascendente sobre K .
6 Enlaces externos
3.4.1 Elementos trascendentes
Weisstein, Eric W. Extension Field. En Weisstein,
Si el ker () = {0} , ser un monomorsmo. En ese
Eric W. MathWorld (en ingls). Wolfram Research.
caso, K(x) es isomorfo a K() .
Se dir que el elemento es trascendente sobre K y que
K() es una extensin trascendente sobre K . Adems,
no existir ningn polinomio con coecientes en K que
tenga por raz a (es decir, si p K[x] , entonces
p() = 0 ).
4 Grado de una extensin
Como todo espacio vectorial tiene base, podemos calcu-
lar la dimensin de L como espacio vectorial sobre K ,
denotado por dimK (L) . Se denomina grado de la ex-
tensin L : K a la dimensin de L como K -espacio
vectorial: [L : K] = dimK (L) .
Tomemos varios ejemplos:
K = Q el cuerpo de los racionales y L = R el cuerpo de
los reales; R visto como espacio vectorial sobre Q , es de
dimensin innita, es decir, [R : Q] = .
El resultado no sorprende si se considera los cardinales
de ambos conjuntos: Si la dimensin de R sobre Q fuese
nita, R sera isomorfo a Qn , n N , lo que no es posible
porque |Qn | = |Q| = |N| < |R| .
Si K = Q , el cuerpo de los racionales y L = Q( 2) , el
cuerpo que contiene a la vez Q y 2, claramente
menor
Q( 2) es una extensin algebraica de Q , ya que 2 es
raz del polinomio x2 2 .
Al mismo tiempo:
Q( 2) = Q[x]/(x2 2)
ya que el ideal(x2 2) es el ncleo del morsmo :
Q[x] Q( 2) , claramente este es un morsmo su-
prayectivo, se sigue del primer teorema de isomorsmo
que son campos isomorfos.
Adems
[Q( 2) : Q] = 2 , es decir, la dimensin de
Q( 2) como espacio vectorial sobre Q es 2, esto es as
3
7 Origen del texto y las imgenes, colaboradores y licencias
7.1 Texto
Extensin de cuerpos Fuente: https://es.wikipedia.org/wiki/Extensi%C3%B3n_de_cuerpos?oldid=94519323 Colaboradores: Romero
Schmidtke, Pino, Sabbut, Tano4595, Rembiapo pohyiete (bot), Caiserbot, Yrbot, Wewe, KnightRider, Eskimbot, Maldoror, CEM-bot,
Ingenioso Hidalgo, JAnDbot, TXiKiBoT, Gullo, HiTe, AlleborgoBot, YonaBot, Loveless, Alexbot, Juan Mayordomo, Raulshc, Silvonen-
Bot, UA31, MastiBot, DanBot, Diegusjaimes, Luckas-bot, Xqbot, Danie1996, GrouchoBot, MerlIwBot, Moy Kusanagi, Elvisor, Allanbot,
Addbot, BenjaBot y Annimos: 7
7.2 Imgenes
7.3 Licencia del contenido
Creative Commons Attribution-Share Alike 3.0
