Kommutativer Ring/Gruppenoperation/Invariantenring/Nenneraufnahme/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine endliche Gruppe, die auf einem kommutativen Ring als Gruppe von Ringautomorphismen operiere mit dem Invariantenring . Es sei ein multiplikatives System.

Zeige, dass es eine natürliche Operation von auf gibt, und dass der zugehörige Invariantenring gleich ist.