Sur la représentation des nombres entiers par une somme de \(2^m\) carrés et sa mise en facteurs. (Q2579866)

Verf. geht im wesentlichen davon aus, das Produkt \(PQ\) zweier vierdimensionaler Vektoren \(P = (a, b, c, d)\), \(Q = (x,y,z, t)\) durch \[ PQ = (ax + by + cz + dt, - bx + ay - dz + ct, - cx + dy + az - bt, \] \[ -dx - cy + bz + at) \] zu definieren. Es ergibt sich ein nicht assoziativer Bereich mit dem allgemeinen Kommutator \(I = (1, 0,0,0)\). Es wird nämlich \(QP = (PQ)\, I\). Verf. nennt die Vektoren Formen, \(I\) die Einsform und rechnet speziell mit Gitterpunktvektoren. Einer Darstellung \(p = a^2 + b^2 + c^2 + d^2\) einer natürlichen Zahl \(p\) als Summe von vier Quadraten ordnet Verf. die Form \(P = (a, b, c, d)\) zu. \(p = P^2\) nennt Verf. Argument von \(P\). Mit diesen Begriffen ergeben sich sehr schnell der Satz von Lagrange, daß jede natürliche Zahl als Summe von vier Quadraten ganzer Zahlen darstellbar ist, ferner die Sätze von Jacobi über den Zusammenhang der Anzahl dieser Darstellungen mit der Summe der Teiler von \(p\). Die elegante Beweismethode ist höchst beachtenswert.