Endliche Körpererweiterung/Spur eines Elementes/Definition

Spur eines algebraischen Elementes

Es sei  $K\subseteq L$  eine endliche Körpererweiterung. Zu einem Element  $f\in L$  nennt man die Spur der $K$-linearen Abbildung

${\mu }_f:L⟶L,y⟼fy,$

die Spur von $f$. Sie wird mit $\mathrm{Spur}\left(f\right)$ bezeichnet.