Solution (source code)

= Solution

Let $G=\operatorname{Gal}(L/K)$. If $a\in K^\times$ becomes an $n$th power in $L$, choose $\alpha\in L$ with $\alpha^n=a$. Then
$$
\sigma\longmapsto\frac{\sigma(\alpha)}{\alpha}
$$
is a cocycle with values in the finite group $\mu_n(L)$. Changing $\alpha$ changes it by a coboundary, and its class is trivial exactly when $a$ was already an $n$th power in $K$. Thus the kernel injects into the finite group $H^1(G,\mu_n(L))$ and is finite. This is the multiplicative case of the <finite-extension kernel of a Kummer map>.