# Resultant

﻿
Resultant

In mathematics, the resultant of two monic polynomials $P$ and $Q$ over a field $k$ is defined as the product

:$mathrm\left\{res\right\}\left(P,Q\right) = prod_\left\{\left(x,y\right):,P\left(x\right)=0,, Q\left(y\right)=0\right\} \left(x-y\right),,$

of the differences of their roots, where $x$ and $y$ take on values in the algebraic closure of $k$. For non-monic polynomials with leading coefficients $p$ and $q$, respectively, the above product is multiplied by

:$p^\left\{deg Q\right\} q^\left\{deg P\right\}.,$

Computation

* The resultant is the determinant of the Sylvester matrix (and of the Bezout matrix).

* When Q is separable, the above product can be rewritten to:$mathrm\left\{res\right\}\left(P,Q\right) = prod_\left\{P\left(x\right)=0\right\} Q\left(x\right),$:and this expression remains unchanged if $Q$ is reduced modulo $P$. Note that, when non-monic, this includes the factor $q^\left\{deg P\right\}$ but still needs the factor $p^\left\{deg Q\right\}$.

* Let $P\text{'} = P mod Q$. The above idea can be continued by swapping the roles of $P\text{'}$ and $Q$. However, $P\text{'}$ has a set of roots different from that of $P$. This can be resolved by writing $prod_\left\{Q\left(y\right)=0\right\} P\text{'}\left(y\right),$ as a determinant again, where $P\text{'}$ has leading zero coefficients. This determinant can now be simplified by iterative expansion with respect to the column, where only the leading coefficient $q$ of $Q$ appears.:$mathrm\left\{res\right\}\left(P,Q\right) = q^\left\{deg P - deg P\text{'}\right\} cdot mathrm\left\{res\right\}\left(P\text{'},Q\right)$: Continuing this procedure ends up in a variant of the Euclidean algorithm. This procedure needs quadratic runtime.

Properties

* $mathrm\left\{res\right\}\left(P,Q\right) = \left(-1\right)^\left\{deg P cdot deg Q\right\} cdot mathrm\left\{res\right\}\left(Q,P\right)$
* $mathrm\left\{res\right\}\left(Pcdot R,Q\right) = mathrm\left\{res\right\}\left(P,Q\right) cdot mathrm\left\{res\right\}\left(R,Q\right)$
* If $P\text{'} = P + R*Q$ and $deg P\text{'} = deg P$, then $mathrm\left\{res\right\}\left(P,Q\right) = mathrm\left\{res\right\}\left(P\text{'},Q\right)$
* If $X, Y, P, Q$ have the same degree and $X = a_\left\{00\right\}cdot P + a_\left\{01\right\}cdot Q, Y = a_\left\{10\right\}cdot P + a_\left\{11\right\}cdot Q$,:then
* $mathrm\left\{res\right\}\left(P_-,Q\right) = mathrm\left\{res\right\}\left(Q_-,P\right)$ where $P_-\left(z\right) = P\left(-z\right)$

Applications

* The resultant of a polynomial and its derivative is related to the discriminant.

* Resultants can be used in algebraic geometry to determine intersections. For example, let :$f\left(x,y\right)=0$ :and :$g\left(x,y\right)=0$ :define algebraic curves in $mathbb\left\{A\right\}^2_k$. If $f$ and $g$ are viewed as polynomials in $x$ with coefficients in $k\left(y\right)$, then the resultant of $f$ and $g$ gives a polynomial in $y$ whose roots are the $y$-coordinates of the intersection of the curves.

* In Galois theory, resultants can be used to compute norms.

* In computer algebra, the resultant is a tool that can be used to analyze modular images of the greatest common divisor of integer polynomials where the coefficients are taken modulo some prime number $p$. The resultant of two polynomials is frequently computed in the Lazard-Rioboo-Trager method of finding the integral of a ratio of polynomials.

* In wavelet theory, the resultant is closely related to the determinant of the transfer matrix of a refinable function.

Elimination theory

References

* [http://mathworld.wolfram.com/Resultant.html Weisstein, Eric W. "Resultant." From MathWorld--A Wolfram Web Resource.]

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Resultant — Résultant En mathématiques, le résultant est une notion qui s applique à deux polynômes. Elle est utilisée en théorie de Galois et en théorie algébrique des nombres. Le résultant de deux polynômes est un scalaire qui permet de vérifier s ils… …   Wikipédia en Français

• résultant — résultant, ante [ rezyltɑ̃, ɑ̃t ] adj. • XVIe; de résulter ♦ Vieilli Qui résulte de qqch. ⇒ consécutif. « La confusion résultante d une théorie et d une pratique contradictoires » (Chateaubriand). ♢ Mod. Mus. Son résultant, correspondant à deux… …   Encyclopédie Universelle

• résultant — résultant, ante (rè zul tan, tan t ) adj. 1°   Qui résulte. Le bien résultant du mal.    Terme de procédure. Les cas résultants du procès. 2°   Terme de mécanique. Force résultante, mouvement résultant, force, mouvement qui provient de la… …   Dictionnaire de la Langue Française d'Émile Littré

• Resultant — Re*sult ant, a. [L. resultans, p. pr. : cf. F. r[ e]sultant.] Resulting or issuing from a combination; existing or following as a result or consequence. [1913 Webster] {Resultant force} or {Resultant motion} (Mech.), a force which is the result… …   The Collaborative International Dictionary of English

• Resultant — Re*sult ant, n. That which results. Specifically: (a) (Mech.) A reultant force or motion. (b) (Math.) An eliminant. [1913 Webster] The resultant of homogeneous general functions of n variables is that function of their coefficients which, equaled …   The Collaborative International Dictionary of English

• Resultant —         (англ.) см. Emergent. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 …   Философская энциклопедия

• resultant — index amount (result), ancillary (subsidiary), consequential (deducible), constructive (creative) …   Law dictionary

• resultant — early 15c. (n.); 1610s (adj.); from L. resultantem, prp. of resultare (see RESULT (Cf. result)) …   Etymology dictionary

• resultant — Resultant, [result]ante. adj. v. Qui resulte. Il ne se dit guere qu en termes de pratique. Les cas resultants du procez. les preuves resultantes …   Dictionnaire de l'Académie française

• resultant — ► ADJECTIVE ▪ occurring or produced as a result …   English terms dictionary

• resultant — [ri zult′ nt] adj. [L resultans, prp.] 1. that results; following as a consequence 2. resulting from two or more forces or agents acting together n. 1. something that results; result 2. Physics a force, velocity, etc. with an effect equal to that …   English World dictionary