Anillo de polinomios

Ir a la navegaci�n
Ir a la b�squeda

Sea A {\displaystyle A} A un anillo y S {\displaystyle S} S cualquier conjunto. El

conjunto A [ S ] {\displaystyle A[S]} {\displaystyle A[S]} contiene los elementos
de la forma:

(1) ? i = 1 m a i x 1 k i 1 ? x n k i n {\displaystyle \sum

_{i=1}^{m}a_{i}x_{1}^{k_{i1}}\cdots x_{n}^{k_{in}}} {\displaystyle \sum
_{i=1}^{m}a_{i}x_{1}^{k_{i1}}\cdots x_{n}^{k_{in}}},

en donde m , n ? N - { 0 } {\displaystyle m,\;n\in \mathbb {N} -\{0\}}

{\displaystyle m,\;n\in \mathbb {N} -\{0\}}, a 1 , � , a m ? A {\displaystyle
a_{1},\ldots ,a_{m}\in A} {\displaystyle a_{1},\ldots ,a_{m}\in A}, x 1 , � , x n ?
S {\displaystyle x_{1},\ldots ,x_{n}\in S} {\displaystyle x_{1},\ldots ,x_{n}\in S}
y cada n {\displaystyle n} n-tupla ( k i 1 , � , k i n ) {\displaystyle
(k_{i1},\ldots ,k_{in})} {\displaystyle (k_{i1},\ldots ,k_{in})} de n�meros
naturales es diferente para diferente valor de i {\displaystyle i} i, se dice
anillo de polinomios con indeterminadas en S {\displaystyle S} S sobre A
{\displaystyle A} A.
�ndice

1 Introducci�n
2 Propiedades fundamentales
3 Definici�n formal
3.1 Los monomios puros
3.2 Polinomios con coeficientes en un anillo
3.3 Operaciones sobre A [ S ] {\displaystyle A[S]} {\displaystyle A[S]}
3.3.1 Definiciones
3.3.2 Propiedades de anillo
4 Referencias
4.1 Bibliograf�a

Introducci�n

Los polinomios m�s conocidos son los que tienen coeficientes enteros.

Ejemplo:

Sea A {\displaystyle A} A el anillo Z {\displaystyle \mathbb {Z} } \mathbb{Z} y S =

{ x , y } {\displaystyle S=\{x,y\}} {\displaystyle S=\{x,y\}}, un elemento de Z [ S
] {\displaystyle \mathbb {Z} [S]} {\displaystyle \mathbb {Z} [S]} es un polinomio
de dos variables como:

4 x 3 y - 5 x y 2 + 3 y 3 {\displaystyle 4x^{3}y-5xy^{2}+3y^{3}}
{\displaystyle 4x^{3}y-5xy^{2}+3y^{3}}

El conjunto de indeterminadas S {\displaystyle S} S puede ser un conjunto infinito,

pero cada polinomio contiene un n�mero finito de t�rminos.[cita requerida]

Si S = { x 1 , � , x n } {\displaystyle S=\{x_{1},\ldots ,x_{n}\}} {\displaystyle

S=\{x_{1},\ldots ,x_{n}\}}, entonces se puede escribir A [ x 1 , � , x n ]
{\displaystyle A[x_{1},\ldots ,x_{n}]} {\displaystyle A[x_{1},\ldots ,x_{n}]} en
lugar de A [ S ] {\displaystyle A[S]} {\displaystyle A[S]}. As�, A [ x ]
{\displaystyle A[x]} {\displaystyle A[x]} es un anillo de polinomios en una sola
indeterminada x {\displaystyle x} x.

A cada elemento a ? A {\displaystyle a\in A} {\displaystyle a\in A} le corresponde

un polinomio (monomio, de hecho) en A [ S ] {\displaystyle A[S]} {\displaystyle
A[S]} como:

a x 1 0 ? x n 0 {\displaystyle ax_{1}^{0}\cdots x_{n}^{0}} {\displaystyle

ax_{1}^{0}\cdots x_{n}^{0}}

ya que x i 0 = 1 ? a = a x 1 0 x 2 0 x 3 0 ? {\displaystyle x_{i}^{0}=1\Rightarrow

a=ax_{1}^{0}x_{2}^{0}x_{3}^{0}\cdots } {\displaystyle x_{i}^{0}=1\Rightarrow
a=ax_{1}^{0}x_{2}^{0}x_{3}^{0}\cdots }, por lo que A {\displaystyle A} A es un
subanillo de A [ S ] {\displaystyle A[S]} {\displaystyle A[S]}.
Propiedades fundamentales

Hechos de inter�s sobre anillos de polinomios tienen que ver con las propiedades
del mismo a partir del anillo en el que tienen sus coeficientes. Por ejemplo,
cuando A {\displaystyle A} A es un dominio �ntegro, A [ S ] {\displaystyle A[S]}
{\displaystyle A[S]} tambi�n lo es, y las unidades de A [ S ] {\displaystyle A[S]}
{\displaystyle A[S]} son las mismas que las de A {\displaystyle A} A. Por el
contrario A [ S ] {\displaystyle A[S]} {\displaystyle A[S]} nunca ser� un cuerpo,
no importando que A {\displaystyle A} A lo sea o no, pues aunque las unidades de A
[ S ] {\displaystyle A[S]} {\displaystyle A[S]} sean las mismas que las de A
{\displaystyle A} A, A {\displaystyle A} A es tan s�lo un subanillo de A [ S ]
{\displaystyle A[S]} {\displaystyle A[S]}. Sin embargo, el anillo A [ S ]
{\displaystyle A[S]} {\displaystyle A[S]} es un dominio integro si A {\displaystyle
A} A lo es, luego, dado el caso, se puede construir el cuerpo de cocientes de A [ S
] {\displaystyle A[S]} {\displaystyle A[S]} (i.e. el cuerpo de fracciones de
polinomios), que se denota com�nmente por A ( S ) {\displaystyle A(S)}
{\displaystyle A(S)}.

Los coeficientes de los polinomios de un anillo A [ S ] {\displaystyle A[S]}

{\displaystyle A[S]} pueden tomarse no solo como los elementos de A {\displaystyle
A} A. En la pr�ctica podemos hacer agrupaciones del tipo

4 x 2 y 3 - 5 x y 2 + 2 z y = ( 4 x 2 ) y 3 - ( 5 x ) y 2 + 2 z y
{\displaystyle ~4x^{2}y^{3}-5xy^{2}+2zy=(4x^{2})y^{3}-(5x)y^{2}+2zy} {\displaystyle
~4x^{2}y^{3}-5xy^{2}+2zy=(4x^{2})y^{3}-(5x)y^{2}+2zy}

y �stas tambi�n deben hacerse en un anillo de polinomios A [ S ] {\displaystyle

A[S]} {\displaystyle A[S]}. Para ello se separan los elementos de S {\displaystyle
S} S en dos conjuntos disjuntos, digamos R {\displaystyle R} R y T {\displaystyle
T} T, luego el anillo de polinomios A [ R ] [ T ] {\displaystyle A[R][T]}
{\displaystyle A[R][T]} tiene coeficientes en el anillo de polinomios A [ R ]
{\displaystyle A[R]} {\displaystyle A[R]} e indeterminadas en T ? S {\displaystyle
T\subset S} {\displaystyle T\subset S}. Si A {\displaystyle A} A es un anillo y R ?
S {\displaystyle R\subseteq S} {\displaystyle R\subseteq S}, claramente A [ R ]
{\displaystyle A[R]} {\displaystyle A[R]} es un subanillo de A [ S ] {\displaystyle
A[S]} {\displaystyle A[S]}.

Sea A {\displaystyle A} A un anillo unitario. Todo polinomio no nulo de A [ x ]

{\displaystyle A[x]} {\displaystyle A[x]} cuyo coeficiente director sea una unidad
puede dividir eucl�deamente a cualquier otro polinomio de A [ x ] {\displaystyle
A[x]} {\displaystyle A[x]} y el grado del resto es estrictamente menor que el grado
de del divisor. Es decir, si D {\displaystyle D} D y d {\displaystyle d} d son
polinomios de A [ x ] {\displaystyle A[x]} {\displaystyle A[x]} no nulos, con el
coeficiente director de d {\displaystyle d} d una unidad de A {\displaystyle A} A,
entonces existen polinomios c {\displaystyle c} c y r {\displaystyle r} r de A
[ x ] {\displaystyle A[x]} {\displaystyle A[x]} tales que
D = d c + r {\displaystyle ~D=dc+r} {\displaystyle ~D=dc+r} con g r a d r <
g r a d d {\displaystyle \mathrm {grad} \,r<\mathrm {grad} \,d} {\displaystyle
\mathrm {grad} \,r<\mathrm {grad} \,d}
As�, para que la divisi�n de polinomios sea siempre posible en un anillo de
polinomios A [ x ] {\displaystyle A[x]} {\displaystyle A[x]}, A {\displaystyle A} A
debe de ser un cuerpo (i.e. todo elemento de A debe ser una unidad), y si as�
sucede A [ x ] {\displaystyle A[x]} {\displaystyle A[x]} ser� un dominio eucl�deo.
Un hecho muy importante es que un anillo de polinomios A [ x ] {\displaystyle A[x]}
{\displaystyle A[x]} es un dominio de ideales principales (DIP) si y s�lo si A
{\displaystyle A} A es un cuerpo. Puesto que todos los dominios eucl�deos son DIPs,
tenemos que A [ S ] {\displaystyle A[S]} {\displaystyle A[S]} no es un dominio
eucl�deo si S {\displaystyle S} S contiene m�s de un elemento, pues A [ S ] = A [ S
\ { x } ] [ x ] {\displaystyle A[S]=A[S\setminus \{x\}][x]} {\displaystyle
A[S]=A[S\setminus \{x\}][x]}, y A [ S \ { x } ] {\displaystyle A[S\setminus \{x\}]}
{\displaystyle A[S\setminus \{x\}]} nunca es un cuerpo y por tanto tampoco un DIP.
Definici�n formal
Los monomios puros

La definici�n formal de los anillos de polinomios parte de la definici�n de los

monomios puros (sin coeficientes en un anillo; en muchos contextos, la palabra
monomio corresponde a este significado, utiliz�ndose entonces la palabra t�rmino
para designar el producto de un coeficiente del anillo y un monomio). Notar que si
S {\displaystyle S} S es un conjunto y, por ejemplo, x , y , z ? S {\displaystyle
x,y,z\in S} {\displaystyle x,y,z\in S}, un monomio a partir de S {\displaystyle S}
S puede ser

(3) x 2 y z 3 {\displaystyle ~x^{2}yz^{3}} {\displaystyle ~x^{2}yz^{3}}.

En el monomio anterior, cada uno de los elementos x , y , z ? S {\displaystyle

x,y,z\in S} {\displaystyle x,y,z\in S} tiene un exponente natural. Por tanto,
podemos considerar a cada monomio con indeterminadas en S {\displaystyle S} S como
una aplicaci�n u : S ? N {\displaystyle u:S\longrightarrow \mathbb {N} }
{\displaystyle u:S\longrightarrow \mathbb {N} } (aqu� y en el resto del art�culo
consideramos que N {\displaystyle \mathbb {N} } \mathbb{N} incluye al cero). El
monomio (3) ser�a entendido entonces como la aplicaci�n u {\displaystyle u} u dada
por u ( x ) = 2 {\displaystyle u(x)=2} {\displaystyle u(x)=2}, u ( y ) = 1
{\displaystyle u(y)=1} {\displaystyle u(y)=1}, u ( z ) = 3 {\displaystyle u(z)=3}
{\displaystyle u(z)=3} y donde u {\displaystyle u} u se anula para todos los dem�s
elementos (si estos existen) de S {\displaystyle S} S. Observar que un monomio puro
es el producto de un n�mero finito de indeterminadas. Aunque S {\displaystyle S} S
sea infinito, podemos obtener un monomio u {\displaystyle u} u haciendo que u ( s )
{\displaystyle u(s)} u(s) sea nulo para todas aquellas indeterminadas que no
queremos que aparezcan en el monomio. Por ejemplo, si S = { x , y , z }
{\displaystyle S=\{x,y,z\}} {\displaystyle S=\{x,y,z\}}, el monomio

(4) x 4 y 2 {\displaystyle ~x^{4}y^{2}} {\displaystyle ~x^{4}y^{2}},

se corresponde con la aplicaci�n u {\displaystyle u} u dada por u ( x ) = 4

{\displaystyle u(x)=4} {\displaystyle u(x)=4}, u ( y ) = 2 {\displaystyle u(y)=2}
{\displaystyle u(y)=2} y u ( z ) = 0 {\displaystyle u(z)=0} {\displaystyle u(z)=0}.

En vista de las consideraciones anteriores, la definici�n de un conjunto de

monomios ha de ser la siguiente:

Sea S {\displaystyle S} S un conjunto. El conjunto de los monomios con

indeterminadas en S {\displaystyle S} S, representado por M {\displaystyle M} M, es
el conjunto de todas las aplicaciones u : S ? N {\displaystyle
u:S\longrightarrow \mathbb {N} } {\displaystyle u:S\longrightarrow \mathbb {N} }
tales que el conjunto { s ? S | u ( s ) ? 0 } {\displaystyle \{s\in S\mid u(s)\neq
0\}} {\displaystyle \{s\in S\mid u(s)\neq 0\}} es finito.

Si u , v ? M {\displaystyle u,v\in M} {\displaystyle u,v\in M}, se definen las

aplicaciones u + v {\displaystyle ~u+v} {\displaystyle ~u+v} y k u
{\displaystyle ~ku} {\displaystyle ~ku}, donde k ? N {\displaystyle k\in \mathbb
{N} } {\displaystyle k\in \mathbb {N} }, mediante
( u + v ) ( s ) = u ( s ) + v ( s ) {\displaystyle ~(u+v)(s)=u(s)+v(s)}
{\displaystyle ~(u+v)(s)=u(s)+v(s)} y k u ( s ) = k ( u ( s ) )
{\displaystyle ku(s)=k\left(u(s)\right)} {\displaystyle ku(s)=k\left(u(s)\right)}

para todo s ? S {\displaystyle s\in S} s\in S.

Estas aplicaciones est�n bien definidas, y claramente u + v ? M {\displaystyle

u+v\in M} {\displaystyle u+v\in M} y k u ? M {\displaystyle ku\in M} {\displaystyle
ku\in M}. Vemos pues que si u , v {\displaystyle u,v} {\displaystyle u,v} son
aplicaciones de M {\displaystyle M} M, u + v {\displaystyle u+v} u+v se interpreta
como el producto de los monomios representados por u {\displaystyle u} u y v
{\displaystyle v} v, y si k {\displaystyle k} k es un n�mero natural, k u
{\displaystyle ku} {\displaystyle ku} se interpreta como la potencia m
{\displaystyle m} m-sima del monomio representado por u {\displaystyle u} u.

N�tese que el monomio e {\displaystyle e} e de M {\displaystyle M} M que toma

constantemente el valor 0 es tal que
u + e = e + u = u {\displaystyle u+e=e+u=u} {\displaystyle u+e=e+u=u} y k e =
e k = e {\displaystyle ke=ek=e} {\displaystyle ke=ek=e}

para todo u ? M {\displaystyle u\in M} {\displaystyle u\in M}. As�, este monomio se
representa por el mismo s�mbolo 0.

Obs�rvese que el elemento x ? S {\displaystyle x\in S} x\in S se interpreta en M

{\displaystyle M} M, claramente, como la aplicaci�n ? x {\displaystyle ~\epsilon
_{x}} {\displaystyle ~\epsilon _{x}} que vale 1 en x {\displaystyle x} x y 0 en
cualquier otro caso. En estos t�rminos cualquier monomio u {\displaystyle u} u de M
{\displaystyle M} M puede escribirse como

(5) u = u ( x 1 ) ? x 1 + ? + u ( x n ) ? x n {\displaystyle u=u(x_{1})\epsilon

_{x_{1}}+\cdots +u(x_{n})\epsilon _{x_{n}}} {\displaystyle u=u(x_{1})\epsilon
_{x_{1}}+\cdots +u(x_{n})\epsilon _{x_{n}}},

donde x 1 , � , x n ? S {\displaystyle x_{1},\ldots ,x_{n}\in S} {\displaystyle

x_{1},\ldots ,x_{n}\in S} son los elementos de S {\displaystyle S} S para los
cuales la aplicaci�n u {\displaystyle u} u no se anula (por definici�n, estos
elementos son siempre un n�mero finito). Claramente, cada t�rmino

(6) u ( x i ) ? x i {\displaystyle u(x_{i})\epsilon _{x_{i}}} {\displaystyle

u(x_{i})\epsilon _{x_{i}}}

de (5) representa el factor x i u ( x i ) {\displaystyle x_{i}^{u(x_{i})}}

{\displaystyle x_{i}^{u(x_{i})}} en el monomio representado por u {\displaystyle u}
u. Es decir, (5) se entiende como el monomio

(7) x 1 u ( x 1 ) ? x n u ( x n ) {\displaystyle x_{1}^{u(x_{1})}\cdots

x_{n}^{u(x_{n})}} {\displaystyle x_{1}^{u(x_{1})}\cdots x_{n}^{u(x_{n})}}

Polinomios con coeficientes en un anillo

Para dar paso a la definici�n de un anillo de polinomios, observemos que un
polinomio, como (2), es una suma finita de monomios multiplicados por coeficientes
en un anillo (en el caso de (1) los coeficientes son enteros). As�, por ejemplo, es
suficiente asociar el polinomio (1) con una aplicaci�n p : M ? Z {\displaystyle
p:M\longrightarrow \mathbb {Z} } {\displaystyle p:M\longrightarrow \mathbb {Z} },
donde S = { x , y } {\displaystyle S=\{x,y\}} {\displaystyle S=\{x,y\}}, tal que p
{\displaystyle p} p toma el valor del coeficiente correspondiente cuando se eval�a
en un monomio u ? M {\displaystyle u\in M} {\displaystyle u\in M}. En vista de esto
tenemos:

Sean S {\displaystyle S} S un conjunto, A {\displaystyle A} A un anillo y M

{\displaystyle M} M el conjunto de monomios de la definici�n 1. El anillo de
polinomios con indeterminadas en S {\displaystyle S} S sobre A {\displaystyle A} A
es el conjunto A [ S ] {\displaystyle A[S]} {\displaystyle A[S]} de todas las
aplicaciones p : M ? A {\displaystyle p:M\longrightarrow A} {\displaystyle
p:M\longrightarrow A} tales que el conjunto { u ? M | p ( u ) ? 0 }
{\displaystyle \{u\in M\mid p(u)\neq 0\}} {\displaystyle \{u\in M\mid p(u)\neq 0\}}
es finito.

Podemos considerar ahora los monomios con coeficientes en el anillo A

{\displaystyle A} A como casos especiales de polinomios. Si A {\displaystyle A} A
es unitario, entonces podemos considerar al polinomio p {\displaystyle p} p que
vale 1 en u {\displaystyle u} u y 0 en cualquier otro caso como el monomio u
{\displaystyle u} u mismo. Para ver que, en realidad, tanto S {\displaystyle S} S
como A {\displaystyle A} A son, desde el punto de vista algebraico, un subconjunto
de A [ S ] {\displaystyle A[S]} {\displaystyle A[S]} y que efectivamente A [ S ]
{\displaystyle A[S]} {\displaystyle A[S]} es un anillo que contiene a A
{\displaystyle A} A como un subanillo, es necesario definir las operaciones de
anillo sobre A [ S ] {\displaystyle A[S]} {\displaystyle A[S]}.
Operaciones sobre A [ S ] {\displaystyle A[S]} {\displaystyle A[S]}
Definiciones

La adici�n sobre A [ S ] {\displaystyle A[S]} {\displaystyle A[S]} claramente ha de

definirse as�:

Sean p , q {\displaystyle p,q} {\displaystyle p,q} polinomios de A [ S ]

{\displaystyle A[S]} {\displaystyle A[S]}. Se define p + q {\displaystyle p+q}
{\displaystyle p+q} como la aplicaci�n dada por

(8) ( p + q ) ( u ) = p ( u ) + q ( u ) {\displaystyle ~(p+q)(u)=p(u)

+q(u)} {\displaystyle ~(p+q)(u)=p(u)+q(u)}

para todo monomio u ? M {\displaystyle u\in M} {\displaystyle u\in M}. Es claro

que p + q ? A [ S ] {\displaystyle p+q\in A[S]} {\displaystyle p+q\in A[S]}.

Esta definici�n se interpreta como la reducci�n de los t�rminos semejantes (i.e.

los coeficientes de un mismo monomio u {\displaystyle u} u) de p {\displaystyle p}
p y q {\displaystyle q} q.

Cuando multiplicamos polinomios, acostumbramos sumar los t�rminos semejantes que

surjan en el producto para obtener un polinomio lo m�s reducido posible. En vista
de esto, tenemos la definici�n de la multiplicaci�n en A [ S ] {\displaystyle A[S]}
{\displaystyle A[S]}:
 Sean p , q {\displaystyle p,q} {\displaystyle p,q} polinomios de A [ S ]
{\displaystyle A[S]} {\displaystyle A[S]}. Se define p q {\displaystyle pq}
{\displaystyle pq} como la aplicaci�n dada por

(9) p q ( u ) = ? s + t = u p ( s ) q ( t ) {\displaystyle ~pq(u)=\sum

_{s+t=u}p(s)q(t)} {\displaystyle ~pq(u)=\sum _{s+t=u}p(s)q(t)}

para todo monomio u ? M {\displaystyle u\in M} {\displaystyle u\in M}. El

miembro derecho de (9) es la suma de todos los productos p ( s ) q ( t )
{\displaystyle p(s)q(t)} {\displaystyle p(s)q(t)} tales que s + t = u
{\displaystyle s+t=u} {\displaystyle s+t=u}. La aplicaci�n p q {\displaystyle pq}
{\displaystyle pq} es claramente un polinomio de A [ S ] {\displaystyle A[S]}
{\displaystyle A[S]}.

Propiedades de anillo

Respecto de las operaciones de adici�n y multiplicaci�n, seg�n han sido definidas,

el conjunto A [ S ] {\displaystyle A[S]} {\displaystyle A[S]} cumple con que:

A [ S ] {\displaystyle A[S]} {\displaystyle A[S]} es un anillo Si A

{\displaystyle A} A es un anillo y S {\displaystyle S} S es un conjunto entonces A
[ S ] {\displaystyle A[S]} {\displaystyle A[S]} es un anillo.

Referencias
Bibliograf�a
Hall, F. M. (1969). �Section 3.6�. An Introduction to Abstract Algebra 2. Cambridge
University Press. ISBN 0521084849.