##  [Suite de Sous-Résultants PRS](/fr/node/63526) 

 Définition

Une suite de restes polynomiaux (PRS) enrichie par des mises à l'échelle de coefficients qui produit des sous-résultants : des polynômes et invariants scalaires associés reflétant les mineurs principaux de matrices de type Sylvester et enregistrant de façon compacte le degré du pgcd et des informations partielles de facteur tout en contrôlant la croissance des coefficients.

 

 

 

 

 

 





## Principe

Principe

Effectuer des étapes de pseudo-division avec des suppressions de contenu ou des mises à l'échelle choisies de sorte que chaque reste corresponde à un sous-résultant dont les coefficients principaux coïncident avec des mineurs de la matrice de Sylvester ; cela préserve la décroissance des degrés tout en limitant l'explosion des coefficients présente dans le reste euclidien naïf sur des anneaux.

 

 

 

 

 





## Démonstration

Démonstration

À partir de f et g, calculer une suite r0=f, r1=g, r2, … par opérations de pseudo-reste accompagnées de facteurs d'échelle déterministes de manière à normaliser les coefficients dominants ; la suite de polynômes sous-résultants donne le degré du pgcd et, lorsqu'ils sont non nuls, des sous-déterminants principaux spécifiques de la matrice de Sylvester.

 

 

 

 

## Mauvaise application

Mauvaise application

Appliquer la division euclidienne ordinaire sur Z ou des anneaux polynomiaux sans mise à l'échelle subresultante entraîne un gonflement des coefficients et une perte de contrôle du contenu ; supposer que la PRS de sous-résultants fournit des facteurs de pgcd réels sans extraction de la partie primitive est incorrect dans les contextes de domaines intègres.

 

 

 

 

 





## Conséquence

Conséquence

Une PRS de sous-résultants fournit une information précise sur le degré du pgcd et offre des certificats polynomiaux (sous-résultants) plus stables numériquement et algébriquement pour le calcul symbolique que les suites de restes naïves ; elle sert de base à des algorithmes efficaces de pgcd et de résultants sur anneaux exacts.

 

 

 

 

## Inversion

Inversion

Contrastée avec la factorisation complète ou les techniques modulaires : au lieu de produire explicitement des facteurs (renversement), la PRS de sous-résultants fournit des invariants de reste gradués ; l'approche inverse consiste à calculer des facteurs irréductibles explicites plutôt que des restes structurés.

 

 

 

 

 





## Limite

Limite

Formulée pour les polynômes univariés sur des domaines à pgcd et des domaines intègres ; les extensions aux anneaux principaux sont standard, mais l'application naïve sur des anneaux arbitraires ou en contextes multivariés exige une adaptation ou d'autres outils d'élimination.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tension entre PRS de sous-résultants et algorithmes modulaires/heuristiques : les sous-résultants sont déterministes et exacts sur les anneaux de coefficients mais peuvent être plus lents que des méthodes modulaires aléatoires qui échangent la détermination contre la rapidité pratique et la simplicité modulaire.

 

 

 

 

 





## Synthèse

Synthèse

Les PRS de sous-résultants sont des suites de restes mis à l'échelle dont les restes et sous-résultants scalaires encodent des mineurs principaux de matrices d'élimination : ils assurent une décroissance de degré contrôlée et une gestion des coefficients, produisant des informations fiables sur le degré du pgcd et des invariants d'élimination structurés en calcul exact.