Máximo común divisor polinómico

En álgebra, el MÁXIMO común divisor (frecuentemente abreviado como MCD) de dos polinomios es otro polinomio del grado más alto posible, que es un factor de los dos polinomios originales. Este concepto es análogo al de máximo común divisor de dos enteros.

En el caso importante de polinomios de una sola variable sobre un cuerpo, el polinomio MCD puede ser calculado, como el MCD de dos enteros, mediante el algoritmo de Euclides usando la división polinómica. El polinomio MCD (salvo si se exceptúa la multiplicación por una constante invertible), es único.

La similitud entre el entero MCD y el polinomio MCD permite extender a polinomios de una variable todas las propiedades que se pueden deducir del algoritmo euclidiano y de la división euclídea. Además, el polinomio MCD tiene propiedades específicas que lo convierten en una noción fundamental en diversas áreas del álgebra. Normalmente, las raíces del MCD de dos polinomios son las raíces comunes de los dos polinomios, y esto proporciona información sobre las raíces sin necesidad de calcularlas. Por ejemplo, las raíces múltiples de un polinomio son las raíces del MCD del propio polinomio y de su derivada, y los cálculos adicionales del MCD permiten calcular el polinomio libre de cuadrados del polinomio de partida, lo que proporciona polinomios cuyas raíces son las raíces de un múltiples del polinomio original.

El máximo común divisor puede definirse y existe, de manera más general, para polinomios sobre un cuerpo numérico o sobre el anillo de los números enteros, y también sobre un dominio de factorización única. Existen algoritmos para calcularlos si se dispone de un algoritmo para calcular el MCD en el anillo de coeficientes. Estos algoritmos proceden mediante una recursión sobre el número de variables para reducir el problema a una variante del algoritmo euclidiano. Son una herramienta fundamental en cálculo simbólico, porque los sistemas algebraicos computacionales los usan sistemáticamente para simplificar fracciones. Por el contrario, la mayor parte de la teoría moderna del MCD polinómico se ha desarrollado para satisfacer la necesidad de eficiencia de los sistemas de álgebra por computadora.

Definición general 
Sean  y  dos polinomios con coeficientes en un dominio de integridad , normalmente un cuerpo o el anillo de los números enteros.

Un máximo común divisor de  y  es un polinomio  que divide a  y que divide a , y tal que cada divisor común de  y de  también divide a . Cada par de polinomios (ambos no nulos) tiene un MCD si y solo si  es un dominio de factorización única.

Si  es un cuerpo y  y  no son ambos cero, un polinomio  es un máximo común divisor si y solo si divide tanto a  como a , y tiene el mayor grado entre los polinomios que tienen esta propiedad. Si , el MCD es 0. Sin embargo, algunos autores consideran que en este caso el MCD no está definido.

El máximo común divisor de  y  generalmente se denota como .

El máximo común divisor no es único: si  es un MCD de  y , entonces el polinomio  es otro MCD si y solo si hay un elemento invertible  de  tal que
 
y
 .
En otras palabras, el MCD es único excepto si se considera la multiplicación por una constante invertible.

En el caso de los enteros, esta indeterminación se ha resuelto eligiendo como MCD el único que es positivo (hay otro, que es su contrario). Con esta convención, el MCD de dos enteros también es el divisor común más grande (para el orden habitual). Sin embargo, dado que no existe orden total natural entre los polinomios sobre un dominio integral, no se puede proceder de la misma manera aquí. Para polinomios de una sola variable sobre un cuerpo, se puede requerir adicionalmente que el MCD sea un polinomio mónico (es decir, que tenga 1 como su coeficiente del grado más alto), pero en casos más generales no existe una convención general. Por lo tanto, las igualdades como  o  son abusos comunes de notación que deben leerse como  es un MCD de  y de ; y como que  y  tienen el mismo conjunto de MCD que  y que . En particular,  significa que las constantes invertibles son los únicos divisores comunes. En este caso, por analogía con el caso entero, se dice que  y  son polinomios coprimos.

Propiedades 

 Como se indicó anteriormente, el MCD de dos polinomios existe si los coeficientes pertenecen a un cuerpo, el anillo de los números enteros o, de manera más general, a un dominio de factorización única.
 Si  es un divisor común de  y ,  divide al MCD de  y de .
 
  para cualquier polinomio . Esta propiedad está en la base de la prueba del algoritmo de euclides.
 Para cualquier elemento invertible  del anillo de los coeficientes, .
 Por lo tanto,  para cualquier escalar  tal que  sea invertible.
 Si , entonces .
 Si , entonces .
 Para dos polinomios de una variable  y  sobre un cuerpo, existen polinomios  y , de modo que  y  dividen cada combinación lineal de  y de  (identidad de Bézout).
 El máximo común divisor de tres o más polinomios se puede definir de manera similar al de dos polinomios. Puede calcularse de forma recursiva a partir de los MCD de dos polinomios mediante las identidades:
 
 y

MCD mediante cálculo manual 
Hay varias formas de encontrar el máximo común divisor de dos polinomios. Dos de ellas son:

 Factorización de polinomios, mediante la que se determinan los factores de cada expresión, luego se selecciona el conjunto de factores comunes incluidos dentro de ambos conjuntos de factores. Este método puede ser útil solo en casos simples, ya que la factorización suele ser más difícil que calcular el máximo común divisor.
 El algoritmo de Euclides, que se puede usar para encontrar el MCD de dos polinomios de la misma manera que para dos números enteros.

Factorización 
Para encontrar el MCD de dos polinomios usando su factorización, basta con factorizar los dos polinomios por completo. A continuación, se selecciona el producto de todos los factores comunes. En esta etapa, no necesariamente se obtiene un polinomio mónico, por lo que finalmente se debe multiplicar por una constante para convertirlo en un polinomio mónico. Este será el MCD de los dos polinomios, ya que incluye todos los divisores comunes, y es mónico.

Ejemplo uno: Encontrar el MCD de  y de .

 
 

Por lo tanto, su MCD es .

Algoritmo de Euclides 
Factorizar polinomios puede ser difícil, especialmente si los polinomios tienen un grado grande. El algoritmo de Euclides es un método que funciona para cualquier par de polinomios. Hace un uso repetido de la división euclídea. Cuando se usa este algoritmo con dos números enteros, el tamaño de los números disminuye en cada etapa. Con polinomios, el grado de los polinomios disminuye en cada etapa. El último resto distinto de cero, transformado en mónico si es necesario, es el MCD de los dos polinomios.

Más específicamente, para encontrar el mcd de dos polinomios  y , se puede suponer que  (de lo contrario, el MCD es ), y
 

La división euclídea proporciona dos polinomios , el cociente; y , el resto; tales que
 

Un polinomio  divide a  y a  si y solo si divide a  y . Por lo tanto
 
La configuración
 
permite repetir la división euclidiana para obtener nuevos polinomios  y así sucesivamente. En cada etapa se tiene que
 
por lo que la secuencia finalmente llegará a un punto en el que
 
y se obtiene el MCD:
 

Ejemplo: encontrar el MCD de  y :

 

 

Dado que  es el último resto distinto de cero, es un MCD de los polinomios originales y el polinomio mónico MCD es .

En este ejemplo, no es difícil evitar la introducción de denominadores factorizando 12 antes del segundo paso. Esto siempre se puede hacer usando secuencias de pseudo-resto, pero si no se tiene cuidado con las operaciones, se pueden generar números enteros muy grandes durante el cálculo. Por lo tanto, para los cálculos con computadora, se utilizan otros algoritmos, que se describen a continuación.

Este método funciona solo si se puede probar la igualdad a cero de los coeficientes que aparecen durante el cálculo. Entonces, en la práctica, los coeficientes deben ser números enteros, números racionales, elementos de un cuerpo finito, o deben pertenecer a alguna extensión de cuerpos de uno de los cuerpos anteriores. Si los coeficientes son valores con coma flotante que representan números reales que se conocen solo aproximadamente, entonces se debe conocer el grado del MCD para obtener un resultado de cálculo bien definido (es decir, un resultado provisto de estabilidad numérica; en estos casos se pueden utilizar otras técnicas, generalmente basadas en descomposición en valores singulares.

Polinomios de una variable con coeficientes en un cuerpo 

El caso de polinomios de una variable sobre un cuerpo es especialmente importante por varias razones. En primer lugar, es el caso más elemental y, por tanto, aparece en la mayoría de los primeros cursos de álgebra. En segundo lugar, es muy similar al caso de los números enteros, y esta analogía es la fuente de la noción de dominio euclídeo. Una tercera razón es que la teoría y los algoritmos para el caso de varias variables y para los coeficientes en un dominio de factorización única están fuertemente basados en este caso particular. Por último, pero no menos importante, los algoritmos de MCD polinómicos y los algoritmos derivados permiten obtener información útil sobre las raíces de un polinomio, sin calcularlas.

División euclídea 
La división euclídea de polinomios, que se usa en el Algoritmo de Euclides para calcular el MCD, es muy similar a la división euclídea de números enteros. Su existencia se basa en el siguiente teorema: Dados dos polinomios de una variable a y b ≠ 0 definidos sobre un cuerpo, existen dos polinomios q (el cociente) y r (el resto) que satisfacen
 
y
 
donde deg (...) denota el grado; y el grado del polinomio cero se define como negativo. Además, q y r se definen de forma única por estas relaciones.

La diferencia con la división euclidiana de números enteros es que, para los números enteros, el grado se reemplaza por el valor absoluto, y que para tener unicidad se tiene que suponer que r no es negativo. Los anillos para los que existe tal teorema se denominan dominios euclídeos.

Al igual que para los números enteros, la división euclídea de los polinomios puede calcularse mediante el algoritmo de división polinómica. Este algoritmo generalmente se presenta para el cálculo con lápiz y papel, pero funciona bien en computadoras cuando se formaliza de la siguiente manera (téngase en cuenta que los nombres de las variables corresponden exactamente a las regiones de la hoja de papel en un cálculo con lápiz y papel de división de polinomios). En el siguiente cálculo, deg representa el grado de su argumento (con la convención ), y lc representa el coeficiente principal, el coeficiente del grado más alto de la variable.

La prueba de la validez de este algoritmo se basa en el hecho de que durante todo el ciclo "while", se tiene que  y  es un número entero no negativo que disminuye en cada iteración. Así, la prueba de la validez de este algoritmo también prueba la validez de la división euclídea.

Algoritmo de Euclides 
En cuanto a los números enteros, la división euclídea permite definir el algoritmo de Euclides para calcular los MCD.

Partiendo de dos polinomios a y b, el algoritmo de Euclides consiste en reemplazar recursivamente el par  por  (donde "" denota el resto de la división euclídea, calculada por el algoritmo de la sección anterior), hasta obtener b = 0. El MCD es el último resto distinto de cero.

El algoritmo de Euclides se puede formalizar en el estilo de programación recursiva como:

En estilo de programación, dando un nombre a cada resto intermedio, el mismo algoritmo se convierte en:

La secuencia de grados de  es estrictamente decreciente. Por lo tanto, después de como máximo  pasos, se obtiene un resto nulo, denominado . Como  y  tienen los mismos divisores, el algoritmo de Euclides no cambia el conjunto de los divisores comunes y, por lo tanto, todos los pares  tienen el mismo conjunto de divisores comunes. Los divisores comunes de  y  son, por tanto, los divisores comunes de  y 0. Por tanto,  es un MCD de  y .
Esto no solo prueba que el algoritmo de Euclides calcula los MCD, sino que también prueba que existen los MCD.

Identidad de Bézout y algoritmo MCD extendido 

La identidad de Bézout es un teorema relacionado con el MCD, inicialmente probado para los enteros, que es válido en cualquier dominio de ideales principales. En el caso de los polinomios de una variable sobre un cuerpo, se puede enunciar de la siguiente manera:

El interés de este resultado en el caso de los polinomios es que existe un algoritmo eficiente para calcular los polinomios  y . Este algoritmo se diferencia del algoritmo de Euclides por algunos cálculos más realizados en cada iteración del ciclo. Por lo tanto, se denomina algoritmo MCD extendido. Otra diferencia con el algoritmo de Euclides es que también usa el cociente, denotado quo, de la división euclídea en lugar de solo el resto. Este algoritmo funciona de la siguiente manera:

La prueba de que el algoritmo satisface las condiciones de partida se basa en el hecho de que, para cada  se tiene que
 
 
la última igualdad implicando
 
La afirmación sobre los grados se deriva del hecho de que, en cada iteración, los grados de  y de  aumentan como máximo a medida que disminuye el grado de .

Una característica interesante de este algoritmo es que, cuando se necesitan los coeficientes de la identidad de Bezout, se obtiene sin cálculos adicionales el cociente de los polinomios de entrada por su MCD.

Aritmética de extensiones algebraicas 

Una aplicación importante del algoritmo MCD extendido es que permite calcular la división en extensiones algebraicas de cuerpos.

Sea  una extensión algebraica de un cuerpo , generado por un elemento cuyo polinomio mínimo  tiene grado . Los elementos de  suelen estar representados por polinomios de una variable sobre  de grado menor que .

La adición en  es simplemente la adición de polinomios:
 

La multiplicación en  es la multiplicación de polinomios seguida de la división por :
 

El inverso de un elemento distinto de cero  de  es el coeficiente  en la identidad de Bézout , que puede calcularse mediante el algoritmo MCD extendido (el MCD es 1 porque el polinomio mínimo  es irreducible). La desigualdad de grados en la especificación del algoritmo MCD extendido muestra que no se necesita una división adicional por  para obtener que deg () < deg().

Subresultantes 

En el caso de los polinomios de una variable, existe una fuerte relación entre los máximos divisores comunes y la resultante. Más precisamente, la resultante de dos polinomios P, Q es una función polinómica de los coeficientes de P y Q que tiene el valor cero si y solo si el MCD de P y Q no son constantes.

La teoría de los subresultantes es una generalización de esta propiedad que permite caracterizar genéricamente el MCD de dos polinomios, y el resultante es el polinomio subresultante 0-ésimo.

El i-ésimo polinomio subsultante Si(P, Q) de dos polinomios P y Q es un polinomio de grado como máximo i cuyos coeficientes son funciones polinómicas de los coeficientes de P y de Q, y el i-ésimo coeficiente principal subresultante si(P, Q) es el coeficiente de grado i de Si(P, Q). Tienen la propiedad de que el MCD de P y Q tiene un grado d si y solo si
 .

En este caso, Sd(P, Q) es un MCD de P y Q y

 

Cada coeficiente de los polinomios subresultantes se define como el determinante de una submatriz de la matriz de Sylvester de P y Q. Esto implica que los subresultantes se especializan bien. Más precisamente, los subresultantes se definen para polinomios sobre cualquier anillo conmutativo R, y tienen la siguiente propiedad.

Sea φ un homomorfismo sobre un anillo de R en otro anillo conmutativo S. Se extiende a otro homomorfismo, también denominado φ entre los anillos de polinomios sobre R y S. Entonces, si P y Q son polinomios de una variable con coeficientes en R tales que
 
y
 
entonces los polinomios subresultantes y los coeficientes principales subresultantes de φ(P) y φ(Q) son la imagen mediante φ de los de P y Q.

Los subresultantes tienen dos propiedades importantes que los hacen fundamentales para el cálculo en computadoras del MCD de dos polinomios con coeficientes enteros.

En primer lugar, su definición mediante determinantes permite acotar, mediante la desigualdad de Hadamard, el tamaño de los coeficientes del MCD.
En segundo lugar, esta cota y la propiedad de una buena especialización permiten calcular el MCD de dos polinomios con coeficientes enteros a través de la computación modular y del teorema chino del resto (véase algoritmo modular del MCD más adelante).

Definición técnica 
Sean
 
dos polinomios de una variable con coeficientes en un cuerpo K. Se denotan por  el espacio vectorial K de dimensión i los polinomios de grado menor que i. Para un entero no negativo i tal que i ≤ m e i ≤ n, sea
 
la aplicación lineal tal que
 

El resultante de P y Q es el determinante de la matriz de Sylvester, que es la matriz (cuadrada) de  sobre la base de las potencias de X. De manera similar, el polinomio i-subresultante se define en términos de determinantes de submatrices de la matriz de 

Se describen ahora estas matrices con mayor precisión;

Sea pi = 0 para i < 0 o i > m, y qi = 0 para i < 0 o i > n. La matriz de Sylvester es la matriz de dimensión (m + n) × (m + n), tal que el coeficiente de la i-ésima fila y de la j-ésima columna es pm+j−i para j ≤ n y qj−i para j > n:

 

La matriz Ti de  es la (m + n - i) × (m + n - 2i ) -submatriz de S que se obtiene eliminando las últimas i filas de ceros en la submatriz de las columnas 1 a (n - i) y (n + 1) a (m + n - i) de S (es decir, eliminar las columnas i en cada bloque y las últimas filas de ceros de la i). El coeficiente subresultante principal si es el determinante de las (m + n - 2i) primeras filas de Ti.

Sea Vi la matriz (m + n - 2i) × (m + n - i) definida como sigue. Primero se agregan (i + 1) columnas de ceros a la derecha de la matriz identidad de dimensión (m + n - 2i - 1) × (m + n - 2i - 1). Luego, se orla la parte inferior de la matriz resultante con una fila que consta de (m + n - i - 1) ceros seguidos de Xi, Xi−1, ..., X, 1:
 

Con esta notación, el i-ésimo polinomio subresultante es el determinante del producto matricial ViTi. Su coeficiente de grado j es el determinante de la submatriz cuadrada de Ti que consiste en sus (m + n - 2i - 1) primeras filas y la (m + n - i - j) fila.

Bosquejo de la demostración 
No es obvio que, tal como se definen, los subresultantes tengan las propiedades deseadas. Sin embargo, la demostración es bastante simple si se combinan las propiedades del álgebra lineal y las de los polinomios.

Tal como se define, las columnas de la matriz Ti son los vectores de los coeficientes de algunos polinomios pertenecientes a la imagen de . La definición del i-ésimo polinomio subsultante Si muestra que el vector de sus coeficientes es una combinación lineal de estos vectores columna, y por lo tanto que Si pertenece a la imagen de 

Si el grado de la MCD es mayor que i, entonces la identidad de Bézout muestra que cada polinomio distinto de cero en la imagen de  tiene un grado mayor que i. Esto implica que Si = 0.

Si, por el contrario, el grado del MCD es i, entonces la identidad de Bézout permite nuevamente probar que los múltiplos del MCD que tienen un grado menor que (m + n - i) están en la imagen de . El espacio vectorial de estos múltiplos tiene la dimensión (m + n - 2i) y tiene una base de polinomios de grados diferentes por pares, no menor que i. Esto implica que la submatriz de las primeras (m + n - 2i) filas de la forma escalonada de columna de Ti es la matriz de identidad y, por lo tanto, que si no es 0. En consecuencia, Si es un polinomio en la imagen de , que es un múltiplo del MCD y tiene el mismo grado. Por tanto, es un máximo común divisor.

MCD y búsqueda de raíces

Factorización libre de cuadrados 

La mayoría de los procedimientos de resolución numérica de ecuaciones no lineales se comportan mal con polinomios que tienen raíces repetidas. Por lo tanto, es útil detectarlas y eliminarlas antes de utilizar un algoritmo de búsqueda de raíces. Un cálculo de MCD permite la detección de la existencia de raíces múltiples, ya que las raíces múltiples de un polinomio son las raíces del MCD del polinomio y de su derivada.

Después de calcular el MCD del polinomio y su derivada, los cálculos adicionales del MCD proporcionan una factorización libre de cuadrados completa del polinomio, con la forma
 
donde, para cada i, el polinomio fi es 1 si f no tiene ninguna raíz de multiplicidad i o es un polinomio libre de cuadrados (es decir, un polinomio sin raíces múltiples) cuyas raíces son exactamente las raíces de multiplicidad i de f (véase algoritmo de Yun).

Por lo tanto, la factorización libre de cuadrados reduce la búsqueda de raíces de un polinomio con raíces múltiples a la búsqueda de raíces de varios polinomios libres de cuadrados de menor grado. La factorización libre de cuadrados también es el primer paso en la mayoría de los algoritmos de factorización de polinomios.

Secuencia de Sturm 

La secuencia de Sturm de un polinomio con coeficientes reales es la secuencia de los residuos proporcionada por una variante del algoritmo de Euclides aplicada al polinomio y su derivada. Para obtener la secuencia de Sturm, simplemente se reemplaza la instrucción
 
del algoritmo de Euclides por
 

Sea V(a) el número de cambios de signo en la secuencia, cuando se evalúa en un punto a. El teorema de Sturm afirma que V(a) - V(b) es el número de raíces reales del polinomio en el intervalo [a, B]. Por tanto, la secuencia de Sturm permite calcular el número de raíces reales en un intervalo dado. Al subdividir el intervalo hasta que cada subintervalo contiene como máximo una raíz, se obtiene un algoritmo que ubica las raíces reales en intervalos de pequeña longitud arbitraria.

MCD sobre un anillo y su cuerpo de fracciones 

En esta sección, se consideran polinomios sobre un dominio de factorización única R, típicamente el anillo de los enteros, y sobre su cuerpo de fracciones F, típicamente el cuerpo de los números racionales. Además, se denotan como R[X] y F[X] los anillos de polinomios en un conjunto de variables sobre estos anillos.

Factorización de contenido parcial primitivo 

El contenido de un polinomio p ∈ R[X], denotado como cont(p), es el MCD de sus coeficientes. Se puede escribir un polinomio q ∈ F[X]:

 

donde p ∈ R[X] y c ∈ R: es suficiente tomar para c un múltiplo de todos los denominadores de los coeficientes de q (por ejemplo, su producto) y p = cq. El contenido de q se define como:
 
En ambos casos, el contenido se define (salvo multiplicación) por la unidad de R.

La parte primitiva de un polinomio en R[X] o F[X] se define por
 

En ambos casos, es un polinomio en R[X] que es primitivo, lo que significa que 1 es un MCD de sus coeficientes.

Por lo tanto, cada polinomio en R[X] o F[X] se puede factorizar como
 
y esta factorización es única (salvo multiplicación del contenido) por una unidad de R y de la parte primitiva por la inversa de esta unidad.

El lema de Gauss implica que el producto de dos polinomios primitivos es primitivo. Resulta que
 
y

Relación entre el MCD sobre R y sobre F 

Las relaciones de la sección anterior implican una fuerte relación entre los MCD en R[X] y en F[X]. Para evitar ambigüedades, la notación "mcd" será indexada, a continuación, por el anillo en el que se calcula el MCD.

Si q1 y q2 pertenecen a F[X], entonces
 

Si p1 y p2 pertenecen a R[X], entonces
 
y
 

Por lo tanto, el cálculo de los MCD polinómicos es esencialmente el mismo problema sobre F[X] y sobre R[X].

Para polinomios de una variable sobre los números racionales, se puede pensar que el algoritmo de Euclides es un método conveniente para calcular el MCD. Sin embargo, implica simplificar una gran cantidad de fracciones de números enteros y el algoritmo resultante no es eficiente. Por esta razón, se han diseñado métodos para modificar el algoritmo de Euclides para trabajar solo con polinomios sobre los números enteros. Consisten en reemplazar la división euclídea, que introduce fracciones, por una llamada pseudodivisión, y reemplazar la secuencia restante del algoritmo de Euclides por la llamada secuencia de pseudorestos (véase secuencia de pseudorestos).

Demostración de que existe MCD para polinomios de varias variables 

En la sección anterior se ha visto que el MCD de polinomios en R[X] se puede deducir de los MCD en R y en F[X]. Una mirada más cercana a la demostración evidencia que esto permite probar la existencia de MCD en R[X], si existen en R y en F[ X]. En particular, si los MCD existen en R, y si X se reduce a una variable, esto prueba que los MCD existen en R[X] (el algoritmo de Euclides prueba la existencia de MCD en F[X]).

Un polinomio con n variables se puede considerar como un polinomio de una variable sobre el anillo de polinomios con (n - 1) variables. Por lo tanto, la recursividad sobre el número de variables muestra que si existen MCD y pueden calcularse en R, entonces existen y pueden calcularse en cada anillo polinomios de varias variables sobre R. En particular, si R es el anillo de los números enteros o un cuerpo, entonces los MCD existen en R[x1, ..., xn], y lo que precede proporciona un algoritmo para calcularlos.

La prueba de que un anillo de polinomios sobre un dominio de factorización único es también un dominio de factorización único es similar, pero no proporciona un algoritmo, porque no existe un algoritmo general para factorizar polinomios de una variable en un cuerpo (hay ejemplos de cuerpos para los que no existe ningún algoritmo de factorización para los polinomios de una variable).

Secuencia de pseudo-restos 

En esta sección, consideramos un dominio de integridad  Z  (típicamente el anillo Z de los enteros) y su cuerpo de fracciones Q (típicamente el cuerpo Q de los números racionales). Dados dos polinomios A y B en el anillo de los polinomios de una variante Z[X], la división euclídea (sobre Q) de A por B proporciona un cociente y un resto que pueden no pertenecer a Z[X].

Porque, si se aplica el algoritmo de Euclides a los siguientes polinomios
 
y
 
los restos sucesivos del algoritmo de Euclides son
 
Se ve que, a pesar del pequeño grado y el pequeño tamaño de los coeficientes de los polinomios de entrada, se tiene que manipular y simplificar fracciones enteras de tamaño bastante grande.

La pseudo-división se ha introducido con el fin de obtener una variante del algoritmo de Euclides para la que todos los restos pertenecen a Z[X].

Si  y  y a ≥ b, el pseudo-resto de la pseudo-división de A por B, denotado por prem(A', B) es
 
donde  es el coeficiente principal de B (el coeficiente de Xb).

El pseudo-resto de la pseudo-división de dos polinomios en Z[X] pertenece siempre a Z[X].

Una secuencia de pseudo-restos es la secuencia de los (pseudo) restos ri obtenida reemplazando la instrucción
 
del algoritmo de Euclides por
 
donde α es un elemento de Z que divide exactamente cada coeficiente del numerador. Las diferentes opciones de α dan diferentes secuencias de pseudo-restos, que se describen en las siguientes subsecciones.

Como los divisores comunes de dos polinomios no se modifican si los polinomios se multiplican por constantes invertibles (en Q), el último término distinto de cero en una secuencia de pseudo-restos es un MCD (en Q[X]) de los polinomios de partida. Por lo tanto, la secuencia de pseudo-restos permiten calcular el MCD en Q[X] sin introducir fracciones en Q.

En algunos contextos, es esencial controlar el signo del coeficiente principal del pseudo-resto. Este suele ser el caso al calcular resultantes y subresultantes, o al utilizar el teorema de Sturm. Este control se puede hacer reemplazando  por su valor absoluto en la definición del pseudo-resto, o controlando el signo de  (si  divide a todos los coeficientes de un resto, lo mismo es cierto para ).

 Secuencia trivial de pseudo-restos 

La secuencia de restos más simple (de definir) consiste en tomar siempre . En la práctica, no es interesante, ya que el tamaño de los coeficientes crece exponencialmente con el grado de los polinomios de entrada. Esto aparece claramente en el ejemplo de la sección anterior, para el que los sucesivos pseudo-restos son
 
 
 
 
El número de dígitos de los coeficientes de los restos sucesivos se duplica con creces en cada iteración del algoritmo. Este es el comportamiento típico de la secuencia trivial de pseudo-restos.

 Secuencia primitiva de pseudo-restos 

La "secuencia primitiva de pseudo-restos" consiste en tomar por α el contenido del numerador. Por tanto, todos los ri son polinomios primitivos.

La secuencia primitiva de pseudo-restos genera los coeficientes más pequeños. Sin embargo, requiere calcular un número de MCD en Z, y por lo tanto, no es lo suficientemente eficiente como para usarse en la práctica, especialmente cuando Z es en sí mismo un anillo de polinomios.

Con la misma entrada que en las secciones anteriores, los sucesivos restos, después de la división por su contenido, son
 
 
 
 
El pequeño tamaño de los coeficientes oculta el hecho de que se han calculado varios números enteros del MCD y divisiones por el MCD.

 Secuencia subresultante de pseudo-restos 

Una secuencia subsultante también se puede calcular con pseudo-restos. El proceso consiste en elegir α de tal manera que cada ri sea un polinomio subresultante. Sorprendentemente, el cálculo de α es muy fácil (véase más abajo). Por otro lado, la prueba de corrección del algoritmo es difícil, porque deben tenerse en cuenta todas las posibilidades de diferencia de grados de dos residuos consecutivos.

Los coeficientes de la secuencia subsultante rara vez son mucho mayores que los de la secuencia de pseudo-restos primitiva. Como los cálculos del MCD en Z no son necesarios, la secuencia subresultante con pseudo-residuos proporciona el cálculo más eficiente.

Con la misma entrada que en las secciones anteriores, los sucesivos restos son
 
 
 
 

Los coeficientes tienen un tamaño razonable. Se obtienen sin ningún cálculo del MCD, solo divisiones exactas. Esto hace que este algoritmo sea más eficiente que el de la secuencia primitiva de pseudo-restos.

El algoritmo que calcula la secuencia subresultante con pseudo-residuos se da a continuación. En este algoritmo, la entrada  es un par de polinomios en Z[X].  son los sucesivos pseudo-residuos en Z[X], las variables i y  son enteros no negativos, y las letras griegas denotan elementos en Z. Las funciones deg() y rem() denotan el grado de un polinomio y el resto de la división euclidiana. En el algoritmo, este resto siempre está en Z[X]. Finalmente, las divisiones indicadas con / son siempre exactas y tienen su resultado en Z[X] o en Z.

Nota: "lc" representa el coeficiente principal, el coeficiente del grado más alto de la variable.

Este algoritmo calcula no solo el máximo común divisor (el último  distinto de cero), sino también todos los polinomios subresultantes: el resto  es el polinomio subresultante -ésimo. Si , el polinomio subresultante -ésimo es . Todos los demás polinomios subsultantes son cero.

 Secuencia de Sturm con pseudo-restos 

Se pueden usar pseudo-restos para construir secuencias que tengan las mismas propiedades que la secuencia de Sturm. Esto requiere controlar los signos de los sucesivos pseudo-restos, para tener los mismos signos que en la secuencia de Sturm. Esto se puede hacer definiendo un pseudo-resto modificado como sigue.

Si  y  y a ≥ b, el pseudo-resto modificado prem2 (A, B) de la pseudo-división de A por B es
 
donde |lc (B)| es el valor absoluto del coeficiente principal de B (el coeficiente de Xb).

Para polinomios de entrada con coeficientes enteros, esto permite la recuperación de secuencias de Sturm que consisten en polinomios con coeficientes enteros. La secuencia de pseudo-restos subresultante puede modificarse de manera similar, en cuyo caso los signos de los restos coinciden con los calculados sobre los números racionales.

Téngase en cuenta que el algoritmo para calcular la secuencia de pseudo-restos subresultantes dada anteriormente calculará polinomios subresultantes incorrectos si se usa  en lugar de .

 Algoritmo modular del MCD 
Si f y g son polinomios en F[x] para algún cuerpo finitamente generado F, el algoritmo euclídeo es la forma más natural de calcular su MCD. Sin embargo, los sistemas modernos de cálculo simbólico solo lo usan si F es finito debido a un fenómeno llamado hinchamiento de la expresión intermedia. Aunque los grados siguen disminuyendo durante el proceso del algoritmo euclídeo, si F no es finito, entonces el tamaño en bits de los polinomios puede aumentar (a veces drásticamente) durante los cálculos porque las operaciones aritméticas repetidas en F tienden a conducir a expresiones más grandes. Por ejemplo, la suma de dos números racionales cuyos denominadores están limitados por b conduce a un número racional cuyo denominador está limitado por b2, por lo que en el peor de los casos, el tamaño en bits podría casi duplicarse con solo una operación.

Para acelerar el cálculo, se debe tomar un anillo D para el que f y g están en D[x], y tomar un ideal I tal que D/I es un anillo finito. Luego se calcula el MCD sobre este anillo finito con el algoritmo de euclides. Utilizando técnicas de reconstrucción (como el teorema chino del resto o la reconstrucción racional) se puede recuperar el MCD de f y g de su imagen modular en una serie de ideales I. Se puede probar que esto funciona siempre que se descarten imágenes modulares con grados no mínimos y se eviten los ideales de módulo I'' en los que un coeficiente principal desaparece.

Supóngase que , ,  y . Si se toma ,  un anillo finito (que no es un cuerpo, ya que  no es máximo en ). El algoritmo euclídeo aplicado a las imágenes de  en  tiene éxito y devuelve 1. Esto implica que el MCD de  en  también debe ser 1. Téngase en cuenta que este ejemplo podría manejarse fácilmente con cualquier método porque los grados eran demasiado pequeños para que se produzca un hinchamiento de la expresión, pero ilustra que si dos polinomios tienen MCD 1, es probable que el algoritmo modular termine después de un solo ideal .

Referencias

Bibliografía

Enlaces externos 

Polinomios