On the simultaneous 3-divisibility of class numbers of quadruples of real quadratic fields

There are infinitely many quadruples of real quadratic fields of the form,

with D\in \mathbb{N} whose class numbers are all divisible by 3.

For any two integers u and v, let

If

1. (a) u and v are relatively prime;

2. (b) F_{u, v}(Z) is irreducible over \mathbb{Q};

3. (c) the discriminant D_{F_{u, v}} of F_{u, v}(Z) is not a perfect square in \mathbb{Z};

4. (d) one of the following conditions holds:

   1. (d.1) 3\nmid v,

   2. (d.2) 3\mid v,\hspace*{3mm} uv\not\equiv 3\pmod 9, \hspace*{3mm} u\equiv v\pm 1 \pmod 9 ,

   3. (d.3) 3\mid v, \hspace*{3mm} uv\equiv 3 \pmod 9, \hspace*{3mm} u\equiv v\pm 1 \pmod { 27} ,

then the normal closure of \mathbb{Q}(\alpha), where \alpha is a root of F_{u,v}(Z), is a cyclic, cubic, unramified extension of \mathbb{K}=\mathbb{Q}(\sqrt{D_{F_{u,v}}}); in particular, \mathbb{K} has class number divisible by 3. Conversely, every quadratic number field \mathbb{K} with class number divisible by 3 and every unramified, cyclic and cubic extension of \mathbb{K} is given by suitable choices of integers u and v.

Let \mathbb{K}=\mathbb{Q}(\sqrt{d}). Suppose \alpha=\frac{a+b\sqrt{d}}{2} \in {\mathcal{O}}_\mathbb{K} with N_{\mathbb{K}/\mathbb{Q}}(\alpha) is a cube in \mathbb{Z}. Then P_{\alpha} (X) is reducible over \mathbb{Q} if and only if \alpha is a cube in \mathbb{K}.

Let \alpha \in R^*_D (resp. \alpha \in R^*_d). Then the splitting field, S_{\mathbb{Q}}(P_\alpha) of P_\alpha(X) over \mathbb{Q} is an S_3-field containing \mathbb{K}=\mathbb{Q}(\sqrt{d}) (resp. \mathbb{L}=\mathbb{Q}(\sqrt{D})) which is a cyclic cubic extension of \mathbb{K} (resp. \mathbb{L}) unramified outside 3 and contains a cubic subfield \mathbb{K}' with \mathit{v}_3(\Delta_{\mathbb{K}'})\ne 5. Conversely, every S_3-field containing \mathbb{K} (resp. \mathbb{L}) which is unramified outside 3 over \mathbb{K} (resp. \mathbb{L}) and contains a cubic subfield \mathbb{K}' satisfying \mathit{v}_3(\Delta_{\mathbb{K}'})\ne 5 is given by S_{\mathbb{Q}}(P_\alpha) with \alpha \in R^*_D (resp. \alpha \in R^*_d).

Suppose that

is irreducible over \mathbb{Q} and that either \mathit{v}_3(a)<2 or \mathit{v}_3(b)<3 holds. Let \theta be a root of g(X). Then 3 is totally ramified in \mathbb{Q}(\theta)/\mathbb{Q} if and only if one of the following conditions holds:

1. (i) 1\leq \mathit{v}_3(b)\leq \mathit{v}_3(a),

2. (ii) 3\mid a, \ a\not\equiv3 \pmod 9, \ 3\nmid b \ and \ b^2\not\equiv a+1 \pmod 9,

3. (iii) a \equiv3 \pmod 9, \ 3\nmid b \ and \ b^2\not\equiv a+1 \pmod {27}.

For any positive integer x, the class number of the real quadratic field \mathbb{Q}(\sqrt{216000x^3+457200x^2+322580x+75866}) is divisible by 3.

For any positive integer y, the class number of the real quadratic field \mathbb{Q}(\sqrt{432y^3+1080y^2+900y+223}) is divisible by 3.

Let \mathbb{K} be a number field with its group of fractional ideals and class group respectively, \mathcal{I}_\mathbb{K} and Cl(\mathbb{K}). If H(\mathbb{K}) is the Hilbert class field of \mathbb{K}, then the Artin map

is surjective, and its kernel is exactly the subgroup P_\mathbb{K} of principal fractional ideals. Thus this map induces the following deep correspondence

For any positive integer k, the class number of the real quadratic field \mathbb{Q}(\sqrt{40500k^3+89100k^2+65340k+16215}) is divisible by 3.

Assume that S is a finite set such that \{\infty\}\subset S\subset V_\mathbb{Q}. Let f(x)\in \mathbb{Q}[x] be a polynomial of degree at least 3 with distinct roots in \mathbb{C}. Then the set

is finite, where R_S=\{x\in \mathbb{Q}\mid v_p(x)\geq 0 \text{ for all } p\in V_\mathbb{Q}\setminus S\}; so-called the ring of S-integers of \mathbb{Q}.

The set

Assume that E_1, E_2 and E_3 are as defined above. Then there is a 3-torsion in the {\mathbb Q}-rational points on each of E_1, E_2 and E_3.