
## 9.24 Kummer extensions

Let $K$ be a field. Let $n \geq 2$ be an integer such that $K$ contains a primitive $n$th root of $1$. Let $a \in K$. Let $L$ be an extension of $K$ obtained by adjoining a root $b$ of the equation $x^ n = a$. Then $L/K$ is Galois. If $G = \text{Gal}(L/K)$ is the Galois group, then the map

$G \longrightarrow \mu _ n(K),\quad \sigma \longmapsto \sigma (b)/b$

is an injective homomorphism of groups. In particular, $G$ is cyclic of order dividing $n$ as a subgroup of the cyclic group $\mu _ n(K)$. Kummer theory gives a converse.

Lemma 9.24.1 (Kummer extensions). Let $K \subset L$ be a Galois extension of fields whose Galois group is $\mathbf{Z}/n\mathbf{Z}$. Assume moreover that the characteristic of $K$ is prime to $n$ and that $K$ contains a primitive $n$th root of $1$. Then $L = K[z]$ with $z^ n \in K$.

Proof. Omitted. $\square$

Lemma 9.24.2. Let $K$ be a field with algebraic closure $\overline{K}$. Let $p$ be a prime different from the characteristic of $K$. Let $\zeta \in \overline{K}$ be a primitive $p$th root of $1$. Then $K(\zeta )/K$ is a Galois extension of degree dividing $p - 1$.

Proof. The polynomial $x^ p - 1$ splits completely over $K(\zeta )$ as its roots are $1, \zeta , \zeta ^2, \ldots , \zeta ^{p - 1}$. Hence $K(\zeta )/K$ is a splitting field and hence normal. The extension is separable as $x^ p - 1$ is a separable polynomial. Thus the extension is Galois. Any automorphism of $K(\zeta )$ over $K$ sends $\zeta$ to $\zeta ^ i$ for some $1 \leq i \leq p - 1$. Thus the Galois group is a subgroup of $(\mathbf{Z}/p\mathbf{Z})^*$. $\square$

Lemma 9.24.3. Let $K$ be a field. Let $L/K$ be a finite extension of degree $e$ which is generated by an element $\alpha$ with $a = \alpha ^ e \in K$. Then any sub extension $L/L'/K$ is generated by $\alpha ^ d$ for some $d | e$.

Proof. Observe that for $d | e$ the subfield $K(\alpha ^ d)$ has $[K(\alpha ^ d) : K] = d$ and $[L : K(\alpha ^ d)] = e/d$ and that both extensions $K(\alpha ^ d)/K$ and $L/K(\alpha ^ d)$ are extensions as in the lemma.

We will use induction on the pair of integers $([L : L'], [L' : K])$ ordered lexicographically. Let $p$ be a prime number dividing $e$ and set $d = e/p$. If $K(\alpha ^ d)$ is contained in $L'$, then we win by induction, because then it suffices to prove the lemma for $L/L'/K(\alpha ^ d)$. If not, then $[L'(\alpha ^ d) : L'] = p$ and by induction hypothesis we have $L'(\alpha ^ d) = K(\alpha ^ i)$ for some $i | d$. If $i \not= 1$ we are done by induction. Thus we may assume that $[L : L'] = p$.

If $e$ is not a power of $p$, then we can do this trick again with a second prime number and we win. Thus we may assume $e$ is a power of $p$.

If the characteristic of $K$ is $p$ and $e$ is a $p$th power, then $L/K$ is purely inseparable. Hence $L/L'$ is purely inseparable of degree $p$ and hence $\alpha ^ p \in L'$. Thus $L' = K(\alpha ^ p)$ and this case is done.

The final case is where $e$ is a power of $p$, the characteristic of $K$ is not $p$, $L/L'$ is a degree $p$ extension, and $L = L'(\alpha ^{e/p})$. Claim: this can only happen if $e = p$ and $L' = K$. The claim finishes the proof.

First, we prove the claim when $K$ contains a primitive $p$th root of unity $\zeta$. In this case the degree $p$ extension $K(\alpha ^{e/p})/K$ is Galois with Galois group generated by the automorphism $\alpha ^{e/p} \mapsto \zeta \alpha ^{e/p}$. On the other hand, since $L$ is generated by $\alpha ^{e/p}$ and $L'$ we see that the map

$K(\alpha ^{e/p}) \otimes _ K L' \longrightarrow L$

is an isomorphism of $K$-algebras (look at dimensions). Thus $L$ has an automorphism $\sigma$ of order $p$ over $K$ sending $\alpha ^{e/p}$ to $\zeta \alpha ^{e/p}$. Then $\sigma (\alpha ) = \zeta ' \alpha$ for some $e$th root of unity $\zeta '$ (as $\alpha ^ e$ is in $K$). Then on the one hand $(\zeta ')^{e/p} = \zeta$ and on the other hand $\zeta '$ has to be a $p$th root of $1$ as $\sigma$ has order $p$. Thus $e/p = 1$ and the claim has been shown.

Finally, suppose that $K$ does not contain a primitive $p$th root of $1$. Choose a primitive $p$th root $\zeta$ in some algebraic closure $\overline{L}$ of $L$. Consider the diagram

$\xymatrix{ K(\zeta ) \ar[r] & L(\zeta ) \\ K \ar[u] \ar[r] & L \ar[u] }$

By Lemma 9.24.2 the vertical extensions have degree prime to $p$. Hence $[L(\zeta ) : K(\zeta )]$ is divisible by $e$. On the other hand, $L(\zeta )$ is generated by $\alpha$ over $K(\zeta )$ and hence $[L(\zeta ) : K(\zeta )] \leq e$. Thus $[L(\zeta ) : K(\zeta )] = e$. Similarly we have $[K(\alpha ^{e/p}, \zeta ) : K(\zeta )] = p$ and $[L(\zeta ) : L'(\zeta )] = p$. Thus the fields $K(\zeta ), L'(\zeta ), L(\zeta )$ and the element $\alpha$ fall into the case discussed in the previous paragraph we conclude $e = p$ as desired. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).