Ring/Gruppenoperation über Körper/Lineare Operation/Modul/Verträglich/Aufgabe

Aus Wikiversity

Es sei ein Körper, eine kommutative -Algebra und eine Gruppe, die als Gruppe von -Algebraautomorphismen auf operiere. Ferner liege eine lineare Operation von auf einem endlichdimensionalen -Vektorraum vor. Zeige, dass auf dem -Modul eine verträgliche Operation von als Gruppe von

-Modulautomorphismen vorliegt.