Change of rings
= Change of rings
{wiki}
Changing the coefficient <ring> of a <module> along a <ring homomorphism> can mean <restriction of scalars>, <extension of scalars>, or <coextension of scalars>. The underlying <module> may be retained with a smaller ring action, or replaced by a tensor or Hom construction with the new ring.