Satz 15.15
Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 15 Endliche einfache Körpererweiterung/Norm und Spur im Minimalpolynom des Erzeugers/Fakt