Es sei Q ⊆ K {\displaystyle {}\mathbb {Q} \subseteq K} eine Galoiserweiterung und Z ⊆ R {\displaystyle {}\mathbb {Z} \subseteq R} die zugehörige Erweiterung der Zahlbereiche.
Dann operiert die Galoisgruppe G {\displaystyle {}G} auf R {\displaystyle {}R} mit Invariantenring R G = Z {\displaystyle {}R^{G}=\mathbb {Z} } .
