The construction of the Hilbert genus fields of real cyclic quartic fields
Let \(k\) be a number field and let \(H(k)\) be its Hilbert class field which, by class field theory, has the property that the Galois group \(G := \mathrm{Gal}(H(k)/k) \cong Cl(k)\), the class group of \(k\). The Hilbert genus field \(E(k)\) is the subfield of \(H(k)\) fixed by \(G^2\); hence \(\mathrm{Gal}(E(k)/k) \cong G/G^2\). By Kummer theory, \(E(k)\) is obtained as \(k(\sqrt{\Delta(k)})\) for a unique subgroup \(\Delta(k)\) of \(k^{\ast}\) containing \((k^{\ast})^2\) such that the latter group is of finite index in \(\Delta(k)\). Therefore, determining the field \(E(k)\) is the same as finding generators for the corresponding group \(\Delta(k)\). The Hilbert genus field \(E(k)\) has been determined for various quartic fields by a number of authors. A field \(k\) is a cyclic, quartic extension of \(\mathbb{Q}\) if, and only if, \(E(k) = \mathbb{Q}(\sqrt{a(d+b \sqrt{d})})\) where \(a, b, c, d\) are integers such that \(d = b^2 + c^2\) is square-free with \(b,c > 0\), and \(a\) is an odd square-free integer relatively prime to \(d\). Earlier, the first two authors of this paper determined the Hilbert genus fields of certain imaginary cyclic quartic fields. In the paper under review, the authors determine the Hilbert genus field \(E(k)\) for real, cyclic quartic fields of the form \(k = \mathbb{Q}(\sqrt{a \varepsilon_p \sqrt{p}})\) for primes \(p \equiv 1\) mod \(4\) or \(p=2\), and \(a>0\) relatively prime to \(p\). Here, \(\varepsilon_p\) is the fundamental unit of \(\mathbb{Q}(\sqrt{p})\). Combining earlier results and those of this paper, we may deduce that we have constructions of the Hilbert genus fields of all abelian, quartic fields that have quadratic subfields whose class numbers are odd. If \(h\) is the class number of \(\mathbb{Q}(\sqrt{p})\), determination of explicit generators for \(\Delta(k)\) (equivalently, of \(E(k)\)) for \(k = \mathbb{Q}(\sqrt{a \varepsilon_p \sqrt{p}})\) involves the solutions of certain Diophantine equations of the form \[ x^2- py^2 = q^{\lambda h} \] where \(q \neq p\) is an odd prime dividing \(a\) and \(\lambda\) is \(1\) or \(3\) (depending on \(p\)). The expressions as well as their proofs require consideration of several special cases.
- Calculation of the Class Numbers of Imaginary Cyclic Quartic Fields
- Genus fields of real biquadratic fields
- Hilbert class fields of real biquadratic fields
- Hilbert genus fields of biquadratic fields
- Hilbert genus fields of real biquadratic fields
- Hilbert genus fields of real biquadratic fields
- scientific article; zbMATH DE number 3480719 (Why is no real title available?)
- scientific article; zbMATH DE number 3505112 (Why is no real title available?)
- scientific article; zbMATH DE number 1452559 (Why is no real title available?)
- Integral bases for quartic fields with quadratic subfields
- On Hilbert genus fields of imaginary cyclic quartic fields
- On the Divisibility of the Class Numbers of Q(√−p) and Q(√−2p) by 16.
- Quadratic irrationals. An introduction to classical number theory
- Sur le 2-groupe des classes d'idéaux des corps quadratiques.
- Sur les -classes d'idéaux dans les extensions cycliques rélatives de degré premier . I
- The 2-rank of the class group of some real cyclic quartic number fields
- The 2-rank of the class group of some real cyclic quartic number fields. II.
- The explicit Hilbert 2-cyclic class field for Q ().
- The genus field and genus group in finite number fields
- The genus fields of algebraic number fields
- Genus fields of real biquadratic fields
- Hilbert genus fields of imaginary biquadratic fields
- Algorithm for finding a biquadratic cyclotomic extension field of \(\mathbb{Q}\)
- Hilbert genus fields of biquadratic fields
- On Hilbert genus fields of imaginary cyclic quartic fields
- Construction of the Hilbert field of a cyclotomic-quadratic field
- Hilbert 2-class fields and 2-descent
- Hilbert genus fields of real biquadratic fields
- Hilbert genus fields of real biquadratic fields
- Hilbert genus fields of some number fields with high degrees
- The construction of the Hilbert genus fields of real cyclic quartic fields
- Cyclic quartic fields and genus theory of their subfields
This page was built for publication: The construction of the Hilbert genus fields of real cyclic quartic fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2108521)
