Multi-quadratic \(p\)-rational number fields (Q2031589)

Let \(F\) be an algebraic number field, denote by \(S_p\) the set of prime ideals of \(F\) lying above the prime \(p\) and let \(F_{S_p}\) be the maximal \(p\)-extension of \(F\) which is unramified outside \(S_p\). The field \(F\) is called a \(p\)-\textit{rational field} if the Galois group \(\mathrm{Gal}(F_S/F)\) is a free profinite \(p\)-group. The authors present various conditions for \(p\)-rationality in the case of quadratic field and show (Theorem 3.4) that for every prime \(p\ge5\) there exist infinitely many real quadratic \(p\)-rational fields. This confirms in case \(t=1\), \(p\ne2,3\) a conjecture of \textit{R. Greenberg} (Conjecture 4.8 in [Ann. Math. Qué. 40, No. 1, 83--119 (2016; Zbl 1414.11151)]), stating that for every odd prime \(p\) and \(t=1,2,\dots\) there exists a \(p\)-rational real quadratic field with Galois group \(C_2^t\). They prove also (Proposition 4.4) the truth of this conjecture for \(t=2\) and \(p\ge5\).