## [Tensoralgebra T(V)](/de/node/63800) Definition Die freie unitäre assoziative Algebra, die von einem Modul oder Vektorraum V erzeugt wird, konstruiert als direkte Summe aller Tensorpotenzen T(V)=k ⊕ V ⊕ V⊗V ⊕ V⊗V⊗V ⊕ ··· mit Multiplikation durch Tensorverkettung. ## Prinzip Prinzip Das universelle assoziative Umfeld bereitstellen, in dem multilineare Ausdrücke in V frei multipliziert werden können; jede lineare Abbildung von V in eine assoziative Algebra erweitert sich eindeutig zu einem Algebra-Homomorphismus aus der Tensoralgebra. ## Demonstration Demonstration Für V ein Vektorraum repräsentiert ein Element v1⊗v2⊗···⊗vn in T(V) ein nichtkommutatives Monom der Ordnung n; die Algebra enthält Tensortpolynome und surjektive Abbildungen auf Quotienten, die Relationen auferlegen (z. B. symmetrische oder äußere Algebra). ## Fehlanwendung Fehlanwendung Die Tensoralgebra mit dem Tensorprodukt zweier gegebener Algebren verwechseln oder die Kommutativität der Faktoren in T(V) voraussetzen; ein weiterer Fehler ist, Elemente von V mit Skalaren zu identifizieren statt mit Tensoren vom Grad eins, wodurch die Gradierungsinformation verloren geht. ## Konsequenz Konsequenz Da T(V) initial unter assoziativen Algebren ist, die V enthalten, liefert sie eine kanonische Quelle zur Konstruktion universeller Quotienten (symmetrische Algebra, äußere Algebra, Clifford-Algebra, universelle Einhüllende) und zur Definition von durch V erzeugten algebraischen Strukturen. ## Umkehrung Umkehrung Statt nichtkommutative Produkte frei anzufügen, universelle Ko-Relationen durch die Betrachtung der co-freien Koalgebra cogeneriert von V aufzuerlegen; dies spiegelt eine Umkehrung der algebraischen Richtung wider und führt zu anderen universellen Eigenschaften. ## Abgrenzung Abgrenzung Gilt für frei erzeugte unitäre assoziative Algebren über V; sie legt keine Kommutativität, Gradierungs-Konventionen, topologische Komplettierungen oder Relationen fest, sofern nicht explizit nach einem Ideal quotiert wird. ## Semantische Spannung Semantische Spannung Steht nahe bei den Begriffen 'freie Algebra' und 'Tensorprodukt': die Tensoralgebra ist die freie assoziative Algebra über V, während das Tensorprodukt ein bilinearer Bifunktor ist; die Vermischung dieser Begriffe verschleiert universelle Abbildungseigenschaften und Gradierung. ## Synthese Synthese Die Tensoralgebra ist die universelle, frei erzeugte assoziative Algebra über V, aufgebaut aus allen Tensorpotenzen durch Verkettung; sie bildet das rohe algebraische Umfeld, aus dem strukturierte Quotienten mit Relationen entstehen.