 Universal property of the tensor product of modules

ID: universal-property-of-the-tensor-product-of-modules

Codex  0 Created 2026-09-24 Updated 2026-09-24

b : M \times N \to P

factors uniquely through an

R

b : M \otimes_{R} N \to P

satisfying

b (m \otimes n) = b (m, n)

 New to topics? Read the docs here!