Note on imaginary quadratic fields satisfying the Hilbert-Speiser condition at a prime \(p\) (Q935648): Difference between revisions

Let \(N/F\) be a finite Galois extension of number fields with Galois group \(G\). Noether showed that the ring of integers \(\mathcal{O}_{N}\) is projective over the group ring \(\mathcal{O}_{F}[G]\) if and only if \(N/F\) is tame. The extension \(N/F\) is said to have a normal integral basis if \(\mathcal{O}_{N}\) is in fact free over \(\mathcal{O}_{F}[G]\). Let \(p\) be a prime number. A number field \(F\) satisfies the condition \((H_{p})\) if every tame cyclic extension \(N/F\) of degree \(p\) has a normal integral basis. The author shows that if an imaginary quadratic field \(F\) satisfies \((H_{p})\) then \(h_{F}=1\) where \(h_{F}\) is the class number of \(F\). As it was shown in \textit{H. M. Stark} [Mich. Math. J. 14, 1--27 (1967; Zbl 0148.27802)] that there are exactly nine imaginary quadratic fields \(F\) with \(h_{F}=1\), the above result means that for each prime number \(p\) there are at most nine imaginary quadratic fields satisfying \((H_{p})\).