Euclid's algorithm in cubic fields of negative discriminant (Q2648525): Difference between revisions

Bezeichne \(K\) einen reellen kubischen Zahlkörper mit komplexen Konjugierten. Das Hauptresultat ist der ausführliche Beweis des von Verf. schon früher nur mit skizziertem Beweis mitgeteilten Satzes, daß der E. A. (Euklidischer Algorithmus) nur für endlich viele \(K\) existiert [C. R. Acad. Sci., Paris 228, 883--885 (1949; Zbl 0033.15702)]; (in diesem Referat soll \glqq v\grqq{} für \glqq b\grqq{} stehen). Zunächst bezeichnen \(\xi, \xi', \xi''\) drei homogen lineare Formen in den Unbestimmten \(u, v, w\), wovon \(\xi\) reell ist, \(\xi', \xi''\) konjugiert komplex sind. Die Determinante soll \(\ne 0\) sein und darf gleich \(i\Delta\) \((\Delta> 0)\) angenommen werden. Mit \(\Xi, \Xi', \Xi''\) werden die adjungierten (ebenfalls homogen linearen) Formen in den Unbestimmten \(U, V, W\) bezeichnet (d. h. die beiden Koeffizientenmatrizen von \(\xi, \xi', \xi''\) bzw. \(\Xi, \Xi', \Xi''\) haben bei einer Multiplikation \glqq Zeilen mit Zeilen\grqq{} die Einheitsmatrix zum Produkt). Man definiert die (reelle) ternäre kubische Form \(f(u, v, w) = \xi\xi' \xi''\). Theorem 1. Wenn jedes der \(\Xi, \Xi', \Xi''\) bei ganzen rationalen \(U, V, W\) nur für \(U = V = W = 0\) verschwindet, dann gibt es reelle Zahlen \(u^*, v^*, w^*\), so daß \[ \vert f(u + u^*, v+ v^*, w + w^*)\vert \ge c\Delta \] mit einer absoluten Konstante \(c\) für alle ganzen rationalen \(u, v, w\) gilt. Theorem 2. Wenn die Koeffizienten von \(f(u, v, w)\) ganz rational sind und \(f(u, v, w) = 0\) bei ganzen rationalen \(u, v, w\) nur für \(u = v = w = 0\) gilt, dann gilt Theorem 1 mit passenden rationalen \(u^*, v^*, w^*\). Um hieraus obigen Satz zu gewinnen, setze man \(\xi = \alpha u + \beta v + \gamma w\) mit einer Basis \(\alpha, \beta, \gamma\) für die ganzen Zahlen von \(K\) und nehme für \(\xi', \xi''\) die beiden Konjugierten von \(xi\). Dann ist \(f= N\xi\), wobei \(N\) die Norm bezeichnet, und man schließt leicht auf die Existenz einer Zahl \(\lambda\in K\), so daß für alle ganzen Zahlen \(\xi\) in \(K\) gilt \(\vert N(\xi + \lambda)\vert \ge c \sqrt{d}\), wobei \(-d\) die Diskriminante von \(K\) ist. Damit gleichbedeutend ist Theorem 3. Der E. A. existiert in einem kubischen Zahlkörper von der Diskriminante \(-d > c^{-2}\) nicht. Nach dem Satz von Minkowski ist also die Zahl der nicht totalreellen kubischen Zahlkörper mit E. A. endlich. Der Beweis beruht hauptsächlich auf einer eingehenden Untersuchung der quadratischen Form \(R^2 \Xi^2 + 4R^{-1} \Xi' \Xi''\) für positive \(R\) und ganze \(U, V, W\).