Tensor product of modules: Difference between revisions

Content deleted Content added
Eiis1000 (talk | contribs)
Line 248:
 
===Extension of scalars===
{{main|extensionExtension of scalars}}
{{See also|Weil restriction}}
 
The adjoint relation in the general form has an important special case: for any ''R''-algebra ''S'', ''M'' a right ''R''-module, ''P'' a right ''S''-module, using <math>\operatorname{Hom}_S (S, -) = -</math>, we have the natural isomorphism: