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

Der Satz über die Norm und die Spur im Minimalpolynom zu einem Element einer Körpererweiterung.