Normal integral bases for cyclic Kummer extensions (Q2655010): Difference between revisions

Let \(L/K\) be a finite Galois extension of number fields with Galois group \(G\). Noether showed that the ring of integers \(\mathcal{O}_{K}\) is projective as a module over the group ring \(\mathcal{O}_{K}[G]\) if and only if \(L/K\) is tame. The extension \(L/K\) is said to have a normal integral basis (NIB) if \(\mathcal{O}_{L}\) is in fact free (necessarily of rank \(1\)) over \(\mathcal{O}_{K}[G]\). The Hilbert-Speiser Theorem says that any abelian extension \(L/\mathbb{Q}\) has a NIB. However, \textit{C. Greither} et al. [J. Number Theory 79, No. 1, 164--173 (1999; Zbl 0941.11044)] showed that for any number field \(K \neq \mathbb{Q}\) there exists a prime number \(p\) and a tame cyclic extension \(L/K\) of degree \(p\) without NIB. For Kummer extensions of prime degree, \textit{E. J. Gómez Ayala} [J. Théor. Nombres Bordx. 6, No. 1, 95--116 (1994; Zbl 0822.11076)] gave an explicit criterion for the existence of a NIB. More recently, \textit{H. Ichimura} [J. Pure Appl. Algebra 187, No. 1-3, 169--182 (2004; Zbl 1042.11074)] proposed a generalization of that result for cyclic Kummer extensions of arbitrary degree. However, this generalization in fact fails when the degree of the extension is not a prime power. In the article under review, a counterexample to the Ichimura's theorem is given and the correct generalization of Gómez Ayala's result is stated and proven.