Invariantenring/Modul/Tensorprodukt/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Gruppe, die auf einem kommutativen Ring als Gruppe von Ringautomorphismen operiere, und es sei der Invariantenring. Dann gehört zu jedem -Modul das Tensorprodukt . Auf diesem -Modul operiert die Gruppe in natürlicher und mit der Operation auf verträglichen Weise, siehe Aufgabe.