22/03/27 09:42:49.61 0wH8EOV6.net
>X⊗BにはB加群構造もそのB構造をA→Bを通して得られるA加群構造も両方入ってる
と書いているから
>>543
>そうではなく⊗は⊗_Aであって
>左のA加群構造はA->Bを通じた右のA加群構造と同じということ？
これを意図しているような気がするけれど
それなら
>>540
>⊗Bを作用させたから意地でもmodBのobjectとして見なければならないとか言う決まりはない
modBがよく分からんがまずはB加群と見ていてその上でA->Bを通じてA加群と見ているわけね