技能一覧 › 大学数学 離散数学・組合せ論

バーンサイドの補題

群 の作用による同一視のもとでの塗り分け・配置の個数を、各元で固定されるものの個数の平均 として求められる(正方形の盤の 8 通りの対称移動、正四面体の回転など)

前提

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

読み込み中…

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

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

説明

群 が有限集合 (塗り分けや配置の全体)に作用しているとき、「 の元で移り合うものは同じとみなす」という約束のもとで本質的に異なるものが何通りあるかを数える技能です。答えは で求められます。ここで は で動かないものの集合です。回して重なる塗り方を区別しない数珠や正方形の盤の塗り分け、正四面体の面の塗り分けなどに使います。

なぜそうしてよいのか

まず言葉を定めます。 の各元 が の置換 を与え、単位元は何も動かさず、 が成り立つとき、 は に作用するといいます。 から の元で移れるもの全体 を の軌道と呼びます。互いに移り合うものの集まりが 1 つの軌道なので、「同一視したときの個数」は軌道の個数です。さらに 、( を動かさない元の全体。これも の部分群)とおきます。

条件 を満たす組 の個数を 2 通りに数えます。 ごとにまとめると 、 ごとにまとめると です。次に、 を 1 つとり、 となる を固定します。このとき です。実際 なら は を動かしません。逆に なら です。 は 1 対 1 なので、 を に送る元はちょうど 個あります。 の元は を軌道内のどれか 1 つに送るので、 が成り立ちます。

したがって 1 つの軌道 について です。全体の和 は になります。2 通りの数え方を等しいとおけば、軌道の個数 が得られます。塗り分けの場合、 が位置の置換として互いに素な巡回置換の積に分解されるとします。 で変わらない塗り方とは、各巡回置換に含まれる位置がすべて同じ色である塗り方です。よって 色なら です( は長さ 1 の巡回置換、つまり不動点も含めた巡回置換の個数)。

手順

  1. 同一視に使う対称移動の群 をすべて書き出し、位数 を確かめる(例: 正方形の回転と裏返しなら )。

  2. 各元 を、塗る位置(頂点・面・マス)の置換とみて、長さ 1 も含めて互いに素な巡回置換の積に分解する。

  3. 各 について巡回置換の個数 を数え、( は色の数)を求める。

  4. すべての について和をとり、 で割る: 。結果が整数になることを検算に使う。

例題

正方形の 4 つの頂点を、3 色(どの色を何回使ってもよい)で塗る。正方形の回転()と裏返し(対称軸 4 本に関する折り返し)で重なる塗り方を同じとみなすとき、塗り方は何通りあるかを求めよ。

例題の解答

手順1: 群 は回転 4 個と折り返し 4 個からなり、 です。頂点に順に と番号を付けます。
手順2: 各元を頂点の置換として巡回置換に分解します。
・恒等変換:
・ 回転:
・ 回転:
・ 回転:
・対角線 に関する折り返し:
・対角線 に関する折り返し:
・向かい合う辺の中点を結ぶ軸に関する折り返し 2 つ: と
手順3: はそれぞれ です。よって は です。
手順4: 和は です。これを で割って となり、整数なので検算も通ります。答えは 21 通りです。

答え:

よくある誤り

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

入口の問題

この技能を使う問題

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