Module theory MOC

-tensor product of modules

Let be modules over a commutative ring . The tensor product is an -module such that the -bilinear maps from are in correspondence with the -linear maps from , as defined by the Universal property.¹ A generalization for the Tensor product of modules over a noncommutative ring exists, but is not necessarily a module. We recover this notion of tensor product as the Tensor product of bimodules.

Universal property

Let be -modules. The tensor product is a pair consisting of an -module together with an -bilinear map such any -bilinear map factorizes uniquely through #m/def/module/comm

such that is -linear.

Construction

Let be the free module on with the natural inclusion function . Let denote the -Submodule of generated by elements of the form

for all , , . We construct the tensor product as the quotient module

with its natural projection , so that the map

Properties

• A particular case is the -tensor product of vector spaces
• Tensor-Hom adjunction

#state/tidy | #lang/en | #SemBr