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

Aus Wikiversity
Beweis

Das Minimalpolynom und das charakteristische Polynom der durch definierten -linearen Multiplikationsabbildung

haben beide den Grad . Nach dem Satz von Cayley-Hamilton annulliert das charakteristische Polynom die lineare Abbildung und ist somit ein Vielfaches des Minimalpolynoms, so dass sie übereinstimmen. Es sei bezüglich einer Basis von diese lineare Abbildung durch die Matrix gegeben. Dann ist das charakteristische Polynom gleich

Zum Koeffizienten leisten (in der Leibniz-Formel zur Berechnung der Determinante) nur diejenigen Permutationen einen Beitrag, bei denen -mal die Variable vorkommt, und das ist nur bei der identischen Permutation (also der Diagonalen) der Fall. Multipliziert man die Diagonale distributiv aus, so ergibt sich , so dass also gilt. Setzt man in der obigen Gleichung , so ergibt sich, dass die Determinante der negierten Matrix ist, woraus folgt.