>>357 の((x_i)_i, y) |→Σ[i∈I]( x_i)㋱yは((x_i)_i, y) |→( x_i)㋱y)_i
>>357 の( ((x_j, y) |→x_j㋱y)は( ((x_j, y) |→(0,・・・,0,x_j,0,・・・,0),㋱y)
の間違いじゃないですか？
あとM_j㋱N→(㊉[i∈I]M_i)㋱Nの直和
㊉[I∈I]M_j㋱N→㊉[j∈I]((㊉[i∈I]M_i)㋱N)
が準同型じゃないですか。でも右辺のやつが㊉[i∈I](M_i㋱N)になってない
のでする方法教えてください。

>>364
ありがとうございます。