Ir al contenido

Álgebra Abstracta/Anillo de Polinomios

De Wikilibros, la colección de libros de texto de contenido libre.
← Divisibilidad Anillo de Polinomios Divisibilidad y Polinomios →
Álgebra Abstracta


Introducción

[editar]

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

[editar]

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

donde los '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.

Ejemplo.

Recordemos que un cero de una función polinómica es un número del dominio de la función tal que Consideremos la función polinómica de en tal que Observemos que un "cero" de esa función es el número irracional 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 tal que 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.


Ejemplo.

Consideremos el cuerpo y sean y funciones de en si mismo tales que y La tabla siguiente muestra los valores de las funciones.

Como para todo de se cumple que tenemos que las funciones polinómicas y 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

[editar]

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

[editar]

Sean y Hallar la suma de y 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.

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 y a los coeficientes de los términos de grado de los sumandos, y si es el coeficiente del término de grado del resultado, tenemos que

(16-1


Esa afirmación supone que cuando un término de un polinomio no aparece, su coeficiente es cero.

La multiplicación de polinomios

[editar]

Examinaremos la multiplicación, tratando de ver el patrón de generación de los coeficientes del producto. Sean y dos funciones polinómicas. Veamos la generación de los primeros términos del producto.

Reuniendo los términos de igual grado, obtenemos que

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 al coeficiente del término de grado del producto, se cumplirá que

(16-2


Observemos, nuevamente, que si no hubiésemos escrito las potencias de (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

como una sucesión

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

[editar]

Sea un anillo (conmutativo o no) con identidad. Simbolizaremos por al conjunto formado por todas las sucesiones de en es decir todas las funciones de en El valor de en se denota por y se dice que es el término --ésimo de la sucesión.

Dotaremos a 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

[editar]

Sean y dos sucesiones de La suma de esas sucesiones es la sucesión denotada por y tal que

(16-3


Es decir que el término --ésimo de la suma es la suma de los términos --é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 ), y que cada función tiene un opuesto aditivo tal que Por lo que es un grupo abeliano.

La multiplicación

[editar]

Sean y dos sucesiones de Definiremos el producto de esas sucesiones por una relación idéntica a aquella en la ecuación (16-2), es decir que

(16-4


Nos interesa probar que 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 y tres sucesiones de en Para todo se cumple que

    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.)



Lema B. La multiplicación definida es distributiva.

    Demostración: Sean y tres funciones de en Para todo se cumple que

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


Identificación de con un subanillo de

Con cada en asociaremos la función tal que y para todo Como sucesión, tenemos que

Sea tal que Claramente, es una función inyectiva, Probaremos que es un homomorfismo de anillos.

Cuando y son elemento de se cumple que mientras que para tenemos que Luego,

(16-5


Veamos la situación con la multiplicación.

Con se tiene que

La última sumatoria es igual a cero, ya que implica que Veamos la primera sumatoria.

Como cada uno de los sumandos es nulo, se tiene que para

Luego,

(16-6


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

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

Lema C. Sean en y en Se cumple que (Es decir que cada término de la sucesión se multiplica por )

    Demostración:


Corolario C.1. Es decir que 1 es una identidad en

Todo el trabajo anterior muestra la siguiente proposición.

Proposición 1. El conjunto con las operaciones definidas arriba tiene la estructura de un anillo con identidad que contiene a como subanillo. Cuando es conmutativo, también lo es.

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


El Anillo de los Polinomios

[editar]

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.

Sea en Llamamos soporte de la sucesión al subconjunto de formado por todos los tales que


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

Definición. (Polinomio Formal) Sea un anillo con identidad. Un polinomio (formal) con coeficientes en es una sucesión en con soporte finito.


En términos de sucesiones, un polinomio es una sucesión con un número finito de términos no nulos. Sea Intuitivamente, corresponde al polinomio Para obtener formalmente lo anterior, definiremos al polinomio También, deberemos probar que la suma y el producto de polinomios es un polinomio, es decir que forman un subanillo de Previamente, introduciremos el símbolo de Kronecker que nos ayudará a expresar más concisamente nuestras definiciones y demostraciones.

Definición. (Símbolo de Kronecker) Llamamos símbolo de Kronecker a la expresión definida como:


Por ejemplo, cada elemento de define la función que es tal que

Definición. (Indeterminada) Llamamos indeterminada con respecto al anillo a la sucesión de simbolizada y tal que

Es decir que

Claramente, es un polinomio.

Proposición 2. Sea la indeterminada, entonces

  1. es decir que es la sucesión que tiene todos sus términos nulos, con la excepción del --ésimo que es igual a 1.
  2. para todo en

    Demostración:
    1. Por inducción sobre implica que También, Supongamos que para se cumple que Entonces,

      El único sumando con es aquel donde y, por lo tanto, el correspondiente es igual a Lo que implica que Por inducción, se tiene el resultado.

    2. Ejercicio.
    3. Probaremos primeramente que

      Suponer el resultado para todo Es decir que para todo en se cumple que Entonces,

      El resultado sigue por inducción.


Proposición 3. El conjunto de los polinomios determina un subanillo con identidad de que será denotado por 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 y dos polinomios tales que para se tiene que y para se cumple que Entonces, si se tiene que al ser mayor que y que Es decir que es un polinomio.
    Sea ahora Entonces,

    Los sumandos de la primera sumatoria tiene un factor con lo que implica que por lo que esa sumatoria es 0. Observemos que en la segunda sumatoria, se tiene que Entonces, Por lo que los 's son todos nulos, haciendo la segunda sumatoria nula. Luego, es un polinomio.


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

Proposición 4. Sea una sucesión no nula con para o sea un polinomio. Sea Entonces,

    Demostración: Claramente, si Sea tal que

    Por lo que las dos sucesiones son iguales.


La proposición muestra como podemos expresar un polinomio como una suma finita de términos de la forma Usaremos esa notación, de ahora en adelante.

Nomenclatura

[editar]

Sea un polinomio de al que expresaremos como donde (fj en la notación anterior de sucesiones).

  • Cada uno de los 's se llama un coeficiente del polinomio
  • 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 se llama un término del polinomio. Cada término es de la forma donde es un elemento del anillo y es un número entero tal que 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 como
  • El primer sumando, es el término constante. Como cuando dicho término tiene grado 0. Los términos constantes se identifican con los elementos de
  • Supongamos que no es el polinomio nulo. Entonces, al menos uno de los coeficientes de no es nulo. Sea el mayor de los enteros tales que Decimos que el término es el término líder del polinomio y que es el coeficiente líder del polinomio. En tal caso, llamamos grado del polinomio al numero Por lo tanto, el grado de un polinomio no nulo es siempre un número entero positivo o cero, al que denotaremos por Por definición de grado, para todo se tiene que si entonces
  • 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

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

  • Cuando dos polinomios y 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

[editar]

Sean y dos polinomios con grados y 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

La desigualdad puede ser estricta, por ejemplo considerar Pero, puede haber también otras circunstancias que hagan estricta a la desigualdad anterior.

Ejemplo.

Sea (enteros modulo 6) y sean Entonces,


Con respecto a la multiplicación, tenemos que

El siguiente ejemplo muestra que la desigualdad puede ser estricta.

Ejemplo.

Sea se tiene que


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 y polinomios en tales que el coeficiente líder de al menos uno de esos polinomios no es un divisor de cero. Entonces,

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 y donde Entonces, el término --ésimo es aquel del mayor grado posible del producto. Se tiene que

    Si se cumple que por lo que Igualmente, si entonces Es decir que el único posible sumando no nulo en la sumatoria anterior es Como o no son divisores de cero, se tiene que De donde el resultado.


Corolario 5.1. Cuando es un dominio de integridad, entonces también lo es.

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


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


Cuerpo de las Fracciones Racionales

[editar]

Vimos arriba que cuando es un dominio de integridad, en particular un cuerpo, 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.

Definición. (Cuerpo de las Fracciones Racionales) Sea un dominio de integridad. Llamamos cuerpo de las fracciones racionales al cuerpo de fracciones del dominio de integridad Notación:


Polinomios en varias variable

[editar]

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

Anillo de las Series Formales de Potencias

[editar]

Volvamos al anillo de las sucesiones con términos en un anillo Poniendo 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

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 series de potencias formales. Simbolizaremos a como y diremos que se trata del anillo de las series de potencias formales en una indeterminada con coeficientes en el anillo


Ejercicios

[editar]
  1. Sea el anillo Sean Hallar usando directamente las definiciones de operaciones con sucesiones.
  2. Sean y polinomios en Hallar
  3. Efectuar las operaciones indicadas en simplificar las expresiones resultantes y ordenarlas por orden creciente de los exponentes de los monomios.
  4. Efectuar las operaciones indicadas en simplificar las expresiones resultantes y ordenarlas por orden decreciente de los exponentes de los monomios.
  5. Usar el método de coeficientes separados para realizar las operaciones indicadas en
    1. ;
    2. ;
    3. y
  6. Completar las demostraciones de las proposiciones, cuando lo requieran.
  7. Probar que cuando es un anillo conmutativo, también lo es.
  8. Hallar dos polinomios y en tales que el grado de la suma de con sea inferior a los grados de cada uno de los sumandos, pero que
  9. Hallar polinomios en 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 ?
  11. Sean y elementos de Hallar
  12. Sean y dos series en Hallar el producto de con
  13. Hallar tales que:
  14. Hallar un polinomio tal que
  15. Hallar las relaciones entre y para que el polinomio

    sea un cuadrado perfecto.

  16. Cuando es un dominio de integridad, los únicos polinomios invertibles en son aquellos de grado cero y cuyo coeficiente líder es una unidad de
  17. Sea Obtener el polinomio en la indeterminada que se obtiene de al sustituir por
  18. Sea un polinomio de segundo grado sobre un cuerpo Probar que hay una sustitución del tipo que convierte a en un polinomio cuyo coeficiente del término lineal es nulo.
  19. Sea un polinomio de tercer grado sobre un cuerpo Probar que hay una sustitución del tipo que convierte a en un polinomio cuyo coeficiente del término cuadrático es nulo.
  20. Sean , \ldots elementos de un anillo conmutativo Expandir cada uno de los polinomios siguientes sobre y representar la expresión resultante como un nuevo polinomio. Generalizar los resultados.


  21. Sean indeterminadas sobre un anillo conmutativo con identidad Entonces:

    Donde,


  22. Sean elementos de un anillo conmutativo. Hallar una fórmula para
  23. Sea Sean en tales que y para todo número Hallar
  24. Sean en tales que Escribir de forma explícita como sucesiones a y Hallar
  25. Simplificar en ---el cuerpo de las fracciones racionales sobre ---las siguientes fracciones.
  26. Cuando es un dominio de integridad, el anillo de series formales con coeficientes en también lo es. El cuerpo de fracciones de se denota por Como polinomios son series de potencias, se tiene que los polinomios no nulos son invertibles en Probar que en se cumple que:


La Evaluación de un Polinomio

[editar]

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

Definición. (Evaluación) En la situación anterior, sea un polinomio con coeficientes en Llamamos evaluación de en al elemento de definido por

Decimos que ese elemento de es el valor de en y usaremos la notación funcional para representarlo.


Convenio Notacional. Notemos que la notación pudiera ser ambigua, ya que si consideramos a como una sucesión o sea una función con dominio puede indicar el coeficiente --ésimo del polinomio o la evaluación de en 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 sea un elemento de (que es obviamente un superanillo de si mismo) entonces es un elemento de Por lo que tenemos asociada a cada polinomio de una función que diremos que es la función polinómica definida por 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 que es un elemento de una función que asigna a cada polinomio de su evaluación en Denotaremos esa función por La siguiente proposición muestra que esa función es un homomorfismo de anillos.

Proposición 6. Sean y polinomios con coeficientes en Sea un elemento de un superanillo del anillo y que permuta con los elementos de Entonces,

Luego,

    Demostración: Ejercicio.


Sigue de la proposición que es un homomorfismo de anillos.


Proposición 7. (Extensión de Homomorfismos) Sean y anillos conmutativos con identidad, y un homomorfismo de anillos con identidad. Entonces, hay una función

que es un homomorfismo de anillos.

Es decir que asigna a cada polinomio de el polinomio de que resulta al reemplazar los coeficientes del primer polinomio por sus imágenes por

    Demostración: Sean y Entonces,


Nomenclatura. Decimos que es el homomorfismo inducido por

Sea el supramorfismo canónico, Entonces, diremos que el polinomio es el polinomio obtenido de por reducción módulo

Ejemplo.

La reducción de módulo 2 es igual a


Sustitución de Indeterminada

[editar]

Sea un anillo conmutativo con identidad y sea es un superanillo de y cada uno de sus elementos permuta con los elementos de Por lo que podemos evaluar cada polinomio en en un elemento de o sea en otro polinomio, digamos, de El resultado se dice que es la sustitución de la indeterminada o variable por

Ejemplo.

Sea y sea

  • Sea Entonces,
  • Sea Entonces

Los Ceros de un Polinomio

[editar]

Definición. (Cero de un Polinomio) Sean un anillo conmutativo con identidad, un superanillo de y un polinomio con coeficientes en Decimos que un elemento de que permuta con los elementos de es un cero o raíz del polinomio ssi,

Denotaremos por (o simplemente cuando el conjunto de donde se toman los ceros sea claro del contexto) al conjunto formado por todos los ceros de en


Observación. Sea un superanillo de entonces


Ejemplo.

Sea un polinomio en Entonces, Por lo que 2 es un cero del polinomio

Se ve claramente que


Ejemplo.

Sea un polinomio en Entonces, claramente lo que prueba que es un cero del polinomio Además es el único cero en Por lo que, pero



Ejemplo.

Sea un polinomio en

Entonces, claramente lo que prueba que son ceros del polinomio Sabemos que esos números no son racionales, por lo que pero lo que indica porque no podemos omitir el anillo donde estamos considerando los ceros en la notación 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.

PROBLEMA BÁSICO DEL ÁLGEBRA

Dado un anillo y un polinomio en determinar todos los posibles ceros de


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

[editar]

Definición. (Número Algebraico, Entero Algebraico) Un número complejo se llama número algebraico cuando es un cero de un polinomio con coeficientes en Un número algebraico es un entero algebraico cuando es un cero de un polinomio mónico con coeficientes enteros.


Ejemplo.

es un entero algebraico, ya que es un cero de


Ejemplo.

Hallar un polinomio en tal que sea un cero del polinomio.

Resolución. Pongamos Entonces,

Luego, es un polinomio con el cero indicado.


Ejercicios

[editar]
  1. Evaluar cada uno de los siguientes polinomios de en los números indicados a continuación.
  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.
  3. Sean y anillos con identidad y sea un homomorfismo de anillos y sea un elemento de que permuta con los elementos de la imagen de Probar que hay un único homomorfismo de anillos tal que
  4. Sea en y sea una matriz Probar que es un cero de o sea que es la matriz nula.
  5. Sea en y sea una matriz Probar que es un cero de
  6. Sea un anillo conmutativo con identidad. Sea tal que

    es un homomorfismo de anillos con identidad.

  7. Sea Sea el conjunto de todas las sucesiones Con operaciones punto a punto, o sea que

    Verificar que es un anillo conmutativo con identidad. Probar que el polinomio de tiene infinitos ceros.