Definition:Trace (Field Theory)

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

Then by Vector Space on Field Extension is Vector Space, $L$ is naturally a vector space over $K$.

Let $\alpha \in L$, and $\theta_\alpha$ be the linear operator:


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

The trace $\map {\operatorname {Tr}_{L / K} } \alpha$ of $\alpha$ is the trace of this linear operator.

Also see

 * Definition:Field Norm