代数学の問題
加法群 を考える。その元 ()のうち、位数がちょうど であるものの個数を求めよ。
この問題で使うもの
- 群の位数と元の位数(説明と入口の問題)
この問題を解けるようになるまで(21 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
巡回群 の元 の位数を求める公式 を使います。
ヒント 2
は と同じ条件です。位数 の元の個数が であることも使えます。
ヒント 3
()とおくと、条件は になります。このような を数えましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
方針 巡回群 の元 の位数は です。これを使って、位数が になる条件を の条件に言いかえます。
ステップ 1(位数の公式を使う) なので、 の位数は です。これが になる条件は
です。なお、 は の約数なので、ラグランジュの定理(元の位数は群の位数を割り切る)とも矛盾しません。
ステップ 2(条件を満たす を数える) のとき は の倍数なので ()と書けます。 より なので、条件は
となります。 で と互いに素なのは の 個です。よって です。
確認 一般に、巡回群 の位数 ()の元はちょうど 個あります。 となり、上の結果と一致します。
以上より、求める個数は です。
別解
における の位数は である( の位数は 1 で、 とみなせば同じ式で得られる)。
位数が 12 となる条件は である。
とおくと で、 となる。よって が条件になる。
で 12 と互いに素な は の 4 個である。これは に一致する。
検算: 巡回群では位数 の元の個数は で、12 は 36 の約数だから 個。
例えば のとき、位数は で条件を満たす。 のとき、 なので位数は 12 となる。
答え: 4