Abelian number fields satisfying the Hilbert-Speiser condition at \(p=2\) or \(3\) (Q841450): 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 \textit{normal integral basis} (NIB for short) if \(\mathcal{O}_{N}\) is in fact free over \(\mathcal{O}_{F}[G]\). The Hilbert-Speiser Theorem says that every finite tame abelian extension of the rationals \(\mathbb{Q}\) has a NIB. 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 NIB. So the Hilbert-Speiser Theorem implies that \(\mathbb{Q}\) satisfies \((H_{p})\) for every prime number \(p\). On the other hand, \textit{C. Greither} et al. [J. Number Theory 79, No. 1, 164--173 (1999; Zbl 0941.11044)] showed that any number field \(F \neq \mathbb{Q}\) does not satisfy \((H_{p})\) for infinitely many \(p\). There are exactly \(3\) imaginary quadratic fields satisfying \((H_{2})\); these were determined by \textit{J. E. Carter} [Arch. Math. 81, No. 3, 266--271 (2003); erratum 83, No. 6, vi-vii (2004; Zbl 1050.11097)]. There are exactly \(12\) quadratic fields satisfying \((H_{3})\); these were determined by \textit{J. E. Carter} (ibid.) and \textit{H. Ichimura} [Proc. Japan Acad., Ser. A 78, No. 6, 76--79 (2002; Zbl 1106.11308)] independently. The purpose of the paper under review is to determine all imaginary abelian fields satisfying \((H_{2})\) and all abelian fields satisfying \((H_{3})\). The main theorem is as follows: (i) Among all imaginary abelian fields \(F\) with \([F:\mathbb{Q}] \geq 3\), there exist exactly \(14\) fields satisfying \((H_{2})\); (ii) Among all abelian fields \(F\) with \([F:\mathbb{Q}] \geq 3\), there exist exactly \(15\) fields satisfying \((H_{3})\). In both cases, the fields in question are given explicitly in tables at the end of the paper.