Anillo de polinomios

Sea A un anillo y S cualquier conjunto. El conjunto A[S] A[S] son las mismas que las de A . Por el contrario A[S]
contiene los elementos de la forma: nunca ser un cuerpo, no importando que A lo sea o no,
pues aunque las unidades de A[S] sean las mismas que las
m de A , A es tan slo un subanillo de A[S] . Sin embargo,
(1) i=1 ai x1 xn ,
ki1 kin
el anillo A[S] es un dominio integro si A lo es, luego,
dado el caso, se puede construir el cuerpo de cocientes de
en donde m, n N {0} , a1 , . . . , am A
A[S] (i.e. el cuerpo de fracciones de polinomios), que se
, x1 , . . . , xn S y cada n -tupla (ki1 , . . . , kin ) de
denota comnmente por A(S) .
nmeros naturales es diferente para diferente valor de i
, se dice anillo de polinomios con indeterminadas en S Los coecientes de los polinomios de un anillo A[S] pue-
sobre A . den tomarse no solo como los elementos de A . En la
prctica podemos hacer agrupaciones del tipo

1 Introduccin 4x2 y 3 5xy 2 + 2zy = (4x2 )y 3

(5x)y 2 + 2zy
Los polinomios ms conocidos son los que tienen coe-
cientes enteros. y stas tambin deben hacerse en un anillo de polinomios
Ejemplo: A[S] . Para ello se separan los elementos de S en dos
conjuntos disjuntos, digamos R y T , luego el anillo de
Sea A el anillo Z y S = {x, y} , un elemento de Z[S] es polinomios A[R][T ] tiene coecientes en el anillo de po-
un polinomio de dos variables como: linomios A[R] e indeterminadas en T S . Si A es un
anillo y R S , claramente A[R] es un subanillo de A[S]
.

4x3 y 5xy 2 + 3y 3 Sea A un anillo unitario. Todo polinomio no nulo de A[x]

cuyo coeciente director sea una unidad puede dividir eu-
cldeamente a cualquier otro polinomio de A[x] y el grado
El conjunto de indeterminadas S puede ser un conjunto
del resto es estrictamente menor que el grado de del divi-
innito, pero cada polinomio contiene un nmero nito
sor. Es decir, si D y d son polinomios de A[x] no nulos,
de trminos.[cita requerida]
con el coeciente director de d una unidad de A , enton-
Si S = {x1 , . . . , xn } , entonces se puede escribir ces existen polinomios c y r de A[x] tales que
A[x1 , . . . , xn ] en lugar de A[S] . As, A[x] es un anillo
As, para que la divisin de polinomios sea siempre po-
de polinomios en una sola indeterminada x .
sible en un anillo de polinomios A[x] , A debe de ser un
A cada elemento a A le corresponde un polinomio cuerpo (i.e. todo elemento de A debe ser una unidad), y
(monomio, de hecho) en A[S] como: si as sucede A[x] ser un dominio eucldeo. Un hecho
muy importante es que un anillo de polinomios A[x] es
un dominio de ideales principales (DIP) si y slo si A es
un cuerpo. Puesto que todos los dominios eucldeos son
ax01 x0n DIPs, tenemos que A[S] no es un dominio eucldeo si S
contiene ms de un elemento, pues A[S] = A[S \{x}][x]
ya que xi = 1 a = ax1 x2 x3 , por lo que A es un , y A[S \ {x}] nunca es un cuerpo y por tanto tampoco
0 0 0 0

subanillo de A[S] . un DIP.

2 Propiedades fundamentales 3 Denicin formal

Hechos de inters sobre anillos de polinomios tienen que 3.1 Los monomios puros
ver con las propiedades del mismo a partir del anillo en
el que tienen sus coecientes. Por ejemplo, cuando A es La denicin formal de los anillos de polinomios parte de
un dominio ntegro, A[S] tambin lo es, y las unidades de la denicin de los monomios puros (sin coecientes en

1
2 3 DEFINICIN FORMAL

un anillo; en muchos contextos, la palabra monomio co- (6) u(xi )xi

rresponde a este signicado, utilizndose entonces la pa-
labra trmino para designar el producto de un coeciente
del anillo y un monomio). Notar que si S es un conjunto de (5) representa el factor xu(xi ) en el monomio repre-
i
y, por ejemplo, x, y, z S , un monomio a partir de S sentado por u . Es decir, (5) se entiende como el monomio
puede ser

(3) x2 yz 3 . u(x1 ) u(xn )

(7) x1 xn
En el monomio anterior, cada uno de los elementos
x, y, z S tiene un exponente natural. Por tanto, po-
demos considerar a cada monomio con indeterminadas
3.2 Polinomios con coecientes en un ani-
en S como una aplicacin u : S N (aqu y en el
resto del artculo consideramos que N incluye al cero). llo
El monomio (3) sera entendido entonces como la apli-
cacin u dada por u(x) = 2 , u(y) = 1 , u(z) = 3 y Para dar paso a la denicin de un anillo de polinomios,
donde u se anula para todos los dems elementos (si es- observemos que un polinomio, como (2), es una suma
tos existen) de S . Observar que un monomio puro es el nita de monomios multiplicados por coecientes en un
producto de un nmero nito de indeterminadas. Aunque anillo (en el caso de (1) los coecientes son enteros). As,
S sea innito, podemos obtener un monomio u haciendo por ejemplo, es suciente asociar el polinomio (1) con
que u(s) sea nulo para todas aquellas indeterminadas que una aplicacin p : M Z , donde S = {x, y} , tal que
no queremos que aparezcan en el monomio. Por ejemplo, p toma el valor del coeciente correspondiente cuando se
si S = {x, y, z} , el monomio evala en un monomio u M . En vista de esto tenemos:
Podemos considerar ahora los monomios con coecien-
(4) x4 y 2 , tes en el anillo A como casos especiales de polinomios.
Si A es unitario, entonces podemos considerar al polino-
se corresponde con la aplicacin u dada por u(x) = 4 , mio p que vale 1 en u y 0 en cualquier otro caso como
u(y) = 2 y u(z) = 0 . el monomio u mismo. Para ver que, en realidad, tanto S
como A son, desde el punto de vista algebraico, un sub-
En vista de las consideraciones anteriores, la denicin de conjunto de A[S] y que efectivamente A[S] es un anillo
un conjunto de monomios ha de ser la siguiente: que contiene a A como un subanillo, es necesario denir
Si u, v M , se denen las aplicaciones u + v y ku , las operaciones de anillo sobre A[S] .
donde k N , mediante
para todo s S .
Estas aplicaciones estn bien denidas, y claramente u + 3.3 Operaciones sobre A[S]
v M y ku M . Vemos pues que si u, v son aplica-
ciones de M , u + v se interpreta como el producto de los
3.3.1 Deniciones
monomios representados por u y v , y si k es un nmero
natural, ku se interpreta como la potencia m -sima del
monomio representado por u . La adicin sobre A[S] claramente ha de denirse as:

Ntese que el monomio e de M que toma constantemente Esta denicin se interpreta como la reduccin de los tr-
el valor 0 es tal que minos semejantes (i.e. los coecientes de un mismo mo-
nomio u ) de p y q .
para todo u M . As, este monomio se representa por
el mismo smbolo 0. Cuando multiplicamos polinomios, acostumbramos su-
mar los trminos semejantes que surjan en el producto
Obsrvese que el elemento x S se interpreta en M , para obtener un polinomio lo ms reducido posible. En
claramente, como la aplicacin x que vale 1 en x y 0 en vista de esto, tenemos la denicin de la multiplicacin
cualquier otro caso. En estos trminos cualquier monomio en A[S] :
u de M puede escribirse como

(5) u = u(x1 )x1 + + u(xn )xn ,

3.3.2 Propiedades de anillo
donde x1 , . . . , xn S son los elementos de S para los
cuales la aplicacin u no se anula (por denicin, estos Respecto de las operaciones de adicin y multiplicacin,
elementos son siempre un nmero nito). Claramente, segn han sido denidas, el conjunto A[S] cumple con
cada trmino que:
4.1 Bibliografa 3

4 Referencias

4.1 Bibliografa
Hall, F. M. (1969). Section 3.6. An Introduction
to Abstract Algebra 2. Cambridge University Press.
ISBN 0521084849.

Herstein, I. N. (1975). Section 3.9. Topics in Al-

gebra. Wiley. ISBN 0471010901.
Lam, Tsit-Yuen (2001), A First Course in Noncom-
mutative Rings, Berlin, New York: Springer-Verlag,
ISBN 978-0-387-95325-0

Osborne, M. Scott (2000), Basic homological alge-

bra, Graduate Texts in Mathematics 196, Berlin,
New York: Springer-Verlag, ISBN 978-0-387-98934-
1, MR 1757274
4 5 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

5 Origen del texto y las imgenes, colaboradores y licencias

5.1 Texto
Anillo de polinomios Fuente: https://es.wikipedia.org/wiki/Anillo_de_polinomios?oldid=99002287 Colaboradores: Oblongo, Patri-
cio.lorente, Yrbot, GermanX, Wewe, CEM-bot, Marianov, Davius, TXiKiBoT, Alephcero~eswiki, WarddrBOT, BotMultichill, SieBot,
Macarrones, Farisori, Alexbot, DumZiBoT, ArthurBot, Sr. Alvaro, TiriBOT, Grillitus, WikitanvirBot, MerlIwBot, Invadibot, Acratta,
Addbot, MomijiRoBot, Semibot y Annimos: 10

5.2 Imgenes

5.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0