2-extensions of Q with trivial 2-primary Hilbert kernel (Q4811232)

Browkin and Schinzel have determined all quadratic fields having trivial \(2\)-primary Hilbert (or wild) kernels. Their method relies on the computation of the \(2\)-rank of the Hilbert kernels of quadratic fields. In this article, the author first gives a complete list of all cyclic \(2\)-extensions of the field \({\mathbb Q}\) of rational numbers having trivial \(2\)-primary Hilbert kernels. His method relies essentially on a genus formula for the \(2\)-primary parts of Hilbert kernels of quadratic extensions [\textit{M. Kolster} and \textit{A. Movahhedi}, ``Bi-quadratic number fields with trivial 2-primary Hilbert kernels'', Proc. Lond. Math. Soc., III. Ser. 87, No. 1, 109--136 (2003; Zbl 1058.11065)]. Let \(p \equiv 9 \pmod {16} \) be a prime number which is not of the form \(p=u^2-32v^2\) with \(u>0\), \(u \equiv 1 \pmod 4\). Let, as usual, \(\mu_p\) be the group of \(p\)-th roots of unity. Then the case of cyclic sub-extensions of degree 4 of the cyclotomic field \({\mathbb Q}(\mu_p)\) (for which indeed the \(2\)-primary Hilbert kernel is trivial) turns out to be the hardest case to deal with. For this last case, an extensive study of Hilbert symbols turns out to be necessary. He then tackles the case of abelian \(2\)-extensions of \({\mathbb Q}\): let \(E\) be a totally real abelian \(2\)-extension of \({\mathbb Q}\) of degree \(>4\), with trivial \(2\)-primary Hilbert kernels. Then there exists a rational prime \(p \equiv \pm 3 \pmod 8 \) such that \(E\) is contained in \({\mathbb Q}(\mu_{2^{\infty}}) {\mathbb Q}(\mu_p)\) where \(\mu_{2^{\infty}}\) consists of all \(2\) primary roots of unity. The general case of imaginary abelian \(2\)-extensions of \({\mathbb Q}\) remains open.