Note on Galois descent of a normal integral basis of acyclic extension of degree p

Abstract

Let p be an odd prime number, and F a number field. We show that when F/Q is unramified at p, any tame cyclic extension N/F of degree p has a normal integral basis if the pushed up extension $N(\zeta_p)/F(\zeta_p)$ has a normal integral basis.