3
$\begingroup$

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.

1 Answers 1

2

The proof can be found here.

  • 0
    I found another proof. See my comments here(http://math.stackexchange.com/questions/50737/self-contained-reference-for-norm-and-trace ).2012-05-14