そもそも加群としてだけ全行列を見るということなら
行列として議論する意味が無いからな
特殊な積があってこその