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

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

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

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

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

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

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

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

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.