Es sei
eine
Dedekindbereich
mit
Quotientenkörper
und sei
eine
endliche Galoiserweiterung
mit einer
Galoisgruppe
. Es sei
der
ganze Abschluss
von
in
und es sei
ein Element derart, dass
,
,
eine
-Basis
von
ist. Es sei
eine
Untergruppe
mit den
Nebenklassen
-
Zeige, dass die Familie
-
![{\displaystyle {}f_{j}=\sum _{\sigma \in H_{j}}f\sigma \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c45fc50e733e28c82676affa8cfee04b4b2af50)
zu
eine
![{\displaystyle {}R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/345abf82321729597c4ff598e8bde02f15b95c0a)
-Basis des Invariantenringes
![{\displaystyle {}S^{H}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65d0608412c3eae56825ef7a12e577a3e4f3f76f)
ist.