Definition:Trace (Field Theory)

From ProofWiki
Jump to navigation Jump to search

This page is about Trace in the context of field theory. For other uses, see Definition:Trace.

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


Sources