Endliche Körpererweiterung von Q/Norm und Spur mit Konjugationen/Fakt/Beweisverweis