Coextension of scalars

ID: coextension-of-scalars

For a ring homomorphism and a left -module , the left -action on is . This construction is right adjoint to restriction of scalars.

New to topics? Read the docs here!