>>349
>GL_n(R) は群をなすから、GL_n(R) から或るn個の元 A_1,…,A_n を選べば
>GL_n(R) は (A_1,…,A_n) (列ベクトル) を基底とする
>体R上のn次の行列全体からなる環 M_n(R) 上の加群になる
スカラー乗法を行列の積と定義したとき、O∈M_n(R),∀X∈GL_n(R)に対してOX=O,¬O∈GL_n(R) だから GL_n(R) は環 M_n(R) 上の加群でない。
君の言う加群のスカラー乗法の定義は何？