Tensor product of modules
In mathematics, the tensor product of modules is a construction that allows arguments about bilinear maps (e.g. multiplication) to be carried out in terms of linear mapss. The module construction is analogous to the construction of the tensor product of vector spaces, but can be carried out for a pair of modules over a commutative ring resulting in a third module, and also for a pair of a right-module and a left-module over any ring, with result an abelian group. Tensor products are important in areas of abstract algebra, homological algebra, algebraic topology and algebraic geometry. The universal property of the tensor product of vector spaces extends to more general situations in abstract algebra. It allows the study of bilinear or multilinear operations via linear operations. The tensor product of an algebra and a module can be used for extension of scalars. For a commutative ring, the tensor product of modules can be iterated to form the tensor algebra of a module, allowing one to define multiplication in the module in a universal way.
For a ring R, a right R-module M, a left R-module N, and an abelian group G, a map φ: M × N → G is said to be R-balanced, R-middle-linear or an R-balanced product if for all m, m′ in M, n, n′ in N, and r in R the following hold:
The set of all such balanced products over R from M × N to G is denoted by LR(M, N; G).
...
Wikipedia