Ring/Modul/Gruppenoperation/Verträglich/Textabschnitt

Aus Wikiversity
Zur Navigation springen Zur Suche springen


Definition  

Es sei ein kommutativer Ring, auf dem eine Gruppe als Gruppe von Ringautomorphismen operiere, und es sei ein -Modul. Eine Operation von auf als Gruppe von -Modulautomorphismen heißt verträglich (bezüglich der Operation von auf ), wenn

für alle , und gilt.

Die Verträglichkeit bedeutet, dass die Diagramme

für jedes kommutieren.