Reynolds-Operator/Endlich und nichtmodular/G-invariant/Aufgabe
Erscheinungsbild
Es sei ein kommutativer Ring, auf dem eine endliche Gruppe als Gruppe von Ringautomorphismen operiere, wobei die Gruppenordnung eine Einheit in sei. Zeige, dass der Reynolds-Operator.
invariant bezüglich ist, also
für alle und gilt.