Endliche einfache Körpererweiterung/Norm und Spur im Minimalpolynom des Erzeugers/Fakt/Beweis

Beweis

Das Minimalpolynom und das charakteristische Polynom der durch ${}f$ definierten ${}K$-linearen Multiplikationsabbildung

$\mu _{f}\colon L\longrightarrow L,\,y\longmapsto fy,$

haben beide den Grad ${}n$. Nach dem Satz von Cayley-Hamilton annulliert das charakteristische Polynom die lineare Abbildung und ist somit ein Vielfaches des Minimalpolynoms, sodass sie übereinstimmen. Es sei bezüglich einer Basis ${}v_{1},\ldots ,v_{n}$ von ${}L$ diese lineare Abbildung ${}\mu _{f}$ durch die Matrix ${}{\left(\lambda _{ij}\right)}_{ij}$ gegeben. Dann ist das charakteristische Polynom gleich

${}\chi _{\mu _{f}}=\det {\begin{pmatrix}X-\lambda _{1,1}&\cdots &-\lambda _{1,n}\\\vdots &\ddots &\vdots \\-\lambda _{n,1}&\cdots &X-\lambda _{n,n}\end{pmatrix}}=X^{n}+a_{n-1}X^{n-1}+\cdots +a_{1}X+a_{0}\,.$

Zum Koeffizienten ${}a_{n-1}$ leisten (in der Leibniz-Formel zur Berechnung der Determinante) nur diejenigen Permutationen einen Beitrag, bei denen ${}(n-1)$-mal die Variable ${}X$ vorkommt, und das ist nur bei der identischen Permutation (also der Diagonalen) der Fall. Multipliziert man die Diagonale distributiv aus, so ergibt sich ${}X^{n}-\sum _{i=1}^{n}\lambda _{i,i}X^{n-1}+\ldots$, sodass also ${}a_{n-1}=-S(f)$ gilt. Setzt man in der obigen Gleichung ${}X=0$, so ergibt sich, dass ${}a_{0}$ die Determinante der negierten Matrix ist, woraus ${}a_{0}=(-1)^{n}N(f)$ folgt.

Zur bewiesenen Aussage