Vektorraum/fixierter Endomorphismus/Polynomring/Modulstruktur/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir müssen für über die Eigenschaften eines Moduls nachweisen. Die additive kommutative Gruppe ist die selbe wie im -Vektorraum .

Seien nun und . Die gewünschte Eigenschaften der Skalarmultiplikation zeigen sich wie folgt:

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