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