# The Stacks Project

## Tag 0BIH

Lemma 9.20.3. Let $L/K$ be a finite extension of fields. Let $\alpha \in L$ and let $P = x^d + a_1 x^{d - 1} + \ldots + a_d$ be the minimal polynomial of $\alpha$ over $K$. Then $$\text{Norm}_{L/K}(\alpha) = (-1)^{[L : K]} a_d^e \quad\text{and}\quad \text{Trace}_{L/K}(\alpha) = - e a_1$$ where $e d = [L : K]$.

Proof. Follows immediately from Lemma 9.20.2 and the definitions. $\square$

The code snippet corresponding to this tag is a part of the file fields.tex and is located in lines 2320–2331 (see updates for more information).

\begin{lemma}
\label{lemma-trace-and-norm-from-minimal-polynomial}
Let $L/K$ be a finite extension of fields. Let $\alpha \in L$ and let
$P = x^d + a_1 x^{d - 1} + \ldots + a_d$
be the minimal polynomial of $\alpha$ over $K$. Then
$$\text{Norm}_{L/K}(\alpha) = (-1)^{[L : K]} a_d^e \quad\text{and}\quad \text{Trace}_{L/K}(\alpha) = - e a_1$$
where $e d = [L : K]$.
\end{lemma}

\begin{proof}
Follows immediately from Lemma \ref{lemma-characteristic-vs-minimal-polynomial}
and the definitions.
\end{proof}

There are no comments yet for this tag.

There is also 1 comment on Section 9.20: Fields.

## Add a comment on tag 0BIH

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).