## Tag `0BIH`

Chapter 9: Fields > Section 9.20: Trace and norm

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 2321–2332 (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}
```

## Comments (0)

## Add a comment on tag `0BIH`

Your email address will not be published. Required fields are marked.

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).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.

There is also 1 comment on Section 9.20: Fields.