Extensin algebraica

En lgebra abstracta, una extensin de cuerpo L/K se di- es nito. Ocurre que aplicando esta denicin a la teora
ce algebraica si cada elemento de L es algebraico sobre de cuerpos tenemos la denicin usual de extensin al-
K, por ejemplo, si cada elemento de L es una raz de al- gebraica. El grupo de Galois de N sobre M puede ser de
gn polinomio distinto de cero con coecientes en K. Las nuevo denido como el grupo de automorsmos, y gran
extensiones de cuerpos que no son algebraicas, i.e. que parte de la teora de grupos de Galois puede ser desarro-
contienen elementos trascendentes, son llamadas trans- llada para el caso general.
cendentes.
Por ejemplo, la extensin de cuerpos R/Q es trascen-
dente, mientras que las extensiones de cuerpos C/R y 3 Vase tambin
Q(2)/Q son algebraicas.
lgebra abstracta
Cuerpo
1 Propiedades
Espacio vectorial
Si pensamos en L como un espacio vectorial sobre K, po-
Teora de Galois
demos considerar su dimensin. Esta dimensin es tam-
bin llamada el grado de la extensin. As, la extensin Nmero algebraico
L/K puede ser clasicada adems como extensin nita o
innita de acuerdo con esta dimensin. Todas las exten- Cuerpo algebraicamente cerrado
siones trascendentes son de grado innito. Esto adems
implica que todas las extensiones nitas son algebraicas.
Sin embargo lo contrario no es cierto: existen extensio- 4 Enlaces externos
nes innitas que son adems algebraicas. Por ejemplo, el
cuerpo de todos los nmeros algebraicos es una extensin Weisstein, Eric W. Algebraic Extension. En
innita algebraica de los nmeros racionales. Weisstein, Eric W. MathWorld (en ingls). Wolfram
Research.
Si a es algebraico sobre K, entonces K[a], el conjunto
de todos los polinomios en a con coecientes en K, es
un cuerpo. Es una extensin de cuerpos algebraica de K
que tiene grado nito sobre K. En el caso especial de que
K=Q, Q[a] es un ejemplo de cuerpo de nmeros alge-
braicos.
Un cuerpo sin extensiones algebraicas propias es llamado
algebraicamente cerrado. Un ejemplo es el de los nmeros
complejos. Cada cuerpo tiene una extensin algebrai-
ca que es algebraicamente cerrada (que se denomina su
clausura algebraica), pero el probar esto en general, re-
quiere cierta forma del axioma de eleccin.

2 Generalizaciones
La teora de modelos generaliza la nocin de extensin al-
gebraica a teoras arbitrarias: una inmersin difeomorfa
(incubamiento) de M en N se le llama extensin alge-
braica si para cada x en N existe una condicin p con
parmetros en M, tal que p(x) es cierta y el conjunto

{y N |p(y)}

1
2 5 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

5 Origen del texto y las imgenes, colaboradores y licencias

5.1 Texto
Extensin algebraica Fuente: https://es.wikipedia.org/wiki/Extensi%C3%B3n_algebraica?oldid=83298977 Colaboradores: DefLog, Ivn,
Sms, Elwikipedista, Domaniom, LeonardoRob0t, RobotQuistnix, Yrbot, Wewe, KnightRider, Juan Antonio Cordero, Ricard Delgado Gon-
zalo, CEM-bot, Davius, Ggenellina, Thijs!bot, ProgramadorCCCP, Botones, Rei-bot, Muro Bot, Raulshc, Luckas-bot, SassoBot, Jerowiki,
EmausBot, Zerabat, Addbot y Annimos: 2

5.2 Imgenes
Archivo:Mergefrom.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/0/0f/Mergefrom.svg Licencia: Public domain Cola-
boradores: ? Artista original: ?

5.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0