技能一覧 › 大学数学 代数学

群の位数と元の位数

巡回群 の元 の位数 を求められる。ラグランジュの定理(元の位数・部分群の位数は群の位数を割り切る)を使って、とりうる位数や、位数 の元の個数 を求められる

前提

この技能までの道筋(20 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 約数の見つけ方 (算数 整数の性質)
  2. 最大公約数と最小公倍数 (算数 整数の性質)
  3. 素因数分解と約数の個数 (算数 整数の性質)
  4. 最大公約数と最小公倍数 (数学A 整数の性質)
  5. 分数のたし算・ひき算 (算数 計算と数のきまり)
  6. 小数の四則計算 (算数 計算と数のきまり)
  7. 正負の数の加法・減法 (中学数学 数と式)
  8. 分数のかけ算・わり算 (算数 計算と数のきまり)
  9. 四則の混じった計算の順序 (算数 計算と数のきまり)
  10. 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
  11. 分配法則を使った計算のくふう (算数 計算と数のきまり)
  12. 文字式の計算(同類項・分配法則) (中学数学 数と式)
  13. 乗法公式による展開 (中学数学 数と式)
  14. 因数分解 (中学数学 数と式)
  15. 文字式で表した整数の性質 (中学数学 数と式)
  16. 余りによる整数の分類 (数学A 整数の性質)
  17. 樹形図で数え上げる (算数 場合の数)
  18. 積の法則と和の法則 (算数 場合の数)
  19. 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
  20. 合同式 (数学A 整数の性質)

説明

足し算で余りをとる群 の各元について、何回足すと に戻るか(元の位数)を だけで求められるようになります。さらにラグランジュの定理を使うと、元の位数としてありうる値が群の位数の約数に限られることがわかります。 では、位数 の元がちょうど 個あることも数えられます。これらは、群の構造を調べるときや、合同式で周期を求めるときの基本の道具になります。

なぜそうしてよいのか

まず言葉を決めます。集合 に演算が定まっていて、結合法則が成り立ち、単位元と各元の逆元があるものを群といいます。 の元の個数 を群の位数といいます。 は、 で割った余りどうしを足し算する群で、単位元は 、位数は です。元 を 回演算すると単位元になるような最小の正の整数 を、元 の位数といいます。 の元 でいえば、、つまり となる最小の正の整数 のことです。

この を求めます。 とおき、( は互いに素)と書きます。すると は 、すなわち と同じ条件です。 と は互いに素なので、これは と同じです。したがって最小の は で、元 の位数は です。 のときも なので、位数は になり、正しく求まります。

逆に、位数が になる元を数えます。位数が になるのは のときなので、 は の約数でなければなりません。このとき と書けて、 ですから、条件は になります。 以上 以下で と互いに素な整数の個数を と書きます(。 は のときだけ条件を満たし、 の代わりとして数えます)。こうして、位数 の元はちょうど 個あります。一般の有限群については、ラグランジュの定理「部分群の位数も元の位数も を割り切る」が成り立ちます。直観的には、部分群を平行移動した同じ大きさの塊(剰余類)で がすき間なく分割されるからです。 で元の位数がいつも の約数になるのは、この定理の一例です。

手順

  1. 群と演算を確認する。 なら演算は を法とする足し算で、単位元は 、群の位数は である。

  2. 元 の位数を求めるときは、 を計算し、位数を とする。

  3. とりうる位数を考えるときは、ラグランジュの定理を使う。元の位数も部分群の位数も の約数である。 では、 の約数 のどれについても位数 の元がある。

  4. 位数 の元の個数を求めるときは、まず かを確かめる。割り切らなければ 個である。割り切るなら、その元は (、)と書ける。

  5. を数える。 以上 以下で と互いに素な数を書き出せばよい。( は素数)なら、 の倍数を除いて となる。

例題

加法群 において、位数が である元の個数を求めよ。

例題の解答

手順1: 群は で、演算は を法とする足し算、単位元は 、群の位数は である。

手順3・4: なので、位数 の元は存在する。位数が になる条件は 、つまり である。そこで と書くと、条件は になる。

手順5: で と互いに素なのは で、 と一致する。対応する元は である。

手順2で確認する: たとえば なので、 の位数は となり、正しい。

よって、位数 の元は 個である。

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題

この技能の次に学べること