Définition
L'algèbre associative unitaire libre engendrée par un module ou un espace vectoriel V, construite comme somme directe de toutes les puissances tensorielle T(V)=k ⊕ V ⊕ V⊗V ⊕ V⊗V⊗V ⊕ ···, la multiplication étant la concaténation des tenseurs.