Definition:Field Norm

It has been suggested that this page be renamed. In particular: Perhaps "Extension Norm", for "Field Norm" is ambiguous with Definition:Norm on Division Ring To discuss this page in more detail, feel free to use the talk page.

Definition

Let $K$ be a field and $L / K$ a finite field extension of $K$.

Let $\alpha\in L$.

Definition 1

By Vector Space on Field Extension is Vector Space, $L$ is naturally a finite dimensional vector space over $K$.

Let $\theta_\alpha$ be the linear operator:

$\theta_\alpha: L \to L: \beta \mapsto \alpha \beta$

The field norm $\map {N_{L/K} }\alpha$ of $\alpha$ is the determinant of $\theta_\alpha$.

Definition 2: for Galois extensions

Let $L / K$ be Galois.

By Finite Field Extension has Finite Galois Group, the Galois group $\map {\operatorname{Gal}} {L / K}$ is finite.

The field norm $\map {N_{L / K}} \alpha$ of $\alpha$ is $\ds \prod_{\sigma \mathop \in \map {\operatorname{Gal}} {L / K}} \map \sigma \alpha$.

Also see

• Equivalence of Definitions of Field Norm
• Definition:Trace (Field Theory)