Endliche Gruppe/Operation auf K-Algebra/Teilerfremd/Reynolds-Operator/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Existenzsatz für Reynolds-Operatoren

Es sei eine endliche Gruppe, die auf einer kommutativen -Algebra als Gruppe von -Algebraautomorphismen operiere. Die Gruppenordnung sei kein Vielfaches der Charakteristik von .

Dann ist die Abbildung

ein Reynolds-Operator.

Insbesondere ist ein direkter Summand.

Zum Beweis, Alternativen Beweis erstellen