Restriction of scalars (source code)

= Restriction of scalars
{title2=$r\cdot m=\theta(r)m$}

For a <ring homomorphism> $\theta:R\to A$, an $A$-<module> becomes an $R$-<module> by the displayed action. Its underlying <abelian group> stays the same.