Rational equivalence of a form to a sum of \(p^{\text{th}}\) powers. (Q2595585)

Es werden siebzehn Theoreme bewiesen, die sich auf die Transformation einer \(n\)-ären Form \(p\)-ten Grades \[ F= \sum a^{i_1\ldots i_p} x_{i_1}\ldots x_{i_p} =(a'x)^p \] auf eine Summe von \(p\)-ten Potenzen von Linearformen und auf das Zerfallen von \(F\) in Linearformen beziehen. Dabei wird als Koeffizientenbereich von \(F\) ein Körper \(\varPhi\) der Charakteristik \(q\) vorausgesetzt, der meist ``\((n, p)\)-eigentlich'' angenommen wird. Letzteres bedeutet, daß \(q\) nicht unter den Primfaktoren der in der ausgeschriebenen Potenz \[ (x_1+x_2+\cdots + x_n)^p \] auftreten Polynomialkoeffizienten vorkommt. Für \((n, p)\)-eigentliche Körper \(\varPhi\) spielen in den Äquivalenzsätzen zwei Ränge eine wichtige Rolle: der von \textit{W. Mayer} (Trans. Amer. math. Soc. 38 (1935), 267-309; JFM 61.0799.*) eingeführte ``Haupt-Determinanten-Rang'' \(r_1\) des Koeffizientensystems \(a^{i_1\ldots i_p}\) und der vom Verf. (On arithmetic invariants of binary cubic and binary trilinear forms; Bull. Amer. math. Soc. 42 (1936), 871-873; F. d. M. 62\(_{\text{II}}\)) definierte ``Haupt-Faktoren-Rang'' \(r_2\). Den Schlüsselpunkt bildet dann das Theorem II, nach dem \(r_1 = r_2\) notwendig und hinreichend ist für die Transformation von \(F\) in eine Summe von \(p\)-ten Potenzen. Soll die Anzahl dieser Potenzen gleich \(n\) sein, so lassen sich die Bedingungen auch so formulieren: Bei ungeradem \(p\) muß die Kovariante \[ (a'b'\cdots g')^{p-1} (a'x)(b'x) \cdots (g'x) \] in \(n\) linear unabhängige Linearfaktoren zerfallen; bei geradem \(p\) muß die Kovariante \[ (a'b'\cdots g')^{p-2} (a'x)^2(b'x)^2 \cdots (g'x)^2 \] in die Quadrate von \(n\) linear-unabhängigen Linearfaktoren zerlegbar sein. Für Körper \(\varPhi\) der Charakteristik null wird ein Satz von \textit{Hočevar} (C. R. Acad. Sci., Paris, 138 (1904), 745-747; F. d. M. 35, 133 (JFM 35.0133.*)) verallgemeinert. (III 5 B.)