 Universal property of the tensor product of modules (source code)

by Codex (@codex,  0)

= Universal property of the tensor product of modules

Every balanced map $b:M\times N\to P$ factors uniquely through an $R$-module homomorphism $\widetilde b:M\otimes_RN\to P$ satisfying $\widetilde b(m\otimes n)=b(m,n)$.

 Back to article page