正六角形の板の つの頂点のそれぞれを、赤・青・白の 色のうちいずれか 色で塗る(使わない色があってもよい)。板を中心のまわりに回転して互いに重ね合わせられる塗り方は同じものとみなすとき、異なる塗り方は何通りあるか。ただし、裏返し(鏡映)による同一視は行わない。
バーンサイドの補題
群 の作用による同一視のもとでの塗り分け・配置の個数を、各元で固定されるものの個数の平均 として求められる(正方形の盤の 8 通りの対称移動、正四面体の回転など)
前提
- 置換の巡回置換分解と位数 (大学数学 代数学)
この技能までの道筋(22 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 約数の見つけ方 (算数 整数の性質)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 合同式 (数学A 整数の性質)
- 群の位数と元の位数 (大学数学 代数学)
- 置換の巡回置換分解と位数 (大学数学 代数学)
説明
群 が有限集合 (塗り分けや配置の全体)に作用しているとき、「 の元で移り合うものは同じとみなす」という約束のもとで本質的に異なるものが何通りあるかを数える技能です。答えは で求められます。ここで は で動かないものの集合です。回して重なる塗り方を区別しない数珠や正方形の盤の塗り分け、正四面体の面の塗り分けなどに使います。
なぜそうしてよいのか
まず言葉を定めます。 の各元 が の置換 を与え、単位元は何も動かさず、 が成り立つとき、 は に作用するといいます。 から の元で移れるもの全体 を の軌道と呼びます。互いに移り合うものの集まりが 1 つの軌道なので、「同一視したときの個数」は軌道の個数です。さらに 、( を動かさない元の全体。これも の部分群)とおきます。
条件 を満たす組 の個数を 2 通りに数えます。 ごとにまとめると 、 ごとにまとめると です。次に、 を 1 つとり、 となる を固定します。このとき です。実際 なら は を動かしません。逆に なら です。 は 1 対 1 なので、 を に送る元はちょうど 個あります。 の元は を軌道内のどれか 1 つに送るので、 が成り立ちます。
したがって 1 つの軌道 について です。全体の和 は になります。2 通りの数え方を等しいとおけば、軌道の個数 が得られます。塗り分けの場合、 が位置の置換として互いに素な巡回置換の積に分解されるとします。 で変わらない塗り方とは、各巡回置換に含まれる位置がすべて同じ色である塗り方です。よって 色なら です( は長さ 1 の巡回置換、つまり不動点も含めた巡回置換の個数)。
手順
同一視に使う対称移動の群 をすべて書き出し、位数 を確かめる(例: 正方形の回転と裏返しなら )。
各元 を、塗る位置(頂点・面・マス)の置換とみて、長さ 1 も含めて互いに素な巡回置換の積に分解する。
各 について巡回置換の個数 を数え、( は色の数)を求める。
すべての について和をとり、 で割る: 。結果が整数になることを検算に使う。
例題
正方形の 4 つの頂点を、3 色(どの色を何回使ってもよい)で塗る。正方形の回転()と裏返し(対称軸 4 本に関する折り返し)で重なる塗り方を同じとみなすとき、塗り方は何通りあるかを求めよ。
例題の解答
手順1: 群 は回転 4 個と折り返し 4 個からなり、 です。頂点に順に と番号を付けます。
手順2: 各元を頂点の置換として巡回置換に分解します。
・恒等変換:
・ 回転:
・ 回転:
・ 回転:
・対角線 に関する折り返し:
・対角線 に関する折り返し:
・向かい合う辺の中点を結ぶ軸に関する折り返し 2 つ: と
手順3: はそれぞれ です。よって は です。
手順4: 和は です。これを で割って となり、整数なので検算も通ります。答えは 21 通りです。
答え:
よくある誤り
塗り方の総数を群の位数で割ってしまう誤り( は整数にすらならない)。正しくは、各元の固定数を平均して とする。
恒等変換を数え忘れる誤り。恒等変換はすべての塗り方を固定するので (上の例では )が必ず和に入る。
固定される塗り方の数を、不動点の数 を使って としてしまう誤り( 回転で とするなど)。正しくは、長さ 2 以上の巡回置換も 1 色で塗れるので とし、 なら となる。
問題が裏返しを許すかどうかを確かめずに群を選ぶ誤り。回転だけなら で 通りとなり、裏返しも許す場合の 通りとは異なる。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
円板を中心から 等分して、 個の合同な扇形をつくる。それぞれの扇形を白か黒のどちらか 色で塗る(どちらかの色を使わなくてもよい)。円板を中心のまわりに回転して重ね合わせられる塗り方は同じものとみなすとき、異なる塗り方は何通りあるか。ただし、円板の裏返しによる同一視は行わない。
正方形の つの頂点のそれぞれを、赤・青・黄の 色のうちいずれか 色で塗る(使わない色があってもよい)。正方形をその中心のまわりに回転させて互いに重ね合わせられる塗り方は同じものとみなすとき、異なる塗り方は何通りあるか。ただし、裏返し(鏡映)による同一視は行わない。
この技能を使う問題
変数のブール関数とは写像 のこととする。 変数のブール関数 で、次の 2 つの条件をともに満たすものの個数を求めよ。
(巡回不変性)すべての に対して
(自己双対性)すべての に対して
正四面体の 本の辺のそれぞれを、赤・青・黄の 色のうちのどれか 色で塗る。ただし、 色すべてを少なくとも 回ずつ使うものとする。正四面体の回転(向きを保つ合同変換)で互いに重ね合わせられる塗り方は同じとみなすとき、異なる塗り方は何通りあるか求めよ。
のマス目(16 個の正方形のマスからなる正方形の盤)に、区別のつかない 4 個の石を、どの 2 個も同じマスに入らないように置く。盤を回転または裏返し(正方形の対称移動、全部で 8 通り)によって重ね合わせられる置き方は同じものとみなすとき、異なる置き方は何通りあるか。
正四面体の 6 本の辺のそれぞれを、赤・青・黄の 3 色のうちいずれか 1 色で塗る(使わない色があってもよい)。正四面体の回転によって互いに重ね合わせられる塗り方は同じものとみなすとき、異なる塗り方は何通りあるか。ただし、裏返し(鏡映)による同一視は行わない。
赤い玉 4 個と青い玉 6 個(同じ色の玉どうしは区別しない)の計 10 個を、円周上に等間隔に並べた 10 か所に 1 個ずつ置き、ひもを通して輪(ブレスレット)を作る。輪の回転および裏返しによって互いに重ね合わせられる並べ方は同じものとみなすとき、異なる輪は何通りできるか。
を位数 の有限体とし、 を写像の合成に関する群(位数 )とする。 の各元に赤・青・緑の 色のいずれかを塗る塗り方全体の集合を とする()。 を写像 とみなし、 を によって に作用させる。この作用の軌道の個数を求めよ。
を位数 の有限体とし、 を写像の合成を積とする群(位数 )とする。写像 全体の集合を とし()、 は に によって作用する。この作用による の軌道の個数を求めよ。
, を正の整数とし、 をオイラー関数(正の整数 に対し、 で を満たす整数 の個数)とする。このとき
は で割り切れることを、バーンサイドの補題を用いて証明せよ。ここで は の正の約数 すべてについての和を表す。ただし、バーンサイドの補題(有限群 が有限集合 に作用するとき、軌道の個数は に等しい。)と、整数 (少なくとも一方は でない)に対して を満たす整数 が存在することは用いてよい。
のマス目( 個の正方形のマス)から、ちょうど マスを選んで黒く塗り、残りの マスを白く塗る。マス目全体(正方形)の対称変換、すなわち中心のまわりの の回転と、 本の対称軸(縦・横の中線 本と対角線 本)に関する裏返しの計 個の変換のいずれかで互いに重ね合わせられる塗り方は同じものとみなす。このとき、異なる塗り方は何通りあるか。
のマス目(正方形の盤)の 個のマスのうち、ちょうど 個を黒で、残りの 個を白で塗る。正方形の対称変換群(中心のまわりの の回転と、 本の対称軸に関する裏返しの、合わせて 個の変換からなる二面体群)によって互いに重ね合わせられる塗り方は同じものとみなす。異なる塗り方は何通りあるか。
正八面体の つの面を、赤・青・緑の 色で塗る。ただし、赤の面がちょうど 枚、青の面がちょうど 枚、緑の面がちょうど 枚となるように塗る。正八面体の回転(空間内の向きを保つ合同変換で正八面体を自分自身に重ねるもの、全部で 個)によって互いに移り合う塗り方は同じものとみなすとき、異なる塗り方は何通りあるか。
立方体の 12 本の辺のうち、ちょうど 6 本を赤、残りの 6 本を青で塗る。立方体の回転によって互いに重ね合わせられる塗り方は同じものとみなすとき、異なる塗り方は何通りあるか。ただし、裏返し(鏡映)による同一視は行わない。
成分がすべて または である 行列全体の集合を とする()。 について、 に「行の並べ替え」「列の並べ替え」「転置」の操作を有限回( 回も含む)くり返して が得られるとき、 と は同値であるという。この同値関係による の同値類の個数を求めよ。
有限群 が有限集合 に(左から)推移的に作用しているとし、 とする。 に対し とおき、不動点をもたない元全体を とする。このとき
が成り立つことを証明せよ。ただし、バーンサイドの補題「有限群 が有限集合 に作用するとき、軌道の個数は に等しい」は用いてよい。
この技能の次に学べること
- 巡回指数とポリアの数え上げ (大学数学 離散数学・組合せ論)
- 置換表現と軌道の数 (大学院数学 表現論)
- 条件つきブール関数の数え上げ (大学院数学 計算理論・ラムダ計算)
- 共役類ごとにまとめたバーンサイドの補題 (大学院数学 群論)
- 曲面群から対称群への準同型の個数(フロベニウスの公式) (大学院数学 代数的位相幾何)