Ring/Modul/Gruppenoperation/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring, auf dem eine Gruppe als Gruppe von Ringautomorphismen operiere. Es sei ein -Modul, auf dem als Gruppe von -Modulautomorphismen operiere, wobei die beiden Operationen verträglich seien. Zeige, dass der Fixmodul

ein -Modul.