The Monogeneity of Kummer Extensions and Radical Extensions

Abstract

We give necessary and sufficient conditions for the Kummer extension $K:=\mathbb{Q}\left(ζ_n,\sqrt[n]α\right)$ to be monogenic over $\mathbb{Q}(ζ_n)$ with $\sqrt[n]α$ as a generator, i.e., for $\mathcal{O}_K=\mathbb{Z}\left[ζ_n\right]\left[\sqrt[n]α\right]$. We generalize these ideas to radical extensions of an arbitrary number field $L$ and provide necessary and sufficient conditions for $\sqrt[n]α$ to generate a power $\mathcal{O}_L$-basis for $\mathcal{O}_{L\left(\sqrt[n]α\right)}$. We also give sufficient conditions for $K$ to be non-monogenic over $\mathbb{Q}$ and establish a general criterion relating ramification and relative monogeneity. Using this criterion, we find a necessary and sufficient condition for a relative cyclotomic extension of degree $ϕ(n)$ to have $ζ_n$ as a monogenic generator.