Elemento algebraico
En matemticas, ms concretamente en lgebra abstrac-
ta y teora de cuerpos, se dice que un elemento es alge-
braico sobre un cuerpo si es raz de algn polinomio con
coecientes en dicho cuerpo. Los elementos algebraicos
sobre el cuerpo de los nmeros racionales reciben el nom-
bre de nmeros algebraicos.
Uno de las principales campos de estudio de la teora de
cuerpos es el de decidir si un polinomio p con coecien-
tes en un cuerpo K tiene raices: es decir, si existe algn
elemento a K tal que al evaluar el polinomio en l, es-
te se anula ( p(a) = 0 ). Aun en el caso de que no sea
as, siempre es posible encontrar un cuerpo mayor una
extensin de cuerpos que contenga las soluciones de di-
cho polinomio. Se dice entonces que esos elementos son
algebraicos sobre K .
En general, puede ocurrir que una extensin de cuerpos
contenga elementos que no son raz de ningn polinomio
con coecientes en el cuerpo menor: a estos se les llama
elementos trascendentes. Por el contrario, todo elemento
a de un cuerpo es algebraico sobre dicho cuerpo, ya que
es raz del polinomio p = x a .
1 Denicin
Dado un cuerpo K y una extensin L/K , se dice que
un elemento L es algebraico sobre K si y slo si
existe un polinomio p K[X] , que pertenece al anillo
de polinomios con coecientes en K , tal que p() = 0 .
En caso contrario se dice que es trascendente.
1.1 Construccin
Sean dos cuerpos (K, +, ) y (L, +, ) de forma que L es
extensin de K . Sea L . Si K , entonces es
raz del polinomio p(x) = x , que es irreducible en
K[x] (todo polinomio de grado 1 es irreducible en cual-
quier anillo de polinomios). Si L \ K , entonces
realizamos la siguiente construccin:
Construimos el conjunto K() := { fg()
()
: f, g
K[x]; g() = 0} . 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 correspon-
der su evaluacin en , i.e., (p) = p() . Esta
aplicacin es de hecho un homomorsmo de anillos
conmutativos y unitarios, y se denomina aplicacin
evaluacin.
Ahora slo pueden darse dos situaciones:
1. ker () = {0} . En este caso se dice que es
elemento trascendente sobre K .
2. ker() = {0} . En este caso se dice que es ele-
mento algebraico sobre K .
2 Polinomio mnico irreducible
Si es un elemento algebraico sobre el cuerpo K de ma-
nera que / K , el polinomio p que genera al ncleo
de la aplicacin evaluacin (i.e., ker = (p) ) es irre-
ducible. Dividiendo p por su coeciente principal (aquel
escalar que multiplica a la mayor potencia de la variable
x ) se obtiene un polinomio mnico (es decir, de manera
que su coeciente principal es la unidad), que se denota
por mK y se denomina polinomio mnico irreducible de
respecto de K .
Claramente, K() = K[x]/(mK ) .
3 Vase tambin
Elemento trascendente.
Nmero trascendente.
Nmero algebraico.
Extensin transcendente.
Extensin algebraica.
4 Enlaces externos
Weisstein, Eric W. Algebraic Element. En Weiss-
tein, Eric W. MathWorld (en ingls). Wolfram Re-
search.
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 algebraico Fuente: https://es.wikipedia.org/wiki/Elemento_algebraico?oldid=98141031 Colaboradores: Angus, Yrbot, BOT-
Superzerocool, FlaBot, BOTijo, YurikBot, Echani, Wewe, Siabef, ODIO A UD., CEM-bot, Davius, Martin Rizzo, Kved, TXiKiBoT,
Alephcero~eswiki, HiTe, Gustronico, Rei-bot, Amanuense, SieBot, PaintBot, Loveless, Alecs.bot, Raulshc, UA31, Diegusjaimes, Luckas-
bot, Sr. Alvaro, Aytrus, PatruBOT, Edslov, EmausBot, Acratta, Elvisor, Legobot, Sapristi1000 y Annimos: 10

5.2 Imgenes
Archivo:Commons-emblem-question_book_orange.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/1/1f/
Commons-emblem-question_book_orange.svg Licencia: CC BY-SA 3.0 Colaboradores: <a href='//commons.wikimedia.org/wiki/File:
Commons-emblem-issue.svg' class='image'><img alt='Commons-emblem-issue.svg' src='https://upload.wikimedia.org/wikipedia/
commons/thumb/b/bc/Commons-emblem-issue.svg/25px-Commons-emblem-issue.svg.png' width='25' height='25' srcset='https:
//upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/38px-Commons-emblem-issue.svg.png 1.5x,
https://upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/50px-Commons-emblem-issue.svg.png 2x'
data-le-width='48' data-le-height='48' /></a> + <a href='//commons.wikimedia.org/wiki/File:Question_book.svg' class='image'><img
alt='Question book.svg' src='https://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/25px-Question_
book.svg.png' width='25' height='20' srcset='https://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/
38px-Question_book.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/50px-Question_
book.svg.png 2x' data-le-width='252' data-le-height='199' /></a> Artista original: GNOME icon artists, Jorge 2701

5.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0