Share on Facebook Share on Twitter Email
Answers.com

Sylvester matrix

 
Wikipedia: Sylvester matrix

In mathematics, a Sylvester matrix is a matrix associated to two polynomials that provides information about those polynomials. It is named for James Joseph Sylvester.

Contents

Definition

Formally, let p and q be two polynomials, respectively of degree m and n. Thus:

p(z)=p_0+p_1 z+p_2 z^2+\cdots+p_m z^m,\;q(z)=q_0+q_1 z+q_2 z^2+\cdots+q_n z^n.

The Sylvester matrix associated to p and q is then the (n+m)\times(n+m) matrix obtained as follows:

  • the first row is:
\begin{pmatrix} p_m & p_{m-1} & \cdots & p_1 & p_0 & 0 & \cdots & 0 \end{pmatrix}.
  • the second row is the first row, shifted one column to the right; the first element of the row is zero.
  • the following (n-2) rows are obtained the same way, still filling the first column with a zero.
  • the (n+1)-th row is:
\begin{pmatrix} q_n & q_{n-1} & \cdots & q_1 & q_0 & 0 & \cdots & 0 \end{pmatrix}.
  • the following rows are obtained the same way as before.

Thus, if m=4 and n=3, the matrix is:

S_{p,q}=\begin{pmatrix} 
p_4 & p_3 & p_2 & p_1 & p_0 & 0 & 0 \\
0 & p_4 & p_3 & p_2 & p_1 & p_0 & 0 \\
0 & 0 & p_4 & p_3 & p_2 & p_1 & p_0 \\
q_3 & q_2 & q_1 & q_0 & 0 & 0 & 0 \\
0 & q_3 & q_2 & q_1 & q_0 & 0 & 0 \\
0 & 0 & q_3 & q_2 & q_1 & q_0 & 0 \\
0 & 0 & 0 & q_3 & q_2 & q_1 & q_0 \\
\end{pmatrix}.

Applications

These matrices are used in commutative algebra, e.g. to test if two polynomials have a (non constant) common factor. In such a case, the determinant of the associated Sylvester matrix (which is named the resultant of the two polynomials) equals zero. The converse is also true.

The solutions of the simultaneous linear equations

{S_{p,q}}^\mathrm{T}\cdot\begin{pmatrix}x\\y\end{pmatrix} = \begin{pmatrix}0\\0\end{pmatrix}

where x is a vector of size n and y has size m, comprise the coefficient vectors of those and only those pairs x,y of polynomials (of degrees n − 1 and m − 1, respectively) which fulfill

x \cdot p + y \cdot q = 0

(where polynomial multiplication and addition is used in this last line). This means the kernel of the transposed Sylvester matrix gives all solutions of the Bézout equation where degx < degq and degy < degp.

Consequently the rank of the Sylvester matrix determines the degree of the greatest common divisor of p and q.

\deg(\gcd(p,q)) = m+n-\mathrm{rank}~S_{p,q}

See also

References

External links


Search unanswered questions...
Enter a question here...
Search: All sources Community Q&A Reference topics
Best of the Web: Sylvester matrix
Top

Some good "Sylvester matrix" pages on the web:


Math
mathworld.wolfram.com
 
 
 

 

Copyrights:

Wikipedia. This article is licensed under the Creative Commons Attribution/Share-Alike License. It uses material from the Wikipedia article "Sylvester matrix" Read more