Note on the Euclidean algorithm. (Q2595877)

In einer Arbeit vom Ref. und \textit{Rédei} (J. reine angew. Math. 174 (1936), 193-205; JFM 61.0138.*) blieb die Existenz des Euklidischen Algorithmus in einem quadratischen Zahlkörper \(R(\sqrt m)\) unentschieden in den folgenden Fällen (\(p\), \(q\) Primzahlen): \[ \begin{aligned} \text{I. } &m = p = 13 + 24n \;(n > 1), \\ \text{II. } &m = p = 1 + 8n \;(n> 1), \\ \text{III. } &m = pq \;\text{mit} \;p \equiv q \equiv 3 \;\text{oder} \;p \equiv q \equiv 7 \;\text{mod} \;8 \;\text{und} \;pq > 57. \end{aligned} \] In der vorliegenden Note zeigen die Verf., daß für große \(p\) der Euklidische Algorithmus in den ersten beiden Fällen nicht existiert; der dritte Fall bleibt unerledigt (siehe hierzu nachstehendes Referat). Der Beweis beruht auf Gedankengängen der anfangs genannten Arbeit und benutzt darüber hinaus das von den Verf. bewiesene Lemma: Sind \(q_1\), \(q_2\), \(q_3\) die drei kleinsten ungeraden Primzahlen, die quadratische Nichtreste mod \(p\) sind, so gilt für \(p>p(\eta)\) \[ q_1q_2q_3 < p^{1-\eta}, \] wobei \(\eta\) eine willkürliche Konstante mit \(0 < \eta < 0,001\) ist.