On a Theorem of Childs on Normal Bases of Rings of Integers: Addendum

Let p 3 be a prime number, F be a number field with _p F^x,and K = F(_p). In a previous paper, the author proved, undersome assumption on p and F, that an unramified cyclic extensionN/F of degree p has a normal integral basis if and only if thepushed-up extension NK/K has a normal integral basis. This addendumshows that the assertion holds without the above-mentioned assumption.