Restriction of scalars

ID: restriction-of-scalars

For a ring homomorphism , an -module becomes an -module by the displayed action. Its underlying abelian group stays the same.

New to topics? Read the docs here!