On normal integral bases of local fields (Q1077460)

The author gives a simple proof of the following theorem without using representation theory: any finite tamely ramified Galois extension of a local field has a normal integral basis. This theorem was obtained from Corollary 6.4 in \textit{R. G. Swan} [Ann. Math., II. Ser. 71, 552-578 (1960; Zbl 0104.251)]. It was also proved by \textit{T. Tsukamoto} [Sûgaku 11, 13-14 (1959) (Japanese)] containing the case of infinite residue field.