Dedekindbereich/Galoistheorie/Untergruppe/Ganzheitsring/Aufgabe
Es sei eine Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung mit Galoisgruppe . Es sei der ganze Abschluss von in . Es sei eine Untergruppe mit dem Fixkörper , . Zeige, dass der Ganzheitsring von in gleich dem Invariantenring ist.