行列積の定義

体上の行列の積の定義。大枠のみリニューアル。