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