>>375
>M_n(R) は (A_1,…,A_n) (列ベクトル) を基底とする
>実数体Rの列ベクトル全体からなる環 R^n 上の
>n次の行列全体からなる環 M_n(R) 上の加群である
M_n(R)はEを基底とするM_n(R)上の加群だがね