Sie sind auf Seite 1von 2

Elemento trascendente

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


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