$A$: 環, $B: A$-代数, $M: A$-加群とする。 $B$ は $A$-加群でもあるので、 $A$-加群としてのテンソル積 $B \otimes_A M $ を考えることができる。 一方これに $B$-加群としての構造を導入できる。(the base change of $M $ to $B$ (係数環の変換 *1 )) こ…