logo

バーンサイドの公式の導出 📂抽象代数

バーンサイドの公式の導出

概要

Burnsideの公式は、群の作用と等方部分群に対する代表的な応用で、組み合わせ論を始めとする分野で直ちに使用できる。

公式 1

有限群GGと、GG-集合である有限集合XXについて、XXGGによる軌道の個数をrrとすると rG=gGXg r |G| = \sum_{g \in G} \left| X_{g} \right|

導出

集合{(g,x)G×Xgx=x}\left\{ (g,x) \in G \times X | gx = x \right\}の基数をNNとすると Xg={xX  gx=x} X_{g} = \left\{ x \in X \ | \ gx = x \right\} であり、Gx={gG  gx=x}G_{x} = \left\{ g \in G \ | \ gx = x \right\}に対して以下が成り立つ。 N=gGXg=xXGx N = \sum_{g \in G} |X_{g}| = \sum_{x \in X} |G_{x}|

等方部分群の性質: XXGG-集合ならばGx=(G:Gx)|Gx| = ( G : G_{x})GGが有限群ならばGx|Gx|G|G|の約数である。

G=GxGx|G| = |G_{x} | |Gx|よりN=xXGx\displaystyle N = \sum_{x \in X} |G_{x}|から N=xXGGx=GxX1Gx N = \sum_{x \in X} {{|G|} \over {|Gx|}} = |G| \sum_{x \in X} {{1} \over {|Gx|}} ある軌道O\mathscr{O}については、xOx \in \mathscr{O}に対してGx|Gx|が全て同じ値を持つので、 xO1Gx=1 \sum_{x \in \mathscr{O}} {{1} \over {| Gx | }} = 1 軌道の個数はrrであるから、N=GrN = |G| rとなり、まとめると次のようになる。 rG=gGXg r |G| = \sum_{g \in G} \left| X_{g} \right|

円卓問題

77人が円卓に座る場合の数を計算せよ。


77人を一列に並べる場合の数は7!7!である。

反時計回りに回転させる「作用」は合計77通りである。従って、場合の数は r=1GgGXg=177!=720 r = {{1} \over {|G|}} \sum_{g \in G} | X_{g} | = {{1} \over {7}} 7! = 720

数珠問題

77個の異なるビーズを糸に通す場合の数を計算せよ。


77個のビーズを一列に並べる場合の数は7!7!である。反時計回りに回転させて数珠をひっくり返す作用は合計7×2=147 \times 2 = 14通りである。従って、 r=1GgGXg=1147!=360 r = {{1} \over {|G|}} \sum_{g \in G} | X_{g} | = {{1} \over {14}} 7! = 360


  1. Fraleigh. (2003). A first course in abstract algebra(7th Edition): p161. ↩︎