Unramified cyclic extension of degree \(p^2\) with a normal integral basis (Q2839762)

Let \(L/K\) be a finite Galois extension of number fields with \(G=\text{Gal}(L/K)\). We say that \(L/K\) has a normal integral basis if \(\mathcal{O}_L\) is a cyclic \(\mathcal{O}_K[G]\) module, where \(\mathcal{O}_N\) denotes the ring of integers of \(N\). Let \(p\) be an odd prime and \(\zeta_p\) denote the primitive \(p\)-th root of unity. It is known that any unramified cyclic extension \(L/K\) of degree \(p\) has a normal integral basis, provided \(p\nmid h_{K^+}\) and \(K\) is unramified over \(\mathbb{Q}(\zeta_p)\) at the primes over \(p\), \(h_N\) denotes the class number of a number field \(N\) (see Remark 2 in [J. Reine Angew. Math. 462, 169--184 (1995; Zbl 0815.11055)]). In this paper, the author studies the situation for unramified cyclic extensions of degree \(p^2\).