Hilbert-Speiser number fields for a prime \(p\) inside the \(p\)-cyclotomic field (Q958657): Difference between revisions

Let \(p\) be an odd prime number, \(\Gamma\) the cyclic group of order \(p\), \(F\) a number field, \({\mathcal O}_F\) its ring of integers and \({\mathcal O}_F' = {\mathcal O}_F[1/p]\). Let \(h_F\) and \(h_F'\) denote the class numbers of \({\mathcal O}_F\) and \({\mathcal O}_F'\). The field \(F\) is said to satisfy property \((H_p')\) if, for every extension \(N/F\) with Galois group \(\Gamma\), the ring \({\mathcal O}_N'\) is cyclic over the group ring \({\mathcal O}_F'[\Gamma]\). The main result of this paper is the following: if a cyclotomic field \(F\) with conductor \(p \geq 23\) satisfies property \((H_p')\), then \(F = \mathbb Q(\sqrt{-p}\,)\) for \(p = 43, 67, 163\). The converse is true for \(p = 43\) and \(67\), and also for \(p = 163\) if \(h^+_{163} = 4\), which holds assuming GRH. The proof is based on properties of the Stickelberger ideals and on class number calculations.