Relative normal bases in some cyclotomic extensions (Q1073091)

Let \(\ell,p\) be odd primes. Let \(\mathbb Q^{(p)}\) be the \(p\)-th cyclotomic field and let \(K\) be the only subfield of \(\mathbb Q^{(p)}\) such that \([\mathbb Q^{(p)}:K]=\ell\). As a consequence of the results of \textit{J. Brinkhuis} [Math. Ann. 264, 537--543 (1983; Zbl 0516.12005)], if \(p\equiv 1 \pmod{\ell^ 2}\), the ring of integers of \(\mathbb Q^{(p)}\) has no normal integral bases over the ring of integers of \(K\). In this paper it is proved that if \(p\equiv 1\pmod{\ell}\), \(p\not\equiv 1 \pmod{\ell^ 2}\) and \((p-1)/\ell\) is not a power of two, the ring of integers of \(\mathbb Q^{(p)}\) has also no normal integral bases over the ring of integers of \(K\).