A generalization of Kummer theory to Hopf-Galois extensions

We introduce a condition for Hopf-Galois extensions that generalizes the notion of Kummer Galois extension. Namely, an H-Galois extension L/K is H-Kummer if L can be generated by adjoining to K a finite set S of eigenvectors for the action of the Hopf algebra Hon L. This extends the classical Kummer condition for the classical Galois structure. With this new perspective, we shall characterize a class of H-Kummer extensions L/K as radical extensions that are linearly disjoint with the n-th cyclotomic extension of K. This result generalizes the description of Kummer Galois extensions as radical extensions of a field containing the n-th roots of the unity. The main tool is the construction of a product Hopf-Galois structure on the compositum of almost classically Galois extensions L-1/K, L-2/K such that L-1 boolean AND M-2 = L-2 boolean AND M-1 = K, where Mi is a field such that LiMi = (L) over tilde (i), the normal closure of L-i/K. When L/K is an extension of number or p-adic fields, we shall derive criteria on the freeness of the ring of integers O-L over its associated order in an almost classically Galois structure on L/K. (c) 2024 Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies.