n次実正方行列のなす環をMn(R)で表す。
n次元ベクトル空間R^n(列ベクトルを考える)は、行列の積により
左Mn(R)-加群となる。
このときR^nは、自明でないMn(R)-部分加群を持たないことを示せ。
どうかよろしくお願いします。