Kreisteilungsring/p/Primitive Einheitswurzeln/Untergruppen/Invariantenringe/Aufgabe

Es sei eine Primzahl und

der -te Kreisteilungsring. Es sei

eine Untergruppe der Galoisgruppe, und es seien

die Nebenklassen zu . Zeige, dass der Invariantenring die Ganzheitsbasis

zu besitzt.