symmetric monoidal (∞,1)-category of spectra
Let be a homomorphism of algebraic objects such as rings. Let be an action of on a module , then
defines an action of on . This construction extends to a functor
between categories of modules, sending to . This is called restriction of scalars (along ).
This functor has a left adjoint functor
called extension of scalars, since for an -module and an -module we have that is a well defined tensor product of modules which becomes an module by the operation of on itself in the second factor of the tensor. We have an adjunction .
Last revised on July 11, 2021 at 08:59:27. See the history of this page for a list of all contributions to it.