Kommutative Algebra/Modultheorie/Multilineare Abbildung/Distributivgesetz/Fakt/Beweis

Beweis

Für ist linear in der -ten Komponente von . Daraus folgt

mit

Wiederholtes Anwenden dieses Schrittes auf die endlich vielen Komponenten ergibt:

wobei es für jedes einmal summiert wird, was wiederum bedeutet:

denn die können aufgrund der Multilinearität jeweils aus den Komponenten herausgezogen werden.