Elemento trascendente

En matemtica, si L es una extensin de cuerpos de K, en- Construimos el conjunto K() := { fg()

tonces, un elemento a de L es llamado elemento trascen-
dente de K, o simplemente trascendente sobre K, si no
existe ningn polinomio g(x) con coecientes en K tal que
g(a)=0. Si existen elementos en L que cumplan las pro-
piedades anteriores se llaman se denominan elementos al-
gebraicos sobre K.
La extensin de cuerpos de estos elementos es C/Q, sien-
do C el cuerpo de los nmeros complejos y Q el cuerpo
de los nmeros racionales.
1 Introduccin
Ahora slo pueden darse dos situaciones:
La teora de cuerpos es una rama de la teora de anillos,
que a su vez es una rama del lgebra abstracta. Uno de las
principales campos de estudio de la teora de cuerpos es
el de decidir si un polinomio cuyos coecientes estn en el
cuerpo tiene sus races en el cuerpo (es decir, si al resolver
la ecuacin polinmica, las soluciones pertenecen o no al
cuerpo).
()
: f, g
K[x]} . Este conjunto es un cuerpo, es extensin
de K , es subcuerpo de L , y de hecho es la menor
extensin de K que contiene a . Se le denomina
extensin generada por sobre K .
Construimos la aplicacin : K[x] K() que
a cada polinomio p(x) K[x] le hace corresponder
su evaluacin en , i.e., (p) = p() . Esta aplica-
cin es de hecho un homomorrmo (no es isomors-
mo en general) de anillos conmutativos y unitarios,
y se denomina aplicacin evaluacin.
ker () = {0} , luego es un monomorsmo. En
ese caso, como K K[x] , es (a) = a para cada
aK.
ker() = {0} . Entonces se dice que es un
elemento algebraico.

En el primer caso ( ker() = {0} , o equivalentemente,

2 Denicin K(x) = K() ) se dir que el elemento es trascen-
dente sobre K y que K() es una extensin trascenden-
te sobre K . En ese caso no existir ningn polinomio
Cuando un cuerpo est incluido en otro cuerpo puede con coecientes en K que tenga por raz a (es decir, si
ocurrir que los elementos del mayor sean races de po- p K[x] , entonces p() = 0 ).
linomios con coecientes en el menor en cuyo caso
se dice que los elementos son algebraicos o que haya
elementos que no son races de ninguno de esos polino-
mios. En este ltimo caso se dice que dichos elementos 3 Vase tambin
son trascendentes.
Elemento algebraico
Nmero trascendente
2.1 Construccin
Nmero algebraico
(La siguiente informacin es de carcter tcnico, y pue-
de resultar ardua e incomprensible para el no iniciado en Extensin transcendente
el lgebra abstracta, pero es esencial para comprender el Extensin algebraica
desarrollo de esta rama de la matemtica. Por desgracia
no puede exponerse de una manera ms llana sin perder
rigor, lo que hara que dejara de ser til.)
4 Enlaces externos
Sean dos cuerpos (K, +, ) y (L, +, ) de forma que L es
extensin de K . Sea L . Si K , entonces es Weisstein, Eric W. Transcendental Element. En
raz del polinomio p(x) = x , que es irreducible en Weisstein, Eric W. MathWorld (en ingls). Wolfram
K[x] (todo polinomio de grado 1 es irreducible en cual- Research.
quier anillo de polinomios). Si L \ K , entonces
realizamos la siguiente construccin:

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
Elemento trascendente Fuente: https://es.wikipedia.org/wiki/Elemento_trascendente?oldid=95807864 Colaboradores: Pino, Tano4595,
Cinabrium, Digigalos, Gerkijel, Yrbot, BOTijo, Wewe, JRGL, CEM-bot, Ingenioso Hidalgo, ProgramadorCCCP, HiTe, Muro Bot, Raulshc,
FrescoBot, Caritdf y Annimos: 2

5.2 Imgenes

5.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0