Tensor product of modules: Difference between revisions

Revision as of 09:18, 29 May 2025

Latest revision as of 05:18, 5 August 2025

Line 182:

<math display="block">\operatorname{Hom}_S (M \otimes_R S, P) = \operatorname{Hom}_R (M, \operatorname{Res}_R(P)).</math>

This says that the functor <math>-\otimes_R S</math> is a [[left adjoint]] to the forgetful functor {{tmath|1= \operatorname{Res}_R }}, which restricts an ''S''-action to an ''R''-action. Because of this, <math>- \otimes_R S</math> is often called the [[extension of scalars]] from ''R'' to ''S''. In the [[representation theory]], when ''R'', ''S'' are group algebras, the above relation becomes the [[Frobenius reciprocity]].

==== Examples ====