>>341
>で、R^nから任意のn個の元を持ってきたら基底になる?
>ならないだろ
GL_n(R) は群をなすから、GL_n(R) から或るn個の元 A_1,…,A_n を選べば
GL_n(R) は (A_1,…,A_n) を基底とする体R上の線型空間になる