Über \(p\)-Relationen. (Q1444729)

Aus den homogenen Koordinaten von \(d\) Punkten \(x, y,\ldots,z\) im Gebiete \(G_n=S_{n-1}\) \(n\)-ter Stufe bilde man die Matrix \(M\). Dann bilden die \(\displaystyle \binom nd\) Teildeterminanten \(p_{i_1,\ldots,i_d}\) die homogenen Punktkoordinaten des durch die \(d\) Punkte bestimmten \(G_d\) in \(G_n\). Zwischen diesen \(p\) bestehen Relationen \(R = 0\). Eine solche heiße eine ``\(p\)-Relation'', wenn \(R\) verschwindet, sobald man alle \(p\) in den Koordinaten der \(d\) Punkte ausdrückt. Es wird gezeigt, daß jede \(p\)-Relation auf die Gestalt \(R\equiv \Sigma \,A_\nu \varPi _\nu = 0\) gebracht werden kann, wo die \(\varPi _\nu = 0\) quadratische \(p\)-Relationen sind, und die \(A_\nu \) Formen in den \(p\). Zunächst wird die allgemeine Gestalt einer \(\varPi _\nu = 0\) aufgestellt, wobei verschiedene Typen zu unterscheiden sind. Sodann werden die \(p\) durch \(d(n - d) +1\) unabhängige unter ihnen rational ausgedrückt. Behufs Umformung von \(R=0\) durch Ergänzung der Matrix \(M\) zu einer ändern \(M'\) wird das Gebiet \(G_n\) zu einem \(G_{n+d}\) erweitert. Eine \(d\)-reihige Determinante \(M\) wird mit \(p_i\) bezeichnet, wenn sie \(i\) Kolonnen von \(M\) enthält. Dann ergibt sich eine Darstellung \(p_0^sR\equiv \Sigma \,A'_\nu \varPi '_\nu \). Übt man auf diese einen gewissen \(\Omega \)-Prozeß \(s\)-mal aus, so gelangt man zu der gewünschten Darstellung: \(R\equiv \Sigma \,A_\nu \varPi _\nu \)