Integritätsbereich/Quotientenkörper/Galoiserweiterung/Ganzer Abschluss/Fixring/Fakt

Es sei ein normaler Integritätsbereich mit Quotientenkörper und sei eine Galoiserweiterung. Es sei der ganze Abschluss von in .

Dann operiert die Galoisgruppe auf mit Invariantenring .