>>424
体じゃないし非可換なのに普通の定義の線形独立とか基底の概念じゃ意味ないんじゃないの？
直和の生成元のことを言ってるのかと思った>>375
>M_n(R) は (A_1,…,A_n) (列ベクトル) を基底とする
>実数体Rの列ベクトル全体からなる環 R^n 上の
>n次の行列全体からなる環 M_n(R) 上の加群である