I was going through the proof of Kummer's Lemma (stated below) as done in Serge Langs Cyclotomic fields on page 312.
Now the author states that by class field theory it suffices to show that $\mathbf{Q}(\xi_p, u^{1 / p})$ for a unit $u$ and a primitive $p$-th root of unity $\xi_p$ is unramified over $\mathbf{Q}(\xi_p)$. I do not see how this happens (or: this seems like magic to me) - could anyone explain this in a bit more detail?
Thanks for any help!
Kummer's Lemma: Let $p$ be a regular prime (i.e. an odd prime which does not divide the class number of the $p$-th cyclotomic field) and $\xi$ a primitive $p$-th root of unity; if a unit $u \in \mathbf{Q}(\xi)$ is congruent to an integer modulo $p$, then $u$ is a $p$-th power in $\mathbf{Q}(\xi)$.