0どうも、木村(@kimu3_slime)です。今回は、有限群のようすを視覚化する方法、ケーリーグラフと乗積表について紹介します。こちらもおすすめケーリーグラフとはケーリーグラフは、有限群の要素間のつながりを視覚化するグラフです。グラフといっても、関数のグラフではなく、離散グラフ(点とそれを結ぶ辺の集まり)のこと。グラフ(graph)とは、次を満たす集合の対\(V,E\)です。\(V\)は単に要素の集合で、頂点(vertex)と呼ばれます。\(V\)の異なる二点の組を、\(V\)の辺(edge)と呼び、辺の集まりを\(E\)とします。具体例を見てみましょう。ここで、\((1,2,3)\)は、1を2に2を3に3を1に移す巡回置換を表しています。\(()=e\)は単位置換、つまり何も入れ替えない置換です。参考:群論入門~回転群と巡回群を例に、群の定義・同型・位数を解説このグラフは、巡回群\(\mathbb{Z}/3\mathbb{Z}\)のケーリーグラフです。\(G\)を\(X=\{g_1,\dots,g_n\}\)によって生成される群(有限生成)とします。graph)とは、次のようにして決まるグラフです。y\)が成り立つこと。\(G\)の各要素を頂点とし、生成元をかけることによって移る元を辺でつないだグラフです。\(\mathbb{Z}/3\mathbb{Z}\)の生成元は\((1,2,3)\)で、\((1,2,3)(1,2,3)=(1,3,2)\)なので辺\(\{(1,2,3),(1,3,2)\}\)があります。ケーリーグラフをSageMathで描くケーリーグラフは、手で書くこともできますが、計算ソフトSageMathでも描けます。Algebra」にまとまっています。ケーリーグラフは、次のようなコードで描けます。関数が既に用意されています。SageMathは導入も簡単なので、ぜひ試してみてください。巡回群\(\mathbb{Z}/10\mathbb{Z}\)のケーリーグラフは次のようになっていて、巡回群はすべて単純なひとつの輪となっていることがわかります。\mathbb{Z}/2\mathbb{Z}\)のケーリーグラフは下図。(この群は、クラインの四元数群\(V\)とも同型)巡回群と見た目は似ていますが、別物です。赤の頂点の表す要素を2回かけると戻ってきてしまうので、それを何回かけても全体を巡回していません。等しいことによって表されていることが読み取れます。\(D_3,D_4\)のケーリーグラフは次のようになります。(\(D_3\)は対称群\(S_3\)と同型)二面体群には、さきほど見た巡回群のようにループになっている部分と、その間を行き来する辺(鏡映)があることが、視覚的にもわかりますね。置換を集めた交代群\(A_n\)はどうでしょうか。\(A_3\)は巡回群\(\mathbb{Z}/3\mathbb{Z}\)と同型です。\(A_4,A_5\)のケーリーグラフを示します。(\(A_5\)は要素が多くてカラー表示できませんでした)\(A_4\)の一部分からは、四角形のグラフとなっている\(D_2\)が取り出せます。\(D_2\)は\(A_4\)の(正規)部分群となっていることが、グラフからも読み取れるわけです。対称群\(S_3\)のケーリーグラフは、\(D_3\)として見ました。\(S_4,S_5\)はどうでしょうか。\(S_5\)はわけがわからなくなってしまいました。\(S_4\)の面を増やしたような構造と想像するしかありません。要素数が増えると、素朴な図示では情報を読み取れなくなってしまいます。table)と呼ばれるものがあります。table)、群表とも。掛け算九九表のように、群の要素を縦と横に並べ、その交差する部分に演算の結果を書くものです。乗積表もSageMathを使って描けるので、典型例を掲載しておきます。a乗積表ならば、ケーリーグラフより詳しく積の関係がわかります。表が対称になっている群(\(\mathbb{Z}/3\mathbb{Z},D_2\))は可換で、そうでない群(\(D_3,A_4,S_4\))は非可換であることも読み取れます。今回は、要素の少ない群を視覚的に捉える方法として、ケーリーグラフと乗積表、そしてそのSageMathを使った表示を紹介しました。Explorer」というサイトでは、多くの群のケーリーグラフや乗積表をオンライン上で見られます。この記事で紹介しなかった群は多いので、こちらもチェックしてみてください。「群論の味わい」によると、ルービックキューブの状態は\(S_54\)の部分群として表わせ、その解法はケーリーグラフにおける現在の配置を表す頂点から単位元の頂点への経路として捉えられます。ルービックキューブを揃えるための最も少ない手数は、解法の経路のなす距離(最小経路の辺数)です。群をグラフに対応させるケーリーグラフの考え方は、一般的な数学系の教科書にはあまり載っていませんが、コンピュータを使った群の分析として面白いと思います。木村すらいむ(@kimu3_slime)でした。木村すらいむ(木村一輝)趣味で数学をしています。1992年・群馬生まれ、茨城在住。ご連絡はTwitter(@kimu3_slime)のDMへお願いします。木村すらいむ(木村一輝)趣味で数学をしています。1992年・群馬生まれ、茨城在住。ご連絡はTwitter(@kimu3_slime)のDMへお願いします。