体上の行列一般の定義

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