Kurs:Invariantentheorie (Osnabrück 2012-2013)/Ganze Erweiterung eines Körpers/Integer/Körper/Fakt/Faktreferenznummer