25/12/26 08:30:08.40 grRumfT8.net
>>419
>BA_i=CA_j (i≠j)→BA_i=CA_j=O
>であるようなものだったら
>M_n(R)=M_n(R)A_1(+)…(+)M_n(R)A_m（直和）
あーこれは嘘か直和にならない
BA_i=Σ[k≠i]C_kA_kならBA_i=O
でないと
しかし
A_iをEの(i,i)成分だけ残した行列にしたら
M_n(R)=M_n(R)A_1(+)…(+)M_n(R)A_n（直和）
にはなるね
25/12/26 08:30:08.40 grRumfT8.net
>>419
>BA_i=CA_j (i≠j)→BA_i=CA_j=O
>であるようなものだったら
>M_n(R)=M_n(R)A_1(+)…(+)M_n(R)A_m（直和）
あーこれは嘘か直和にならない
BA_i=Σ[k≠i]C_kA_kならBA_i=O
でないと
しかし
A_iをEの(i,i)成分だけ残した行列にしたら
M_n(R)=M_n(R)A_1(+)…(+)M_n(R)A_n（直和）
にはなるね