0どうも、木村(@kimu3_slime)です。group)とは、\(n\)次の置換(permutation)の集まりのなす群です。\(n\)次の置換とは、\(n\)個の要素をもつ集合\(X\)からそれ自身への全単射な写像です。\}\]言い換えれば、置換とは文字の入れ替え操作、\(n\)個の記号列を入れ替える規則のことです。言われてもピンと来ないと思うので、具体例を挙げて解説します。この置換は、次の図で言えば三角形の回転を意味しています。三角形の回転を表す置換を集めた群を、巡回群\(C_3\)というのでした。巡回群は、一般の置換\(S_3\)のうち特殊なもの(巡回置換)を集めたものです。図形の対称性を表す多面体群\(D_n\)も、対称群の部分群です。このように、回転や鏡映といった操作をより抽象化し、有限文字列の可能な入れ替え(置換)全体を考えたものが対称群\(S_n\)となっています。置換は、対応関係がわかりやすくなるように、次のように表すことがあります(二行記法)。S(X^{\prime})\)となるので)。何番目の記号を指しているのかわかりやすいので、数字の集合\(X=\{1,2,\dots,n\}\)が使われることが多いです。この記事でもそうしましょう。置換はあみだくじと同一視できます。\(f_1\)ならば、次の図のようになります(\(a,b,c\)ではなく\(1,2,3\)と書くことにする)。あみだくじは、上側にある文字\(1,2,\dots,n\)を入れ替えるという意味で置換です。何も入れ替えない置換、すなわち恒等置換(単位置換)\(e\)は、あみだくじで言えば何も横線の入っていないものと見なせます。\end{pmatrix}\]任意の置換には、逆写像があります。それは逆置換と呼ばれます。\end{pmatrix}\]もとのあみだくじを、逆さま(下から上に辿る)ものとして見たものが逆置換です。置換と置換の積とは、置換の写像としての合成と約束します。f\)と、積の順序、積の記号を省略することに気をつけてください。あみだくじで言えば、積とはあみだくじを上下につなげてできるあみだくじのことです。この積に関して、\(S_n\)は群となります。3\)のとき、\(S_n\)は可換ではありません。\end{pmatrix}\end{eqnarray}(これは\(D_3\)において、回転と鏡映が可換でないことと同じです。性質を調べるために、特殊な性質を持った置換に名前をつけましょう。\end{pmatrix}\)と書きます。\dots\end{pmatrix}\]次数\(n\)が何であっても、任意の置換は、互換の積として表せます。j\)なる部分で\(i,j\)を入れ替える互換をかけていけば単位置換に変形できます。厳密には数学的帰納法で示せます。)さきほどの置換\(f\)は、次のように互換の積として表せます。\end{pmatrix}\)のタイプの互換(隣接互換)の積として表せます(あみだくじの原理)。\end{pmatrix}\)のタイプの互換の積として表せれば良いわけです。一般の互換も同様に分解できますね。)あみだくじの原理は、複雑なあみだくじ(何本か縦線を飛び越える横線のあるあみだくじ)も、等価で単純なあみだくじ(隣り合う横線のみであるあみだくじ)として書き換えられるという主張ですね。\(f\)は番号を順に入れ替える置換で、\(f^3=e\)という性質を持っています。permutation)と言います。\end{pmatrix}\)と書きます。\end{pmatrix}\]長さ\(r\)の巡回置換を集めた集合は群をなし、それを巡回群\(C_r\)と呼ぶのでした。「互換とは、長さ\(2\)の巡回置換である」とも言えますね。対称群\(S_n\)は、ある意味で、すべての有限群の母です。任意の有限群は、対称群の部分群と群として同型。任意の有限群を\(G\)として、\(G\)と\(S(G)\)の部分群が同型であることを示します。G\)を\(L_g(a)=ga\)と定めると、\(L_g\)は\(G\)上の置換です。\(L_g(a)=L_g(b)\)とすると\(ga=gb\)、\(g^{-1}\)をかければ\(a=b\)で単射。G\)は、\(L_g(g^{-1}h)=h\)と表せるので全射。L_g\)によって定めると、\(F\)は単射な準同型写像です。\(F(g)=F(h)\)と仮定すると、\(L_g=L_h\)なので、\(g=L_g(e)=L_h(e)=g\)で単射。F(g)F(h)\)で準同型。F(S(G))\)が言えました(群の準同型写像による像は、常に部分群となるので、\(F(S(G))\)は\(S(G)\)の部分群)。有限群\(G\)において\(g\)をかける操作(\(g\)による\(G\)の左移動という)は、\(G\)の置換と同一視できる、というアイデアです。有限群の演算は、置換の一種だとみなせるわけですね。対称群の位数(要素の個数)は\(n!\)で、非常に大きいです。それだけ対称群は、多様な「規則」を含んでいます。theory)においても重要な役割を果たします。=0\)の解の公式を習うと思います。3次方程式、4次方程式でも解の公式が存在することが知られています(カルダノの公式、フェラーリの方法)。この調子なら5次方程式にも解の公式がありそうだと思えるかもしれませんが、実は、(一般の)5次方程式には解の公式が存在しません(解の公式がない=四則演算とべき乗根を使って解を表示できない)。theorem)と呼ばれています。「5次方程式の解の公式は存在しない」のはなぜか。それに明快な答えを与える理論が、エヴァリスト・ガロアらによって築かれたガロア理論です。このガロアの発見が、群論が生まれ、整備されていくきっかけになったと言われています。現在群論と呼ばれている分野は、もともとは方程式の研究、方程式論から生まれてきた部分があると見れるでしょう。(それだけが群論ではないのですが...)置換というアイデアも、群論が生まれる前、ラグランジュやコーシーが方程式の解の公式を調べるうちに見いだされたものです。algebraique)」です。このように、置換、もとい対称群の役割は歴史的にも大きいことがわかります。赤堀庸子ガロア理論では、方程式が解の公式によって解けるかどうかという問題(可解性)を、(ガロア群と呼ばれる)群の性質に対応させられます。ガロア群が可解群(という性質を持つ)ならば、方程式はべき根によって解けない。5\)ならば\(S_n\)が可解でないことが示せるのです。可解群という性質は、その群がどんな正規部分群を持つかによって決まるものです。\(S_n\)の正規部分群を調べることになります。そこで登場するのが、偶置換を集めた群、交代群\(A_n\)です。これを説明するため、置換の符号なるものを考えましょう。さきほど、「任意の置換は互換の積に表せる」という話をしました。この表し方は一意ではありませんが、積に登場する互換の個数が偶数か奇数かどうかは、置換によって一意に定まります。permutation)と呼びます。\frac{f(i)-f(j)}{i-j}\]によって定め、\(\mathrm{sgn}(f)\)を\(f\)の符号と呼びます。置換ならば\(1\)、奇置換ならば\(-1\)となるよう定まっています。この符号の定義は、行列式の符号による定義でも使われますね。\(\mathrm{sgn}\)は、2つの要素からなる群\(\{1,-1\}\)への準同型写像であることが示せます。次の置換は、2つの互換の積で表せるので偶置換です。符号もきちんと一致しています。\\\end{eqnarray}(置換は、行列として表現することができます。n\)の行列で、\(j\)行\(f(j)\)列のみが\(1\)、他が\(0\)の行列を置換行列\(A_f\)と言います。group)\(A_n\)です。交代群\(A_n\)は、対称群\(S_n\)の正規部分群です。\mathrm{sgn}^{-1}(\{1\})\)で、準同型写像の核は正規部分群となるので。)\(A_1\)は自明な群、\(A_2\)は2つの要素からなる群、\(A_3\)は巡回群\(C_3\)に同型です。4\)のときになります。\(n\geq4\)のとき、\(A_n\)は非可換群となります。\(n=4\)ならば、次のように。\end{pmatrix}\end{eqnarray}となるので。ガロア理論において、群とその正規部分群を調べることは重要、という話をしました。ほかに正規部分群を持たないことが知られています。\(A_5\)は単純群(自明でない正規部分群を持たない)であり、可解群でないことが示せます。可解群の部分群は可解なので、ここから\(S_5\)が可解でないと言えるのです。(実は、要素数が最も少ない非可換な単純群は、交代群\(A_5\)です)まとめ置換:有限集合からそれ自身への全単射。対称群:置換を集めた群。互換:2つの要素のみ入れ替える置換。一般化として巡回置換がある。ケーリーの定理:任意の有限群は、対称群の部分群と同型。置換の符号:置換を互換の積として表すとき、現れる互換の回数によって定まるもの。その例や基本概念を紹介してきました。後半は事実のみ述べることが多くなりましたが、前半の置換の話がまず理解できていれば良いと思います。任意の有限群は対称群の部分群として同型(ケイリーの定理)で、ガロア理論の理解にも欠かせないので、対称群は重要であると感じ取っていただけたのではないでしょうか。木村すらいむ(@kimu3_slime)でした。木村すらいむ(木村一輝)趣味で数学をしています。1992年・群馬生まれ、茨城在住。ご連絡はTwitter(@kimu3_slime)のDMへお願いします。木村すらいむ(木村一輝)趣味で数学をしています。1992年・群馬生まれ、茨城在住。ご連絡はTwitter(@kimu3_slime)のDMへお願いします。