scientific article; zbMATH DE number 3146879

Es wird eine Einführung in die Theorie der quadratischen Formen im rationalen Zahlkörper gegeben, welche außer den Anfängen der elementaren Zahlentheorie kaum Voraussetzungen macht. Für den Anfänger bietet sich so eine ausgezeichnete Gelegenheit, unter kunstvoller Führung Begriffsbildungen und Schlußweisen auf diesem Sondergebiet verstehen zu lernen. Der Kenner weiß, daß man ohne Hilfe eines genügend entwickelten Begriffsapparates, d.h. also im Bereich der elementaren Mathematik, Mühe und Scharfsinn aufwenden muß. Es wäre erwünscht, die gesunde sportliche Betätigung mit dem Erwerb einer mathematischen Allgemeinbildung zu verbinden. Nach Meinung des Ref. hat der Verf. diesen Gesichtspunkt zu wenig gesehen. Die Reduktion der quadratischen Formen, \( p \)-adische Äquivalenz, die Automorphismen, die Anzahl der Darstellungen von Zahlen durch eine definite Form u. a. m. hätten Gelegenheit geboten, den Leser auf größere Zusammenhänge hinzuweisen. Für den Kenner interessant sind einige neue Aussagen über die Zerlegung eines Automorphismus in Spiegelungen, deren Koeffiziententeiler zu einer gegebenen Zahl teilerfremd sind. Auch die Einführung der Spinorgeschlechter ist neu. Man bezeichne als das Gewicht \( w(R) \) einer Matrix \( R \) die kleinste natürliche Zahl \( w \) derart, daß stets \( w\left|R_{1}\right| \) ganz ist, wo \( R_{1} \) irgendeine quadratische Teilmatrix von \( R \) ist. Die kleinste natürliche Zahl \( n(R) \) derart, daß \( n(R) w(R) \) eine Quadratzahl ergibt, heiße die Norm von \( R \). Diese hat eine gewisse Produkteigenschaft auf Grund des Satzes: Es seien \( R_{1}, R_{2}\) \( n \)-reihige Matrizen der Determinanten \(\pm 1\), deren Gewichte zu einer Zahl \( d \) teilerfremd sind. Es gebe ferner eine quadratische Form \( f(x) \) in \( n \) Variablen derart, daß \( f(x), f\left(R_{1} x\right), f\left(R_{1} R_{2} x\right) \) ganzzahlig sind. Dann ist \( w\left(R_{1}\right) w\left(R_{2}\right) w\left(R_{1} R_{2}\right) \) eine Quadratzahl. Im Falle eines Automorphismus \( R \) von \( f \) ist die Quadratklasse von \( n(R) \), eventuell vom Vorzeichen abgesehen, mit der Spinornorm identisch. Infolgedessen kann definiert werden: Zwei Formen sind spinorverwandt, wenn sie durch eine Substitution ineinander übergeführt werden können, deren Matrix ein zur Determinante teilerfremdes Gewicht und die Norm 1 hat. Ob zwei Formen spinorverwandt sind oder nicht, läßt sich also sehr leicht feststellen. Úberhaupt nur ein Spinorgeschlecht tritt auf, wenn die Determinante nicht durch die \( \frac{1}{n}(n-1) \)-te Potenz einer natürlichen Zahl \( >2 \) teilbar ist. Der Beweis des Satzes, daß zwei spinorverwandte indefinite Formen in \( n>2 \) Variablen äquivalent sind, stützt sich im wesentlichen auf die Spiegelungen, abgesehen vom Fall \( n=3 \), wo die Hermitesche Formel für die Automorphismen benutzt wird, welche bekanntlich in der Algebra der Quaternionen ihre Wurzel hat. Der Beweis nimmt noch (!) rund 15 Seiten in Anspruch. Ein wenig bekanntes auf A. Meyer (1890) zurückgehendes Problem wird kurz behandelt, nämlich die Untersuchung der Zahlen, welche nicht durch alle Klassen eines indefiniten Geschlechts eigentlich dargestellt werden. Es steht in Beziehung zur Theorie der Spinorgeschlechter. Kurze Inhaltsübersicht: 1. Einführung. 2. Reduktion. 3. Hasses Invarianten, Hilberts Normenrestsymbol, quadra- tisches Reziprozitätsgesetz (mit Beweis). 4. p-adische Äquivalenz, ohne Benutzung der \( p \)-adischen Zahlen durch Kongruenzen erklärt. 5. Geschlechter und rationale Äquivalenz, im wesentlichen der Dissertation Hasses folgend. 6. Vorbereitung und Durchführung des Beweises der Äquivalenz spinorverwandter Formen. 7. Ausgestaltung dieses Äquivalenzsatzes, sowie Darstellung von Zahlen durch Formen. 8. Etwas über die rationalen Automorphismen, z. B. Spiegelungen und die Cayleysche Parameterdarstellung.

Cited in

(66)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3262865)