{"entities":{"Q1505077":{"pageid":1515817,"ns":120,"title":"Item:Q1505077","lastrevid":72002913,"modified":"2026-04-14T02:01:16Z","type":"item","id":"Q1505077","labels":{"en":{"language":"en","value":"Some formulae in eliminations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2656162"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1505077$7283580C-B324-47A5-B8B8-1A05C3D4C515","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d882bee430dbd0993a2cc6d1c13354d7cbce4063","datavalue":{"value":{"text":"Some formulae in eliminations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1505077$D02277D7-42EA-4347-91AA-7F0483987BC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3e75541b164c76eb3bd442a7a340b3a4cf95ed0","datavalue":{"value":"34.0195.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1505077$286CBE43-2855-4985-97F2-0808B93648E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8799c40959ae8ff71bbf3cf3439e413c339966c","datavalue":{"value":{"entity-type":"item","numeric-id":1503938,"id":"Q1503938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1505077$27A4DFD2-19A1-49A3-93C7-A7BC89A3D44B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db7a7bf9de32aab318edab7858b254f5e0409dd9","datavalue":{"value":{"time":"+1903-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1505077$C2BE5441-44C8-4CA1-B87F-8D3FB8DCB7A9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4320228df2c37f9bcbedd5e5a6c7349cd6a22a0","datavalue":{"value":"Es seien \\(C_1, C_2, \\dots, C_n n\\) gegebene allgemeine Polynome in \\(n\\) Variabeln \\(x_1, x_2, \\dots, x_n\\) von der resp. Ordnung \\(m_1, m_2, \\dots, m_n\\). Unter \\(t_n\\) sei die Zahl \\(\\varSigma m_1-n+1\\) verstanden, unter \\(S_1, S_2, \\dots, S_n\\) \\textit{B\u00e9zout}sche Faktorenpolynome, so da\u00df der Ausdruck \\(\\varSigma C_i S_i\\) die Ordnung \\(t_n\\) erh\u00e4lt.  F\u00fcr die Resultante \\(R\\) der Gleichungen \\(C_i=0\\) hat schon \\textit{Cayley} 1848 (ohne Beweis) einen sehr allgemeinen Ausdruck angegeben von der Gestalt \\(\\frac{DD_2\\dots}{D_1D_3\\dots}\\), wo das letzte \\(D\\) den Index \\(n-2\\) erh\u00e4lt; hier bedeutet \\(D\\) irgend eine Determinante \\((\\neq 0)\\) der aus den Koeffizienten von \\(\\varSigma C_i S_i\\) zu bildenden Matrix, und \\(D_1, D_2, \\dots, D_{n-2}\\) sind gewisse andere Determinanten. Der Verf. erh\u00e4lt einen \u00fcbersichtlicheren Ausdruck f\u00fcr \\(R\\) in der Form \\(\\frac{D}{\\varDelta}\\), wo \\(D\\) eine nach einer gewissen Regel ausgew\u00e4hlte Determinante jener Matrix ist und \\(\\varDelta\\) eine gewisse Unterdeterminante von \\(D\\). F\u00fcr drei Gleichungen l\u00e4\u00dft sich die \u00dcbereinstimmung der beiden Ergebnisse \\(R=\\frac{D}{D_1}=\\frac{D}{\\varDelta}\\) noch direkt nachweisen, obschon \\(D_1\\) und \\(\\varDelta\\) aus verschiedenen Elementen gebildet sind. Da\u00df die hier entwickelte Gestalt der Resultante inhaltlich mit der sonst auf Grund des \\textit{Poisson}schen Produktes erhaltenen \u00fcbereinstimmt, ergibt sich indirekt daraus, da\u00df die Resultante auch in der neuen Form alle charakteristischen Eigenschaften der Resultante besitzt.  Von Bedeutung ist der Begriff der ``Reduktion'' eines Polynoms. Enth\u00e4lt ein solches keinen durch \\(x_1^{m_1}\\) teilbaren Term, so hei\u00dft es in \\(x_1\\) reduziert, enth\u00e4lt es weiter auch keinen durch \\(x_2^{m_2}\\) teilbaren Term, so hei\u00dft es in \\(x_1\\) und \\(x_2\\) reduziert, usf.  In dem Aggregat \\(C_1S^{(0)}+C_2S^{(1)}+C_3^{(2)}+\\cdots\\) der Ordnung \\(t\\) bedeutet \\(S^{(0)}\\) ein Polynom der Ordnung \\(t-m_1\\) mit willk\u00fcrlichen Koeffizienten, \\(S^{(1)}\\) ein solches der Ordnung \\(t-m_2\\) jedoch reduziert in \\(x_1\\), \\(S^{(2)}\\) ein solches der Ordnung \\(t-m_3\\) jedoch reduziert in \\(x_1\\) und \\(x_2\\), usf. Allgemeiner, wenn aus den vorgelegten Polynomen \\(C_1, C_2, \\dots, C_n\\) etwa \\(C_p, C_q, C_r, \\dots\\) herausgegriffen werden, so soll in  \\[  C_pS^{(0)}+C_qS^{(1)}+C_rS^{(2)}+\\cdots  \\]  \\(S^{(1)}\\) in \\(x_p\\) reduziert sein, \\(S^{(2)}\\) in \\(x_p x_q\\) usf.   Zugrunde liegt der bekannte \\textit{B\u00e9zout}sche Satz, da\u00df irgend ein Polynom \\(C\\) von der Ordnung \\(t\\) stets und nur auf eine einzige Art in die Form \\(C_1 S^{(0)}+C_2 S^{(1)}+\\cdots+C_l S^{(l-1)}+S^{(l)}\\) gebracht werden kann, wo die \\(C\\) als allgemeine Polynome gegeben seien. Der Beweis ergibt sich durch Koeffizientenvergleichung.   Im besondern folgt hieraus der oft gebrauchte Satz, da\u00df ein Polynom \\(C_1 S_1+\\cdots+C_l S_l\\) stets und nur auf eine Art in die kanonische Gestalt \\(C_1 S^{(0)}+C_2 S^{(1)}+\\cdots+C_l S^{(l-1)}\\) gebracht werden kann.  Nunmehr wird der Begriff der ``Matrix'' eines Aggregates  \\[  C_1 S_1+\\cdots+C_n S_n  \\]  von der Ordnung \\(t\\) aufgestellt. Man schreibe in eine Reihe alle Potenzprodukte \\(\\omega_1, \\omega_2, \\dots, \\omega_\\mu\\) der Variabeln \\(x\\) (von der Ordnung \\(t\\)); ist \\(\\omega\\) irgend ein Potenzprodukt von \\(S_p\\), so schreibe man die Koeffizienten von \\(\\omega C_p\\) Cp unter die entsprechenden Argumente \\(\\omega_1, \\dots, \\omega_\\mu\\) und links davon den Koeffizienten von \\(\\omega\\) in \\(S_p\\).   Sind \\(\\lambda_1, \\lambda_2, \\dots, \\lambda_\\varrho\\) der Reihe nach alle Koeffizienten der \\(S_i\\) so entspringt eine Matrix mit \\(\\mu\\) Kolonnen und \\(\\varrho\\) Reihen, die oben mit den \\(\\omega\\) und links mit den \\(\\lambda\\) ``ger\u00e4ndert'' ist.   Dieses Diagramm kann als vollst\u00e4ndiger Ersatz f\u00fcr das Aggregat \\(C_1 S_1+\\cdots+C_n S_n\\) gelten.   Unter \\(D(n, t)\\) ist die Determinante zu verstehen, deren Verschwinden das Kriterium f\u00fcr die Existenz der Identit\u00e4t  \\[ C_1 S^{(0)}+C_2 S^{(1)}+\\cdots+C_n S^{(n-1)}=S^{(n)}  \\]  (f\u00fcr die Ordnung \\(t\\)) ist. Ist \\(t\\) kleiner als alle \\(m_i\\) setze man  \\[  D(n, t)=1.  \\]  Weiter bedeute \\(R(n, t)\\) den gr\u00f6\u00dften gemeinsamen Teiler aller \\(n!\\) Determinanten \\(D(n, t)\\), die durch Permutation der Indizes \\(1, 2, \\dots, n\\) entstehen, und \\(t_n\\) die Zahl \\(\\sum m_i-n+1\\). Bildet man jetzt den Ausdruck \\(R(n, t_n)\\), so f\u00e4llt er mit der Resultante der \\(C_1, C_2, \\dots, C_n\\) zusammen. Denn in diesem Falle wird in der obigen Matrix \\(\\mu=\\varrho\\), und ihr Verschwinden ergibt die notwendige und hinreichende Bedingung f\u00fcr die Koexistenz der Gleichungen \\(C_1=0, \\dots, C_n=0.\\)   Der Grad von \\(R(n, t)\\) in den Koeffizienten von \\(C-r\\) wird gleich der Anzahl der Argumente der Ordnung \\(t-m_r\\), die in allen Variabeln exkl. \\(x_r\\) reduziert sind.   Es ist sodann die Frage zu beantworten, in welcher Beziehung \\(D(n, t)\\) zu \\(D'(n, t)\\) steht, wenn \\(D'(n, t)\\) irgend einer andern Anordnung der Indizes entspricht. Geh\u00f6ren zu \\(D'(n, t)\\) die \\(S\\)-Koeffizienten \\(\\lambda'\\), so dr\u00fccken sich die \\(\\lambda'\\) durch die \\(\\lambda\\) linear aus. Versteht man unter \\({\\lambda'} \\choose {\\lambda}\\) die Substitutionsdeterminante, so gilt die wichtige Relation  \\[ \\frac{D(n, t)}{D'(n, t)}={{\\lambda'} \\choose {\\lambda}}. \\]  Eine genauere Untersuchung der Substitutionskoeffizienten lehrt, da\u00df \\(D(n, t)\\), und damit auch \\(R(n, t)\\), durch alle Faktoren von \\(D'(n,t)\\) teilbar ist, die Koeffizienten von \\(C_r\\) enthalten, und hieraus flie\u00dft die obige Gradangabe f\u00fcr \\(R(n, t)\\).   Im besondern folgt also als Grad von \\(R(n, t_n)\\) in den Koeffizienten von \\(C_r\\) die Zahl \\(\\frac{m!}{m_r}\\), wie es f\u00fcr die Resultante der \\(C_i\\) sein mu\u00df. Welche Beziehung besteht nun zwischen \\(D(n, t)\\) und \\(R(n, t)?\\) Man erh\u00e4lt die grundlegende Rekursionsformel:  \\[  \\frac{D(n, t)}{R(n, t)}=\\frac{D(n-1, t)}{R(n-1, t)}\\cdot \\frac{D(n-1, t-1)}{R(n-1, t-1)}\\cdots \\frac{D(n-1, t-m_n+1)} {D(n-1, t-m_n+1)}  \\]   \\[  \\times D(n-1, t-m_n) D(n-1, t-m_n-1)\\dots D(n-1, 1).  \\]  Diese Relation l\u00e4\u00dft sich aber sukzessive zusammenziehen, so da\u00df sich schlie\u00dflich \\(R(n, t)\\) ergibt als Quotient von \\(D(n, t)\\) durch diejenige Unterdeterminante \\(\\varDelta(n, t)\\) die entsteht, wenn man alle Kolonnen streicht, die den in \\(n-1\\) Variabeln reduzierten Argumenten zugeh\u00f6ren und des gleichen alle Reihen, die \\(C_r(r=1, 2, \\dots, n-1)\\) f\u00fcr alle in \\(x_{\\nu+1}, \\dots, x_n\\) reduzierten Faktoren entsprechen.   Das genau Entsprechende gilt wiederum f\u00fcr die Resultante \\(R(n, t_n)\\) der \\(C\\).  Das Problem, die Division von \\(D(n, t_n)\\) durch \\(\\varDelta(n, t_n)\\) theoretisch auszuf\u00fchren, also die Resultante auf diesem Wege als ganze Funktion der Koeffizienten herzustellen scheint vor der Hand nicht l\u00f6sbar zu sein.   Dagegen l\u00e4\u00dft der Nenner \\(\\varDelta(n, t_n)\\) noch weitere Reduktionen zu.  Zwischen den \\(D\\) einerseits den \\(R\\) andererseits existiert noch eine Reihe weiterer bemerkenswerter Relationen so z. B.  \\[ D(n, t)=D(n-1, t) D(n, t-1), \\]  \\(R(n, t)=R(n, t_n)\\), f\u00fcr \\(t>t_n\\).   Es sei betont, da\u00df die Arbeit des Verf. nach Ansicht des Referenten einen namhaften Fortschritt in der Theorie, insbesondere von der Struktur der Resultante bezeichnet.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1505077$389F09F8-362D-4E62-B441-E4E500264477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"388d74b66770b76a8b0c0693be082a78ac680fde","datavalue":{"value":"2656162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1505077$A12BA2B3-1584-4DDA-AABA-10129C1D57B1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1505077$5C75539E-6598-4592-BEEA-CA9CFD02FC36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64efa13d0575dba56404dad763b67155ead30526","datavalue":{"value":"https://doi.org/10.1112/plms/s1-35.1.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1505077$6EC8B0C3-2801-43ED-852B-91EA1DF1623D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9faa8aab8055b8a15b32e4b0fa1aefdb5d46967a","datavalue":{"value":"W1977574397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1505077$1D0B4215-90F9-47EE-8AA8-BB6CE1FCABB6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1efba36e43445571d487d6cd151fc001e303fc94","datavalue":{"value":"Q29036412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1505077$6354DED2-5FD1-4E76-87CF-ACD77AEE1841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e20119a8e3f5ad47aa85caada54ad9adff2d711","datavalue":{"value":"10.1112/PLMS/S1-35.1.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1505077$16E8EA7B-3D26-4E78-BD08-65FE76E2B19A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52315a83c3cb3f0bd9f9b84e22839ff9a18f77ef","datavalue":{"value":{"entity-type":"item","numeric-id":6481607,"id":"Q6481607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1505077$5F426D6D-083D-4059-BD5E-57E39E5722C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some formulae in eliminations.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_formulae_in_eliminations."}}}}}