Definition

For a vector space , the associative algebra

is called the tensor algebra.

Multiplication

Inside this algebra, elements are added (and have a scalar multiplication) in the usual way. Multiplication is defined as