Sylvestermatrix

Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Angaben ohne ausreichenden Beleg könnten demnächst entfernt werden. Bitte hilf Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst.

In der Algebra ist die Sylvestermatrix zu zwei Polynomen eine spezielle mit den Koeffizienten der Polynome besetzte Matrix, deren Determinante die Resultante der Polynome ergibt. Sie ist nach dem britischen Mathematiker James J. Sylvester benannt.

Definition

Sei R {\displaystyle R} ein kommutativer Ring. Für zwei Polynome f {\displaystyle f} und g {\displaystyle g} aus dem Polynomring R [ X ] {\displaystyle R[X]} mit

f = i = 0 m f i X i {\displaystyle f=\sum _{i=0}^{m}f_{i}X^{i}} und g = i = 0 n g i X i {\displaystyle g=\sum _{i=0}^{n}g_{i}X^{i}}

vom Grad m , n 1 {\displaystyle m,n\geq 1} heißt die quadratische ( m + n ) {\displaystyle (m+n)} -Matrix

Syl ( f , g ) = ( f m f 0 f m f 0 f m f 0 g n g 0 g n g 0 g n g 0 ) {\displaystyle \operatorname {Syl} (f,g)={\begin{pmatrix}f_{m}&&\cdots &&f_{0}&&&\\&f_{m}&&\cdots &&f_{0}&&\\&&\ddots &&&&\ddots &\\&&&f_{m}&&\cdots &&f_{0}\\g_{n}&&\cdots &&g_{0}&&&\\&g_{n}&&\cdots &&g_{0}&&\\&&\ddots &&&&\ddots &\\&&&g_{n}&&\cdots &&g_{0}\\\end{pmatrix}}}

die Sylvestermatrix zu f {\displaystyle f} und g {\displaystyle g} . In der Darstellung sind nicht spezifizierte Koeffizienten als Null zu verstehen.

Eigenschaften

Für 0 i j m + n {\displaystyle 0\leq i\leq j\leq m+n} sei M j i {\displaystyle M_{ji}} die Matrix, die aus der Sylvestermatrix durch Streichung der letzten j {\displaystyle j} Zeilen von f {\displaystyle f} -Koeffizienten, der letzten j {\displaystyle j} Zeilen von g {\displaystyle g} -Koeffizienten sowie der letzten 2 j + 1 {\displaystyle 2j+1} Spalten mit Ausnahme der ( m + n i j ) {\displaystyle (m+n-i-j)} -ten hervorgeht. Das Polynom

S j ( f , g ) = i = 0 j ( det M j i ) X i {\displaystyle S_{j}(f,g)=\sum _{i=0}^{j}\left(\det M_{ji}\right)\,X^{i}}

ist dann die j {\displaystyle j} -te Subresultante von f {\displaystyle f} und g {\displaystyle g} ; ihr Leitkoeffizient

psc j ( f , g ) = det M j j {\displaystyle \operatorname {psc} _{j}(f,g)=\det M_{jj}}

ist der j {\displaystyle j} -te Hauptsubresultantenkoeffizient. Der 0 {\displaystyle 0} -te Hauptsubresultantenkoeffizient

res ( f , g ) = det Syl ( f , g ) {\displaystyle \operatorname {res} (f,g)=\det \operatorname {Syl} (f,g)}

schließlich ist die Resultante von f {\displaystyle f} und g {\displaystyle g} .

Bedeutung

Die Hauptsubresultantenkoeffizienten haben eine wichtige Bedeutung als „Gradmesser“ des größten gemeinsamen Teilers von Polynomen: Der Grad von ggT ( f , g ) {\displaystyle \operatorname {ggT} (f,g)} für zwei Polynome ungleich 0 über einem kommutativen faktoriellen Integritätsring ist genau das kleinste k 0 {\displaystyle k\geq 0} mit psc k ( f , g ) 0 {\displaystyle \operatorname {psc} _{k}(f,g)\neq 0} .