Kommutative Algebra/Modul/Definition

Modul

Es sei ein kommutativer Ring und eine additiv geschriebene kommutative Gruppe. Man nennt einen -Modul, wenn eine Operation

(Skalarmultiplikation genannt) festgelegt ist, die folgende Axiome erfüllt (dabei seien und beliebig):

  1. ,
  2. ,
  3. ,
  4. .