Galoiserweiterung/Q/Ganzheitsring/Fakt

Es sei eine Galoiserweiterung und die zugehörige Erweiterung der Zahlbereiche.

Dann operiert die Galoisgruppe auf mit Invariantenring .