Let $K$ be a field. Let $L/K$ and $E/L$ be finite extensions. Let $α$ be an element of E. Let $N_{E/K}(α)$ be the norm of $α$, i.e. the determinant of the regular representaion matrix of $α$. It is well known that $N_{E/K}(α)$ $=$ $N_{L/K}(N_{E/L}(α))$ if $E/K$ is separable. I tried to find a proof of this formula in inseparable extensions, but failed. Where can I find it? It'd be also nice if someone provides a sketch of the proof, here.
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.
|
The proof can be found here. |
|||||||
|