On definite quadratic forms, which are not the sum of two definite or semi-definite forms. (Q2595777)

Eine quadratische Form \(\sum\limits_{i,j=1}^n a_{ij}x_ix_j\) (\(a_{ij}= a_{ji}\)) mit ganzen \(a_{ij}\) heiße unzerfällbar (non-decomposable), wenn sie positiv-definit und nicht die Summe zweier positivdefiniten oder -semidefiniten Formen derselben Art ist. Unzerfällbare Formen können nach \textit{Mordell} (Quart. J. Math. (Oxford Ser.) l (1930), 276-288; F. d. M. \(56_{\text{II}}\), 883) bzw. \textit{Ko} (Quart. J. Math. (Oxford Ser.) 8 (1937), 81-98; F. d. M. \(63_{\text I}\), 123) außer für \(n=1\) nur für \(n>5\) vorkommen und kommen für \(n=6, 7, 8\) wirklich vor. Zum erstenmal werden hier unzerfällbare Formen mit mehr als 8 Unbestimmten, sogar mit jedem einzelnen \(n>8\) angegeben, darunter solche für jede ganzzahlige Determinante \(k>0\) und bei festem \(k\) für jedes \(n>13k+ 176\). Damit ist insbesondere ein neuer Weg gefunden, Formen mit der Determinante 1 aufzustellen; im einzelnen ergibt sich mit \(k=1\) sogar für jedes durch 8 teilbare \(n\) eine unzerfällbare Form mit lauter geraden \(a_{ii}\), für jedes \(n\geqq 12\) mit Ausnahme der Werte \(n=13\), 16, 17, 19, 23 eine unzerfällbare Form mit mindestens einem ungeraden \(a_{ii}\).