Real quartic fields with small discriminant

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.

Cited in

(9)

This page was built for publication: Real quartic fields with small discriminant

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