Note on the ring of integers of a Kummer extension of prime degree. IV (Q5950732)

[For Part III, cf. ibid. 77, No. 5, 71--73 (2001; Zbl 0989.11063), Part V, ibid. 78, No. 6, 76--79 (2002; Zbl 1106.11308).] This short note offers a kind of nonexistence result which is similar in spirit to a result of \textit{D. R. Replogle, K. Rubin, A. Srivastav} and the reviewer on Hilbert-Speiser fields [J. Number Theory 79, 164--173 (1999; Zbl 0941.11044)]. To be precise, the author starts from a result of \textit{F. Kawamoto} [Tokyo J. Math. 7, 221--231 (1984; Zbl 0553.12001) and 8, 275 (1985; Zbl 0577.12003)] that says: for every tame degree \(p\) Kummer extension of the form \({\mathbb Q}(\zeta_p)(\root p\of a)\) \({\mathbb Q}(\zeta_p)\) where \(a\) is in \({\mathbb Q}\), there exists a normal integral basis. He turns the problem around and proves that this statement becomes false if \(\mathbb Q\) is replaced by any number field \(K\not={\mathbb Q}\). The proof is not too complicated; it uses a result of \textit{E. J. Gómez Ayala} [J. Théor. Nombres Bordx. 6, 95--116 (1994; Zbl 0822.11076)], and it is fairly similar to the approach in [J. Number Theory 79 (see above)], as the author acknowledges himself. The reviewer would like to mention in passing that Kawamoto's construction of NIB's is very similar to a still earlier construction of \textit{L. N. Childs} [Proc. Lond. Math. Soc. (3) 35, 407--422 (1977; Zbl 0374.13002)] in the unramified case.