is the tensor product of Vector Spaces and .

It is built by constructing the Cartesian Product , where can be seen as representing the pair and taking the Quotient Space of with the relations:

  1. In the above , where and are modules over the Field .

Examples

  • for any module over a Field .
  • .

Properties

Universal property of tensor products

See more: