The class number one problem for some non-abelian normal CM-fields

DOI10.1090/S0002-9947-97-01768-6MaRDI QIDQ4372562zbMATH OpenOpenAlexFDO

Authors Ryotaro Okazaki, Michel Olivier, Stéphane Louboutin

Publication date 16 December 1997

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0002-9947-97-01768-6

zbMATH Keywords

class numberDedekind zeta-functiondihedral fieldlower bounds for discriminantsnon-abelian normal CM-fields of degree 12relative class number

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to number theory (11-04) Real zeros of (L(s, chi)); results on (L(1, chi)) (11M20) Other number fields (11R21) Class numbers, class groups, discriminants (11R29) Zeta functions and (L)-functions of number fields (11R42) Algebraic number theory computations (11Y40)

Review text

This paper is a fascinating and deep combination of algebraic and analytic number theory with extensive computer calculations. The authors establish that there are exactly 16 non-abelian normal CM-fields of degree 12 with relative class number one, and consequently exactly 9 of these fields have class number one. They begin their proof by demonstrating that the Galois group of a normal CM-field \(N\) of degree \(4p\), for any odd prime \(p\), is dihedral. Denoting the maximal real subfield of \(N\) by \(N^+\), the class number of \(N\) by \(h_N\), and the relative class number of \(N\) by \(h_N= h_N/h^+_N\), the Dedekind zeta-function is used to obtain lower bounds on the absolute values of the discriminant \(d_N\) of \(N\) when \(h_N=1\) and \(N\) is of degree 12. A key result invovles the utilization of an imaginary bicyclic biquadratic subfield \(M\) of \(N\) and a non-normal sextic CM-field \(N_0\) of \(N\) to reduce the relative class number one problem for \(N\) to smaller subfields: \(\overline {h_N} =1\) if and only if \(\overline {h_M}= \overline {h_{N_0}} =1\). Through extensive computer calculations it is established, where \(k\) is any of the three totally real cubic subfields of \(N^+\), that if \(\overline {h_N} =1\) then \[ d_k\leq 5.10^8,\;d_{N^+} \leq 2.10^{22}, \quad \text{and} \quad d_N\leq 4.10^{44}. \] Finally, the authors obtain their 16 non-abelian normal CM-fields \(N\) with \(\overline {h_N}=1\) and calculate \(h_{N^+}\) in each case to conclude that exactly 9 of these fields have \(h_N=1\).

Recommendations

• The class number one problem for the non-abelian normal CM-fields of degree 24 and~40
• The Class Number One Problem for Some Non-Abelian Normal CM-Fields of 2-Power Degrees
• The non-abelian normal CM-fields of degree 36 with class number one

Cites work

• A complete determination of the complex quadratic fields of class-number one
• Class Numbers of Totally Imaginary Quadratic Extensions of Totally Real Fields
• Computation of class numbers of number fields
• Continued fractions and real quadratic fields
• Determination of all non-normal quartic CM-fields and of all non-abelian normal octic CM-fields with class number one
• scientific article; zbMATH DE number 435565 (Why is no real title available?)
• scientific article; zbMATH DE number 3760283 (Why is no real title available?)
• scientific article; zbMATH DE number 682474 (Why is no real title available?)
• scientific article; zbMATH DE number 3104762 (Why is no real title available?)
• Lower Bounds for Relative Class Numbers of CM-Fields
• Norme relative de l'unité fondamentale et 2-rang du groupe des classes d'idéaux de certains corps biquadratiques
• Notes on small class numbers
• On a ratio between relative class numbers
• On Complex Quadratic Fields with Class-Number Two
• On the Imaginary Bicyclic Biquadratic Fields With Class-Number 2
• Polynomials with \(D_ p \)as Galois group
• Some analytic bounds for zeta functions and class numbers
• Some analytic estimates of class numbers and discriminants
• Some effective cases of the Brauer-Siegel theorem
• Sur l'arithmétique des extensions galoisiennes à groupe de Galois diédral d'ordre \(2p\)
• The Determination of all Imaginary, Quartic, Abelian Number Fields With Class Number 1
• The Determination of the Imaginary Abelian Number Fields with Class Number One
• The imaginary bicyclic biquadratic fields with class-number 1.

Cited in

(24)

• Class number problem for imaginary cyclic number fields
• On the class number one problem for non-normal quartic CM-fields
• The CM-fields with class number one which are Hilbert class fields of quadratic fields
• Dihedral CM fields with class number one
• The class number one problem for some non-abelian normal CM-fields of degree 24
• Tame Galois module structure revisited
• Thue equations and CM-fields
• Note on Bernoulli numbers associated to some Dirichlet character of prime conductor
• Computation of L(0,) and of relative class numbers of CM-fields
• The non-abelian normal CM-fields of degree 36 with class number one
• scientific article; zbMATH DE number 1820100 (Why is no real title available?)
• NONABELIAN NORMAL CM-FIELDS OF DEGREE 2 pq
• CM-fields with relative class number one
• The class number one problem for the dihedral and dicyclic CM-fields
• Computation of relative class numbers of CM-fields
• The class number one problem for the non-abelian normal CM-fields of degree 16
• The Class Number One Problem for Some Non-Abelian Normal CM-Fields of 2-Power Degrees
• scientific article; zbMATH DE number 1953479 (Why is no real title available?)
• Class numbers of imaginary abelian number fields
• Computation of relative class numbers of CM-fields by using Hecke $L$-functions
• The class number one problem for some non-abelian normal CM-fields of degree 48
• The class number one problem for the normal CM-fields of degree 32
• The class number one problem for imaginary octic non-CM extensions of \(\mathbb{Q}\)
• Class number one problem for normal CM-fields

This page was built for publication: The class number one problem for some non-abelian normal CM-fields

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