Hopf-Galois module structure of tamely ramified radical extensions of prime degree (Q2301888)

Let \(L/K\) be a finite extension of number fields. A Hopf-Galois structure on \(L/K\) consists of a \(K\)-Hopf algebra \(H\) together with a certain \(K\)-linear action of \(H\) on \(L\) (we omit the precise definition here). For example, if \(L/K\) is Galois then the normal basis theorem says that \(L\) is a free rank \(1\) module over the group algebra \(K[G]\) where \(G=\mathrm{Gal}(L/K)\), and thus \(K[G]\) gives a Hopf-Galois structure on \(L/K\). (Note that an extension may admit more than one Hopf-Galois structure.) If \(H\) gives a Hopf-Galois structure on \(L/K\) then we can study the structure of the ring of integers \(\mathcal{O}_{L}\) as a module over its so-called associated order \[ \mathfrak{A}_{H}(\mathcal{O}_{L}) := \{ x \in H \mid x \cdot \mathcal{O}_{L} \subseteq \mathcal{O}_{L} \}. \] We now specialise to the following case. Let \(p\) be a prime number, let \(K\) be a number field, and let \(\zeta \in \mathbb{C}\) be a primitive \(p\)th root of unity. Let \(L/K\) be a radical extension of degree \(p\), that is, \(L=K(\omega)\) with \(\omega^{p} \in K - K^{p}\). Suppose that \(\zeta \in K\). Then \(L/K\) is a cyclic Kummer extension. Since \(L/K\) is Galois and \(p\) is a Burnside number, the Hopf-Galois structure given by \(K[G]\) is the only Hopf-Galois structure admitted by \(L/K\); see [\textit{N. P. Byott}, Commun. Algebra 24, No. 10, 3217--3228 (1996; Zbl 0878.12001)]. Now further suppose that \(L/K\) is at most tamely ramified. Then it is well known that \(\mathfrak{A}_{K[G]}(\mathcal{O}_{L}) = \mathcal{O}_{K}[G]\) and that \(\mathcal{O}_{L}\) is a locally free \(\mathcal{O}_{K}[G]\)-module (necessarily of rank \(1\)). In this situation, \textit{E. J. Gómez Ayala} [J. Théor. Nombres Bordx. 6, No. 1, 95--116 (1994; Zbl 0822.11076)] determined a criterion for \(\mathcal{O}_{L}\) to be free over \(\mathcal{O}_{K}[G]\). Suppose that \(\zeta \notin K\). Then \(L/K\) is a separable but non-normal extension. Again, \(L/K\) admits a unique Hopf-Galois structure \(H\); see [\textit{L. N. Childs}, Commun. Algebra 17, No. 4, 809--825 (1989; Zbl 0692.12007)] or [\textit{T. Kohl}, J. Algebra 207, No. 2, 525--546 (1998; Zbl 0953.12003)]. Now further suppose that \(L/K\) is at most tamely ramified and that \(p\) is unramified in \(K/\mathbb{Q}\). The author of the paper under review shows that \(\mathcal{O}_{L}\) is locally free of rank \(1\) over \(\mathfrak{A}_{H}(\mathcal{O}_{L})\) and determines a criterion for \(\mathcal{O}_{L}\) to be free over \(\mathfrak{A}_{H}(\mathcal{O}_{L})\). It is interesting to note that the conditions that appear in this criterion are identical to those that appear in the aforementioned criterion of Gómez Ayala in the normal case.