Matrice de SylvesterEn algèbre linéaire, la matrice de Sylvester de deux polynômes apporte des informations d'ordre arithmétique sur ces polynômes. Elle tient son nom de James Joseph Sylvester. Elle sert à la définition du résultant de deux polynômes. Soient p et q deux polynômes non nuls, de degrés respectifs m et n La matrice de Sylvester associée à p et q est la matrice carrée définie ainsi : la première ligne est formée des coefficients de p, suivis de zéros la seconde ligne s'obtient à partir de la première par permutation circulaire vers la droite ; les n – 2 lignes suivantes s'obtiennent en répétant la même opération ; la ligne n + 1 est formée des coefficients de q, suivis de zéros les m – 1 lignes suivantes sont formées par des permutations circulaires.
Système d'équations algébriquesEn mathématiques, un système d'équations algébriques est un ensemble d'équations polynomiales f1 = 0..., fh = 0 où les fi sont des polynômes de plusieurs variables (ou indéterminées), x1..., xn, à coefficients pris dans un corps ou un anneau k. Une « solution » est un ensemble de valeurs à substituer aux indéterminées annulant toutes les équations du système. Généralement les solutions peuvent être cherchées dans une extension du corps k comme la clôture algébrique de ce corps (ou la clôture algébrique du corps des fractions de k celui-ci est un anneau).
Théorie de l'éliminationEn algèbre commutative et en géométrie algébrique, la théorie de l'élimination traite de l'approche algorithmique de l'élimination de variables entre polynômes. Le cas linéaire est maintenant couramment traité par élimination de Gauss, plus efficace que la méthode de Cramer. De même, des algorithmes d'élimination s'appuient sur des calculs de bases de Gröbner, alors qu'il existe des publications anciennes sur divers types d'« éliminants », comme le résultant pour trouver les racines communes à deux polynômes, le discriminant, etc.
Base de GröbnerEn mathématiques, une base de Gröbner (ou base standard, ou base de Buchberger) d'un idéal I de l'anneau de polynômes K[X, ..., X] est un ensemble de générateurs de cet idéal, vérifiant certaines propriétés supplémentaires. Cette notion a été introduite dans les années 1960, indépendamment par Heisuke Hironaka et Bruno Buchberger, qui lui a donné le nom de son directeur de thèse Wolfgang Gröbner. Les bases de Gröbner ont le grand avantage de ramener l'étude des idéaux polynomiaux à l'étude des idéaux monomiaux (c'est-à-dire formés de monômes), plus faciles à appréhender.
Corps de nombresEn mathématiques, un corps de nombres algébriques (ou simplement corps de nombres) est une extension finie K du corps Q des nombres rationnels. En particulier, c'est une extension algébrique : tous les éléments de K sont des nombres algébriques, dont le degré divise le degré de l'extension. C'est aussi une extension séparable car Q est de caractéristique nulle donc parfait. Tout sous-corps de C engendré par un nombre fini de nombres algébriques est un corps de nombres.
Polynomial greatest common divisorIn algebra, the greatest common divisor (frequently abbreviated as GCD) of two polynomials is a polynomial, of the highest possible degree, that is a factor of both the two original polynomials. This concept is analogous to the greatest common divisor of two integers. In the important case of univariate polynomials over a field the polynomial GCD may be computed, like for the integer GCD, by the Euclidean algorithm using long division. The polynomial GCD is defined only up to the multiplication by an invertible constant.
DiscriminantEn mathématiques, le discriminant noté , ou le réalisant noté , est une notion algébrique. Il est utilisé pour résoudre des équations du second degré. Il se généralise pour des polynômes de degré > 0 quelconque et dont les coefficients sont choisis dans des ensembles munis d'une addition et d'une multiplication. Le discriminant apporte dans ce cadre une information sur l'existence ou l'absence de racine multiple. Le discriminant est utilisé dans d'autres domaines que celui de l'étude des polynômes.
Théorème de BézoutLe théorème de Bézout, attribué à Étienne Bézout, affirme que deux courbes algébriques projectives planes de degrés m et n, définies sur un corps algébriquement clos et sans composante irréductible commune, ont exactement mn points d'intersection, comptés avec leur multiplicité. La forme faible du théorème dit que le nombre d'intersections (sans tenir compte des multiplicités) est majoré par . Autrement dit, si sont deux polynômes homogènes à coefficients dans (avec et ) de degrés respectifs et sans facteur commun, alors le système admet au plus solutions dans le plan projectif .
