Sui sistemi di risultanti. (Q2595583)

Es seien \(h \geqq r+1\) Formen \(F_{\nu} (x_1,\ldots, x_{r+1})\) \((\nu = 1, \ldots, h)\) der Grade \(m_1 \geqq m_2\geqq \cdots \geqq m_h\) mit unbestimmten Koeffizienten \(a^{(1)},\ldots,a^{(h)}\) vorgegeben. Dann bestimmt Verf. zunächst ein Resultantensystem, das einfacher ist als das von \textit{van der Waerden} (Nieuw Arch. Wiskunde (2) 15 (1928), 302-320; F. d. M. 54, 140 (JFM 54.0140.*)) angegebene. Bildet man nämlich durch Multiplikation der \(F_{\nu}\) mit beliebigen nichtnegativen ganzen Potenzen der \(x_1,\ldots,x_{r+1}\) ein System von Formen des einheitlichen Grades \(\mu=(r+1) m_1-r\), so ergeben deren Koeffizienten eine Matrix mit \(n=\begin{pmatrix} (r+1) m_1\\ r\end{pmatrix}\) Spalten und \(\sum\limits_{\nu=1}^{h} \begin{pmatrix} (r+1) m_1-m_2 \\r\end{pmatrix}\) Zeilen, und die \(n\)-reihigen Determinanten \(R_1,\ldots, R_l\) dieser Matrix sind ein vollständiges Resultantensystem der \(F_{\nu}\). Im projektiven Raume \(S_k\) \(\left(k= \sum\limits_{\nu=1}^{h} \begin{pmatrix} r+ m_{\nu} \\r\end{pmatrix} -1\right)\) der Koeffizienten \(a^{(1)},\ldots, a^{(h)}\) definieren die Gleichungen \(R_i = 0\) \((i = 1,\ldots, l)\) eine irreduzible algebraische Mannigfaltigkeit \(W\) der Dimension \(k - h + r\); im Sonderfalle \(h = r + 1\) wird \(W\) eine irreduzible Hyperfläche der Gleichung \(R = 0\) und \(R\) ist der größte gemeinsame Teiler der \(R_i\), also die einzige Resultante; aus algebraisch-geometrischen Überlegungen entnimmt man, daß \(R\) homogen vom Grade \(\dfrac{m_1m_2\cdots m_{r+1}}{m_{\nu}}\) in den \(a^{(\nu)}\) sein muß. (V 5 E.)