Über die algebraische Darstellung der Normgebilde. (Q1465163)

Unter Normgebilde wird ein algebraisches Gebilde verstanden, das eine Parameterdarstellung durch die sämtlichen Potenzprodukte \(n\)-ten Grades von \(r\) Unbestimmten zuläßt: \[ (1)\quad x_{\alpha_1\dot s \alpha_r} = \xi_1^{\alpha_1}\dot s \xi_r^{\alpha_r}\;(\alpha_1 + \cdots +\alpha_r =n). \] Es handelt sich um die Bildung einer Basis des Polynomideals, welches das Gebilde definiert; d. h. des aus allen Polynomen \(f (x)\) bestehenden Ideals, die vermöge (1) identisch in \(\xi\) verschwinden. Es wird gezeigt, daß\ eine solche Basis durch quadratische Formen der \(x\) gegeben ist, die sich als Determinanten zweiten Grades einer gewissen Matrix definieren lassen; der Nachweis gelingt durch Normierung der Restklassen des aus den quadratischen Formen abgeleiteten Ideals. (V 5 F.)