(1). Die Multiplikation
-
ist
-bilinear
und führt nach
Fakt
zu einer
-linearen Abbildung
-
Dies induziert nach
Fakt (2)
und nach
Fakt
einen
-Modulhomomorphismus
-
Dies ergibt eine wohldefinierte Skalarmultiplikation
-
die explizit durch
-
gegeben ist. Aus dieser Beschreibung folgen direkt die Eigenschaften einer Skalarmultiplikation.
(2). Die -Homomorphie folgt direkt aus der Bilinearität des Tensorprodukts. Bei ist die Abbildung surjektiv. Die Skalarmultiplikation
induziert eine
-lineare Abbildung
-
Die Verknüpfung der kanonischen Abbildung
mit dieser Abbildung ist die Identität auf , sodass die erste Abbildung auch injektiv ist.
(3) folgt aus der expliziten Beschreibung in (1).
(4) folgt aus
Fakt (3).
(5). Nach Teil (2) haben wir einerseits eine -lineare Abbildung
.
Dies führt zu einer -multilinearen Abbildung
-
die eine
-lineare Abbildung
-
induziert. Andererseits haben wir eine -lineare Abbildung
-
Rechts steht ein -Modul, daher kann man die Skalarmultiplikation als eine -multilineare Abbildung
-
auffassen, die ihrerseits zu einer -linearen Abbildung
-
führt. Diese beiden Abbildungen sind invers zueinander, was man auf den zerlegbaren Tensoren überprüfen kann. Daran sieht man auch, dass sich die -Multiplikationen entsprechen.