On the reduction \((\text{mod.} 2)\) of binary quadratic forms (Q1470263)

Im Anschlußan die auf S. 272 besprochenen Arbeiten führt der Verf. eine neue Art von Reduktion binärer Formen ein. Zunächst wird die in der genannten Arbeit definierte (von \textit{Smith} herrührende) Teilung der oberen Halbebene mit dem Fundamentalbereiche \(B_0\) betrachtet. Er definiert dann die zu einer binären quadratischen Form gehörigen ``\(\text{mod.} 2\) reduzierten Formen'' folgendermaßen: 1. Es sei die Form positiv; sie ist \(\text{mod.} 2\) reduziert, wenn \(| b| \leqq a \leqq c\) und \(a+c\) gerade ist. Sind \(a\) und \(c\) beide ungerade, so bedeutet dies geometrisch, daß die Wurzel der Form, die in der oberen Halbebene liegt, in \(B_0\) hineinfällt. (Liegt sie an der Berandung von \(B_0\), dann liegt sie links von der \(y\)-Achse.) In diesem Falle (wo nämlich \(a\) und \(c\) ungerade sind) gibt es eine \textit{einzige}, zu einer gegebenen Form äquivalente \(\text{mod.} 2\) reduzierte Form. 2. Ist die Form indefinit, so werden die Reduzierten ähnlich, wie in der an S. 272 besprochenen Arbeit (``\textit{Smith}sche Reduzierte und Hauptreduzierte'') definiert. Nur wird noch die Bedingung hinzugefügt, daß \(a+c\) gerade sei. Analytisch lautet die Bedingung für die Reduzierten: Wenigstens eine von den beiden Zahlen \(a(a\pm 2b+c\)) sei negativ; während für die Hauptreduzierten: \((a+c)^2<4b^2\). (Außerdem muß \(a+c\) gerade sein.) Im definiten Falle sind \(a, c, a+c-2| b| \) die drei kleinsten Zahlen, die durch die Form darstellbar sind.