Real quartic fields with small discriminant (Q3233284)

Verf. gibt eine Tafel der Diskriminanten \(\Delta\) und normierten Erzeugungen \(K=P(\Theta)\) aller totalreellen biquadratischen Zahlkörper \(K\) mit \(\Delta \leq 11664\). Die Berechnung der Tafeln beruht auf dem Satz: Zu gegebenem \(K\) mit Diskriminante \(\Delta\) gibt es stets ein ganzzahliges Polynom \(f(x)=x^4 - ax^3 + bx^2 - cx+d\) derart, daß \(3a^2 - 8b \leq \sqrt[3]{32 \Delta}\) gilt, und entweder \(f(x)\) irreduzibel ist mit \(K=P(\Theta)\), \(f(\Theta)=0\), oder \(f(x)=(g(x))^2\) ist, wo \(K_0=P(\vartheta)\), \(g(\vartheta)=0\), ein quadratischer Teilkörper von \(K\) ist. Tafel I gibt \( \Delta \) und \( \Theta^{2}=\mu \) für die 45 Körper \(K\), welche einen quadratischen Teilkörper \(K_0=P(\mu)\) enthalten. Tafel II gibt \(\Delta\) und die Koeffizienten \(a, b, c, d\) des Minimalpolynoms von \(\Theta\) für die übrigen 19 Körper \(K\) ohne Teilkörper \(K_0\). Zu jedem Tafelwert von \(\Delta\) gehört genau ein \(K\) (Verf. gibt als kleinsten aufgefundenen Diskriminantenwert mit zwei zugehörigen Körpern \(K_i\), \(i=1,2\), \(\Delta=16448\) an mit \(K_{1}=P(\sqrt{17+4 \sqrt{2}})\) und \(K_{2}=P(\Theta)\) mit \(\Theta^{4}-10 \Theta^{3}+30 \Theta^{2}- 32 \Theta+10=0)\). Im Falle II ist \(1, \Theta, \Theta^{2}, \Theta^{3}\) eine Minimalbasis von \(K\). Ein Irrtum in den analogen, bis \(\Delta \leq 8112\) reichenden Tafeln von \textit{B. N. Delone} and \textit{D. K. Faddeev} [Tr. Mat. Inst. Steklova 11, 340 p. (1940; Zbl 0061.09001)] wird richtiggestellt. Ref. vermißt die Angabe der Galoisgruppentypen und der damit verbundenen Vereinfachung der Erzeugung, welche die Brauchbarkeit der Tafeln noch erhöht haben würde.