Suppose that $L/k$ is a Galois extension of number fields and that $G$ 
is the corresponding Galois group. Further, for $\frak p$ a prime ideal
of $\cal O$$\_L$, let $K=L^{G(\frak p)}$, where [$L$ : $K$] = $p$ is prime. Suppose $m$ is the highest integer such that $\mu\_{p^m}\subseteq L$, and $\mu\_{p^n}\subseteq K$ with $n\geq m-1$ [$\mu\_{p^m}$=the group of $p^m$-th roots of unity]. We know that $N\_{L/K}(\mu\_{p^m})\subseteq\mu\_{p^n}$. How do we determine its exact image?


While I only need the more specific case in the paragraph above, I'm pretty sure I read about the (more general) question in the title in some well-known book; and surprisingly, I can't find any references for this on the internet.



How to calculate $N_{L/k}$(roots of unity)?
The answer should be: if $n = m$, then the image is the roots of unity of order $p^{n-1}$. If $n = m - 1$ then the norm map should be surjective on the roots of unity.


In the first case, since all roots of unity $\zeta$ are already contained in $K$ and $[L:K] = p$, then $N\_{L/K}(\zeta) = \zeta^p$, and $\zeta \mapsto \zeta^p$ is surjective onto the index-$p$ subgroup of $p^{n-1}$-order roots of unity.


In the second case, fix $\zeta \in K$, and there is a $\zeta\_0$ in $L$ with $\zeta\_0^p = \zeta$. Then the minimal polynomial of $\zeta\_0$ is $x^p - \zeta = 0$, so the norm of $\zeta\_0$ is $\zeta$ (unless $p = 2$, in which case it is $-\zeta$, but we still get surjectivity).


