代数学の問題
加法群の直積 を考える。 の部分群のうち、位数が の巡回群であるものの個数を求めよ。
この問題で使うもの
- 有限アーベル群の構造と部分群の個数(説明と入口の問題)
- 群の位数と元の位数(説明と入口の問題)
- 包除原理(説明と入口の問題)
この問題を解けるようになるまで(26 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
位数 の巡回部分群は位数 の元で生成される。 つの部分群に生成元が何個あるかを考え、まず位数 の元を数えよう。
ヒント 2
で となる は 個ある。直積では成分ごとに条件を考えればよい。
ヒント 3
となる元は 個、 となる元は 個、 となる元は 個ある。ここから位数がちょうど の元の個数を出そう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
位数 の巡回部分群は位数 の元 つで生成され、位数 の巡回群には生成元がちょうど 個ある( はオイラー関数)。よって
である。
位数が を割り切る元の個数. 巡回群 で を満たす の個数は である。 の元 について は かつ と同値なので、その個数は である。
- :
- :
- :
- :
位数がちょうど の元の個数. 位数が を割り切る元の位数は のいずれかである。位数が を割り切る元(位数 )と位数が を割り切る元(位数 )を除けばよく、両方に含まれるのは単位元のみなので、包除原理より
よって位数 の巡回部分群の個数は である。
別解
位数が 6 を割る元は で 個。位数が 3 を割る元は 個、2 を割る元は 個、1 を割る元は 1 個。位数ちょうど 6 の元は包除原理で 個。位数 6 の巡回群は生成元を 個もつので 個。