An arithmetical property of quadratic forms (Q769888)

Es sei \(f(x,y) = \sum a_{ik} x_i y_k\) eine symmetrische Bilinearform mit ganzen rationalen Koeffizienten und mit \(\det(a_{ik}) = \pm 1\). Dann gibt es einen ganzzahligen Vektor \(w\) mit \(f(x,x)\equiv f(x,w) \pmod 2\) für alle ganzzahligen Vektoren \(x\).\textit{F. Hirzebruch} und \textit{H. Hopf} zeigten mit Hilfe topologischer Überlegungen [Math. Ann. 136, 156--172 (1958; Zbl 0088.39403)], daß die Signatur \(\sigma\) von \(f\) die Kongruenz \(\sigma\equiv f(w,w) \pmod 4\) erfüllt. Verf. verallgemeinert diesen Satz auf den Fall rationaler Koeffizienten mit ungeradem Nenner und entsprechender Vektoren und gibt einen rein algebraischen Beweis an.