Korollar 13.10
Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 13 Endliche Körpererweiterung von Q/Norm und Spur mit Konjugationen/Fakt