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.