Normal bases and \(\mathbb{Z}_ p\)-extensions (Q1320184)

Let \(k\) be a number field, \(K\) a finite abelian Galois extension of \(k\) with Galois group \(G\). Let \(S\) be a finite set of prime ideals of \({\mathcal O}_ k\) which contains all prime ideals which are wildly ramified in \(K/k\) and all prime ideals dividing the order of \(G\). Let \({\mathcal O}_ k(S)\) be the \(S\)-integers of \(k\). The authors obtain a criterion for \({\mathcal O}_ K(S)\) to have a normal basis over \({\mathcal O}_ k(S)\). Let \(\chi\) be a non-trivial character of \(G\), let \(k(\chi)\) be the field of values of \(\chi\) over \(k\), \(k_ \chi\) the fixed field of the kernel of \(\chi: G\to k(\chi)\), and \(k_ \chi(\chi)\) the field of values of \(\chi\) over \(k_ \chi\), a cyclic Kummer extension of \(k_ \chi\) of degree \(\ell_ \chi\). Then \({\mathcal O}_ K(S)\) has normal basis over \({\mathcal O}_ k(S)\) if for each \(\chi\neq 1\) there is some \(z_ \chi\) in \(k_ \chi(\chi)\) with \(z_ \chi^{\ell_ \chi}\) in \({\mathcal O}_{k(\chi)} (S)^ \times\) so that \(k_ \chi(\chi)= k(\chi) [z_ \chi]\). Using this criterion, they obtain a proof of a theorem of \textit{I. Kersten} and \textit{J. Michaliček} [J. Number Theory 32, 371-386 (1989; Zbl 0709.11058), Theorem 3.1], namely: suppose \(k\) is an abelian extension of \(\mathbb{Q}\) and a CM-field containing a primitive \(p\)-th root of unity, \(p\) an odd prime, such that only one prime of the maximal real subfield \(k^ +\) of \(k\) lies over \(p\). If \(p\) does not divide the class number of \(k^ +\), then each \(\mathbb{Z}_ p\)-extension of \(k\) has a normal basis.