The Monogeneity of Kummer Extensions and Radical Extensions

Publication date 16 September 2019

Algebraic numbers; rings of algebraic integers (11R04) Other abelian and metabelian extensions (11R20) Cyclotomic extensions (11R18)

Abstract: We give necessary and sufficient conditions for the Kummer extension

K := m a t h b b Q l e f t (z e t a_{n}, s q r t [n] a l p h a i g h t)

to be monogenic over

m a t h b b Q (z e t a_{n})

with

s q r t [n] a l p h a

as a generator, i.e., for

m a t h c a l O_{K} = m a t h b b Z l e f t [z e t a_{n} i g h t] l e f t [s q r t [n] a l p h a i g h t]

. We generalize these ideas to radical extensions of an arbitrary number field

L

and provide necessary and sufficient conditions for

s q r t [n] a l p h a

to generate a power

m a t h c a l O_{L}

-basis for

m a t h c a l O_{L l e f t (s q r t [n] a l p h a i g h t)}

. We also give sufficient conditions for

K

to be non-monogenic over

m a t h b b 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

p h i (n)

to have

z e t a_{n}

as a monogenic generator.

This page was built for publication: The Monogeneity of Kummer Extensions and Radical Extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6325383)