Content deleted Content added
→Application of the universal property of tensor products: decapitalizing; minor fmt |
|||
Line 248:
===Extension of scalars===
{{main|
{{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:
|