= Solution
The <cyclotomic extension of a p-adic field>
$$
L_1=\mathbb Q_p(\zeta_p)
$$
has degree $p-1$, is Galois with group $(\mathbb Z/p\mathbb Z)^\times$, and is <totally ramified extension>[totally ramified]. Indeed, $\zeta_p-1$ is a root of the <Eisenstein polynomial>
$$
\frac{(X+1)^p-1}{X}.
$$
Put $\alpha=\sqrt[p-1]{-p}$. Its polynomial $X^{p-1}+p$ is Eisenstein, so $L_2=\mathbb Q_p(\alpha)$ is totally ramified of degree $p-1$. Every $(p-1)$st root of unity lies in $\mathbb Q_p$ by the <Teichmuller representative>[Teichmuller lifts], so every root $\omega\alpha$ of this polynomial lies in $L_2$. Hence $L_2/\mathbb Q_p$ is also <Galois extension>[Galois].
For either $L_i/\mathbb Q_p$, the norm has every possible valuation because the <residue-field degree> is one. The <norm units in a tamely totally ramified extension> lie in the principal units $1+p\mathbb Z_p$: reduction of a unit norm is the $(p-1)$st power of its residue, hence is $1$. Part (b) says that this unit norm subgroup has index $p-1$, exactly the index of $1+p\mathbb Z_p$ in $\mathbb Z_p^\times$. Consequently
$$
N_{L_1/\mathbb Q_p}(L_1^\times)
=p^{\mathbb Z}(1+p\mathbb Z_p)
=N_{L_2/\mathbb Q_p}(L_2^\times).
$$
The uniqueness clause in the <existence theorem of local class field theory> now gives
$$
L_1=L_2.
$$
Back to article page
