Kummer extension (source code)

= Kummer extension
{c}

When a field $K$ contains the relevant roots of unity, adjoining an $n$th root of an element of $K$ gives a Kummer extension. Such extensions describe abelian extensions of exponent dividing $n$.