Vektorraum

Es sei ein Körper und eine kommutative Gruppe. Man nennt einen -Vektorraum, wenn eine Abbildung

erklärt ist, die folgende Axiome erfüllt (dabei seien und beliebig):

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