Es sei p {\displaystyle {}p} eine Primzahl und
der p {\displaystyle {}p} -te Kreisteilungsring. Es sei
eine Untergruppe der Galoisgruppe, und es seien
die Nebenklassen zu H {\displaystyle {}H} . Zeige, dass der Invariantenring R p H {\displaystyle {}R_{p}^{H}} die Ganzheitsbasis
zu j = 1 , … , k {\displaystyle {}j=1,\ldots ,k} besitzt.