>>432
>自由加群とその基底の定義を確認
この場合freeじゃないからそれをいってどうするんだってことだけど?