## Free associative algebra on a vector space

Vector spaces and associative algebras will be implicitely all on the same field or .

Let be a vector space. We wish to build a free associative algebra on .

For any natural number , we will note (tensor product times).

Each is a vector space. We may form:

An element of can be written with each element of , and being non null for only a finite number of indices .