群の位数と,元の位数の区別が曖昧な人は,もう一度復習してから先へ進むようにしてください.この記事では,位数に関する美しい定理を幾つか勉強します.
theorem
項の巡回置換
の元の位数は,
です.
proof
巡回置換 の冪乗を考えます. 例えば
によって
がどのように置換されるかを考えると,
によって
は
と交換され,
によって
と交換され,
によって
と交換され,,,,,,
によって
と交換されます.これより,
は全て異なる元であり(少なくとも
が違うところにあるから),また
でもないことが分かります.
にもう一つだけ
を掛けると,
は単位置換になることが分かります.すなわち,
を生成元として作った巡回群
の位数は
です.
の位数も
だと言えます.■
とても美しい定理です.m次の巡回群の位数は でしたから,この定理を次のように言い換えることもできます.少し感動する結果です.
theorem
有限巡回群では,群の位数と元の位数が一致します.
有限群の位数と,その元の位数については次のような簡単な定理がなりたちます.これも美しい定理です.
theorem
有限群 の元
の位数は,
の位数
の約数になります.
proof
群 の位数を
とし,群
の元
の位数を
とします
.
の生成する部分巡回群を
とすると,さきほどの定理より
が成り立ちます.一方,ラグランジェの定理より,
は,
の約数になっているはずでした.したがって,一般に,有限群
の元
の位数は,
の約数になります.■
前節で,有限群の元の位数は,必ず群の位数の約数であるという結果を得ました.約数と聞いて『じゃあ の位数が素数だったらどうなるんだ?』と思った人は,なかなかセンスがあります.
ここで考える有限群群 は,単位元
だけの自明な群ではないとします.つまり,少なくとも単位元以外の元
を持ち,
とします.
前節の定理より, の位数は
の位数の約数でしたが,
の位数が素数(
とします)だとすると,
の位数は,
と
のどちらかのはずです.しかし
でしたので,結局,
の位数は
しかありえません.
つまり の冪乗のつくる巡回群
は,群
自身に一致するということです.
theorem
群の位数が素数ならば,その群は巡回群です.
[*] | この定理の意味するところは,なかなかショッキングです.ここまで巡回群を『対称群の特殊なもので一つの生成元だけからなる』という性質からのみ論じてきましたが,群の位数という,群の大局的な性質のみで決まってしまう事柄もあったのです.群論と整数論の隠された関係が,少し顔をのぞかせたような定理です. |