行列の代数系

体上の行列の代数系。大枠のみリフォーム。