Matemáticas/Álgebra Abstracta/Anillos/Anillo de Polinomios

Introducción

El Álgebra se creó para la resolución de ecuaciones polinómicas. Primeramente, se estudiaron las ecuaciones lineales y cuadráticas, para extenderse posteriormente a ecuaciones polinómicas de grados superiores. En los curso básicos, los polinomios son usualmente considerados como funciones polinómicas. Examinaremos, a continuación, dicha noción y veremos que es insuficiente para nuestros propósitos. Luego de ese análisis, daremos una definición formal de polinomios con coeficientes en cualquier anillo, así como de operaciones que proveerán al conjunto de polinomios de una estructura de anillo.

Posteriormente, veremos que para polinomios con coeficientes en un cuerpo tendremos una teoría de divisibilidad análoga a aquella de los enteros..

Las Funciones Polinómicas Reales

Las funciones polinómicas reales son funciones de $ℝ$ en $ℝ$ tales que

$f(x)=a_0+a_{1}x+\cdots +a_n{x}^n,$

donde los $a_i$'s son números reales. El lector, seguramente, conoce algunas de las propiedades de esas funciones y su relación con las ecuaciones polinómicas con coeficientes reales. Claramente, podríamos generalizar tales funciones de manera que sus coeficientes pertenecieran a un cuerpo cualquiera e inclusive a un anillo cualquiera. Sin embargo, para los propósitos algebraicos necesitaremos una noción más general que llamaremos polinomio formal. Algebraicamente, los polinomios formales tendrán muchas de la propiedades de las funciones polinómicas, pero permitirán estudiar de manera más cómoda y eficiente las ecuaciones polinómicas. Los siguientes ejemplos ilustrarán la necesidad de polinomios formales.

Plantilla:Ejmpl Recordemos que un cero de una función polinómica $f$ es un número $a$ del dominio de la función tal que $f(a)=0.$ Consideremos la función polinómica $f$ de $\mathbb{Q}$ en $\mathbb{Q}$ tal que $f(x)=x^2-2.$ Observemos que un "cero" de esa función es el número irracional $\sqrt{2},$ que no pertenece al dominio de la función.

El problema no es que la función tenga dominio los racionales y no todos los reales, ya que la función $f:ℝ⟶ℝ$ tal que $f(x)=x^2+1$ tampoco tiene ceros reales, aunque sí complejos.

Es decir que un problema con las funciones y sus ceros, es que puede haber "ceros" de la función que vivan fuera del dominio de la función.

---

Plantilla:Ejmpl Consideremos el cuerpo ${\mathbb{Z}}_3$ y sean $f$ y $g$ funciones de ${\mathbb{Z}}_3$ en si mismo tales que $f(x)=x^3+2$ y $g(x)=x+2.$ La tabla siguiente muestra los valores de las funciones.

$\begin{array}{ccc}x& f(x)& g(x)\\ 0& 2& 2\\ 1& 0& 0\\ 2& 1& 1\end{array}$

Como para todo $x$ de ${\mathbb{Z}}_3$ se cumple que $f(x)=g(x),$ tenemos que las funciones polinómicas $f$ y $g$ son iguales, aunque sus grados son diferentes. Nosotros no queremos que polinomios de diferentes grados sean iguales, por lo que necesitaremos una noción diferente a funciones polinómicas.

---

Búsqueda de una definición

Queremos que nuestros polinomios formales tengan propiedades análogas a funciones polinómicas, inclusive que se escriban de manera parecida. Para buscar una definición adecuada, examinaremos las propiedades de la suma y la multiplicación de las funciones polinómicas, especialmente cuando se realizan esas operaciones por coeficientes separados---es decir, cuando solo escribimos los coeficientes.

La suma

Sean $f(x)=3-2x+5x^2$ y $g(x)=4+3x.$ Hallar la suma de $f$ y $g.$ Las expresiones polinómicas pueden escribirse con los grados en forma ascendente, o en forma descendente. Hemos usado la forma ascendente, porque será más útil para nuestros propósitos.

Error al crear miniatura:

A la derecha, hemos mostrado el cómputo mediante coeficientes separados, donde se ve claramente que la suma consiste en sumar los coeficientes de los términos de igual grado de los sumandos. Notemos que la notación ascendente de los polinomios, permite alinear fácilmente los términos iniciales. Si llamamos $a_n$ y $b_n$ a los coeficientes de los términos de grado $n$ de los sumandos, y si $c_n$ es el coeficiente del término de grado $n$ del resultado, tenemos que Plantilla:Eqn Esa afirmación supone que cuando un término de un polinomio no aparece, su coeficiente es cero.

La multiplicación de polinomios

Examinaremos la multiplicación, tratando de ver el patrón de generación de los coeficientes del producto. Sean $f(x)=a_0+a_{1}x+\cdots +a_m{x}^m$ y $g(x)=b_0+b_{1}x+\cdots +b_n{x}^n$ dos funciones polinómicas. Veamos la generación de los primeros términos del producto.

Archivo:MultPolinomios.jpg

Reuniendo los términos de igual grado, obtenemos que

$\begin{array}{ccc}fg(x)& =& a_0{b}_0+(a_0{b}_1+a_1{b}_0)x+(a_0{b}_2+a_1{b}_1+a_2{b}_0)x^2+\\ & & (a_0{b}_3+a_1{b}_2+a_2{b}_1+a_3{b}_0)x^3+\cdots \end{array}$

Observemos que en cada coeficiente de un término del producto, el valor de la suma de los subíndices de cada uno de los factores de los sumandos que determinan al coeficiente, es igual al grado del término. Por lo que si llamamos $c_n$ al coeficiente del término de grado $n$ del producto, se cumplirá que

Observemos, nuevamente, que si no hubiésemos escrito las potencias de $x$ (método de los coeficientes separados), habríamos obtenido el resultado, efectuando los mismos cómputos. Es decir que para las operaciones lo único importante son los coeficientes y su posición dentro del polinomio, por lo que podríamos representar el polinomio

$f(x)=a_0+a_{1}x+\cdots +a_n{x}^n,$

como una sucesión

$(a_0,a_1,\dots ,a_n,0,0,\dots ).$

Esa es precisamente la vía que adoptaremos. Nuestros polinomios formales serán sucesiones de números o, en general, de elementos de un anillo, que se operan de acuerdo a las relaciones en las ecuaciones (16-1) y (16-2), y cuyos términos son todos nulos a partir de un cierto término en adelante.

Las Definiciones Formales

Sea $A$ un anillo (conmutativo o no) con identidad. Simbolizaremos por $A^{\mathbb{N}}$ al conjunto formado por todas las sucesiones de $\mathbb{N}$ en $A,$ es decir todas las funciones de $\mathbb{N}$ en $A.$ El valor de $f$ en $n$ se denota por $f_n$ y se dice que es el término $n$--ésimo de la sucesión.

Dotaremos a $A^{\mathbb{N}}$ de operaciones de suma y multiplicación análogas a las de la suma y multiplicación de las funciones polinómicas. Por ahora, no nos restringiremos a sucesiones que tengan solamente un número finito de términos no nulos; más tarde, consideraremos esa restricción.

La suma

Sean $f$ y $g$ dos sucesiones de $A^{\mathbb{N}}.$ La suma de esas sucesiones es la sucesión denotada por $f+g$ y tal que

Es decir que el término $n$--ésimo de la suma es la suma de los términos $n$--ésimos de los sumandos.

Notemos que la suma definida es la suma usual de sucesiones que corresponde a la suma de funciones definida punto a punto. Sabemos de trabajos anteriores que tal suma es asociativa, conmutativa, que tiene como neutro la función constante cero (para todo $n,$ $f_n=0$), y que cada función $f$ tiene un opuesto aditivo $-f$ tal que $(-f{)}_n=-f_n.$ Por lo que $<A^{\mathbb{N}},+>$ es un grupo abeliano.

La multiplicación

Sean $f$ y $g$ dos sucesiones de $A^{\mathbb{N}}.$ Definiremos el producto $fg$ de esas sucesiones por una relación idéntica a aquella en la ecuación (16-2), es decir que

Nos interesa probar que $<A^{\mathbb{N}},+,\cdot >$ es un anillo con identidad. Para eso, nos falta por probar que la multiplicación es asociativa, distributiva y que hay una función identidad para la multiplicación.

Lema A. La multiplicación definida en (16-4) es asociativa.

Demostración: Sean $f,$ $g$ y $h$ tres sucesiones de $\mathbb{N}$ en $A.$ Para todo $n$ se cumple que $\begin{array}{ccc}(f(gh){)}_n& =& \sum _{i+\nu =n}{f}_i(gh{)}_{\nu }=\sum _{i+\nu =n}{f}_i\sum _{j+k}{g}_j{h}_k\\ & =& \sum _{i+\nu =n}{f}_i\sum _{j+k=\nu }{g}_j{h}_k=\sum _{i+j+k=n}{f}_i{g}_j{h}_k,\text{ y }\\ ((fg)h{)}_n& =& \sum _{\mu +k=n}(fg{)}_{\mu }{h}_k=\sum _{\mu +k=n}\sum _{i+j=\mu }{f}_i{g}_j{h}_k\\ & =& \sum _{\mu +k}\sum _{i+j=\mu }(f_i{g}_j)h_k=\sum _{i+j+k}{f}_i{g}_j{h}_k\end{array}$

Lo que prueba la asociatividad. (La clave de la demostración es observar que todos los sumandos son de la forma indicada en la última sumatoria.)

Plantilla:QED

---

Lema B. La multiplicación definida es distributiva.

Demostración: Sean $f,$ $g$ y $h$ tres funciones de $\mathbb{N}$ en $A.$ Para todo $n$ se cumple que $\begin{array}{ccc}(f(g+h){)}_n& =& \sum _{i+j=n}{f}_i(g+h{)}_j=\sum _{i+j=n}{f}_i(g_j+h_j)\\ & =& \sum _{i+j=n}{f}_i{g}_j+f_i{h}_j=\sum _{i+j=n}{f}_i{g}_j+\sum _{i+j=n}{f}_i{h}_j\\ & =& (fg{)}_n+(fh{)}_n.\end{array}$

Análogamente, se verifica la distributividad por la derecha.

Plantilla:QED

---

Identificación de $A$ con un subanillo de $A^{\mathbb{N}}$

Con cada $a$ en $A,$ asociaremos la función $\tilde{a}$ tal que ${\tilde{a}}_0=a$ y ${\tilde{a}}_n=0$ para todo $n>0.$ Como sucesión, tenemos que $\tilde{a}=(a,0,0,0,\dots ).$

Sea $\phi :A⟶A^{\mathbb{N}}$ tal que $\phi (a)=\tilde{a}.$ Claramente, $\phi$ es una función inyectiva, Probaremos que es un homomorfismo de anillos.

Cuando $a$ y $b$ son elemento de $A$ se cumple que ${\widetilde{(a+b)}}_0=a+b={\tilde{a}}_0+{\tilde{b}}_0,$ mientras que para $n>0,$ tenemos que ${\widetilde{(a+b)}}_n=0=0+0={\tilde{a}}_n+{\tilde{b}}_n.$ Luego,

Veamos la situación con la multiplicación.

${\widetilde{(ab)}}_0=\sum _{i+j=0}{\tilde{a}}_i{\tilde{b}}_j={\tilde{a}}_0{\tilde{b}}_0$

Con $n>0$ se tiene que

${\widetilde{(ab)}}_n=\sum _{i+j=n}{\tilde{a}}_i{\tilde{b}}_j=\sum _{i+j=n,i=0}{\tilde{a}}_i{\tilde{b}}_j+\sum _{i+j=n,i>0}{\tilde{a}}_i{\tilde{b}}_j.$

La última sumatoria es igual a cero, ya que $i>0$ implica que ${\tilde{a}}_i=0.$ Veamos la primera sumatoria.

$\sum _{i+j=n,i=0}{\tilde{a}}_i{\tilde{b}}_j={\tilde{a}}_0{\tilde{b}}_n+\sum _{i+j=n,j>0}{\tilde{a}}_i{\underset{\_}{b}}_j+{\tilde{a}}_n{\tilde{b}}_0.$

Como cada uno de los sumandos es nulo, se tiene que para $n>0$

${\widetilde{ab}}_n=0=0\cdot 0={\tilde{a}}_n{\tilde{b}}_n.$

Luego, Plantilla:Eqn

Las relaciones (16-5) y (16-6) nos dicen que la función $\phi$ es efectivamente un homomorfismo que además es inyectivo. Por lo tanto, $A$ es isomorfo (como anillo) con su imagen. Usando ese monomorfismo, identificaremos los elementos de $A$ con sus imágenes, por lo cual consideraremos a $A$ como un subanillo de $A^{\mathbb{N}}.$

Veamos, ahora, que sucede cuando se multiplica un elemento de $A$ por una sucesión cualquiera.

Lema C. Sean $a$ en $A$ y $f$ en $A^{\mathbb{N}}.$ Se cumple que $(af{)}_n=a{f}_n.$ (Es decir que cada término de la sucesión se multiplica por $a$)

Demostración: $(af{)}_n=\sum _{i+j=n}{a}_i{f}_j=a_0{f}_n+\sum _{i+j=n,i>0}{a}_i{f}_j=a_0{f}_n=a{f}_n.$ Plantilla:QED

---

Corolario C.1. $1f=f.$ Es decir que 1 es una identidad en $A^{\mathbb{N}}.$

Todo el trabajo anterior muestra la siguiente proposición.

Proposición 1. El conjunto $A^{\mathbb{N}}$ con las operaciones definidas arriba tiene la estructura de un anillo con identidad que contiene a $A$ como subanillo. Cuando $A$ es conmutativo, $A^{\mathbb{N}}$ también lo es.

Demostración: Queda de ejercicio probar la parte de la conmutatividad de la multiplicación, cuando el anillo $A$ es conmutativo. Plantilla:QED

---

El Anillo de los Polinomios

Un polinomio puede considerarse, intuitivamente, como una sucesión donde todos sus términos son nulos, excepto, a lo más, una cantidad finita de ellos. Formalizaremos lo anterior, empezando con la siguiente definición. Plantilla:Marco

Con los preparativos anteriores, estamos listos para definir la noción formal de polinomio.

En términos de sucesiones, un polinomio es una sucesión con un número finito de términos no nulos. Sea $f=(f_0,f_1,\dots ,f_n,0,0,0,\dots ).$ Intuitivamente, $f$ corresponde al polinomio $f_0+f_{1}X+\cdots +f_n{X}^n.$ Para obtener formalmente lo anterior, definiremos al polinomio $X.$ También, deberemos probar que la suma y el producto de polinomios es un polinomio, es decir que forman un subanillo de $A^{\mathbb{N}}.$ Previamente, introduciremos el símbolo de Kronecker que nos ayudará a expresar más concisamente nuestras definiciones y demostraciones.

Por ejemplo, cada elemento $a$ de $A$ define la función $\tilde{a}$ que es tal que ${\tilde{a}}_n=a{\delta }_{0,n}.$

Plantilla:DefRht Claramente, $X$ es un polinomio.

Proposición 2. Sea $X$ la indeterminada, entonces

1. $X_n^r={\delta }_{r,n},$ es decir que $X^r$ es la sucesión que tiene todos sus términos nulos, con la excepción del $r$--ésimo que es igual a 1.
2. $X^r{X}^s=X^{r+s}.$
3. $a{X}^r=X^{r}a,$ para todo $a$ en $A.$

Demostración:

1. Por inducción sobre $r.$ $X^0=1$ implica que $X_n^0={\delta }_{0,n}.$ También, $X_n^1={\delta }_{1,n}.$ Supongamos que para $k\ge 0$ se cumple que $X_n^k={\delta }_{k,n}.$ Entonces, $X_n^{k+1}=(X^{k}X{)}_n=\sum _{i+j=k+1}{X}_i^k{X}_j=\sum _{i+j=k+1}{\delta }_{k,i}{\delta }_{1,j}.$

   El único sumando con ${\delta }_{1,j}\ne 0$ es aquel donde $j=1$ y, por lo tanto, el correspondiente $i$ es igual a $k.$ Lo que implica que $X_n^{k+1}={\delta }_{k+1,n}.$ Por inducción, se tiene el resultado.

2. Ejercicio.
3. Probaremos primeramente que $Xa=aX.$ $X{a}_n=\sum _{i+j=n}{X}_i{a}_j=\sum _{i+j=n}{\delta }_{1,i}a{\delta }_{0,j}={\delta }_{1,n}a{\delta }_{0,0}=a{\delta }_{1,n}=a{X}_n.$

   Suponer el resultado para todo $1\le k\le j.$ Es decir que para todo $a$ en $A$ se cumple que $a{X}^k=X^{k}a.$ Entonces,

   $a{X}^{j+1}=a{X}^{j}X=X^{j}aX=X^{j}Xa=X^{j+1}a.$

   El resultado sigue por inducción.

Plantilla:QED

---

Proposición 3. El conjunto de los polinomios determina un subanillo con identidad de $A^{\mathbb{N}}$ que será denotado por $𝐀\mathbf{[}𝐗\mathbf{]}$ y que diremos que se trata del anillo de polinomios en una indeterminada con coeficientes en el anillo $𝐀$,

Demostración: Necesitamos tan sólo probar que la suma y el producto de sucesiones con soporte finito son sucesiones con soporte finito. Sean $f$ y $g$ dos polinomios tales que para $k>m$ se tiene que $f_k=0$ y para $k>n$ se cumple que $g_k=0.$ Entonces, si $r>\max \{m,n\},$ se tiene que al ser $r$ mayor que $m$ y $n,$ que $(f-g{)}_r=f_r-g_r=0-0=0.$ Es decir que $f-g$ es un polinomio.
Sea ahora $r>m+n.$ Entonces, $(fg{)}_r=\sum _{i+j=r}{f}_i{g}_j=\sum _{i+j=r,i>m}{f}_i{g}_j+\sum _{i+j=r,i\le m}{f}_i{g}_j.$

Los sumandos de la primera sumatoria tiene un factor $f_i$ con $i>m,$ lo que implica que $f_i=0,$ por lo que esa sumatoria es 0. Observemos que en la segunda sumatoria, se tiene que $i\le m.$ Entonces, $j=r-i>m+n-m=n.$ Por lo que los $g_j$'s son todos nulos, haciendo la segunda sumatoria nula. Luego, $fg$ es un polinomio.

Plantilla:QED

---

A continuación, veremos como recuperar la notación tradicional de polinomios.

Proposición 4. Sea $f$ una sucesión no nula con $f_k=0$ para $k>m,$ $m\ge 0,$ o sea un polinomio. Sea $g=f_0+f_{1}X+f_2{X}^2+\cdots +f_m{X}^m.$ Entonces, $g=f.$

Demostración: Claramente, $g_n=0$ si $n>m.$ Sea $n$ tal que $0\le n\le m.$ $\begin{array}{ccc}{g}_n& =& (f_0+f_{1}X+f_2{X}^2+\cdots +f_n{X}^n+\cdots +f_m{X}^m{)}_n\\ & =& f_0{1}_n+f_1{X}_n+f_2{X}_n^2+\cdots +f_n{X}_n^n+\cdots +f_m{X}_n^m\\ & =& f_0{\delta }_{0,n}+f_1{\delta }_{1,n}+f_2{\delta }_{2,n}+\cdots +f_n{\delta }_{n,n}+\cdots f_m{\delta }_{m,n}\\ & =& 0+0+0+\cdots +f_n+\cdots +0=f_n\end{array}$

Por lo que las dos sucesiones son iguales.

Plantilla:QED

---

La proposición muestra como podemos expresar un polinomio como una suma finita de términos de la forma $a{X}^r.$ Usaremos esa notación, de ahora en adelante.

Nomenclatura

Sea $f$ un polinomio de $A[X],$ al que expresaremos como $f=a_0+a_{1}X+a_2{X}^2+\cdots +a_s{X}^s,$ donde $a_j=f_j$ (f_j en la notación anterior de sucesiones).

• Cada uno de los $a_i$'s se llama un coeficiente del polinomio $f.$
• Cualquiera de los coeficientes puede ser nulo. Cuando todos los coeficientes sean nulos, diremos que se trata del polinomio nulo o cero.
• Cada uno de los sumandos que aparecen en la definición de $f$ se llama un término del polinomio. Cada término es de la forma $b{X}^s$ donde $b$ es un elemento del anillo y $s$ es un número entero tal que $s\ge 0,$ llamados, respectivamente, el coeficiente del término y el grado del término. Dicho termino es el s--ésimo término. Cuando el coeficiente de un término es cero, se puede eliminar de la presentación del polinomio. Por ejemplo, podemos escribir $1-3X+0X^2+5X^3$ como $1-3X+5X^3.$
• El primer sumando, $a_0,$ es el término constante. Como $a_0=a_0{X}^0,$ cuando $a_0\ne 0,$ dicho término tiene grado 0. Los términos constantes se identifican con los elementos de $A.$
• Supongamos que $f$ no es el polinomio nulo. Entonces, al menos uno de los coeficientes de $f$ no es nulo. Sea $m$ el mayor de los enteros tales que $a_m\ne 0.$ Decimos que el término $a_m{X}^m$ es el término líder del polinomio y que $a_m$ es el coeficiente líder del polinomio. En tal caso, llamamos grado del polinomio al numero $m.$ Por lo tanto, el grado de un polinomio no nulo es siempre un número entero positivo o cero, al que denotaremos por $\text{gr}(f).$ Por definición de grado, para todo $j\ge 0,$ se tiene que si $j>\text{gr}(f)$ entonces $a_j=0.$
• Cuando el coeficiente líder sea igual a 1, diremos que se trata de un polinomio mónico.
• El polinomio nulo no tiene coeficiente líder, por lo que según la definición dada arriba no tiene grado. Resultará conveniente adoptar el siguiente convenio para el grado del polinomio cero $\text{gr}(0):=-\mathrm{\infty }.$

  Notemos que esa definición garantiza que el polinomio nulo tiene un grado menor que cualquier polinomio no nulo.

• Cuando dos polinomios $f$ y $g$ son escritos como sumatoria de términos, los polinomios son iguales, ssi, ambos son nulos o, tienen igual grado y los coeficientes correspondientes iguales.

Grados de la Suma y el Producto

Sean $f$ y $g$ dos polinomios con grados $m$ y $n$ respectivamente. Mirando a la demostración de la proposición sobre la suma y multiplicación de polinomios, vemos que tenemos cotas para los grados de la suma y el producto de dos polinomios.

En primer lugar, tenemos que el grado de la suma nunca excede el grado de los sumandos, o sea que

Plantilla:Caja La desigualdad puede ser estricta, por ejemplo considerar $g=-f.$ Pero, puede haber también otras circunstancias que hagan estricta a la desigualdad anterior.

Plantilla:Ejmpl Sea $A={\mathbb{Z}}_6$ (enteros modulo 6) y sean $f=3+2X,$ $g=1+4X.$ Entonces, $f+g=3+2X+1+4X=4.$

---

Con respecto a la multiplicación, tenemos que Plantilla:Caja El siguiente ejemplo muestra que la desigualdad puede ser estricta.

Plantilla:Ejmpl Sea $A={\mathbb{Z}}_6$ se tiene que

$(1+2X)(4+3X)=(1*4)+(1*3+2*4)X+(2*3)X^2=4+5X.$

---

El grado, en el ejemplo anterior, es menor que la suma de los grados, ya que los coeficientes lideres de los factores eran divisores de cero. Cuando uno de ellos no es un divisor de cero, tenemos la igualdad.

Proposición 5. Sean $f$ y $g$ polinomios en $A[X]$ tales que el coeficiente líder de al menos uno de esos polinomios no es un divisor de cero. Entonces,

$\text{gr}(fg)=\text{gr}(f)+\text{gr}(g).$

Además, el coeficiente líder del producto es el producto de los coeficientes lideres de los factores.

Demostración: Si uno de los polinomios es nulo, el resultado es trivialmente válido. Supongamos que $\text{gr}(f)=m$ y $\text{gr}(g)=n$ donde $m,n\ge 0.$ Entonces, el término $(m+n)$--ésimo es aquel del mayor grado posible del producto. Se tiene que $(fg{)}_{m+n}=\sum _{i+j=m+n}{f}_i{g}_j.$

Si $i<m,$ se cumple que $j>n,$ por lo que $g_j=0.$ Igualmente, si $i>m,$ entonces $g_i=0.$ Es decir que el único posible sumando no nulo en la sumatoria anterior es $f_m{g}_n.$ Como $f_m$ o $g_n$ no son divisores de cero, se tiene que $f_m{g}_n\ne 0.$ De donde el resultado.

Plantilla:QED

---

Corolario 5.1. Cuando $A$ es un dominio de integridad, entonces $A[X]$ también lo es.

Demostración: Cualquier polinomio no nulo tiene un coeficiente líder que no es un divisor de cero. Si $f$ y $g$ son polinomios no nulos, el coeficiente líder del producto $fg$ es igual al producto de los coeficientes lideres de $f$ y $g,$ por lo que no puede ser nulo. Plantilla:QED

---

Observación. Sean $A$ y $B$ anillos tales que $A$ es un subanillo de $B.$ Entonces, cada polinomio en $A[X]$ puede considerarse un polinomio en $B[X].$ Por lo que siempre consideraremos que $A[X]$ es un subanillo de $B[X].$ Por ejemplo, se cumple que

$\mathbb{Z}[X]<\mathbb{Q}[X]<ℝ[X]<ℂ[X].$

---

Cuerpo de las Fracciones Racionales

Vimos arriba que cuando $A$ es un dominio de integridad, en particular un cuerpo, $A[X]$ también es un dominio de integridad. Sabemos del capítulo pasado que todo dominio de integridad puede extenderse a un cuerpo de fracciones del anillo.

Polinomios en varias variable

Sea $A$ un anillo con identidad, entonces $A[X]$ también es un anillo con identidad, por lo que podríamos considerar polinomios con coeficientes en $A[X].$ Si llamamos $Y$ a la indeterminada correspondiente, tendríamos el anillo con identidad $A[X][Y],$ que simbolizamos de forma abreviada como $A[X,Y].$ Usando de base ese último anillo, podemos obtener $A[X,Y,Z]=A[X,Y][Z],$ etc.

Anillo de las Series Formales de Potencias

Volvamos al anillo $A^{\mathbb{N}}$ de las sucesiones con términos en un anillo $A.$ Poniendo $X$ al igual que para los polinomios, tendremos, por la demostración de la proposición de representación como sumatoria de los polinomios, que podríamos escribir cada sucesión como un polinomio de grado infinito, o sea como una sumatoria sin fin

$f=\sum _{i\ge 0}{a}_i{X}^i=a_0+a_{1}X+\cdots +a_n{X}^n+\cdots .$

El lector habrá encontrado en sus cursos de Cálculo expresiones análogas llamadas series de potencias. Por tal razón, llamaremos a los elementos de $A^{\mathbb{N}}$ series de potencias formales. Simbolizaremos a $A^{\mathbb{N}}$ como $A[[X]]$ y diremos que se trata del anillo de las series de potencias formales en una indeterminada con coeficientes en el anillo $𝐀.$

Ejercicios

1. Sea el anillo $A=\mathbb{Z}.$ Sean $x=(2,1,0,0,0,\dots ),$ $y=(3,1,0,0,0,\dots ).$ Hallar $x+y,$ $x-y,$ $xy,$ $2x+3y,$ $x^2,$ usando directamente las definiciones de operaciones con sucesiones.
2. Sean $f=3-2X+5X^2$ y $g=2+5X$ polinomios en $\mathbb{Z}[X].$ Hallar $f+g,$ $f-g,$ $fg,$ $3f+4g.$
3. Efectuar las operaciones indicadas en ${\mathbb{Z}}_5,$ simplificar las expresiones resultantes y ordenarlas por orden creciente de los exponentes de los monomios. $(20X^2+3X+1)(3X^2+X+3)\text{ y }(-X^2+2X+3{)}^2.$
4. Efectuar las operaciones indicadas en ${\mathbb{Z}}_6,$ simplificar las expresiones resultantes y ordenarlas por orden decreciente de los exponentes de los monomios. $(2X^2+3X+1)(3X^2+X+3)\text{ y }(-X^2+2X+3{)}^2.$
5. Usar el método de coeficientes separados para realizar las operaciones indicadas en ${\mathbb{Z}}_3[X],$
   1. $(X^2+X+1{)}^3$;
   2. $(X-1)(X^4+X^3+X^2+X+1)$;
   3. $X(X+1)(X^2+X+1)$ y
   4. $(X^3+X^2+1)(X^3-X^2+1).$
6. Completar las demostraciones de las proposiciones, cuando lo requieran.
7. Probar que cuando $A$ es un anillo conmutativo, $A[X]$ también lo es.
8. Hallar dos polinomios $f$ y $g$ en $\mathbb{Z}[X]$ tales que el grado de la suma de $f$ con $g$ sea inferior a los grados de cada uno de los sumandos, pero que $f+g\ne 0.$
9. Hallar polinomios en ${\mathbb{Z}}_{12}$ tales que el grado del producto sea inferior a la suma de los grados de los factores.
10. ¿Cuántos polinomios distintos de segundo grado, de tercer grado, ... , de enésimo grado podemos formar sobre el cuerpo ${\mathbb{Z}}_5$?
11. Sean $f=\sum _{i\ge 0}{X}^i$ y $g=\sum _{i\ge 0}(-1{)}^i{X}^i$ elementos de $\mathbb{Z}[[X]].$ Hallar $f+g.$
12. Sean $f=\sum _{i\ge 0}{X}^i$ y $g=1-X$ dos series en $\mathbb{Q}[[X]].$ Hallar el producto de $f$ con $g.$
13. Hallar $a,$ $b,$ $c$ tales que: $a{X}^2+bX+c=(X-5)(X-3).$
14. Hallar un polinomio $g$ tal que $g^2=X^6-12X^5+60X^4-160X^3+240X^2-192X+64.$
15. Hallar las relaciones entre $a,$ $b,$ $c$ y $d$ para que el polinomio $f=X^4+2a{X}^3+b{X}^2+2cX+d$

    sea un cuadrado perfecto.

16. Cuando $D$ es un dominio de integridad, los únicos polinomios invertibles en $D[X]$ son aquellos de grado cero y cuyo coeficiente líder es una unidad de $D.$
17. Sea $f(X)=X^2-6X+13.$ Obtener el polinomio en la indeterminada $Y$ que se obtiene de $f$ al sustituir $X$ por $Y+3.$
18. Sea $f=a{X}^2+bX+c$ un polinomio de segundo grado sobre un cuerpo $k.$ Probar que hay una sustitución del tipo $X=Y+d$ que convierte a $f$ en un polinomio cuyo coeficiente del término lineal es nulo.
19. Sea $f=a{X}^3+b{X}^2+cX+d$ un polinomio de tercer grado sobre un cuerpo $k.$ Probar que hay una sustitución del tipo $X=Y+\alpha$ que convierte a $f$ en un polinomio cuyo coeficiente del término cuadrático es nulo.
20. Sean $a_1,$ $a_2$ , \ldots elementos de un anillo conmutativo $A.$ Expandir cada uno de los polinomios siguientes sobre $A$ y representar la expresión resultante como un nuevo polinomio. Generalizar los resultados.
    1. $P_1=X-a_1.$
    2. $P_2=(X-a_1)(X-a_2).$
    3. $P_3=(X-a_1)(X-a_2)(X-a_3).$
    4. $P_4=(X-a_1)(X-a_2)(X-a_3)(X-a_4).$

    
    

21. Sean $X,$ $Y$ indeterminadas sobre un anillo conmutativo con identidad $A.$ Entonces: $(X+Y{)}^n=\sum _{i=0}^n(\genfrac{}{}{0ex}{}{n}{i})X^i{Y}^{n-i}.$

    Donde, $(\genfrac{}{}{0ex}{}{n}{i})=\frac{n!}{i!(n-i)!}.$

    
    

22. Sean $x,$ $y,$ $z$ elementos de un anillo conmutativo. Hallar una fórmula para $(x+y+z{)}^n.$
23. Sea $A=\mathbb{Z}.$ Sean $f,$ $g$ en $A^{\mathbb{N}}$ tales que $f_n=1$ y $g_n=n$ para todo número $n.$ Hallar $-2f+3g,$ $6f-5g,$ $f^2,$ $g^2.$
24. $A=\mathbb{Z}.$ Sean $,$ $g$ en $A^{\mathbb{N}}$ tales que $f_n={\delta }_{2,n},$ $g_n={\delta }_{3,n}.$ Escribir de forma explícita como sucesiones a $f$ y $g.$ Hallar $f+g,$ $f-g,$ $fg,$ $f^2,$ $g^2.$
25. Simplificar en $\mathbb{Q}(X)$---el cuerpo de las fracciones racionales sobre $\mathbb{Q}$---las siguientes fracciones. $\begin{array}{cccc}a.& \frac{X}{X^3+2X}.& b.& \frac{X^3-5X^2+6X}{X^2-2X}.\\ [2mm]c.& \frac{X^4-1}{X^2-1}.& d.& \frac{X^6-64}{X^3-8}.\end{array}$
26. Cuando $A$ es un dominio de integridad, $A[[X]],$ el anillo de series formales con coeficientes en $A,$ también lo es. El cuerpo de fracciones de $A[[X]]$ se denota por $A((X)).$ Como polinomios son series de potencias, se tiene que los polinomios no nulos son invertibles en $A((X)).$ Probar que en $\mathbb{Z}((X))$ se cumple que:
    1. $\frac{1}{1-X}=1+X+X^2+...+X^n+....$
    2. $\frac{1}{1+X}=1-X+X^2-...+(-1{)}^n{X}^n+....$
    3. $\frac{1}{(1-X{)}^2}=1+2X+...+(n+1)X^n+....$
    4. $\frac{1}{1-X^2}=1+X^2+...+X^{2n}+....$

    
    

La Evaluación de un Polinomio

En esta sección, veremos como definir ceros de un polinomio. Sea $A$ un anillo conmutativo con identidad y sea $A[X]$ el anillo de polinomios en la indeterminada $X$ con coeficientes en $A.$ Supongamos que $B$ fuera un superanillo de $A,$ o sea un anillo que contiene a $A$ (pero no necesariamente conmutativo), y que $\alpha$ fuera un elemento de $B$ que conmuta con todos los elementos de $A.$ (En particular, si $B$ fuera conmutativo, cualquier elemento de $B.$)

Convenio Notacional. Notemos que la notación $f(x)$ pudiera ser ambigua, ya que si consideramos a $f$ como una sucesión o sea una función con dominio $\mathbb{N},$ $f(n)$ puede indicar el coeficiente $n$--ésimo del polinomio o la evaluación de $f$ en $n,$ que en general son dos cosas diferentes. Por lo que de ahora en adelante, la notación funcional se usará únicamente para la evaluación de polinomios y los polinomios siempre se presentarán como suma de términos.

Funciones polinómicas. Cuando $\alpha$ sea un elemento de $A$ (que es obviamente un superanillo de si mismo) entonces $f(\alpha )$ es un elemento de $A.$ Por lo que tenemos asociada a cada polinomio $f$ de $A[X]$ una función $\alpha \mapsto f(\alpha ),$ que diremos que es la función polinómica definida por $f.$ A menos que haya un riesgo de confusión, usaremos el mismo nombre para dicha función.

Volviendo a la situación de la definición, tenemos para cada $\alpha$ que es un elemento de $B,$ una función que asigna a cada polinomio $f$ de $A[X]$ su evaluación en $\alpha ,$ $f(\alpha ).$ Denotaremos esa función por ${\mathrm{e}\mathrm{v}}_{\mathrm{\alpha }}\mathrm{.}$ La siguiente proposición muestra que esa función es un homomorfismo de anillos.

Proposición 6. Sean $f$ y $g$ polinomios con coeficientes en $A.$ Sea $\alpha$ un elemento de un superanillo $B$ del anillo $A$ y que permuta con los elementos de $A.$ Entonces,

$(f+g)(\alpha )=f(\alpha )+g(\alpha ),\text{ y }(fg)(\alpha )=f(\alpha )g(\alpha )$

Luego,

${\mathrm{e}\mathrm{v}}_{\mathrm{\alpha }}\mathrm{(}\mathrm{f}\mathrm{+}\mathrm{g}\mathrm{)}\mathrm{=}{\mathrm{e}\mathrm{v}}_{\mathrm{\alpha }}\mathrm{(}\mathrm{f}\mathrm{)}\mathrm{+}{\mathrm{e}\mathrm{v}}_{\mathrm{\alpha }}\mathrm{(}\mathrm{g}\mathrm{)},\text{ y }{\mathrm{e}\mathrm{v}}_{\mathrm{\alpha }}\mathrm{(}\mathrm{f}\mathrm{g}\mathrm{)}\mathrm{=}{\mathrm{e}\mathrm{v}}_{\mathrm{\alpha }}\mathrm{(}\mathrm{f}\mathrm{)}{\mathrm{e}\mathrm{v}}_{\mathrm{\alpha }}\mathrm{(}\mathrm{g}\mathrm{)}\mathrm{.}$

Demostración: Ejercicio. Plantilla:QED

---

Sigue de la proposición que ${\mathrm{e}\mathrm{v}}_{\mathrm{\alpha }}\mathrm{:}\mathrm{A}\mathrm{[}\mathrm{X}\mathrm{]}\mathrm{⟶}\mathrm{B}$ es un homomorfismo de anillos.

Proposición 7. (Extensión de Homomorfismos) Sean $A$ y $B$ anillos conmutativos con identidad, y $\varphi :A⟶B$ un homomorfismo de anillos con identidad. Entonces, hay una función $\tilde{\varphi }:A[X]⟶B[X],$

$\tilde{\varphi }(a_0+a_{1}X+\dots +a^m{X}^m):=\varphi (a_0)+\varphi (a_1)X+\dots +\varphi (a_m)X^m,$

que es un homomorfismo de anillos.

Es decir que $\tilde{\varphi }$ asigna a cada polinomio de $A[X|,$ el polinomio de $B[X]$ que resulta al reemplazar los coeficientes del primer polinomio por sus imágenes por $\varphi$

Demostración: Sean $f=\sum _i{a}_i{X}^i$ y $g=\sum _j{b}_j{X}^j.$ Entonces,
• $\begin{array}{ccc}\tilde{\varphi }(f)+\tilde{\varphi }(g)& =& \sum _i\varphi (a_i)X^i+\sum _j\varphi (b_j)X^j=\sum _k(\varphi (a_k)+\varphi (b_k)X^k\\ & =& \sum _k\varphi (a_k+b_k)X^k=\tilde{\varphi }(f+g).\end{array}$
• $\begin{array}{ccc}\tilde{\varphi }(f)\tilde{\varphi }(g)& =& \sum _{i+j}\varphi (a_i)\varphi (b_j)X^{i+j}=\sum _{i+j}\varphi (a_i{b}_j)X^{i+j}=\tilde{\varphi }(fg).\end{array}$
Plantilla:QED

---

Nomenclatura. Decimos que $\tilde{\varphi }$ es el homomorfismo inducido por $\varphi .$

Sea $\nu :\mathbb{Z}⟶{\mathbb{Z}}_m$ el supramorfismo canónico, $x\mapsto [x].$ Entonces, diremos que el polinomio $\tilde{\nu }(f)$ es el polinomio obtenido de $f$ por reducción módulo $𝐦.$

Plantilla:Ejmpl La reducción de $f=X^3+3X^2+2X+5$ módulo 2 es igual a $g=X^3+X^2+1.$

---

Sustitución de Indeterminada

Sea $A$ un anillo conmutativo con identidad y sea $B=A[X],$ $B$ es un superanillo de $A$ y cada uno de sus elementos permuta con los elementos de $A.$ Por lo que podemos evaluar cada polinomio en $A[X]$ en un elemento $b$ de $B,$ o sea en otro polinomio, digamos, $g$ de $A[X].$ El resultado se dice que es la sustitución de la indeterminada o variable $X$ por $g(X).$

Plantilla:Ejmpl Sea $A=\mathbb{Z}$ y sea $f=X^2-5X+6.$

• Sea $g(X)=X^2.$ Entonces, $f(X^2)=(X^2{)}^2-5(X^2)+6=X^4-5X^2+6.$
• Sea $g(X)=3X-2.$ Entonces $f(3X-2)=(3X-2{)}^2-5(3X-2)+6=9X^2-27.$

---

Los Ceros de un Polinomio

Observación. Sea $C$ un superanillo de $B,$ entonces $V_B(f)\subset V_C(f).$

---

Plantilla:Ejmpl Sea $f(X)=X^2-5X+6$ un polinomio en $\mathbb{Z}[X].$ Entonces, $f(2)=2^2-5*2+6=4-10+6=0.$ Por lo que 2 es un cero del polinomio $f.$

Se ve claramente que $V_{\mathbb{Z}}(f)=\{2,3\}.$

---

Plantilla:Ejmpl Sea $f(X)=2X-3$ un polinomio en $\mathbb{Z}[X].$ Entonces, claramente $f(3/2)=0,$ lo que prueba que $3/2$ es un cero del polinomio $f.$ Además es el único cero en $\mathbb{Q}.$ Por lo que, $V_{\mathbb{Z}}(f)=\mathrm{\varnothing },$ pero $V_{\mathbb{Q}}=\{3/2\}.$

---

Plantilla:Ejmpl Sea $g(X)=X^2-3$ un polinomio en $\mathbb{Z}[X]<\mathbb{Q}[X].$

Entonces, claramente $g(\pm \sqrt{3})=0,$ lo que prueba que $\pm \sqrt{3}$ son ceros del polinomio $g.$ Sabemos que esos números no son racionales, por lo que $V_{\mathbb{Q}}=\mathrm{\varnothing },$ pero $V_{ℝ}=\{\pm \sqrt{3}\},$ lo que indica porque no podemos omitir el anillo donde estamos considerando los ceros en la notación $V_A(f),$ cuando se trabaja simultáneamente con varios anillos.

---

Los ejemplos anteriores muestran, además, que los ceros de un polinomio no tienen porque vivir en el anillo de los coeficientes, aunque ese anillo sea un cuerpo.

Como lo muestran los ejemplos anteriores, para hallar los ceros, a lo mejor será necesario extender el anillo donde están los coeficientes del polinomio.

Números y Enteros Algebraicos

Plantilla:Ejmpl $\sqrt{2}$ es un entero algebraico, ya que es un cero de $X^2-2.$

---

Plantilla:Ejmpl Hallar un polinomio en $\mathbb{Z}[X]$ tal que $\frac{\sqrt{7}-2\sqrt{3}}{5}$ sea un cero del polinomio.

Resolución. Pongamos $x=\frac{\sqrt{7}-2\sqrt{3}}{5}.$ Entonces,

$\begin{array}{cccc}& x& =& \frac{\sqrt{7}-2\sqrt{3}}{5}\\ ⟹& 5x& =& \sqrt{7}-2\sqrt{3}\\ ⟹& 5x+2\sqrt{3}& =& \sqrt{7}\\ ⟹& 25x^2+20x\sqrt{3}+12& =& 49& \text{(cuadrando)}\\ ⟹& 25x^2-37& =& -(20\sqrt{3})x\\ ⟹& 625x^4-1850x^2+1369& =& 1200x^2& \text{(cuadrando)}\\ ⟹& 625x^4-3050x^2+1369& =& 0\end{array}$

Luego, $625X^4-3050X^2+1369$ es un polinomio con el cero indicado.

---

Ejercicios

1. Evaluar cada uno de los siguientes polinomios de $\mathbb{Q}[X],$ $f=X^2-4X+1,$ $g=X^3-3X^2+3X-3,$ en los números indicados a continuación. $1,2,\sqrt{3},2+\sqrt{3},1+\sqrt[3]{2}.$
2. Para cada uno de los números siguientes verificar que se trata de un número algebraico, hallando de manera explícita un polinomio anulado por ese número. En cada caso indicar si el número es, o no, un entero algebraico.
   $\begin{array}{ccccc}a.& \sqrt{2}.& & b& 3-\sqrt{7}.\\ c.& \sqrt{3}+\sqrt{2}.& & d.& \sqrt{5}+\sqrt[3]{2}.\\ e.& \frac{1+\sqrt{-3}}{2}.& & f.& \sqrt{2+\sqrt{2-\sqrt{2}}}.\end{array}$
3. Sean $A$ y $B$ anillos con identidad y sea $f:A⟶B$ un homomorfismo de anillos y sea $b$ un elemento de $B$ que permuta con los elementos de la imagen de $f.$ Probar que hay un único homomorfismo de anillos $\tilde{f}:A[X]⟶B$ tal que $\tilde{f}(X)=b,$
4. Sea $f=X^2-5X+1$ en $ℝ[X]$ y sea $M=\left[\begin{array}{cc}3& 1\\ 5& 2\end{array}\right]$ una matriz $2\times 2.$ Probar que $M$ es un cero de $f,$ o sea que $f(M)$ es la matriz nula.
5. Sea $f=X^2+X+1$ en $ℝ[X]$ y sea $M=\frac{1}{2}\left[\begin{array}{cc}1& -\sqrt{3}\\ \sqrt{3}& 1\end{array}\right]$ una matriz $2\times 2.$ Probar que $M$ es un cero de $f.$
6. Sea $A$ un anillo conmutativo con identidad. Sea $\phi :A[X]⟶A$ tal que $\phi (a_0+a_{1}X+\dots +a_n{X}^n)=a_0+a_1+\dots +a_n.$

   $\phi$ es un homomorfismo de anillos con identidad.

7. Sea $A={\mathbb{Z}}_2.$ Sea $F$ el conjunto de todas las sucesiones $s:\mathbb{N}⟶A,$ Con operaciones punto a punto, o sea que $(f+g{)}_n:=f_n+g_n\text{ y }(fg{)}_n:=f_n\cdot g_n.$

   Verificar que $F$ es un anillo conmutativo con identidad. Probar que el polinomio $X^2-X$ de $F[X]$ tiene infinitos ceros.