Un elemento en una extensión de cuerpos es trascendente si no es raíz de ningún polinomio con coeficientes en el cuerpo original. Se construye la extensión generada por el elemento trascendente, que es el menor cuerpo que lo contiene. Si la aplicación de evaluación es monomórfica, el elemento es trascendente; de lo contrario, es algebraico.
0 calificaciones0% encontró este documento útil (0 votos)
84 vistas2 páginas
Un elemento en una extensión de cuerpos es trascendente si no es raíz de ningún polinomio con coeficientes en el cuerpo original. Se construye la extensión generada por el elemento trascendente, que es el menor cuerpo que lo contiene. Si la aplicación de evaluación es monomórfica, el elemento es trascendente; de lo contrario, es algebraico.
Un elemento en una extensión de cuerpos es trascendente si no es raíz de ningún polinomio con coeficientes en el cuerpo original. Se construye la extensión generada por el elemento trascendente, que es el menor cuerpo que lo contiene. Si la aplicación de evaluación es monomórfica, el elemento es trascendente; de lo contrario, es algebraico.
Un elemento en una extensión de cuerpos es trascendente si no es raíz de ningún polinomio con coeficientes en el cuerpo original. Se construye la extensión generada por el elemento trascendente, que es el menor cuerpo que lo contiene. Si la aplicación de evaluación es monomórfica, el elemento es trascendente; de lo contrario, es algebraico.
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1de 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