Eine universelle bilineare Konstruktion, die zwei Moduln oder Vektorräume über einem gemeinsamen Ring bzw. Körper zu einem neuen Objekt zusammensetzt, dessen lineare Abbildungen genau den bilinearen Abbildungen vom kartesischen Produkt der Faktoren entsprechen.

Prinzip

Charakterisiert durch die universelle Eigenschaft: Für Objekte A und B gibt es das Tensorprodukt A ⊗ B mit der kanonischen bilinearen Abbildung A×B → A⊗B, derart, dass jede bilineare Abbildung A×B → X eindeutig durch eine lineare Abbildung A⊗B → X faktorisiert.

Demonstration

Für k-Vektorräume V und W mit Basen {v_i} und {w_j} ist V⊗_k W der k-Vektorraum, der von formalen Symbolen v_i⊗w_j erzeugt wird, modulo der Bilinearitätsrelationen. Lineare Abbildungen V⊗W → X entsprechen bilinearen Abbildungen V×W → X. Über Z zeigt Z/2Z ⊗_Z Z/2Z ≅ Z/2Z typische Torsionsphänomene bei Moduln.

Fehlanwendung

Das Tensorprodukt mit dem kartesischen Produkt verwechseln oder annehmen, es erhalte immer alle Limiten und Kolimiten. Häufiger Fehler: das algebraische Tensorprodukt für topologische Vektorräume ohne Abschluss verwenden (den abgeschlossenen topologischen Tensor vernachlässigen) oder bei nichtkommutativen Ringen Links-/Rechtsaktionen nicht beachten.

Konsequenz

Richtig gebildet linearisiert das Tensorprodukt bilineare Operationen und liefert Standardwerkzeuge: Basiswechsel, multilineare Algebra, monoideale Struktur auf Modul-Kategorien und die Hom–Tensor-Adjonktion Hom(A⊗B,X) ≅ Bilin(A×B,X). Viele Konstruktionen (Äußere/ symmetrische Potenzen) beruhen auf iterierten Tensorn plus Relationen.

Umkehrung

Die duale Sichtweise ist das Hom bzw. interne Hom: Statt des universellen Empfängers bilinearer Abbildungen von A×B repräsentiert das interne Hom Abbildungen von einem Faktor in die linearen Abbildungen auf den anderen. In monoidalen Kategorien kehrt man die Perspektive um, indem man Objekte repräsentiert, die in eine feste Zielabbildung hineinwirken.

Abgrenzung

Definiert in algebraischen Kategorien wie Moduln über einem Ring oder Vektorräumen über einem Körper; bei nichtkommutativen Ringen sind ausgeglichene Tensorprodukte von Bimodulen nötig und Links-/Rechtsaktionen müssen verfolgt werden. Es ist nicht identisch mit dem kartesischen Produkt und ist in topologischen Kontexten nicht automatisch abgeschlossen.

Semantische Spannung

Wird oft mit direktem Produkt oder direkten Summen verwechselt, da alle Objekte kombinieren, doch das Tensorprodukt kodiert Bilinearität und wird über universelle Eigenschaften definiert. Es unterscheidet sich auch von symmetrischen oder äußeren Produkten, die zusätzliche Relationen erzwingen.

Synthese

Das Tensorprodukt ist die universelle algebraische Konstruktion, die bilineare Abhängigkeit zweier Faktoren in eine lineare Abhängigkeit in einem einzelnen Objekt überführt, typischerweise als Quotient des freien Moduls über dem kartesischen Produkt durch Bilinearitätsrelationen.