Ring/Modul/Gruppenoperation/Verträglich/Definition

Verträgliche Operation (Modul)

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

${}(f\sigma )\cdot (v\sigma )=(f\cdot v)\sigma \,$

für alle ${}\sigma \in G$, ${}f\in R$ und ${}v\in V$ gilt.