On the unit group and the class number of certain composita of two real quadratic fields (Q5947080): Difference between revisions

The authors intend to obtain a new family of real bicyclic biquadratic fields \(K(n)\), for which a system of the fundamental units is explicitly given by using the fundamental unit of three subfields and hence the Hasse's unit index is also given. Let \(k_1\) be any fixed real quadratic field, and \(\varepsilon_1\) \((>1)\) be the fundamental unit of \(k_1\). Denote by \(e=N (\eta_1)\) the norm of a fixed positive power \(\eta_1=\varepsilon_1^s\) of \(\varepsilon_1\) (\(s\) is restricted to an odd integer when \(N(\varepsilon_1) =1\)). Then, there exists an integer \(M\geq 1\) such that \(\eta_1=1/2M+ 1/2\sqrt{(M^2-4 e})\). Defining \(g_n\) and \(h_n\) for all non-negative integers \(n\), by \(\eta_1^n= 1/2 g_n+1/2h_n\sqrt {(M^2-4e)}\), then \(k_2(n)=\mathbb{Q} (\sqrt{(h_{2n+1}^2-1)}\) and \(k_3 (n)=\mathbb{Q}(\sqrt {(g_{2n+1}^2-M^2})\) with \(k_1\) form three different subfields of the real bicyclic biquadratic field \(K(n)\) \((=k_1\cdot k_2(n)=k_1 \cdot k_3(n)=k_2(n) \cdot k_3(n))\). In this paper the authors give the following main theorem: For odd \(M\), a system of fundamental units of \(K_n\) is given by \[ \begin{aligned} \{-1, \varepsilon_1, \sqrt{\varepsilon_2},\varepsilon_3\}\quad & \text{ if }n=5,\;M=1 \text{ and }e=-1\\ \{-1,\varepsilon_1, \varepsilon_2, \sqrt {\varepsilon_2}\} \quad & \text{if } n=2\text{ and }M^2=2x^2+e\\ \{-1, \varepsilon_1, \varepsilon_2, \sqrt{\varepsilon_2\varepsilon_3}\} \quad & \text{if }n=1, \text{ or if }n=6,\;M=1\text{ and }e=-1\\ \{-1,\varepsilon_1, \varepsilon_2, \sqrt {\varepsilon_1 \varepsilon_3}\} \quad &\text{if }n=2,\;M=5 \text{ and }e=1\\ \{-1,\varepsilon_1,\varepsilon_2, \varepsilon_3\} \quad & \text{otherwise}, \end{aligned} \] where \(\varepsilon_2\) and \(\varepsilon_3\) mean the fundamental unit \((>1)\) of \(k_2(n)\) and \(k_3(n)\), respectively.