Hilbert Genus Fields of Imaginary Biquadratic Fields

Abstract

Let $K_0={\mathbb {Q}}\left( \sqrt{\delta }\right) $ be a quadratic field. For those $K_0$ with odd class number, much work has been done on the explicit construction of the Hilbert genus field of a biquadratic extension $K={\mathbb {Q}}\left( \sqrt{\delta },\sqrt{d}\right) $ over ${\mathbb {Q}}$. When $\delta =2$ or p with $p\equiv 1\bmod 4$ a prime and K is real, it was described in Yue (Ramanujan J 21:17–25, 2010) and Bae and Yue (Ramanujan J 24:161–181, 2011). In this paper, we describe the Hilbert genus field of K explicitly when $K_0$ is real and K is imaginary. In fact, we give the explicit construction of the Hilbert genus field of any imaginary biquadratic field which contains a real quadratic subfield of odd class number.

Keywords

Class group / Hilbert symbol / Hilbert genus fields

References

[1] Bae S, Yue Q. Hilbert genus fields of real biquadratic fields. Ramanujan J.. 2011, 24 161-181

[2] Conner, P.E., Hurrelbrink, J.: Class Number Parity, Ser. Pure Math. 8. Would Sci., Singapore (1988)

[3] Herglotz G. Über einen dirichletschen satz. Math. Z.. 1922, 12 225-261

[4] Lang, S.: Cyclotomic Fields I and II, GTM 121. Springer, Berlin (1990)

[5] McCall TM, Parry CJ, Ranalli RR. On imaginary bicyclic biquadratic fields with cyclic 2-class group. J. Number Theory. 1995, 53 88-99

[6] Ouyang Y, Zhang Z. Hilbert genus fields of biquadratic fields. Sci. China Math.. 2014, 57 2111-2122

[7] Sime P. Hilbert class fields of real biquadratic fields. J. Number Theory. 1995, 50 154-166

[8] Yue Q. The generalized Rédei matrix. Math. Z.. 2009, 261 23-37

[9] Yue Q. Genus fields of real biquadratic fields. Ramanujan J.. 2010, 21 17-25

[10] Zhang Z, Yue Q. Fundamental units of real quadratic fields of odd class number. J. Number Theory. 2014, 137 122-129

Funding

National Natural Science Foundation of China(11501429)