Associativity of the tensor product
All vector spaces are by default over or . We consider three vector spaces , and . Let be a tensor product of and , and a tensor product of and . The aim is first to show that , together with the mapping: is a tensor product of , and . Proof:…