初学者向け群論解説 その6 ~元の位数~
ここでは「群の元の位数」についてまとめたいと思います.
一応前回の記事を載せておきます.
位数というと群に対してその元の個数も位数といっていました. 少しややこしいかもしれませんが混乱しないように気を付けてください.
さっそく定義しましょう.
定義 1. 群 の元 の位数 を
と定義する. ただし の場合は とする.
要するに, 群の元の位数とは 「演算を繰り返していつ初めて単位元になるか」を表すものになります. 少し具体例を見てみましょう.
例
群 の単位元 の位数は であり, 逆に位数が となるのは単位元のみである.
加法群 の でない元の位数は である.
次対称群 の元 の位数は より である. の位数は である.
位数 の有限巡回群 の生成元を とすると の位数は である.
より一般に, 群 の元 が生成する巡回部分群 に対して, が成り立つ. (証明は後述)
具体例を色々見てみると, 次のことが成り立つだろうと想像がつくかもしれません.
命題 2. 有限群 の任意の元 の位数は有限である.
証明 を任意にとる. このとき は有限集合 の部分集合なので有限集合であるから, 鳩ノ巣原理よりある < が存在して となる. すると両辺 をかけて となる. は自然数であり, より位数は有限である. (終)
ちなみにこの命題の逆には反例があります. 一番最後に載せておくので考えてみてください.
さて, 少し話がそれるように見えるかもしれませんが加法群 の任意の部分群が巡回部分群であることを示します. これは がもつ大事な性質の一つです.
命題 3. 加法群 の任意の部分群が巡回部分群である., すなわち を部分群とするとある整数 が存在して となる.
証明 の場合は明らかなので, を でない部分群とする.
このときまず には自然数が存在する. なぜなら, とするとき, もし ならこの時点でOKであり, もしそうでないなら が部分群なので の逆元 も の元であり, こちらは に含まれる自然数となるからである.
さて, には自然数が含まれることがわかったので を に含まれる最小の自然数とする. このとき, となることを示す.
[ について] これは と が部分群であることから明らかである.
[ について] を任意にとる. このとき余りつき割り算をして となる. を示せば がいえる. 背理法で示す. と仮定する. ここで, で, は部分群なので となる. しかしこれは が に含まれる最小の自然数である ということに矛盾する. よって であり となる.
以上より となる. (終)
この命題を用いると一見当たり前に思える次のことがわかります.
命題 4. 群 の元 の位数が有限とし, とおく. このとき, に対して次の は同値である.
.
.
証明 は明らかなので逆を示す.
とする. このとき は の部分群となる. よって の位数が有限であることと命題 よりある自然数 が存在して となる. このとき となることを示す.
まず位数の定義から明らかに である.
また, より なので である.
以上より である. (終)
また, 例 の証明もしましょう.
命題 5. 群 の有限な位数 をもつ元 が生成する巡回部分群 の位数は である.
証明 を で余りつき割り算をすると となり, より となる. (まだ は言えてないことに注意)
< とする. このとき である. なぜならもし とすると となり, < なので が の位数ということに矛盾する. よって となり である. (終)
元の位数は群を調べる際などに大事になることの一つなのでしっかり身に着けておくといいかと思います.
今回はこれで終わります.
何か間違いなどあれば教えてください.
[参考文献]
命題 の反例の紹介: は通常の乗法で無限群になりますが, 任意の元 の位数は有限になります.