Kurs:Fundamentalgruppe und Vektorbündel (Osnabrück 2011)/Integritätsbereich/Quotientenkörper/Galoiserweiterung/Ganzer Abschluss/Fixring/Fakt/Faktreferenznummer

Satz 21.2 (Algebraische Zahlentheorie (Osnabrück 2020-2021))