direct product of modules

Sei \(R\) ein Ring und \((M_i)_{i \in I}\) eine Familie von Moduln. Dann ist das direkte Produkt definiert als kartesische Produkt \(\prod_{i \in I} M_i\)

Dabei ist die Vektoraddition und die Skalarmultiplikation komponentenweise definiert.