Extension of scalars
= Extension of scalars
{title2=$A\otimes_RM$}
For a <ring homomorphism> $R\to A$, tensoring an $R$-<module> with the $(A,R)$-<bimodule> $A$ gives an $A$-<module>. This functor is left adjoint to <restriction of scalars>.
= Extension of scalars
{title2=$A\otimes_RM$}
For a <ring homomorphism> $R\to A$, tensoring an $R$-<module> with the $(A,R)$-<bimodule> $A$ gives an $A$-<module>. This functor is left adjoint to <restriction of scalars>.