有限群が自由加群でないことの証明

田村の「トポロジー」を勉強しています。その中で次のような証明がありました。
"Gを有限群とするとき、aをGの任意の元とするとta=0となる整数tが存在するからGは自由加群ではない"
しかし、この証明でなぜ自由加群でないことを証明できたのか分かりません。また、t=0とすれば自由加群でなくても成立は明らかだと思います。
アドバイスをお願いします。

No.4 ベストアンサー 回答者： ojisan7 回答日時： 2007/08/28 19:52

>ta=0となるt≠0が存在することは分かるのですが、なぜそこから自由加群でないことが導けるのでしょうか？

「導く」というよりは、「ta=0となるt≠0の存在」そのものが、Ｇが自由加群でないことを意味しています。
「自由加群」の定義にはいろいろな、流儀がありますが、eibuさんが習った定義はどんなものですか？その定義に照らし合わせて、考えてくださいね。

この回答へのお礼

aを基としたときその係数が一意でないから自由加群ではないのですね。
やっと理解できました。ありがとうございました。

お礼日時：2007/09/05 03:05

No.3 回答者： koko_u_ 回答日時： 2007/08/27 23:57

>t=|G|ということは常に|G|a=0が成り立つということだと思うのですが、

>これは必ずしも成り立たないのではないでしょうか？
群論の参考書を開けば必ず出てくる基本的な定理です。

(証明)
a ∈ G から生成される巡回群を H = <a> ⊆ G とすると、ラグランジュの定理から |H| は |G| を割り切る。よって |H|a = 0 より |G|a = 0

この回答へのお礼

群論の理解不足でしたが、理解できました。
回答ありがとうございました。

お礼日時：2007/09/05 03:06

No.2 回答者： ojisan7 回答日時： 2007/08/24 23:01

教科書の誤植はよく見られることです。

でも、ほとんどの場合、丁寧に読めば、どの箇所が誤植なのかは容易に見つけられますね。
「ta=0となる整数tが存在するから」→「ta=0となる整数t≠0が存在するから」
と、訂正すればよいでしょう。

この回答への補足

ta=0となるt≠0が存在することは分かるのですが、なぜそこから自由加群でないことが導けるのでしょうか？

補足日時：2007/08/27 21:37

No.1 回答者： koko_u_ 回答日時： 2007/08/24 22:04

t として G の位数 |G| を考えているのでしょう。

この回答への補足

t=|G|ということは常に|G|a=0が成り立つということだと思うのですが、これは必ずしも成り立たないのではないでしょうか？

補足日時：2007/08/27 21:35