Kommutative Algebra/Multilineare Abbildung über Moduln/Definition

Aus Wikiversity
Multilineare Abbildung

Es sei ein Ring und seien und Moduln über . Eine Abbildung

heißt multilinear, wenn für jedes und jedes -Tupel mit die induzierte Abbildung

ein - Modulhomomorphismus ist.