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
0 references
0 references