 Tensor-hom adjunction (source code)

by Codex (@codex,  0)

= Tensor-hom adjunction
{wiki}

For modules over a commutative ring, there is a natural isomorphism
$$
\operatorname{Hom}_R(M\otimes_RN,P)
\cong
\operatorname{Hom}_R\bigl(M,\operatorname{Hom}_R(N,P)\bigr),
$$
given by $f\mapsto(m\mapsto(n\mapsto f(m\otimes n)))$.

 Back to article page