On the class number one problem for non-normal quartic CM-fields (Q1326956)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the class number one problem for non-normal quartic CM-fields
scientific article

    Statements

    On the class number one problem for non-normal quartic CM-fields (English)
    0 references
    29 September 1994
    0 references
    Let \(N\) be the normal closure of a non-normal quartic number field. Then, \(N\) is a dihedral octic number field which contains four non-normal quartic subfields. Let \(K\) be any one of these four subfields. We prove that \(K\) is a CM-field if and only if \(N\) is a CM-field. In that case, we prove that the relative class number \(h_ K^ -\) of \(K\) is equal to one if and only if \(h_ N^ -\) of \(N\) is equal to one. Moreover, the four non-normal quartic subfields of \(N\) have the same relative class number. Now, thanks to Dedekind zeta function factorizations, we prove that at least one of the Dedekind zeta functions of these four non-normal subfields does not have any Siegel zero. This enables us to get explicit lower bounds on the relative class number of \(K\). Hence, we get huge explicit upper bounds on the discriminants of non-normal quartic CM- fields with relative class number equal to one. Finally, we explain how one can determine all non-normal quartic CM-fields with class number one that contain a given real quadratic number field. For example, we prove that there are six non-normal quartic CM-fields with class number one that contain the real quadratic number field \(\mathbb{Q}(\sqrt{5})\). Let us point out that using this huge upper bound on the discriminants of the non-normal quartic CM-fields with relative class number one, the author and \textit{R. Okazaki} [Acta Arith. (to appear)] have lately managed to determine all non-normal quartic CM-fields and all non-abelian normal octic CM-fields with class number one.
    0 references
    dihedral octic number field
    0 references
    non-normal quartic subfields
    0 references
    CM-field
    0 references
    relative class number
    0 references
    Dedekind zeta function
    0 references
    discriminants
    0 references
    class number one
    0 references
    real quadratic number field
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references