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}\colon L\longrightarrow L,\,y\longmapsto fy,$

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